Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
2 answers
338 views

Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$

I am looking for proof of the "well-known" result that for a $4$-dimensional Riemannian manifold $(M, g)$, we have an isomorphism $$ \operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \...
0 votes
0 answers
33 views

Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter

I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...
1 vote
1 answer
158 views

Comparison of special metrics on Riemann surfaces with the hyperbolic one

Let $X$ be a complex algebraic curve, or equivalently a compact Riemann surface, of genus $a\ge2$. Denote $\omega_1, \dots , \omega_a$ a basis of holomorphic differentials, and consider the Riemaniann ...
5 votes
0 answers
78 views

Is there a generalization of the Diameter Sphere Theorem to orbifolds?

The Diameter Sphere Theorem of Grove and Shiohama asserts that if $M$ is a compact Riemannian manifold with sectional curvature bounded from bellow by 1 and diameter greater than $\pi/2$, then $M$ is ...
1 vote
0 answers
122 views

Bilipschitz constants of exponential map on small ball for Riemannian manifold with curvature bounds

Let $(M,g)$ be a Riemannian manifold with sectional curvature $\mathrm{sect}$ between $-K\le \mathrm{sect} \le K$ for some $K>0$. In [1] it is stated at the beginning of section 4, that if $u,v\in ...
3 votes
2 answers
236 views

Lengths of closed geodesics and geodesic segments

Let $M$ be a closed Riemannian manifold of dimension $n \geq 2$. I am looking at sufficient conditions for the following two properties: existence of closed geodesics of arbitrarily long length on $M$...
18 votes
5 answers
4k views

What are good Morse Theory lecture notes and books?

