1
vote
0answers
10 views

Levi Civita connection along principal curvature directions

Let $(M,g)$ be a surface that can be immersed into $\mathbb{R}^3$. Denote by $\nabla$ the associated Levi Civita connection. Further, let $X_1,X_2$ be the directions of principal curvature which are ...
1
vote
1answer
26 views

Difference betwee parameterization and embedding of manifolds

What is the difference between embedding and parameterization? Why, for example, we say Gauss parameterization of a convex hypersurfaces, and we don't call it an embedding?
0
votes
0answers
23 views

Easy solution to Yamabe problem for surfaces

The Yamabe problem asks if, given a Riemannian manifold $(M,g_0)$, it is possible to find a conformal metric $g$ on $M$ with constant scalar curvature. I would like to know if there is some "easy" ...
1
vote
1answer
30 views

extension of a local orthonormal frame on a hypersurface

Let $N$ be a $(n+1)$-dimensional Riemannian manifold and $M\subset N$ a Riemannian hypersurface (embedded or immersed). Let $M$ and $N$ be oriented and choose a unit normal vector field $\nu$ along ...
2
votes
0answers
56 views

relative sign in Hodge star of tensor product

Let $V$ be a vector space of arbitrary (finite) dimension and let $(V, \langle \ ,\ \rangle, I) = (W_1, \langle\ ,\ \rangle_1, I_1) \oplus (W_2, \langle\ ,\ \rangle_2, I_2)$ be a direct sum ...
0
votes
1answer
37 views

Riemannian Metric Notation

I am just being introduced to Riemannian metrics, and I am having a bit of confusion on the notation. When reading, I've encountered some different notation in different sources, so I want to make ...
1
vote
1answer
63 views

Gradient of norm of embedding

Let $\varphi:(M,g,\nabla)\to\mathbb{R}^n$ be a smooth embedding of a convex hypersurface. I want to explicitly calculate $$\langle \varphi,\varphi_{\ast}(\nabla\|\varphi\|^2)\rangle.$$ In particular, ...
3
votes
1answer
37 views

How do we check conformal equivalence of parametrized surfaces, e.g. parallel surfaces?

Suppose we have two parametrized surfaces in $\mathbb{R}^3$: $$ X,Y:\mathbb{R}^2 \rightarrow \mathbb{R}^3 $$ The induced metric on either surface is the pullback of the Euclidean metric $\bar g$ due ...
3
votes
0answers
30 views

What distinguishes elliptical coordinates from polar coordinates?

I am trying to identify what characteristic distinguishes elliptical coordinates from polar coordinates. For concreteness, let's write down the expressions. Polar: $$ x=r \cos(t) \\ y=r \sin(t) $$ ...
0
votes
1answer
24 views

Connected components of the complement of a closed geodesic on a hyperbolic surface.

Let $M$ be homeomorphic to a 2-sphere with a finite number $\geq 3$ of points removed. This implies that $M$ can be equipped with a complete, finite area hyperbolic metric. I imagine $M$ as an ideal ...
4
votes
1answer
109 views

Function whose gradient is of constant norm

Let $f:\mathbb R^n\rightarrow \mathbb R$ be a smooth function such that $\|\nabla f(x)\|=1$ for all $x\in \mathbb R^n$ and $f(0)=0$. I would like to prove that $f$ is linear. I first looked at the ...
1
vote
1answer
38 views

Does the possibility of linear coordinate changes imply that the manifold is Euclidean?

Question. Let $M$ be a smooth manifold admitting an atlas $\mathcal{A}$ (i.e. a collection of coordinate charts that covers the whole manifold) with the following property: for every pair ...
1
vote
1answer
33 views

Constant in Sobolev-Poincare inequality on compact manifold $M$; how does it depend on $M$?

Let $M$ be a smooth compact Riemannian manifold of dimension $n$. Let $p$ and $q$ be related by $\frac 1p = \frac 1q - \frac 1n$. There is a constant $C$ such that for all $u \in W^{1,q}(M)$ ...
1
vote
0answers
44 views

Reference for construction on Riemannian Manifolds

I would like to know a book or an article where the connected sum of Riemannian manifolds is explained with some detail. I roughly know how to do the construction but I want to be able to check a more ...
1
vote
0answers
53 views

Riemannian Submerssion

I am reading John Lee's Riemannian Geometry Chapter 3, and I want to do some exercises. I think that I need some hints to solve the following: (Problem 3-8 of that book) Suppose $M$ and $N$ are ...
2
votes
0answers
21 views

Generalizations of the product neighborhood theorem

As far as I know, the Product Neighborhood Theorem for smooth manifolds states that if $N\subseteq M$ is a smooth compact submanifold without boundary of codimension $n$ and there is a trivialization ...
7
votes
1answer
85 views

Ellipticity of Ricci tensor, does it depend on coordinates?

Well, I am afraid this is a silly question because I know the answer must be 'yes, it does'. But I don't see why. I put the problem in context. The ricci tensor can be regarded as a differential ...
4
votes
2answers
73 views

