Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
2 answers
339 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 ...
4 votes
2 answers
312 views

Injective hulls of metric spaces

In the context of large scale geometry and geometric group theory, I have recently come across the concept of injective hulls of metric spaces. For a metric space $X$, let $\text{In}(X)$ be the set of ...
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 ...
9 votes
1 answer
646 views

Explicit construction of a (the?) dual symmetric space

I am looking for a reference, proof or disproof of the fact that every Riemannian globally symmetric space of compact (non-compact) type has a "dual", which is of non-compact (compact) type. ...
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 ...
1 vote
1 answer
235 views

Doubling theorem for Alexandrov spaces

Is there a user friendly exposition of the notion of boundary of an Alexandrov space with curvature bounded from below and of the Doubling theorem? The only reference I am aware of is the original ...
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 ...
2 votes
1 answer
182 views

Reference request: uniformization theorem proof by Borel

This answer refers to a proof of the uniformization theorem via the PDE describing metrics of constant curvature (Liouville?) by Borel. I haven’t been able to find this reference, is anyone aware ...
5 votes
2 answers
375 views

Non-orientable real algebraic three-dimensional manifolds

Smooth real algebraic hypersurfaces of even degree in $\mathbb{RP}^4$ that are maximal (i.e. that are homologically as rich as possible in the sense of the Smith-Thom inequality) are all non-...
1 vote
0 answers
56 views

Good orbifold and Ricci flow with Dirichlet boundary conditions on $\Sigma$

An orbifold $\mathcal O$ is a metrizable topological space equipped with an atlas modeled on $\Bbb R^n/\Gamma, \Gamma<O(n)$ finite. Let $\Sigma$ be the singular locus i.e. points modeled on $\...
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 ...
2 votes
0 answers
71 views

References for discrete curvature

I'm wondering if anyone knows references on discrete curvature (eg. the content in this playlist: https://www.youtube.com/playlist?list=PL9_jI1bdZmz0hIrNCMQW1YmZysAiIYSSS). Thank You!
4 votes
2 answers
228 views

(Reference request) higher order Hölder spaces on riemannian manifolds

I am looking for a reference regarding the higher (than the first) order Hölder spaces on Riemannian manifolds. I am aware that defining Hölder spaces of form $C^{0,\alpha}$ is not an issue even ...
6 votes
2 answers
661 views

Cut locus in a graph

I am wondering if the concept of a cut locus has been defined and explored in discrete graphs, rather than their usual home on manifolds? The Wikipedia definition (which I believe I (co-?)authored) is:...
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 ...
1 vote
1 answer
122 views

how to construct a finite energy map

In the construction of harmonic maps by Eells and Sampson, one needs to start with a map with finite energy and use the heat equation to deform it into a harmonic map. The construction of such a ...
2 votes
0 answers
187 views

Statistical invariants of Riemannian manifolds

$\DeclareMathOperator\diam{diam}\DeclareMathOperator\rad{rad}\DeclareMathOperator\iso{iso}\DeclareMathOperator\com{com}\DeclareMathOperator\con{con}$A cheap way of defining invariants of Riemannian ...
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 ...
28 votes
7 answers
11k 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 ...
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 ...
13 votes
2 answers
816 views

$C^0$ estimate for solutions of elliptic PDE with Neumann BC

I am interested in a reference for (or counterexample to) a particular $C^0$ estimate for solutions of the Laplace equation with Neumann boundary conditions. More precisely, let $(M,g)$ be a $C^\...
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
0 answers
182 views

Symmetric line spaces are homeomorphic to Euclidean spaces

For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$. Definition: A metric space $(X,d)$...
11 votes
4 answers
2k views

Elliptic regularity on compact manifold without boundary

Let $(M,g)$ be a Riemannian compact manifold without boundary, and $\Delta$ is the Laplace-Beltrami operator on $M$. Is there any result on the elliptic regularity like this: For any $u\in H^1(M)$, ...
2 votes
0 answers
68 views

Differential operators as Laplacians

Given a (second order elliptic) differential operator $D$ on a manifold, when can it be realized as $D=-\Delta + v$, where $\Delta$ is the Laplace - Beltrami operator of a Riemannian metric, and $v$ ...
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....
4 votes
1 answer
169 views

What integral formula is being used here?

I am trying to read the paper "Simple closed geodesics on convex surfaces" by E.Calabi and J. Cao and a certain passage is unclear for me. Before, let me contextualize and set up some ...
3 votes
1 answer
390 views

Reference request for a Riemannian Fokker-Planck equation

The original post is in StackExchange but no one has answered it yet. I personally think it is more related to the research area so I put it in MathOverflow. Below is the question in the original post:...
6 votes
1 answer
263 views

Nash embedding for complete manifold

I, ask my question as a comment in this post. Without answer I post a more detailed version. I am looking for a reference about $C^\infty$ Nash isometric embedding for non compact manifold. My ...
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
2 answers
180 views

Bisector of two points in a Riemannian manifold has measure $0$

Let $p,q\in M$, $p\neq q$, where $M$ is a Riemannian manifold. We will let the bisector of $p,q$ be $\mathcal{B}(p,q)=\{x\in M;d(p,x)=d(q,x)\}$. Does $\mathcal{B}(p,q)$ have measure $0$? I was ...
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 ...
2 votes
1 answer
294 views

Complex quadric as a symmetric space

It is known that a smooth complex quadric is a symmetric space. For example, it is $$\operatorname{Spin}(n+2)/G$$ where $G$ is the maximal parabolic subgroup. I want a reference for more details and ...

1
2 3 4 5
7