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

30
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
855 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 ...
46
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 ...
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 ...
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 ...
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. ...
12
votes
3answers
889 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 ...
9
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 ...
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
1answer
559 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 ...
9
votes
1answer
795 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
604 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
313 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 ...
5
votes
3answers
796 views

Uniquely geodesic and CAT(0) spaces?

Improvement after J-M Schlenker's comment below : This post has been divided into two parts, the second part is here. Question : Is a finite dimensional metric space, uniquely geodesic if and only ...
2
votes
0answers
408 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 ...
3
votes
2answers
421 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
206 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 ...
17
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.
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 ...
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
511 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 ...
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
959 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
803 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 ...
7
votes
0answers
748 views

The integral of torsion

I found the following * exercise (exercise *9) in page 407 of the book of do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...
24
votes
1answer
560 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) ...
8
votes
3answers
720 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 ...
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 = ...
11
votes
2answers
852 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 ...
11
votes
1answer
756 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 $ ...
14
votes
1answer
445 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., ...
8
votes
2answers
1k 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 ...
7
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
561 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
393 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 ...
13
votes
1answer
344 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 ...
10
votes
3answers
764 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 ...
8
votes
1answer
354 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
357 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 ...
5
votes
0answers
120 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 ...
4
votes
2answers
591 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 ...
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 ...
3
votes
1answer
421 views

What are Euler density and Weyl invariants?

I would like to know as to what is the definition and significance of what are called "Euler density" and "Weyl invariants" (of weight $-d$ on a $d-$manifold) Do many (which?) of them vanish when ...