Known methods to detect coordinate singularities?

MOTIVATION In Riemannian geometry, when one writes the metric tensor in a particular coordinate system, certain 'fake' singularities might appear that have little to do with the geometry near them. ...
0
votes
0answers
20 views

Reference frame rotation depending on metric tensor $g_{\mu\nu}$

My simple question is: The infinitesimal line element is $$ds^2=g_{\mu\nu}dx^{\mu}dx^{\nu}$$ where $g_{\mu\nu}$ is the metric tensor of the space. Is it possible from the simple knowledge of ...
1
vote
2answers
50 views

Question about a notation. Norm of the derivative of a function at a point

Given is an analytic function from $M$ to $N$, both equipped with conformal Riemannian metric, say $g$ and $h$ resp. What might the $h$ norm of the derivative of the function at a point mean? ...
1
vote
1answer
41 views

Left-invariant Riemannian metric on $SO(3)$

Let's consier the manifold $SO(3)$. First problem is to show that $T_I SO(3)$ is a space of skew-symmetric matrices $3\times 3$. How can I deduce it? Then I have to prove there exists exactly one ...
1
vote
0answers
33 views

Computing geodesic distances from structural data

I am attempting to compute geodesic distances on manifolds where structural data have been sparsely sampled. First, off I am not well versed in the mathematics of differential geometry but I do have ...
4
votes
0answers
49 views

Decomposition of Laplacian into tangental and normal components w.r.t. submanifold

If I have the covariant Laplacian operator acting on a tensor e.g. $\nabla^2 h_{\mu\nu}$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) submanifold, how can I "decompose" the ...
9
votes
1answer
131 views

Is every scalar differential operator on $(M,g)$ that commutes with isometries a polynomial of the Laplacian?

On $(\mathbb{R}^n, g_{\text{std}})$ with $\Delta$ the Laplacian, the following holds: Fact: Every scalar differential operator $D$ that satisfies $D \circ F^* = F^* \circ D$ for all isometries $F ...
0
votes
0answers
43 views

Using the Hodge theorem to decompose the metric tensor

There has been a previous discussion about concrete constructions using the Hodge theorem , Construction of Hodge decomposition Let me try to ask here about a specific case where one is trying to ...
3
votes
1answer
90 views

Connections in non-Riemannian geometry

In case of Riemannian geometry the connection $\Gamma^i_{jk}$ as is derived from the derivatives of the metric tensor $g_{ij}$ is ought to be symmetric wrt to its lower two indices. But in the case of ...
2
votes
1answer
51 views

Extension of smooth maps at a cusp

There is a short remark in deCarmos "Riemannian Geometry" (p. 67) and I wonder about the condition that the vertex angles must be $\neq \pi$. If $s_1$ and $s_2$ are two differentiable maps on an ...
1
vote
0answers
54 views

Special expression for 3-linear symmetric map $T(X,Y,Z) = \langle -Jh(X,Y),Z \rangle$ [Ejiri]

