Riemannian Geometry is a subfield of Differential Geometry, which specifically studies "Riemannian Manifolds", manifolds with "Riemannian Metrics", which means that they are equipped with continuous inner products.

learn more… | top users | synonyms

32
votes
2answers
4k views

Does the curvature determine the metric?

Hello, I ask myself, whether the curvature determines the metric. Concretely: Given a compact Riemannian manifold $M$, are there two metrics $g_1$ and $g_2$, which are not everywhere flat, such that ...
9
votes
3answers
925 views

Limit cycles as closed geodesics(in negatively curved space)

The classical Van der Pol equation is the following vector field on $\mathbb{R}^{2}$: \begin{equation}\cases{\dot{x}=y-(x^{3}-x)\\ \dot{y}=-x}\end{equation} This equation defines a foliation on $\...
26
votes
10answers
3k views

Determining a surface in $\mathbb{R}^3$ by its Gaussian curvature

A curve in the plane is determined, up to orientation-preserving Euclidean motions, by its curvature function, $\kappa(s)$. Here is one of my favorite examples, from Alfred Gray's book, Modern ...
47
votes
7answers
5k views

Riemannian surfaces with an explicit distance function?

I'm looking for explicit examples of Riemannian surfaces (two-dimensional Riemannian manifolds $(M,g)$) for which the distance function d(x,y) can be given explicitly in terms of local coordinates of ...
26
votes
5answers
4k views

A geometric interpretation of the Levi-Civita connection?

Let $M$ be a Riemannian manifold. There exists a unique torsion-free connection in the (co)tangent bundle of $M$ such that the metric of $M$ is covariantly constant. This connection is called the Levi-...
15
votes
3answers
2k views

Riemann's formula for the metric in a normal neighborhood

I would love to understand the famous formula $g_{ij}(x) = \delta_{ij} + \frac{1}{3}R_{kijl}x^kx^l +O(||x||^3)$, which is valid in Riemannian normal coordinates and possibly more general situations. ...
13
votes
3answers
3k views

Curvature of a Lie group

Since a lie group is a manifold with the structure of a continuous group, then each point of the manifold [Edit: provided we fix a metric, for example an invariant or bi-invariant one] has some scalar ...
10
votes
3answers
1k views

Totally Geodesic Submanifolds

Suppose that $N$ is a totally geodesic submanifold of a complete Riemannian manifold $(M,g)$. Is it the case that a geodesic segment that minimizes length in the submanifold $N$ also minimizes length ...
4
votes
1answer
575 views

Curvature as metric invariant

This is quite well-known: the ONLY metric invariants are curvature, its higher derivatives, and any possible contractions between them. The meaning of an invariant is, to put it simply, a tensor ...
16
votes
1answer
1k views

Nonnegative to Positive Curvature.

This questions asks for your intuition and insight as I'm surprised by how little is known about the difference between nonnegative and positive curvature. I don't want to be completely vague, so I ...
4
votes
2answers
618 views

A Converse to the Gauss Bonnet Theorem

Let $S$ be a compact surface in $\mathbb{R}^{3}$ with the gauss normal map $N:S\to \mathbb{S}^{2}$. Assme that $\phi;\mathbb{S}^{2}\to S$ is a diffeomorphism. Put $F=N\circ \phi$ and represent $F:\...
8
votes
1answer
614 views

Surfaces all of whose geodesics are both closed and simple

The Zoll surfaces have the property that all of their geodesics are closed. If one futher stipulates that all geodesics are also simple, i.e., non-self-intersecting, does this leave only the sphere? ...
5
votes
1answer
347 views

Commutative spectral triples

The corresponence between compact Hausdorff topological spaces and commutative unital $C^*$-algebras is rather well known: Gelfand Najmark theorem gives perfect correspondence between these categories....
2
votes
0answers
414 views

On Eigenspace of a Bundle Map which is the horizontal part of a complex structure on $TM$

Let $(M^{n+m},g)$ be a Riemannian manifold and let $\mathcal{H}(TM) ‎‎\subseteq‎‎ TTM$ be the horizontal space associated to the Levi-Civita connection of $g$. ‎L‎‎et $\bar{J} : TTM \longrightarrow ...
4
votes
2answers
436 views

Sharp Gaussian upper bounds on Heat Kernel

I am looking for references (with proof) for the following statement: Let $(M, g)$ be a Riemannian manifold with bounded curvature and let $p_t(x , y)$ be the heat kernel of $M$. Let $K$ be ...
1
vote
1answer
209 views

A geometric property of singular matrices

Let $S\subset M_{n}(\mathbb{R})$ be the singular points of the equation $Det=0$. That is $S$ is the critical points of the determinant function. What matrices belongs to $S$, precisely? Let $M=...
19
votes
11answers
6k views

Open Questions in Riemannian Geometry

