A branch of differential geometry dealing with Riemannian manifolds. *Riemannian manifolds* are smooth manifolds with an inner product smoothly attached to the tangent space of each point. Usually, Riemannian geometry focuses on the notions of distance, curvature, and shape. Consider using this tag ...

learn more… | top users | synonyms

1
vote
0answers
17 views

Bach Tensor Definition and Notation

I encountered the following in a paper (http://arxiv.org/pdf/math/0310302v3.pdf) and I'm hoping someone could confirm my interpretation of it. The paper defines the Bach Tensor in local coordinates ...
0
votes
1answer
18 views

Locally isometrics manifolds

Let $(N, h)$ and $(M, g)$ riemannian manifolds with $dim M = dim N$. We say that M is locally isometric to N if there is a smoother application $F: M\rightarrow N$ such that $$g(v,w)=h(dF_p(v), ...
3
votes
1answer
44 views

Covariant and partial derivative commute?

I know that we have for a function $\Gamma: (-\varepsilon,\varepsilon)^2 \rightarrow M$ we have (at least I think I know that this is true) $$\nabla_{\frac{\partial \Gamma}{\partial s}} ...
2
votes
2answers
29 views

Local existence of parallel vector field

Let $M$ be a Riemannian manifold, $p\in M$ be a point in the manifold, and $\xi\in T_p M$ be a vector in its tangent space. I am wondering whether, for some small neighborhood $U\subset M$, it is ...
3
votes
1answer
41 views

Jacobi field strange condition.

I am currently reading a textbook (Kuehnel) saying that if $V,W \in T_pM$ are such that $\langle V,W \rangle =0$ and $\|V\|=\|W\|=1,$ then $Y(t):=D \exp(tV)(tW)$ is a Jacobi field. The thing is, I ...
2
votes
0answers
31 views

If M is compact and N is connected, then locally isometry is symmetric?

I am studying for the qualifying exams of my PhD, and I found the following exercise in the reference book: If $M$ is a compact Riemannian manifold, $N$ is a connected Riemannian manifold and $M$ is ...
2
votes
0answers
16 views

a differential geometry question, is $k_\alpha(s) \ge |k_\beta(\alpha(s))|{d\sigma\over ds}$ true or wrong?

let $ \alpha(s)$(s is the arc-length of $\alpha$) be a closed curve in three dimensional space, let $\beta$ be orthogonal projection of $\alpha(s)$ in xy plane. if so, we have ...
6
votes
2answers
81 views

Definition of covering (deck) transformation for smooth manifolds: Are they diffeomorphisms?

In John Lee's book Riemannian Manifolds, a covering transformation (or deck transformation) of a smooth covering map $\pi:\tilde{M}\to M$ (of connected smooth manifolds) is defined to be a smooth map ...
7
votes
1answer
46 views

Can the Lie group structure be recovered from the geometry of an invariant metric?

Is there a manifold $M$ with two non isomorphic Lie group structures $G_{1}$ and $G_{2}$, and two left invariant metrics $g_{1}$ and $g_{2}$, respectively such that $(M,g_{1})$ is isometric to ...
2
votes
1answer
47 views

Why is a diffeomorphism an isometry if and only if it commutes with the Laplacian?

I came across the following statement in a book on automorphic forms: In general, on a Riemannian manifold, the Laplace-Beltrami operator $\Delta$ is characterized by the property that a ...
4
votes
1answer
48 views

Intuition behind eigenfunctions of the Laplacian operator

I'm reading about the notion of spectral dimension which is a measure of how particles diffuse in some space at different scales. An important aspect of spectral dimension is the ...
1
vote
1answer
36 views

Calculating euler characteristic and geodesic curvature

We have the usual formula for the euler characteristic in differential geometry $$\chi = \frac{1}{4\pi}\int_{M}d^{2}\sigma g^{1/2}R + \frac{1}{2\pi}\int_{\partial M}ds k$$ where we define the ...
4
votes
1answer
49 views

Can a volume form on a submanifold be extended to a parallel form in a neighbourhood?

Let $(M^{n+1},g)$ be a Riemannian manifold and let $\Sigma^n \hookrightarrow M$ be a smooth, closed, embedded submanifold. Let $\Omega$ be the volume form of $\Sigma$. It is well-known that a volume ...
0
votes
0answers
13 views

Divergence and formal adjoint operators: are they bounded/continuous?

Let $(M,g)$ be a smooth Riemannian manifold. The divergence operator is the map \begin{align*} \delta_g:\Gamma^k(S^2M)&\rightarrow\Gamma^{k-1}(T^*M)\\ ...
0
votes
0answers
12 views

Is the structure constant additive on connected components?

Definition of the Structure Constant Let $M$ be a Riemann surface and $\mu$ a smooth metric on it; let $\Delta_{\mu,\,M}$ be the Laplacian on $M$ induced by $\mu$ and ...
0
votes
0answers
16 views

Finding line element from metric

Given an arbitrary metric tensor $g_{\mu\nu}$, how can I compute the corresponding line element $dl$? In the usual coordinate systems we use (Cartesian, cylindrical and spherical coordinates), the ...
1
vote
0answers
31 views

a question about Fenchel's theorem(differential geometry)

I am an undergraduate student studying differential geometry right now. I am just finishing reading how to prove Fenchel's theorem:The total curvature of a smooth closed curve in 3-dimensional space ...
1
vote
1answer
37 views

second fundamental form and connection forms

I am reading this paper that has the following: Suppose $M$ is an (n-1) dimensional closed hyper surface immersed in $\mathbb{R}^{n}$. Let $e_1, \cdots, e_n$ be orthonormal frame in $\mathbb{R}^n$ ...
0
votes
0answers
38 views

Natural derivative of Vector Fields on manifolds

I'm learning about connections and my book says that there is no natural derivative for a vector field on a manifold. Wouldn't it be possible to cook up a connection by just letting $\nabla_{v_p}X = ...
1
vote
1answer
74 views

Connection between harmonic functions, Bochner Laplacian and Ricci curvature

I stumbled upon the following claim in a paper: "We write the (Bochner) Laplacian in suffix notation: $\Delta_B = \nabla ^k \nabla_k$". after this statement, the following is written: ($M$ is a ...
5
votes
2answers
246 views

Nonexistence of local isometry between equidimensional Riemannian manifolds

Recall that all inner product spaces of the same dimension are isometric. For example, if $(M,\mathrm{g})$ and $(N,\mathrm{h})$ are Riemannian manifolds of the same dimension, then ...
1
vote
1answer
49 views

Injectivity of the Differential of Smooth Map

I am trying to answer the following question: Let $M = \{(x,y)\in \mathbf{R}^2 : x^2 + y^2 < 1\}$. Define a smooth or $C^\infty$ function by $f\colon M \rightarrow \mathbf{R}^2$ as ...
1
vote
0answers
34 views

Kinds of isometries preserving the curvature tensor

We talked about isometries /local isometries and linear isometries in the lecture, but unfortunately we did not say when the isometry preserves the curvature tensor or sectional curvature. First I am ...
3
votes
2answers
115 views

What's my mistake in the calculation?

Summation convention holds. If $\frac{\partial}{\partial t}g_{ij}=\frac{2}{n}rg_{ij}-2R_{ij}$, then ,I compute: $$ \frac{1}{2}g^{ij}\frac{\partial}{\partial ...
3
votes
2answers
85 views

Boundedness of the norm of the Riemann curvature tensor

Let $(M,g)$ be a Riemannian manifold and let $R(X,Y)Z$ be its $(3,1)$ Riemann curvature tensor given by $$R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z$$ Let the input vectors $X,Y,Z$ ...
-1
votes
1answer
44 views

Invariance of volume along Ricci flow

The Riemannian metric is $g_{ij}$,its inverse is $g^{ij}$,and the induced measure is $du=u(x)du$ where $u(x)=\sqrt{det(g_{ij})}$.The scalar curvature is $R=g^{ij}R_{ij}$ . $r=\frac{\int R du}{\int ...
1
vote
2answers
86 views

Statement about the isometries of a product manifold

I'm studying Minkowski spacetime $\Bbb{M}$, and I would like to make the following statement about its symmetry transformations. Since $\Bbb{M}$ is the product manifold of time and space, it inherits ...
2
votes
2answers
41 views

Geodesics on a generalized cylinder

I want to prove that given a generalized cylinder $C(s,t)=\alpha(s)+t\hat{z}$ , where $\alpha$ is a curve on the $xy$ plane and $\hat{z}$ is the $z$-axis vector, then a geodesic curve $\gamma$ has the ...
0
votes
0answers
6 views

Orthogonal Jacobi Fields Remain Orthogonal

Let $\gamma(t)$ be a geodesic and suppose $\left<J(0), \gamma'(0)\right> = \left<J'(0), \gamma'(0)\right> = 0$ where $J'(0)$ indicates the covariant derivative of $J$ along $\gamma$. There ...
1
vote
0answers
25 views

“Commutation” of parallel transport with covariant derivative and Riemann curvature tensor

I'd appreciate it a lot of you could please give me a detailed answer to this question. Alternately, you could just cite a reference too. Let $(M,g)$ be a Riemannian manifold, $c$ a curve on it. You ...
2
votes
2answers
36 views

why does Lie bracket of two coordinate vector fields always vanish?

This is really puzzling me. Say we are dealing with a Riemannian manifold $(M,g)$. Suppose $\nabla$ is the unique torsion free connection on $M$ that is compatible with $g$. Suppose we are in a ...
2
votes
0answers
67 views

Check Riemannian manifold's isometry to $\Bbb{R}^n$

Let $\mathcal{M}$ be the convex cone of symmetric positive definite $n\times n$ real matrices. $\mathcal{M}$ is an $\frac{n(n+1)}{2}$-dimenasional Riemannian manifold. Could you help me proving (or ...
1
vote
2answers
71 views

Parallel transport of a vector in hyperbolic space, specifically in $\mathbb{H}$

Let us consider Poincaré's upper plane which is defined as $\mathbb{H} = \{ (x,y) | y>0\}$. This space has a Riemannian metric $g = \text{diag}(1/y^2, 1/y^2)$. Now let us consider a differential ...
1
vote
1answer
11 views

Gauss lemma tangent space identification

In Gauss' lemma (in riemannian geometry), many books say that we can identify $T_v(T_xM)$ with $T_xM$ where $(x,v) \in TM$. How can I see how to identify these two spaces?
0
votes
0answers
29 views

decomposition of a closed surface

I know that I can decompose an hyperbolic closed surface of genus $g>1$ into $2(g-1)$ pants bounded by 3 geodesics. It seems reasonable to think the same can be done for a closed surface of genus ...
3
votes
1answer
52 views

Metric on Homogeneous Space $G/H$

For simplicity, assume $G$ is compact and semi-simple Lie group, and $H$ is a closed subgroup of $G$. Therefore the homogeneous space is reductvie, say $\mathfrak{g}=\mathfrak{h}+\mathfrak{m}$ where ...
2
votes
0answers
51 views

Is it possible to put a Ricci-flat metric on the $n$-sphere for $ n>4$?

I'm looking for references which discuss the possibility of putting a Ricci-flat metric on the $n$-sphere for $n > 4$. Thank you for any kind of help.
8
votes
2answers
70 views

Totally geodesic hypersurface in compact hyperbolic manifold

In [Zeghib: Laminations et hypersurfaces géodésiques des variétés hyperboliques, Annales scientifiques de l'ENS, 1991] it is shown, that in a compact manifold of negative curvature, there exists only ...
1
vote
0answers
70 views

Show the negative-definiteness of a squared Riemannian metric

Let $\Bbb{S}_{++}^n$ denote the space of symmetric positive definite (SPD) $n\times n$ real matrices. The geodesic distance between $A,B\in\Bbb{S}_{++}^n$ is given by the following Riemannian metric ...
0
votes
0answers
29 views

Construct a SPD kernel using a (true) distance function

Let $\mathcal{X}\equiv\Bbb{R}^n\times\Bbb{S}_{++}^n$ be a non-empty set of pairs $(\mathbf{x},\Sigma_x)$, where $\mathbf{x}\in\Bbb{R}^n$, $\Sigma_x\in\Bbb{S}_{++}^n$, where $\Bbb{S}_{++}^n$ denotes ...
4
votes
1answer
22 views

A lift of isometry to universal covering

Let $M$ be a compact Riemannian manifold, $\bar M \to M$ be its universal covering and $\phi \in Isom(M)$ be an isometry of $M$. Is it true that, if $\phi$ is isotopic to the identity map of $M$, than ...
0
votes
1answer
39 views

Slight confusion about Riemann curvature, in specific about $\nabla_{[X,Y]}$

In what follows I always use Einstein summation convention. The Riemann curvature is defined as $$ R(X,Y)Z = \nabla_{X}\nabla_{Y}Z - \nabla_{Y}\nabla_{X}Z - \nabla_{[X,Y]}Z $$ Now, I want to ...
5
votes
1answer
87 views

Theorema egregium violated in dimension $n \ge 4$?

Gauß showed that for surfaces in $\mathbb{R}^3$ the Gaussian curvature ( = sectional curvature) is invariant under local isometries. This is known as the thema egregium. Now in another question ...
1
vote
1answer
63 views

Meaning of “locally homeomorphic to $\mathbb{R}^{n}$”

I am fairly new to differential geometry and approaching it with a physics background (in the study of general relativity), as a result I'm having a few struggles with terminology etc, so please bear ...
0
votes
0answers
15 views

Does the coarea formula hold for smooth maps with gradient bounded below?

The coarea formula for hypersurfaces in $\mathbb R^n$ can be written in two following forms: $$ \int_{\mathbb R^n} g(x) |\nabla u(y)| dx = \int_{\mathbb R} \int_{u^{-1}(t)} g(y) d\mathscr H^{n-1}(y) ...
3
votes
0answers
69 views

Why is this map $H^1$?

I have the following proposition (taken from Klingenberg's Lectures on Closed Geodesics): Let $\pi: E \rightarrow S$ and $\mathcal{O} \subset E$ be a finite dimensional fibre bundle over the ...
1
vote
1answer
31 views

“measure zero” and “measurable function” on Riemannian manifolds

Let $(M,g)$ be a Riemannian manifold (which doesn't have to be orientable). As far as I know, the metric $g$ induces a "canonical" measure $\mu$ and so one can talk about sets $U\subset M$ of measure ...
2
votes
0answers
23 views

All possible flat conformal metrics of dimension greater than 2

Combining List of formulas in Riemannian geometry and Conformal symmetry, is there a proof which states $$ x^\mu \to \frac{x^\mu-a^\mu x^2}{1 - 2a\cdot x + a^2 x^2} $$ represents all possible ...
0
votes
0answers
15 views

characeterization of zero sets of the riemannian measure of a riemannian manifold

Let $(M,g)$ be a compact Riemannian manifold (does not have to be orientiable). Then there exists the Riemannian measure $\nu(g)$ on $M$. Let $(U_i,x_i)$ be a finite covering of $M$ of charts and let ...
1
vote
0answers
18 views

Bounding distance between geodesics in manifolds with nonpositive curvature

I've recently read (in some notes by Mark Pollicott) the following related claims, which, although quite intuitive, I would like to see proven (and clarified). Let $M$ be a compact, connected ...