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.
3,082 questions
0
votes
1
answer
91
views
On nontrapping manifolds
Suppose that $(M,g)$ is a compact connected smooth Riemannian manifold without boundary.
Let $U \subset M$ be a smooth submanifold of codimension zero with smooth boundary and assume that $U$ is ...
1
vote
0
answers
100
views
Curvature and Hermitian-Einstein conditions
The following is from a set of lecture notes I'm following and I have had some difficulties understanding it.
Let us discuss a few equivalent formulations of the Hermite-Einstein condition ($\Lambda_\...
11
votes
3
answers
886
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: ...
0
votes
0
answers
60
views
The size of super level sets and the symmetry on a sphere
Let $u$ be a smooth function defined on the sphere $\mathbb{S}^2$, and let $R \in \mathrm{SO}(3)$ be a three-dimensional rotation. Define
$$
S_R = \{x \in \mathbb{S}^2 : u(x) \neq u(Rx)\}.
$$
Suppose ...
5
votes
2
answers
572
views
Bounds for metric in normal coordinate
Let $M$ be a Riemannian $n$-manifold and $x \in M$. For the metric tensor $g_{ij}$ of geodesic normal coordinates at $x$, there is a formula $g_{ij}(y) = \delta_{ij} + \frac13 R_{kijl} y^k y^l + O(\|y\...
1
vote
0
answers
54
views
Isoperimetric Inequalities in Annular Regions
Let $\Omega$ be an open set in $\mathbb{R}^2$ whose boundary is a rectifiable Jordan curve. Then an old result by Alfred Huber states that
$$
\left(\int_{\partial \Omega} e^u ds\right)^2 \geq 2 \left(...
1
vote
0
answers
112
views
Mean curvature as a contraction
I'm going over some of Kobayashi's work on complex vector bundles and trying to state some of the notions in a more familiar language to me.
The set up is the following. We have a hermitian vector ...
14
votes
1
answer
1k
views
Progress on Gromov's Conjecture of the bound of total Betti numbers
This question is a reference request.
Let $(M,g)$ be a Riemannian manifold of dimension $n$, and $b_i(M) = \dim H_i(M,\mathbb{R})$. Gromov proved it that there are constants $C(n)$ such that, if the ...
1
vote
0
answers
62
views
Expression of the Riemannian metric on the Siegel domain?
I'm looking for proof that, for the complex Siegel domain in $\mathbb C^{n}$ defined by:
$$\mathcal H_{n} = \{ z=(z_1,\dots,z_n) \in \mathbb C^{n} \mid \operatorname{Im}(z_{n}) > \sum_{j=1}^{n-1} |...
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!
7
votes
2
answers
614
views
Locally conformally flat
Is there any example of a locally conformally flat manifold that is neither a space form nor a product of space forms?
1
vote
1
answer
182
views
Lower bound on injectivity radius at one point implies lower bound on injectivity radius for a closed manifold
I’m interested in a closed Riemannian manifold $(M^n,g)$ with $sec<0$ and $diam(M)\leq D$. My question is:
If at some point $p\in M^n$, the injectivity radius $injrad(p)\geq1$, then can we get $...
3
votes
1
answer
161
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 ...
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 ...
3
votes
0
answers
87
views
Applying Li-Yau-Hamilton estimate to heat kernel
In Li-Yau gradient estimate one apply maximum principle to the quantity $F(x,t)=t(|\nabla u|^2-\alpha u_t)$ where $u$ is a positive solution of heat equation on $M$. It seems that maximum principle ...
5
votes
2
answers
458
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 ...
1
vote
1
answer
181
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}d\operatorname{vol}_g \forall E \in \mathcal{B}(M),$ the ...
2
votes
1
answer
122
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 ...
2
votes
0
answers
71
views
Terminology: generalized Laplacian of arbitrary signature
Let $(M,g)$ be a Riemannian manifold and $E$ any real or complex vector bundle. A linear partial differential operator $D:\Gamma(E)\to\Gamma(E)$ is called generalized Laplace operator, if its ...
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:...
1
vote
0
answers
180
views
Conceptual understanding of the definition for Hermite-Einstein metrics
I'm studying holomorphic vector bundles $(E,h)$ on Kähler manifolds that admit a Hermite-Einstein metrics. Particularly, I'm trying to find the motivation for the definition.
An hermitian structure $...
0
votes
0
answers
35
views
Charecterizing (Riemannian) submanifolds of the Bures-Wasserstein manifold
I'm still learning Riemannian geometry, so please correct any mistakes.
I am interested in the Bures-Wasserstein manifold of centered Gaussians of dimension $d$. In this case, the manifold $\mathcal{M}...
1
vote
0
answers
91
views
Does convexity of boundary implies geodesic convexity?
I came across the following result (mentioned on Pg. 3 of this talk) that states that
If $D$ is an open connected subset of a complete Riemannian manifold with smooth metric then $\partial D$ convex ...
8
votes
1
answer
1k
views
Commutation relations between covariant and Lie derivatives
I am currently working on extrinsic riemannian geometry and I am looking for a sort of commutation relation between the covariant and Lie derivatives.
To be more precise : considering an hypersurface $...
2
votes
2
answers
251
views
Compute Christoffel symbols of sphere by embedding
In his answer V. Semeria, starts by taking
$$(y_1,\dots,y_{n+1})=\left(x_1,\dots,x_n,\sum_{i=1}^{n+1}x_i^2 -R^2\right)$$
Write $(\vec{e}_1,\dots,\vec{e}_{n+1})$ the canonical basis of $\mathbb{R}^{n+1}...
6
votes
3
answers
460
views
Regarding Ricci curvature of Markov chains
In Ricci curvature of Markov chains on metric spaces Yann Ollivier, defines a coarse Ricci curvature for a Markov chain with transition kernels $\{m_x\}$ defined on a metric space $(X,d)$ as follows: ...
3
votes
2
answers
265
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 ...
0
votes
0
answers
57
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 ...
2
votes
1
answer
154
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$-...
5
votes
1
answer
368
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
0
answers
109
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
83
views
An integration formula that looks like polar coordinates in $\mathbb{R}^n$ [closed]
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 ...
1
vote
0
answers
99
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
117
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 ...
6
votes
0
answers
208
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 ...
4
votes
1
answer
209
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 ...
1
vote
1
answer
260
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, $\...
0
votes
1
answer
158
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
142
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 ...
0
votes
0
answers
47
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$-...
0
votes
0
answers
126
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
113
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 ...
25
votes
1
answer
843
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/...
1
vote
1
answer
172
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
74
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 ...
2
votes
1
answer
208
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 ...
4
votes
0
answers
124
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 ...
0
votes
0
answers
40
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
103
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
88
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$ ...