Searching on the net I couldnt find any recent lecture/course notes on Morse Theory. I found an old set of notes (http://www.math.toronto.edu/mgualt/Morse%20Theory/mfp.pdf) by Mike Hutchings and these ...
4 votes
1 answer
172 views

Viscosity solutions of eikonal equation on Riemannian manifolds

It is well known that given a bounded open region $\Omega \subset \mathbb{R}^n$, the Dirichlet problem $$\lVert \nabla u \rVert = 1, \quad u|_{\partial \Omega} = 0$$ admits the unique viscosity ...
8 votes
1 answer
230 views

The closure of the space of Riemannian metrics with a fixed isometry class

Let $M$ be a closed manifold, and let $\mathscr{M}$ be the space of all Riemannian metrics over $M$. It is known that this is a Fréchet manifold. Consider also $\mathscr{D}$ the diffeomorphisms group ...
4 votes
3 answers
5k views

Green's function on sphere

Consider radial (normal) coordinates on a sphere $S^n, n \geq 2$. Let the "origin" be the north pole $(0, 0,..., 1)$ and the coordinates be denoted by $(r, \theta)$. We know that the Laplacian $\...
7 votes
1 answer
531 views

Conformal Killing fields satisfy a third order PDE

Let $(M,g)$ be a $n$-dimensional Riemannian manifold with smooth metric $g$. Proposition 3.2 in the paper "The Boost Problem in General Relativity" by O'Murchadha and Chistodoulou claims ...
5 votes
1 answer
343 views

Clarifying a result of Klingenberg

I am looking for some clarification on a result of Klingenberg. For context, I have a complete Riemannian manifold for which I would like to compute a lower bound on the injectivity radius at each ...
8 votes
3 answers
2k views

What does it mean that the Hessian is proportional to the metric?

Let $(M,g)$ be a smooth manifold equipped with a metric tensor $g$, and $f\in C^\infty(M)$ a regular function (i.e., with nowhere vanishing differential). Denote by $\mathrm{Hess}_g(f):=\nabla df$ ...
2 votes
0 answers
113 views

What is known about warped product metrics satisfying conditions more general than conformal flatness?

In this paper, the authors characterize warped product metrics which are conformally flat (the fibers must have constant sectional curvature, on some cases there is a limitation on the number of ...
8 votes
4 answers
710 views

Torsion of submanifolds

Studying curves in the Euclidean three dimensional space, one usually defines the curvature and the torsion of a curve. If I am not missunderstanding the thing, I guess that a curve has zero torision ...
3 votes
1 answer
170 views

Reference: parallel transport in the hyperboloid model

I'm reading the documentation of this package: Manopt, and they claim that in the hyperboloid model for $\mathbb{H}^d$ the parallel transport between tangent spaces $T_x$ and $T_y$ is given for any $u\...
5 votes
1 answer
530 views

Geodesic distance on $\mathrm{SO}(n)$

$\DeclareMathOperator\SO{SO}$Recently I came across this old MSE post or this paper (w.o. proof) discussing the geodesic distance on $\SO(n)$ when it is equipped with the left-invariant Riemannian ...
15 votes
6 answers
2k views

Any shortcuts to understanding the properties of the Riemannian manifolds which are used in the books on algebraic topology

I'm now attending a reading seminar on the algebraic topology. The seminar treats the book of Bott & Tu (Differential Forms in Algebraic Topology) and Milnor (Characteristic Classes). In those ...
7 votes
2 answers
2k 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 ...
4 votes
0 answers
72 views

Riemannian manifolds with a unique distance property

Let $M$ be a compact Riemannian manifold with geodesic distance function $d$, of (normalised) diameter $1$. Some of my favourite manifolds $M$ have the property that there exists an integer $k$ such ...
6 votes
1 answer
423 views

Difference between parallel transport and ambient projection

Consider a $d$-dimensional complete embedded Riemannian submanifold $(M,g)$ of a Euclidean space $\mathbb{R}^D$ (The major examples we consider are sphere and Stiefel manifold). Assume the sectional ...
5 votes
0 answers
1k views

"The famous Lusternik-Schnirelmann Theorem of the Three Closed Geodesics"

The title is a quote from p.256 of Wilhelm Klingenberg's 1995 Riemannian Geometry (Google Books link): Every surface homeomorphic to a sphere $\mathbb{S}^2$ has three distinct, simple, closed ...
4 votes
1 answer
347 views

Some questions on a paper of Wilking

I am currently trying to understand Wilking's paper "A Lie algebraic approach to Ricci flow invariant curvature conditions and Harnack inequalities" (DOI: 10.1515/crelle.2012.018, arXiv:1011....
13 votes
2 answers
2k views

Is there a solution of the Yamabe problem using Ricci flow?

Someone told me that it is possible to solve the Yamabe problem using Ricci flow. The proof I know of is the one originally proposed by Yamabe and then completed by Trudinger, Aubin and Schoen (in ...
8 votes
1 answer
795 views

Reverse Toponogov triangle comparison

See the wiki page https://en.wikipedia.org/wiki/Toponogov%27s_theorem One consequence of the Toponogov comparison Theorem is that if the sectional curvature of a manifold $M$ is pinched below by a ...
7 votes
1 answer
456 views

Nash embedding theorem for manifolds with boundary

A celebrated theorem of Nash is that every $C^k$ ($k\geq 3$) Riemannian manifold $(M,g)$ can be isometrically embedded into some Euclidean space $\mathbb{R}^d$ for some $d\in \mathbb{N}$. However, I ...
5 votes
1 answer
295 views

Existence of geodesic convex functions

By a result of Shing-Tung Yau [1974, Mathematische Annalen 207: 269-270], there are no non-trivial continuous geodesic convex functions on complete manifolds with finite volume. What happened if we ...
5 votes
1 answer
564 views

Geometric invariants of a Riemannian manifold encoded in certain moment map

Let $(M,g)$ be a Riemannian manifold with isometric group $G=Iso(M,G)$. The metric gives an isomorphism between tangent and cotangent bundle of $M$. So $g$ induce a natural symplectic structure on $...
13 votes
1 answer
481 views

A question on a result of Colin de Verdière

Consider a compact connected surface $M$ of some genus $\gamma \geq 2$. A particular case of a famous result of Colin de Verdière (see Construction de laplaciens dont une partie finie du spectre est ...
8 votes
1 answer
218 views

Existence of properly discontinuous and cocompact action

Let $M$ be a complete Riemannian manifold. My question is, under what conditions does $M$ admit a discrete group of isometries $\Gamma$ which acts properly discontinuously and cocompactly on $M$, that ...
36 votes
10 answers
6k 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 ...
2 votes
0 answers
65 views

Connection between a function and its usage in geometry [closed]

I know nothing about geometry, but I found a function which seems to have something to do with geometry. This function is, $$f(x,y,z) = \dfrac{(x,y,z)}{\sqrt{1 + x^2 + y^2 + z^2}}$$ where $x,y,z$ is ...
8 votes
1 answer
375 views

Harmonic functions on complete Riemannian manifolds

I have started reading a paper of Colding and Minicozzi, where they prove that on a complete Riemannian manifold $M$ of non-negative Ricci curvature, the space of harmonic functions of growth order at ...
22 votes
2 answers
1k views

Why doesn't this construction of the tangent space work for non-Riemannian metric manifolds?

In the 1957 paper, On the differentiability of isometries, Richard S. Palais gives a way to construct the tangent spaces of a Riemannian manifold using only its metric space structure (Theorem, p.1). ...
2 votes
0 answers
664 views

Reference request - Texts on geometric analysis with exercises

I’ve recently been studying some Riemannian geometry and geometric analysis, however I have found it difficult to find resources with exercises to practice. It seems that many textbooks past the ...
2 votes
1 answer
224 views

The differentiability of the distance function on asymptotically flat manifolds

Let $M = \mathbb{R}^3 \setminus \overline{B_1}$ where $\overline{B_1}$ is the closed unit ball. Let $g$ be an asymptotically flat metric of the form $g_{ij} = \delta_{ij}+h_{ij}$ in standard ...
5 votes
0 answers
159 views

On Sobolev spaces on domains in Riemannian manifolds

There is extensive literature on Sobolev spaces on complete Riemannian manifolds but are there any standard references regarding the definition and properties of Sobolev spaces on domains (possessing ...
5 votes
0 answers
276 views

Fundamental group of compact globally symmetric spaces

The fundamental group of a globally symmetric space $M$ of compact type is known (see Loos [1], Borel [2]). The result can be formulated as follows: it is isomorphic to the quotient $$(*) \quad \pi_1(...
5 votes
1 answer
184 views

Proof of equivalence between Lie triple systems and totally geodesic submanifolds

In a Riemannian symmetric space $Q$, it is well known that the existence of a totally geodesic submanifold at a point $p \in Q$ is equivalent to the existence of a Lie triple system at $p$, i.e., a ...
2 votes
0 answers
127 views

Are metrics of the form $dr^2+ \Omega^2 r^2 g_\text{round}$ asymptotically flat?

Let $M = [1,\infty)\times S^2$. Let $\Omega$ be any smooth positive function on $S^2$. Is the metric $dr^2+ \Omega^2 r^2 g_\text{round}$ asymptotically flat (where $g_\text{round}$ is the round metric ...
5 votes
0 answers
261 views

Laplacian spectrum and measured Gromov-Hausdorff convergence of Riemannian manifolds with boundary

In the paper "Collapsing of Riemannian manifolds and eigenvalues of Laplace operator" by Kenji Fukaya, it is proven that the spectrum of the Laplacian is continuous with respect to measured ...
6 votes
1 answer
816 views

Proof that every three-dimensional Einstein manifold has constant curvature

In pseudo-Riemannian geometry it is well known that every three-dimensional Einstein manifold has constant curvature. A proof of this is sketched here. Question. Does anyone know where in the ...
3 votes
2 answers
347 views

Direct calculation of the Fisher distance via Riemannian geodesics

I'm looking for a reference for a direct calculation of the Fisher distance (to avoid overloading the term "metric") $d_F(x,y) := 2 \cos^{-1} \sum_i \sqrt{x_i y_i}$ as the geodesic distance ...
2 votes
0 answers
65 views

Where can I find a proof of the main properties of Weyl Curvature for semi-Riemannian manifolds?

Most of the references I've seen deal with Riemannian geometry, rather than semi-Riemannian geometry. Chens monograph, Pseudo-Riemannian Geometry, $\Delta$-Invariants and Applications is one of the ...
13 votes
2 answers
789 views

Geometric characterization of martingales

Recently I've read a paraphrasing from Ito saying that he sometimes thinks of martingales as geodesics in a very large dimensional manifold. My question is, is there any research studying this idea? ...
0 votes
0 answers
425 views

Compact connected Riemannian manifolds are Ahlfors regular metric space

Let $(M,g)$ be a compact connected $n$-dimensional Riemannian manifold; let $(X,d)$ denote its associated metric (length) space. A comment on the original formulation of this post mentioned that $(X,...
0 votes
1 answer
570 views

Is this a manifold of bounded geometry?

Let $M$ be a complete non-compact manifold (possibly with boundary). Let $E$ be an open proper connected non-precompact subset of $M$ with smooth topological boundary, so that $\overline{E}$ is a non-...
19 votes
1 answer
2k views

Does this Banach manifold admit a Riemannian metric?

First, the question; after, the motivation. Consider 27.6 (pdf pp. 262-263) in The convenient setting of global analysis (AMS, 1997), and, in particular, the example given at the end of it, which ...
2 votes
3 answers
336 views

For globally conformally flat surfaces, does radial symmetry of conformal factor imply the surface is a sphere?

We know that for the unit sphere in $\mathbb{R}^3$, the standard metric on such a sphere can be written as $$g=\frac{4}{(1+x_1^2+x_2^2)^2}(dx_1^2+dx_2^2)$$by a stereographic projection map from the ...
6 votes
3 answers
1k views

The isometry group of a product of two Riemannian manifolds

Under what conditions is the isometry group of a product of two Riemannian manifolds the product of the isometry groups of each one of the components? One counterexample is a product of two isometric ...