# 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,970
questions

0
votes

0
answers

5
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 $isom(R)\oplus isom(S^n)$. ...

0
votes

0
answers

35
views

### Sectional curvature, convexity and concavity

Assuming that $(M, g)$ is a smooth, compact Riemannian manifold without boundary of dimension $m\in \mathbb{Z}_+$, we can utilize Nash's famous embedding theorem to find a sufficiently large $m\leq N \...

1
vote

0
answers

44
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=\...

1
vote

0
answers

72
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
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 ...

-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 ...

2
votes

1
answer

114
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$-...

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 ...

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 ...

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, ...

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 ...

5
votes

1
answer

271
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 ...

0
votes

0
answers

42
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$-...

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)$ ...

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
vote

0
answers

89
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 ...

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(\...

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 ...

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 ...

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
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 ...

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$-...

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$ ...

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 ...

2
votes

1
answer

96
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 ...

1
vote

0
answers

74
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 ...

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 ...

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^{\...

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&...

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) = \...

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 ...

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 ...

2
votes

1
answer

88
views

### Simple curves on hyperbolic tori

In the paper "Simple curves on hyperbolic tori" by McShane and Rivin, they show that if $T$ is a hyperbolic once punctured torus, one can define a norm on the homology $H_1(T,\mathbb{Z})$ by ...

4
votes

1
answer

138
views

### Can every surface be realized as a mean convex hypersurface in $\mathbb{R}^3$?

I'm wondering if every closed surface can be realized as a mean convex hypersurface in $\mathbb{R}^3$, i.e. the mean curvature vanishes or points inward.
Categorizing by genus: for $S^2$ ($g = 0$) ...

0
votes

0
answers

74
views

### Does every Spin$(7)$-manifold has a unit-length spinor?

Say $M$ be a manifold with a Spin$(7)$-structure. $M$ is spin and hence spin$^c$. Say $S=S_+\oplus S_-$ be a spin$^c$-bundle on $M$. Does $S_+$ has a nowhere vanishing section? The result is true if ...

1
vote

1
answer

118
views

### Connectedness of fibers of almost Riemannian submersions

EDIT: Let $M,N$ be compact connected smooth Riemannian manifolds. Let us assume that $N$ is closed, while $M$ might have a geodesically convex boundary.
Given $f\colon M\to N$ be an $\varepsilon$-...

7
votes

1
answer

495
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

0
answers

62
views

### Spin(7)-instanton

Let $M$ be a Spin$(7)$-manifold with a spin-bundle $S=S_+\oplus S_-$. There's an obvious connection on $S$ which comes from lifting the Levi-Civita connection. And it induces a connection on the ...

13
votes

3
answers

2k
views

### How to get to the earliest time zone?

You are in a plane at some point on Earth. You want to be at the earliest time zone possible at the end of your flight. What is the optimal path to take?
Formally, fix spherical coordinates $(\theta, \...

2
votes

0
answers

378
views

### Parallel transport on a vector bundle : expansion of the correspondance between normal and tubular coordinates

Let $(M, g^{TM})$ be a Riemannian manifold of dimension $n$. Let $X \subset M$ be a submanifold of dimension $n$ with boundary $\partial X$. Then we have a splitting of the tangent bundle
$$TM \vert_{\...

1
vote

1
answer

85
views

### When "$(\varepsilon,\delta)$-geodesic" cannot be a loop?

EDIT: Let $M$ be a smooth compact Riemannian manifold. Let $\varepsilon,\delta>0$. I call a smooth curve $\gamma\colon [a,b]\to M$ an $(\varepsilon,\delta)$-geodesic if for any $t_1<t_2<t_1+\...

17
votes

1
answer

2k
views

### Does anyone recognize this condition on a Riemannian metric on a vector space?

In the course of studying some oscillatory integral problems, the following strange condition came up. Let $V$ be a finite-dimensional real vector space. Let us say that a smooth Riemannian metric $...

3
votes

1
answer

196
views

### "Almost geodesics" in Riemannian manifolds which cannot be loops

Let $M,N$ be smooth Riemannian manifolds of the same dimension. Let $0<\varepsilon<\frac{inj(N)}{100}$. Let $f\colon M\to N$ be a smooth map such that for any $x\in M$ and any $v\in T_xM$ one ...

2
votes

0
answers

110
views

### Asymptotics on the number of diffeomorphism classes in the Cheeger finiteness theorem

A result of Cheeger says that, given any even dimension and any $\delta > 0$, there are only a finite number of diffeomorphism types of compact simply-connected manifolds of that dimension which ...

7
votes

2
answers

357
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 ...

2
votes

0
answers

76
views

### Nested convex hulls in Hadamard manifold

Let $F$ be a finite set in a Hadamard manifold $H$, and $W\supset F$ is its neighborhood.
Is it true that the closure of the convex hull of $F$ lies in the interior of the convex hull of $W$?
...

2
votes

0
answers

181
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 ...

1
vote

1
answer

99
views

### Is the heat kernel of a manifold $p$-integrable?

If $M$ is a separable, oriented Riemannian manifold, without any other assumption on its geometry, and $h$ is its heat kernel, it is known that $h(t,x,\cdot)$ is both integrable, and square-integrable ...

2
votes

0
answers

70
views

### Assumptions for uniform measure of SDE on manifolds

Suppose we're working on a compact, Riemannian manifold $M$. Suppose $dX_t = -b(X_t, t)\,dt + \sigma^2 \,dB_t$ is started at the uniform measure on $M$. What kind of assumptions on $b$ make it so that ...