All Questions
188 questions
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,467
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 \...
- 113
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 ...
- 31
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 ...
- 51
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 ...
- 111
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$...
- 31
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 ...
- 235
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 ...
- 808
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 ...
- 969
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 ...
- 163
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 ...
- 659
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,405
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 ...
- 364
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 ...
- 1,949
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 ...
- 125
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 ...
- 81
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 ...
- 121
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 ...
- 81
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 ...
- 969
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 ...
- 505
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(...
- 1,123
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 ...
- 985
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 ...
- 969
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 ...
- 985
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 ...
- 409
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 ...
- 15.4k
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 ...
- 2,369
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-...
- 459
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,...
- 5,405
1
vote
0
answers
138
views
References Request: Bach tensor
Recently I want to study about Bach tensor in detail. From the fundemental definition and properties to conformal invariant. Is there any references to me about Bach tensor? If there are some origins ...
- 11
1
vote
1
answer
258
views
Isoperimetric inequality for domains in the exterior of a precompact open set in Riemannian manifold
Fix $n\geq 2$ and let $$\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$$ be the hyperbolic space, so that any point $x\in \mathbb{H}^{n}$ can be represented in polar coordinates $x=(r, \theta)$, ...
- 459
2
votes
2
answers
523
views
Orthogonal smooth vector field on a Riemannian manifold
Consider a compact Riemannian manifold $M$ with a smooth metric, and a smooth vector field $X$ on $M$. My question is, when can we construct another smooth vector field $Y$ on $M$ such that $Y$ is ...
- 1,407
0
votes
0
answers
51
views
References for local distance approximation over Riemannian manifolds [duplicate]
Over a complete Riemannian manifold $(M,g)$, in a neighborhood of $p \in M$, the local distance can be approximated as follows: $\forall v,u \text{ unit vectors in } T_pM, \text{ and small } s, t$
$$ ...
- 31
0
votes
1
answer
108
views
Intersection Grassmanian planes
I am reading a paper that used Grassmanian planes properties. In particular, they studied the intersection of Grassmanian planes; they check the intersection Grassmanian of $n-k$-planes and ...
- 1,043
3
votes
1
answer
369
views
Closed manifolds of nonnegative curvature operator are symmetric spaces
In an online webinar, I heard (not directly) the statement that (closed) manifolds of nonnegative curvature operator $\mathcal{R}\geq 0$ are symmetric spaces. Is this a valid theorem? Any reference ...
- 4,195
1
vote
1
answer
243
views
Reference for non-parallel harmonic $k$-forms
I want to get some deep understanding on closed orientable Riemannian manifolds admitting $k$-forms ($k\geq 2$) $\omega$ that satisfices the following conditions:
$$\nabla \omega\neq 0,\quad \Delta\...
- 4,195
7
votes
0
answers
248
views
Does the Hodge decomposition hold for equivariant differential forms?
Let $M$ be a Riemannian manifold. The Hodge decomposition tells that
$$
\Omega^*(M) = \mathrm{im} \ d \oplus \mathrm{im} \ d^* \oplus \mathscr H^*(M)
$$
where $d^*$ is the adjoint operator of the ...
- 2,789
6
votes
1
answer
160
views
Metrics of non-negative sectional curvature on $S^7$-bundles over $S^8$
In Curvature and symmetry of Milnor spheres, Grove and Ziller construct metrics of non-negative sectional curvature on $S^3$-bundles over $S^4$ (by using a cohomogeneity one action). In the same paper,...
- 641
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 ...
- 1,013
10
votes
1
answer
3k
views
Taylor expansion of the metric tensor in the normal coordinates
I am looking for a reference with a Taylor expansion of the metric tensor in the normal coordinates.
The coefficients should be written in terms of $\mathrm{Rm}, \nabla\mathrm{Rm}, \nabla^2\mathrm{Rm},...
- 45k
1
vote
0
answers
213
views
Injectivity radius bounds for Riemannian manifolds of low regularity
In their seminal paper, Jeff Cheeger, Mikhail Gromov, and Michael Taylor derivated bounds on the injectivity radius of Riemannian manifolds with bounded sectional curvature of the form:
$
inj(p)\geq r ...
2
votes
0
answers
141
views
For a 1-parameter family of metrics, how do we compute the derivative of the intrinsic geometrical objects like curvature, Hessian, etc
Consider a family of metrics and functions $(g(t), u(t))$ on $M:= \mathbb{R}^3 \setminus B_1$ satisfying
$$ g(0) = g_0, \quad g'(0) = \tilde g, \quad u(0) = u_0, \quad u'(0) = \tilde u$$
where $g_0$, $...
- 969
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 $...
- 356
4
votes
1
answer
503
views
singular metric (with essential singularity)
Working on some $Q$-curvature equation in dimension $4$, I have been faced with singular metric of the form $(\mathbb{B}, e^{-1/\vert x\vert ^2} \vert dx\vert)$. I try to figure out to what those ...
- 914
8
votes
1
answer
856
views
Are there mistakes in Kovalev's "Twisted connected sums and special Riemannian holonomy"?
This is kind of a strange and vague question... sorry about that.
I am really interested in $G_2$ Twisted Connected sums as described in this paper: https://arxiv.org/abs/math/0012189 "Twisted ...
user117832
3
votes
0
answers
247
views
Fibre metrics on non-linear bundles
Usually what is meant under a fibre metric is that one is given a (smooth) vector bundle $\pi:Y\rightarrow X$, and on each fibre $Y_x$ an algebraic inner product $g_x$ that varies smoothly from point ...
- 2,792
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 ...
- 1,350
0
votes
0
answers
126
views
mean curvature for codimension $>1$?
The mean curvature of a hypersurface in a Riemannian manifold is defined to be the trace of the second fundamental form. I was curious, does the notion of mean curvature generalise to higher ...
- 3,625
6
votes
1
answer
229
views
Does $\pi_k(M)\neq 0$ implies $\operatorname{ind}(\gamma) < k$?
Cross post from MSE. and sorry if this is an obvious question.
Here is a line of proof of Theorem 1.15 from
Brendle, Simon, Ricci flow and the sphere theorem, Graduate Studies in Mathematics 111. ...
- 4,195