All Questions
188 questions
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 ...