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
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 ...
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
votes
1
answer
89
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
3
answers
4k
views
Green's function on sphere
Consider radial (normal) coordinates on a sphere $S^n, n \geq 2$. Let the "origin" be the north pole $(0, 0,..., 1)$ and the coordinates be denoted by $(r, \theta)$. We know that the Laplacian $\...
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$) ...
5
votes
1
answer
423
views
Ricci flow negative curvature
We denote by $\mathbb{H}^n$ the hyperbolic plane of dimension $n$.
I don't know much about the Ricci flow, so my first question is probably naïve : can one define a normalized Ricci flow such that the ...
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$-...
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 ...
7
votes
1
answer
496
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 ...
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, \...
1
vote
0
answers
63
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 ...
2
votes
0
answers
380
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_{\...
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 $...
7
votes
2
answers
1k
views
Why these particular numerical factors in the definition of Gaussian curvature?
Wikipedia tells me that:
Gaussian curvature is the limiting difference between the circumference of a geodesic circle and a circle in the plane:
$K = \lim_{r \rightarrow 0} (2 \pi r - \mbox{C}(r)) \...
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 ...
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+\...
24
votes
4
answers
3k
views
Obtain Lorentzian manifolds from Riemannian ones by Wick rotation
In some cases, Wick rotation of a metric, formally consisting in substituting a coordinate with i times the coordinate itself, allows one to construct a Riemannian manifold starting from a Lorentzian ...
1
vote
1
answer
118
views
how to construct a finite energy map
In the construction of harmonic maps by Eells and Sampson, one needs to start with a map with finite energy and use the heat equation to deform it into a harmonic map. The construction of such a ...
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 ...
2
votes
0
answers
116
views
Integral geometric meaning of diameter
Let $X\subset \mathbb CP^n, n>2$ be a complex smooth algebraic hypersurface.
Any hyperplane section $H\cap X$ is connected and has diameter $Diam(H\cap X)$
in the inner metric induced from 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$?
...
1
vote
1
answer
148
views
Differentiability of an integral of geodesic distance
Let $(M,g)$ be an $m$-dimensional Riemannian symmetric space and $d(\cdot,\cdot)$ be the geodesic distance function. Fix any $\alpha\in M$ and $v\in T_\alpha M$ with $\|v\|=1$.
Q1: Define
$$
g(t)=\...
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 ...
2
votes
0
answers
74
views
Harmonic maps of Euclidean space to the sphere
What are some examples of non-constant harmonic maps from Euclidean 3-space with its usual metric, punctured at a discrete set of points, to the 2-sphere with its usual metric?
1
vote
2
answers
199
views
A triangle comparison in CAT(0) spaces
Let $pxy$ be a triangle in a CAT(0) space $X$, and $p' x' y'$ be a triangle in $\mathbf{R}^2$ such that the lengths $|px|=|p'x'|$, $|py|=|p'y'|$ and the angle $\angle(xpy)=\angle(x'p'y')$. Let $z\in ...
2
votes
0
answers
82
views
Measurability of the union of cut loci along a curve
Let $(M,g)$ be a Riemannian symmetric space and $\alpha(s)$ be a geodesic. Define
$$
U(t)=\cup_{s\in[0,t]}{\rm Cut}(\alpha(s))
$$
as the union of the cut loci ${\rm Cut}(\alpha(s))$ along the curve $\...
1
vote
1
answer
105
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 ...
3
votes
1
answer
179
views
Is the geodesic flow on a Riemannian manifold conservative?
Let's consider a complete Riemannian manifold $\mathcal{M}$. The geodesic flow of $\mathcal{M}$ is a first-order flow on the tangent bundle $T\mathcal{M}$.
My question: Is it conservative? By ...
10
votes
2
answers
1k
views
Does the Hodge star operator determine the metric?
Let $M$ be a closed oriented smooth $4$-manifold with two metrics $g$ and $\tilde g$. Consider the Hodge star operators on $2$-forms
$$
\star:\Omega^2(M) \to \Omega^2(M) \quad \text{and} \quad \tilde \...
1
vote
0
answers
50
views
Perturbation of the self-dual harmonic $2$-forms
Let $M$ be a closed oriented smooth $4$-manifold with $m=b^+_2(M)>0$. We set $\mathcal R$ to be the space of smooth metrics on $M$ and consider the following map $f:\mathcal R \to Gr(m,n)$ defined ...
4
votes
0
answers
138
views
Parallel transport of global sections and Riemannian curvature
A, perhaps, naive question from an algebraist/combinatorialist teaching differential geometry. Originally asked on math.SE but didn't receive a single comment in 3 days.
Consider a (real) smooth ...
5
votes
2
answers
483
views
How to learn intrinsic torsion
I want to learn about G-structure and intrinsic torsion. But I can find no textbook that details it.
If you can give me a reference about it, it would be much appreciated.
3
votes
1
answer
165
views
Solutions to $\Delta u\ge u^2$
Let $(M,g)$ be a complete Riemannian manifold. Suppose that $u$ is a nonnegative solution to $\Delta_gu\ge u^2$. Does it follow that $u$ must be identically 0?
I know that the answer to above ...
2
votes
1
answer
151
views
Osculating sphere at point of maximal curvature lies to one side
I'm looking for the higher dimensional version of this post, which says that given a curve $\gamma \subseteq \mathbb{R}^2$, the osculating circle will lie to one side of the curve at points of maximal ...
2
votes
1
answer
681
views
Motivation and examples of parabolic manifolds
Let $(M^{n},g)$ be a Riemannian manifold, we say that $M$ is parabolic if the constant functions over $M$ are the only subharmonic functions which are bounded above, i.e, for a function $u \in C^{2}(M)...
6
votes
1
answer
293
views
Covering number estimates on closed Riemannian manifolds
Let $(M^n,g)$ be an $n$-dimensional compact and connected Riemannian manifold with sectional curvature bounded above and below by $c,C$. Is it possible/known how to express the external covering ...
2
votes
1
answer
167
views
Totally geodesic submanifold of codimension 1 in noncompact Riemannian manifold
Assume that $M$ is a noncompact complete simply connected manifold of nonnegative sectional curvature. Then by Soul theorem, it has a soul $S$.
Question 1 : Fix a point $p\in S$. Then there is a ...
5
votes
1
answer
226
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 ...
10
votes
3
answers
2k
views
Examples and non-examples of Riemannian foliations
Recall a tranverse metric on a (regular) foliated manifold $(M,F)$ is a positive symmetric $C^\infty (M)$-bilinear form $g$ such that
1) $Ker(g_x)=T_x F$
2) It is invariant with respect to lie ...
3
votes
0
answers
164
views
$L^{p}$ estimate for $\Delta|\nabla u|$ on a manifold with bounded Ricci curvature
This is a more advanced question than Estimates of $\Delta|\nabla u|$ for harmonic function $u$ .
The Bochner formula and refined Kato inequality tells us that on a Riemannian manifold $(M^{n},g)$, if ...
7
votes
1
answer
309
views
Estimates of $\Delta|\nabla u|$ for harmonic function $u$
The well-known Bochner formula and refined Kato inequality (for harmonic function) tells us that for a harmonic function $u$ in $B_{2}\subset\mathbb{R}^{n}$,
$$
\frac{1}{n}|\nabla^{2}u|^{2}\leqslant |\...
10
votes
3
answers
2k
views
Is there an absolute geometry that underlies spherical, Euclidean and hyperbolic geometry?
A space form is defined as a complete Riemannian manifold with constant sectional curvature. Fixing the curvature to +1, 0 & -1 and then taking the universal cover by the Killing–Hopf theorem ...
3
votes
1
answer
148
views
Convex hull and least area discs in Riemannian 3-manifolds
$\DeclareMathOperator\Conv{Conv}$Let $M$ be a complete Riemannian 3-manifold and $\gamma \subset M$ a simple closed curve that bounds a least-area disc $D$ - a disc that minimizes the area among all ...
2
votes
0
answers
149
views
Upper bound of special Cheeger constant on $(S^2,g)$
$(S^2,g)$ is 2-dimensional sphere with Riemannian metric.The Cheeger constant of $(S^2,g)$ is
$$
h(S^2,g)=\inf_{\gamma} \frac{|\gamma|_g}{\min\{|A_1|_g, |A_2|_g\}}
$$
take the infimum over all closed ...
18
votes
1
answer
1k
views
What is the largest subset of the sphere such that inner product of any two points in the set is nonnegative
I'm interested in the question of finding the maximum area of $A\subset S^{d-1}$, such that, for all $x,y \in A, \left<x,y\right>\ge 0$. The portion of the sphere lying in the positive orthant ...
2
votes
0
answers
393
views
The Seiberg-Witten equations for forms
I define equations like the Seiberg-Witten equations for forms of a riemannian four-manifold $(M,g)$. $\alpha \in \Lambda^2 (TM)$ and $\theta \in \Lambda^1(TM)$.
$$
d\alpha+\theta \wedge \alpha=0
$$
$$...
6
votes
0
answers
254
views
Lie algebra cohomology of the space of vector fields
For a (closed and oriented) manifold $M$, the first Lie algebra cohomology $H^1(\mathrm{Vect}(M),C^\infty(M))$ of the space of vector fields with coefficients in smooth functions is isomorphic to $H^1(...
1
vote
0
answers
37
views
Gradient estimate of the eigenfunction of Laplacian on hyperbolic space
I am trying to understand the asymptotic behaviors of the gradient of the eigenfunction function of the Laplace-Beltrami operator on the hyperbolic plane $\mathbb{H}^2$. Specifically, my focus lies on ...
10
votes
1
answer
1k
views
Alexandrov angles in Riemannian manifolds
Dear all, I am teaching a course in Riemannian geometry, and I would like to prove some comparison theorems in the next lessons, building on the well-known theory of Jacobi fields, and of Rauch ...