What are some major open problems in Riemannian Geometry? I tried googling it, but couldn't find any resources.
12
votes
7answers
4k views

Roadmap to learning about Ricci Flow?

Hello, I'm curious to what books etc. one could use to understand the basics of Ricci flow, what areas of math are needed and so? What areas should one specialize in? See it as a roadmap to ...
33
votes
5answers
2k views

Is the Laplacian on a manifold the limit of graph Laplacians?

Here's the sort of thing I have in mind. Let $M$ be a Riemannian manifold, compact if it helps, and let $\Delta_M$ be the Laplace-Beltrami operator. Choose a sequence of triangulations of $M$ so ...
16
votes
5answers
3k views

Curvature and Parallel Transport

Here is an updated formulation of the question, which is more precise and I think completely correct: Suppose $M$ is a Riemannian manifold. Pick a point $p$ in $M$ and let $U$ be a neighborhood of ...
12
votes
3answers
954 views

Characterizing Hessians among symmetric bilinear tensors

I apologize in advance if this is somewhat elementary, but: Let $(M,g)$ be a compact Riemannian manifold. Is there a "characterization" of which symmetric bilinear tensors $B\in Sym^2(M)$ are ...
23
votes
0answers
1k views

Ricci flat metric on $n$-sphere?

Can you put a Ricci flat metric on the $n$-sphere, $n>4$?
4
votes
2answers
516 views

Which vector bundle are the Christoffel symbols sections of?

The collection of Christoffel symbols $\Gamma_{ij}^k$ of a connection (or of a metric) on a smooth manifold $M$ is not the collection of components of a tensor field in some local chart, i.e. they don'...
16
votes
4answers
1k views

When is the time evolution of a Hamiltonian system described by the geodesic flow on a Riemannian manifold?

Here is my precise question. Let $M, \omega$ be a symplectic manifold and let $H: M \to \mathbb{R}$ be any smooth function. The symplectic form gives rise to an isomorphism between the tangent ...
17
votes
2answers
977 views

If there is a dense geodesic, are almost all geodesics equidistributed? Dense?

Let $M$ be a complete finite volume Riemannian manifold and $\gamma : \mathbb{R}^{\geq 0} \to M$ a geodesic. Suppose that $\mathrm{im}(\gamma)$ is dense. Is it equidistributed in the Riemannian ...
14
votes
4answers
1k views

What is the analog of the “Fundamental Theorem of Space Curves,” for surfaces, and beyond?

The "Fundamental Theorem of Space Curves" (Wikipedia link; MathWorld link) states that there is a unique (up to congruence) curve in space that simultaneously realizes given continuous curvature $\...
13
votes
2answers
809 views

Is there a unified reason that there are an infinite number of geodesics between nonconjugate points on a compact manifold?

The proof of this statement seems to break into two really different arguments. So, I'm wondering if there is a better argument that can explain them both, or whether it's really just two theorems ...
10
votes
4answers
1k views

Laplace-Beltrami Operator on Surfaces

I would like to know what is known about the spectrum of the Laplace-Beltrami operator on 2-dimensional negatively curved surfaces of constant curvature. For instance, What is the spectrum of the ...
24
votes
1answer
567 views

Do free higher homotopy classes of compact Riemannian manifolds have preferred representatives?

