Skip to main content

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.

Filter by
Sorted by
Tagged with
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$ ...

1 2 3
4
5
62