Questions tagged [riemannian-geometry]
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.
2,971
questions
3
votes
2
answers
156
views
For a closed Riemannian manifold $M$, must the set of points with non-unique closest points to a closed submanifold $S$ of $M$ be of 0 volume measure?
Let $(M,g)$ be a closed (compact without boundary) Riemannian manifold of finite dimension, with the volume measure $\mu:= \mu(E):=\int_{E}dvol_g \forall E \in \mathcal{B}(M),$ the Borel sigma algebra ...
- 8,076
2
votes
0
answers
28
views
Existence of a spin map from a standard sphere to any closed Riemaninan manifold with nonnegative curvature operator
Let $S^m$ be a standard sphere of dimension $m=n+4k$, and let $M$ be any closed Riemaninan manifold of dimension $n$ with nonnegative curvature operator.
My question: Is there always a smooth spin map ...
- 553
1
vote
1
answer
37
views
For proper group action on closed Riemannian manifold, must the union of orbits with non-unique closest points to a given point be of 0 volume measure
Let $(M,g)$ be a closed (compact without boundary) Riemannian manifold of finite dimension, with the volume measure $\mu:= \mu(E):=\int_{E}dvol_g \forall E \in \mathcal{B}(M),$ the Borel sigma algebra ...
- 8,076
0
votes
0
answers
40
views
Homogeneous Riemannian metrics
We consider a Riemannian homogeneous space $(R\times S^n, g)$. Suppose that the Lie algebra of the Killing fields has a natural splitting (compatible with the product) as $\operatorname{isom}(R)\oplus ...
- 11.9k
1
vote
0
answers
47
views
$\operatorname{Hess}r$ is scalar matrix $\implies$ $M$ is isometric to the space form
I'm trying to prove the rigidity part of a theorem in my paper, which requires the use of the classical Hessian comparison theorem's rigidity part:
$$\DeclareMathOperator\sn{sn}\operatorname{Hess}r=\...
CommunityBot
- 1
2
votes
1
answer
115
views
Continuity of the volume function
Consider a continuous map $F:(a,b)\times\mathbb{S}^n\to\mathbb{R}^{n+1}$ such that for any $t\in(a,b)$, the map $F(t,\cdot)=F_t:\mathbb{S}^n\to\mathbb{R}^{n+1}$ is Lipschitz continuous. The $n$-...
- 11.9k
5
votes
1
answer
324
views
Systems of (hyperbolic) 2nd order PDEs with lower order constraints
Certain surfaces in mechanics are endowed with the fundamental forms
\begin{align}
\text{I} &= \mathrm{d}u^2+\mathrm{d}v^2+2\cos\gamma\: \mathrm{d}u\: \mathrm{d}v \\
\text{II} &= \alpha\left(\...
- 106k
5
votes
1
answer
275
views
Question about Neumann eigenvalues on manifolds
Question:
Let $\Omega\subset \mathbb{S}^2_+$ be any geodesically convex subset of the hemisphere $\mathbb{S}^2_+$. Then is it true that $\mu_1(\Omega)\geq \mu_1(\mathbb{S}^2_+)$ where $\mu_1$ is the ...
- 881
1
vote
0
answers
75
views
A homogeneous manifold that does not admit an equivariant Riemannian metric?
Let $M = G/H$ be a homogeneous space, where $G$ is a Lie group and $H$ is a closed Lie subgroup. Can it happen that $M$ does not admit an invariant Riemannian metric?
- 1,144
1
vote
0
answers
57
views
An integration formula that looks like polar coordinates in $\mathbb{R}^n$ [migrated]
Let $M$ be a complete $n$-dimensional Riemannian manifold with non-negative Ricci curvature. Let $x_0\in M$ and $\theta>1$ be fixed. Consider the function $f=\theta^{-1}d(\cdot, x_0)$, where $d$ is ...
- 11
-3
votes
0
answers
76
views
geometry question [closed]
Let M , N , P be points on the sides AB, BC, CA of triangle △ABC.
i)Assume that Q is the second point of intersection of the circumcircles of triangles △BM N
and △N CP . Prove that Q is on the ...
- 1
1
vote
0
answers
77
views
Index and nullity of a short closed geodesic
Let $g$ be a reasonably smooth Riemannian metric on the n-dimensional sphere $S^n$. Call a closed geodesic $\gamma$ in $(S^n, g)$ short if, for every diffeomorphism $S^n \to S^n$, the image of at ...
- 419
1
vote
0
answers
59
views
Injectivity radius bound for a metric with bounded curvature on $\mathbb{R}^n$
My question is as follows:
Question: Is it true that if $g$ is a metric (need not be complete) on $\mathbb{R}^n$ such that $B_g(x_0, 1)\subset \subset \mathbb{R}^n$, and $g$ has bounded curvature on a ...
- 11
6
votes
0
answers
162
views
Riemannian structure on connected Hilbert manifolds
The infinite-dimensional separable Hilbert space $H$ has the unusual property that it is diffeomorphic to its unit sphere $S^{\infty}$. Therefore, $H$ admits the round metric as a complete and bounded ...
- 1,121
4
votes
1
answer
119
views
Riemannian submanifolds of $2$-Wasserstein space
In the article "Wasserstein Geometry Of Gaussian Measures" by Asuka Takatsu the author shows how the space of d-dimensional Gaussian probability measures with non-singular covariance ...
- 5,384
1
vote
1
answer
206
views
What does $g_x^{-1}$ mean where $g$ is a Riemannian metric?
I am reading this paper about the Wasserstein-Fisher-Rao distance and they define the Wasserstein-Fisher-Rao distance on a manifold as follows (page 9):
Here, $M$ is a compact Riemannian manifold, $\...
- 5,163
0
votes
1
answer
123
views
Flow of a vector field
Consider a Riemannian manifold $(M^n , g)$ and let $d_p: M^n \to [0,\infty)$ be the distance function of $p \in M^n$. Then the flow lines generated by $\nabla d_p$ are radial geodesics from $p$. Also, ...
- 37.6k
2
votes
0
answers
121
views
Is curvature of the canonical line bundle always $(1,1)?$
Let $(M,g,\omega)$ be a symplectic manifold with $g$ and $\omega$ denoting the Riemannian metric and the symplectic form respectively. If $J$ is a compatible almost-complex structure, then is the ...
- 853
0
votes
0
answers
43
views
On sub-maximally symmetric Riemannian spaces
Is there a 4-dimensional Riemannian manifold with 8-dimensional isometry group?
Context: Guido Fubini (Annali di Mat., ser. 3, 8 (1903) 54) shows that the dimension $n$ of the isometry group of a $d$-...
- 427
0
votes
0
answers
111
views
Expressing the union of principal orbits as a disjoint union of global slices for proper group actions
Setup:
I was reading about slices and principal orbit theorems (Theorem 3.4.6) from these notes.
Let the Lie group $G$ act on a complete Riemannian manifold $(M,g)$ isometrically on $M$, i.e. $\phi^{*}...
- 1,417
1
vote
0
answers
53
views
Density of zero modes
Let $(M,g)$ be a compact smooth Riemannian manifold with a smooth boundary. Let $\{(\lambda_k,\phi_k)\}_{k\in\mathbb N}$ be the spectral data on $(M,g)$, namely an orthonormal basis for $L^2(M)$ ...
- 4,089
1
vote
0
answers
90
views
Compactification of a Cartan-Hadamard manifold
Let $X$ be a simply connected manifold with nonpositive sectional curvature. It is standard that $X$ is uniquely geodesic, i.e., for any distinct points $p$ and $q$, there is a unique geodesic ...
- 2,758
2
votes
1
answer
104
views
Gradient flows: evolution of geodesics
I’m trying to understand if, when I move the marginals of a Wasserstein geodesic along a contractive flow, the geodesic between the new probability measures is “near” to the geodesic
connecting the ...
- 5,163
4
votes
1
answer
205
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 ...
25
votes
1
answer
744
views
Alternate proofs that hyperbolic plane can’t be isometrically immersed in $\mathbb{R}^3$
A famous theorem of Hilbert says that there is no smooth immersion of the hyperbolic plane in 3-dimensional Euclidean space. The expositions of this that I know of (in eg do Carmo’s book on curves/...
- 66.8k
9
votes
1
answer
354
views
Perturbing metrics with nonpositive curvature
Let $M$ be a compact $3$-dimensional manifold diffeomorphic to a ball. Suppose that $M$ has nonpositive (sectional) curvature and its boundary $\partial M$ is convex, or even that $M$ is a Riemannian ...
CommunityBot
- 1
1
vote
1
answer
122
views
Does a Riemannian submersion map horizontal geodesics to geodesics, and a relevant question?
I asked this question on MSE, but I didn't receive a response yet, so I'm asking here. Apologies if the question is not exactly a research level question, but I'm having some trouble in figuring them ...
- 43.7k
0
votes
1
answer
49
views
Handling degenerate planes in pseudo-Riemannian geometry: impact on sectional curvature and comparison theorems
I've been studying Riemannian and pseudo-Riemannian manifolds and came across an intriguing point regarding the definition of sectional curvature in both geometries.
In pseudo-Riemannian geometry, for ...
- 60.2k
2
votes
1
answer
184
views
Frobenius theorem and the size of integral manifold
Let $X =(X_0,X_1)\in \mathbb{R}^2$ and $Y=(Y_0,Y_1)\in \mathbb{R}^2$ be two vector fields on $\mathbb{R}^2$ such that $X,Y$ are independent on each tangent plane and
$[X,Y]:=XY-YX=0$.
Then by ...
- 2,578
6
votes
1
answer
547
views
When is the cut locus a finite tree?
Let $\Omega \subset \mathbf{R}^2$ be a bounded, simply connected domain, with a regular boundary, say of class $C^2$ at least. Let the cut locus $C$ of $\Omega$ be the set of points $x \in \Omega$ for ...
CommunityBot
- 1
4
votes
0
answers
91
views
Regularity of exponential map for $C^{2,\alpha}$ Riemannian metrics
Let $g$ be a $C^{2,\alpha}$ Riemannian metric and $0<\alpha<1$. Would the exponential map $\mathrm{exp}_p$ be $C^{1,\alpha}$ as the point $p$ varies?
Since $\mathrm{exp}_p$ is defined by the ...
- 2,758
2
votes
0
answers
25
views
Regularity and rigidity of stable/unstable distribution for geodesic flow on noncompact negatively curved manifolds
For a volume-preserving $C^\infty$ Anosov flow on a three-dimensional compact Riemannian manifold, it was shown by Hurder & Katok that the Anosov foliations are always of class $C^{1, \alpha}$. ...
0
votes
0
answers
37
views
Construct compact submanifold containing non-compact Nash embedded submanifold
$$
\newcommand{\R}{\mathbb{R}}
\newcommand{\geu}{g_{\text{Eu}}}
\newcommand{\X}{\mathcal{X}}
\newcommand{\iX}{\mathring{\X}}$$
Let $\X$ be a closed bounded convex set in some Euclidean space. Its ...
- 111
2
votes
0
answers
83
views
What $1$-forms $\theta$ solve $\Delta \theta = f\theta$ for a smooth function $f$?
I have a seemingly basic question that I cannot find any literature on. Let $(M,g)$ be a smooth Riemannian manifold and let $\Delta:\Omega^1(M) \to \Omega^1(M)$ be the Laplace-De Rham operator on $1$-...
CommunityBot
- 1
1
vote
0
answers
74
views
Metric of negative curvature on connected sum
Let $(M_1,g_1)$ and $(M_2,g_2)$ be two Riemannian manifolds of dimension $n\geq 2$. If we consider the connected sum $M=M_1\mathbin{\#}M_2$ of the two manifolds; can one get a smooth metric $g$ on $M$ ...
- 11.9k
2
votes
0
answers
45
views
Growth/Decay of conformal Killing fields in cone metrics
Let $\gamma$ be a smooth metric on $S^2$ of positive curvature. Consider the metric
$$g= dr^2 + r^2 \gamma$$
on $[1,\infty) \times S^2$.
Does there exist a nontrivial conformal Killing field vanishing ...
- 885
7
votes
5
answers
4k
views
Can anyone give an example of Ricci flat Riemannian or Lorentzian Manifold that is not flat?
Does there exist a Ricci flat Riemannian or Lorentzian manifold which is geodesic complete but not flat? And is there any theorm about Ricci-flat but not flat?
I am especially interset in the case ...
- 7,087
1
vote
0
answers
75
views
Total curvature of a conjugate minimal surface
Let $s: S \to \Bbb R^3$ be an immersed minimal surface with finite total curvature and a proper annular end (possibly with other types of ends).
What is exactly meant by a proper annular end? It is an ...
- 11
2
votes
1
answer
121
views
Parallel Jacobi fields in a Hadamard manifold
Let $M$ be a Hadamard manifold and let $c: \mathbb{R}\rightarrow M$ be a geodesic. A Jacobi field $Y$ along $c$ is called parallel if $Y'(t) = 0$ for every $t\in \mathbb{R}$. If we assume that $M$ is ...
CommunityBot
- 1
2
votes
1
answer
288
views
Sectional curvature and injectivity radius of natural metric in cotangent bundles
In the following paper by Cielibak, Ginzburg and Kerman (arXiv link, Comm. Math. Helv. 2004 DOI link) they claim in page $3$ that the natural metric $\tilde g$ on $T^*M$ the sectional curvature is ...
CommunityBot
- 1
5
votes
1
answer
241
views
Bochner Laplacian in coordinates
Sorry if this is a too basic question, but I didn't find an answer anywhere:
The connection Laplacian, or Bochner Laplacian, is the differential operator acting on $k$-tensor fields $T\in\Gamma^{\...
- 37.6k
11
votes
2
answers
752
views
Tangent bundle of a tensor product bundle
This question was also asked here on math-stackexchange.
Let $E\to M$ and $F\to M$ be vector bundles. The structure of their tangents $TE$ and $TF$ is well known. In particular, connectors map $K_E: ...
- 151
7
votes
2
answers
361
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 27.3k
2
votes
0
answers
56
views
For riemannian manifolds, how close can a mapping from atlas be to an isometry?
Let $(M, g)$ be an $n$-dimensional $C^k$ (or $C^\infty$) Riemannian manifold. On $M$ we can define metric $d_g$ as the infimum of lengths of curves that connect given two points.
Fix $x \in M$ and $r&...
- 768
2
votes
0
answers
51
views
Smoothness of the Fréchet Function
Let $M$ be a compact Riemannian manifold and $d$ be the induced distance function. Suppose $\mu$ is a probability measure on $M$ with continuous density. The Fréchet function is defined as
$$
F(x) = \...
- 71
1
vote
1
answer
228
views
On intersection of null geodesics
Let us consider a globally hyperbolic Lorentzian manifold $(M,g)$ with empty cut locus. Suppose that
$p$ is a point in $M$ and consider $C^-(p)$ to be the past null cone in $M$ emanating from the ...
CommunityBot
- 1
3
votes
0
answers
100
views
On the linearized evolution equations in general relativity
The following puzzles me already for quite some time: In mathematical relativity, especially in the discussion of the Cauchy problem, one usually works in the so-called ADM-Formalism, in which one ...
- 1,147
6
votes
3
answers
416
views
Closed geodesics on bumpy spheres
Main question:
Does every bumpy Riemannian metric on a sphere have at least three short and prime closed geodesics, for some reasonable definition of short?
E.g., a geodesic $\gamma$ could be called ...
25
votes
1
answer
1k
views
Does a Riemannian manifold with bounded geometry admit an isometric proper embedding into Euclidean space with uniformly thick tubular neighborhood?
Suppose $(M,g)$ is an open Riemannian manifold with bounded geometry, i.e., the injectivity radius is $\ge \epsilon>0$ and each iterated covariant derivative of curvature is bounded with respect to ...
- 43.7k
14
votes
2
answers
518
views
Variation of the Einstein Hilbert action in a coordinate-free way
I am currently writing an expository paper on gauge theory and gravity and throughout the gauge theory part I have been able to mostly stay away from coordinates unless I wished to
provide specific ...
- 2,612