A well known theorem of Cartan states that every free homotopy class of closed paths in a compact Riemannian manifold is represented by a closed geodesic (theorem 2.2 of Do Carmo, chapter 12, for ...
15
votes
4answers
1k views

Equations satisfied by the Riemann curvature tensor

It is well known that the Riemann curvature tensor of a metric satisfies \begin{eqnarray} R_{jikl}=-R_{ijkl}=R_{ijlk},(1)\\ R_{klij}=R_{ijkl},(2)\\ R_{i[jkl]}=0 \mbox{(1st Bianchi identity)}.(3) \end{...
8
votes
4answers
1k views

Riemannian metric on a flag variety

$\def\C{\mathbb{C}}\def\CP{\mathbb{CP}}$Every complex projective space $\CP^n$ has a natural Riemannian metric, the Fubini–Study metric, which is defined via the quotient definition of $\CP^n = \...
8
votes
3answers
751 views

Can a manifold have a curvature-free connection that is not torsion-free?

Suppose I have a smooth manifold with a tangent bundle, and I have a connection. If this connection is curvature-free, is it guaranteed to be torsion-free? (I am not assuming a metric, just a finite-...
11
votes
1answer
789 views

Does the gluing procedure in Robert Wald’s book *General Relativity* yield a Hausdorff spacetime?

Before I state my problem, let me provide some definitions pertaining to the Cauchy Problem in General Relativity. Definition 1: A triplet $ (\Sigma,h,k) $ is called an initial data set if $ (\...
11
votes
2answers
884 views

Obtain Lorentzian manifolds from Riemannian ones by Wick rotation

In some cases, Wick rotation of a metric, formally consisting in substituting a coordinate with i times the coordinate itself, allows one to construct a Riemannian manifold starting from a Lorentzian ...
14
votes
1answer
457 views

Simple, closed geodesics in $\mathbb{S}^3$ manifold

Lyusternik and Shnirel'man were the first to prove Poincaré's conjecture that any Riemannian metric on $\mathbb{S}^2$ has at least three simple (non-self-intersecting), closed geodesics. See, e.g., p....
10
votes
2answers
1k views

Formal adjoint of the covariant derivative

Let $E \to M$ be a vector bundle over some Riemannian metric $(M, g)$ and endow it with some fibre metric. Assume that covariant derivative $\nabla$ is compatible with the metric. It is essentially ...
8
votes
2answers
2k views

Reference request: Geodesic flow on a manifold with negative curvature is ergodic

I'm reading about the Mostow's rigidity theorem, and the proof uses the following (maybe well-known) result: The geodesic flow on a manifold with negative curvature is ergodic. The lecture note that ...
8
votes
1answer
1k views

Global description of the Levi-Civita connection

I'm interested in finding a global (coordinate-free) description of the Levi-Civita connection on a (possibly infinite-dimensional) Riemannian manifold X. I'm not looking for a description of this ...
6
votes
2answers
566 views

Ricci curvature of the symplectic group

Is the Ricci curvature of the compact symplectic group $Sp(n)$ bounded below by $cn$ for some constant $c > 0$ independent of $n$? For $O(n)$ and $U(n)$ I know many references which state such a ...
5
votes
1answer
396 views

Proof of the general expression for anomaly in a CFT and its partition function

I think the statement is that for any dimensional CFT the following is true, $$\langle T^{\mu}_\mu \rangle = \sum B_n I_n - 2(-1)^{d/2}AE_d,$$ where $E_d$ is the `"Euler density" and $I_n$ are ...
19
votes
2answers
1k views

Area of distance sphere in manifold with Ricci $\ge 0$.

Let $M$ be a open complete manifold with Ricci curvature $\ge 0$. By a theorem of Calabi and Yau, the volume growth of $M$ is at least of linear. I am wondering whether the following statement is true:...
13
votes
1answer
348 views

If all balls around two points are isometric… — manifold version

This question is a natural follow-up of this other question, asked earlier today by wspin. Let's say that a metric space $(X,d)$ has two poles if: there are two distinct points $x$, $y$ such that ...
11
votes
3answers
1k views

Is there a global obstruction for a diffeomorphism to be an isometry?

Let $V$ be a finite dimensional vector space. Let us call an automorphism $T:V\rightarrow V$ admissible if there exists an inner product $\langle , \rangle$ on $V$ making $T$ an isometry. We know $T$...
10
votes
3answers
786 views

volume of compact simple Lie groups under the natural Euclidean embedding

I am looking for a quick reference for the volume formula for all the compact simple Lie groups embedded as matrix groups in the natural way. The one I care most for are the real orthogonal groups. I ...
9
votes
1answer
825 views

Solutions of equations characterizing a complex structure

Let $(S^n,g)$ denote the unit $n$-sphere endowed with its induced metric $g$ from its embedding into $\mathbb{R}^{n+1}$. The Levi-Civita connection of $g$ induces a splitting of the tangent bundle of $...
8
votes
1answer
367 views

Injectivity radius of the Sasaki metric

Let $(Q,g)$ be a (compact) Riemannian manifold with injectivity radius $\rho>0$. There is a natural metric $\tilde g$ on the tangent bundle $TQ$ which is known as the Sasaki metric and which makes $...
6
votes
3answers
360 views

Are negatively pinched manifold locally conformally flat?

One knows that hyperbolic manifolds are locally conformally flat. How about those negatively pinched manifolds, i.e. the sectional curvature $K$ satisfy: $$ -\Lambda \le K \le -\lambda$$ for $\Lambda&...
5
votes
0answers
122 views

Finitely generated projective modules over the algebra of sections of the Clifford bundle

Consider a (pseudo-)Riemannian manifold $(M,g)$ and the corresponding Clifford bundle $Cl_g(T^*M)$. Let $R$ be the algebra of sections of $CL_g(T^*M)$, with point-wise multiplication. What are the ...
3
votes
1answer
296 views

Length spectrum and Zoll surfaces of revolution

The earlier MO question, "Length spectrum of spheres," asked if the length spectrum of closed geodesics determines the metric on $S^2$, and the answer was a clear No due to Zoll surfaces, all of whose ...
3
votes
1answer
97 views

Involution on the set of isomorphism classes of 2n-dimensional vector bundles induced by an involution of $O(2n)$

Denote by $\varphi$ the automorphism of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$.This induces a self-map $B\varphi$ of $BO(n)$, so it induces a self-map (actually an involution) $B\varphi ^*$ on $[...