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

29
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
834 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 ...
25
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 ...
44
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 ...
11
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
3k 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 ...
14
votes
3answers
1k 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
846 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 ...
15
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 ...
8
votes
1answer
593 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
262 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 ...
4
votes
3answers
763 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 ...
3
votes
2answers
408 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
189 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.
32
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 ...
22
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
508 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 ...
17
votes
2answers
939 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 ...
15
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 ...
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
788 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
543 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
4answers
987 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 = ...
7
votes
3answers
682 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 ...
11
votes
2answers
802 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
731 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
417 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., ...
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
552 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
386 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
341 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
721 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
203 views

Conformal changes of metric and geodesics

Suppose $(M,g)$ is a Riemannian manifold. Let us assume that $X$ denotes a vector field in this manifold and consider the integral curves of this vector field. Does there exist a conformal factor $c$ ...
7
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 ...
6
votes
3answers
347 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
113 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
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
397 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 ...
3
votes
1answer
242 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 ...
2
votes
0answers
461 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 ...
2
votes
2answers
1k views

Metric Connections on a Lie Group

A Lie group has three standard Cartan connections; the (-)-connection, the (0)-connection, and the (+)-connection. The (0)-connection is Levi-Civita with the associated metric the bi-invariant metric. ...
1
vote
1answer
360 views

Lie derivative of curvature

Let $M$ be a Kahler manifold, with Kahler metric $g$. Let $X$ be a holomorphic Killing vector field of $g$, i.e. $L_{X} g = 0$, where $L_{X}$ is the Lie derivative along $X$. Let $R$ be the Riemannian ...
17
votes
4answers
2k views

Largest hyperbolic disk embeddable in Euclidean 3-space?

Hilbert proved that there's no complete regular (C^k for sufficiently large k) isometric embedding of the hyperbolic plane into R^3. On the other hand, the pseudosphere is locally isometric to the ...
9
votes
2answers
363 views

Behavior of the spectrum of the Laplacian under pointed smooth convergence

The Laplacian on a compact Riemannian manifold has a discrete spectrum. For example on a circle of perimeter $L$ the $n$-th eigenvalue starting at $0$ is $-\lambda_n = -(2\pi/L)^2 n^2$. On the other ...