For a project in Riemannian Geometry, I have been working out the details of a paper by Ejiri (http://www.ams.org/journals/proc/1982-084-02/S0002-9939-1982-0637177-8/S0002-9939-1982-0637177-8.pdf) ...
1
vote
0answers
53 views

All differentiable functions on $\mathbb{S}^n$

Consider the sphere $\mathbb{S}^n$ embedded in $\mathbb{R}^{n+1}$. Let $N$ be the north pole of the sphere and $S$ the south pole. Every point on $\mathbb{S}^n \backslash \{N,S\}$ is defined uniquely ...
1
vote
1answer
67 views

Reference about Gauss-Bonnet-Chern theorem.

I would like to get some references which explains Gauss-Bonnet-Chern theorem and its original proof by Chern. I tried to read his paper published in 1944 "A Simple Intrinsic Proof of the Gauss-Bonnet ...
2
votes
1answer
88 views

When is the Hessian contracted with a vector field a closed form?

Suppose M is a Riemannian manifold and $g, f : M \rightarrow \mathbb{R}$ are smooth functions. When is the $1$-form Hess$^f(\nabla g, -)$ closed? I'm looking for simple conditions involving f,g and ...
3
votes
2answers
92 views

About two notions of holonomy

I have found something called "holonomy" in two apparently different contexts: Let $M$ be a smooth manifold, $E\to M$ a vector bundle and $\nabla $ a connection on $E$. Then you have a notion of ...
4
votes
2answers
60 views

Orientation on Riemann surfaces

$\mathcal{X}$ is a Riemann surface and $\mathcal{E}^{(2)}(\mathcal{X})$ is the $\mathbb{C}$-Vector space of all differentiable $2$-forms on $\mathcal{X}$. I want to define the orientation of ...
0
votes
1answer
45 views

Length Minimizing Properties of Geodesics on Surfaces?

Can anyone recommend me some nice references about lengh minimizing properties of geodesics? I'm looking for a treatment in the case of surfaces, but more general viewpoints will also be welcome. ...
0
votes
0answers
24 views

There are no conjugate points on a surface with negative Gaussian curvature?

I'm trying to understand the following theorem about conjugate points: Theorem. Let $M$ be a complete surface with Gaussian curvature $K\leq 0$, then there are no conjugate points on $M$. Proof: Let ...
1
vote
1answer
67 views

Can I construct an affine connection on a Riemannian manifold from arbitrary Christoffel Symbols?

The question is rather simple. All my definitions are as in Do Carmo's "Riemannian Geometry". If $M$ is a Riemannian Manifold, can I construct an affine connection $\nabla$ on it by setting, for all ...
2
votes
1answer
45 views

Computing the volume element of an oriented Riemannian manifold

I'm reading Gallot-Hulin-Lafontaine, and in section 2.7 they say they following: I wanted to check that the second $v_g,$ given in a local oriented chart, satisfied the first property. So I ...
0
votes
1answer
42 views

Derivative of riemannian metric

I dont understand the following detail $$ \frac{1}{2} \int_a^b \frac{d}{dt}(g(X,X)ds = \int_a^bg(\nabla_YX, X)$$ Here $X = d\phi (\partial/\partial s)$ and $Y =d\phi (\partial/\partial t)$. Where ...
2
votes
2answers
72 views

Ricci Soliton geometric meaning

I wonder what is the geometrical, intuitive meaning of a Ricci soliton on a manifold. The definition that I use is as follows. $V$ is a vector field on the manifold, $g$ is a Riemannian metric. ...
2
votes
1answer
76 views

Reference request-What is the prerequisite of S.S.Chern's proof of the generalised Gauss-Bonnet theorem?

The title basically explains everything. The OP is an independent learner, who in the current stage sets S.S.Chern's proof of the generalised Gauss-Bonnet theorem as the goal. But what is the ...
2
votes
1answer
66 views

Intuition/visualization for a non-flat connection

I'd just like to check whether my visualization for a way to get a non-flat connection is correct. The definition I am using for a connection is, for a fiber bundle $\rho:E \to B$, a smooth ...
5
votes
0answers
117 views

Geodesic equation from Christoffel symbols

Let $\mathcal{P}:=\mathcal{P}(\mathcal{X})$ be the $n$-dimensional manifold of all (strictly positive) probability vectors (distributions) on $\mathcal{X}=\{x_0,\dots,x_n\}$, i.e., each ...
2
votes
1answer
48 views

If $\Gamma^k_{ij}(p)=0$, then $\nabla_{E_i}E_j (p)=0?$

I'm having the same problem as it was questioned here. I can't get throught the step where I need to show that $\nabla_{E_i}E_j (p)=0$. It only leads to $$ \nabla_{E_i}E_j(p)=\sum_{lk}^n ...
1
vote
1answer
30 views

Question on Normal Coordinates

I'm having a hard time trying to understand something that I'm suspicious is pretty stupid. I'll refer to Wikipedia to settle the term's I'll refer to. ...
1
vote
1answer
62 views

Multi Index Dirac delta function

If we assume the following result: $$\delta^{\alpha_1,\alpha_2,\cdots , \alpha_k, \rho}_{\beta_1,\beta_2,\cdots , \beta_k, \rho} = (n-k)\delta^{\alpha_1,\alpha_2,\cdots , ...
0
votes
1answer
61 views

Why the geodesic curvature is invariant under isometric transformations?

As I know the geodesic curvature $$ \kappa_g = \sqrt{det~g} \begin{vmatrix} \frac{du^1}{ds} & \frac{d^2u^1}{ds^2} + \Gamma^1_{\alpha\beta} \frac{du^\alpha}{ds} \frac{du^\beta}{ds} \\ ...
1
vote
1answer
55 views

Which of principal curvature, Gaussian curvature and mean curvature is intrinsic ? Why?

Which of principal curvature, Gaussian curvature and mean curvature is intrinsic and why? Which book will have this explanation? I read a book (Remannian Geometry, Do Carmo, p129). It has a saying: ...
2
votes
0answers
56 views

Gradient of a real-valued function on SO(3)

I have struggling with a problem of evaluating the gradient of a cost function on the Lie group of rotations: SO(3). The cost is the following: \begin{equation} ...
7
votes
2answers
122 views

Geometric meaning of symmetric connection

If $(M, g)$ is Riemannian manifold, there is unique connection $\nabla$, called Levi-Civita connection, satisfying the following: 1) Compatibility with Riemannian metric, i.e. $\nabla(g)$=0 2) ...
3
votes
2answers
98 views

Equivalent definitions of vector field

There are two definitions of a vector field on a smooth manifold $M$. A smooth map $V:M \rightarrow TM, \forall p \in M:V(p) \in T_p M$. A linear map $V:C^{\infty}(M) \rightarrow C^{\infty}(M), ...