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
2
votes
0
answers
165
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 ...
- 165
2
votes
0
answers
396
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
$$
$$...
- 377
7
votes
0
answers
291
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(...
- 985
1
vote
0
answers
62
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 ...
- 45k
2
votes
0
answers
104
views
Convergence of diffeomorphisms
Let $(\Sigma, g)$ be a compact $n$-dimensional Riemannian manifold without boundary. Let $F_i$ be a sequence of diffeomorphisms of $\Sigma$ and $u_i$ be a sequence of positive scalar functions.
...
- 169
0
votes
1
answer
202
views
How to estimate the distance between geodesics and points for Riemannian manifold with positive sectional curvature
Assume that $ M $ is a complete Riemannian manifold and there exists $ k>0 $ such that $ K(q)\geq k $ for any $ q\in M $, where $ K $ is the sectional curvature of $ M $. Let $ \gamma $ be a closed ...
- 45k
1
vote
0
answers
49
views
Computing geodesic length of Euclidean lines in the manifold of positive definite matrices
I am working with the manifold of positive definite matrices $PD(n)$ equipped with the affine-invariant Riemannian metric (AIRM) $g_P(V,W):=tr(P^{-1}VP^{-1}W)$, where $P \in PD(n)$ and $V,W \in T_P PD(...
- 518
3
votes
0
answers
82
views
Conformal group equals isometry group for locally homogeneous manifolds
$\DeclareMathOperator\Conf{Conf}\DeclareMathOperator\Iso{Iso}$Let $ M $ be a locally homogeneous Riemannian manifold, in other words the universal cover $ \tilde{M} $ has a transitive action by the ...
- 10.4k
3
votes
1
answer
331
views
Does the strong maximum principle for minimal surfaces hold in Riemannian manifolds?
In Euclidean spaces, the following maximum principle for minimal surfaces are well known.
Theorem: If $\Sigma_1$, $\Sigma_2 \subset \mathbb{R}^n$ are complete connected minimal hypersurfaces, $\...
- 7,197
1
vote
0
answers
73
views
Smoothness of signed distance function to a hypersurface
Let $\mathcal{M}$ be a Riemannian submanifold and $\Sigma \subset \mathcal{M}$ be a $C^1$ submanifold. Near $\Sigma$, let $d(x)=\pm d(x, \Sigma)$ be the signed distance function to $\Sigma$. Then what ...
- 438
0
votes
0
answers
137
views
Determining Metrics from Scalar Curvature
I am delving into the intricate relationship between metrics and scalar curvature in Riemannian geometry. My objective is to understand the feasibility and methods for solving the inverse problem of ...
- 45
1
vote
1
answer
308
views
When are geodesics of $M$ also the shortest curves?
Suppose that $(M, g)$ is a Riemannian manifold. A a curve $\gamma : I\rightarrow M$ is a geodesic if and only if $$\nabla_{\dot{\gamma}(\tau)}\dot{\gamma}(\tau) = \frac{d^2\gamma^\mu}{d\tau^2} + \...
CommunityBot
- 1
2
votes
0
answers
165
views
A property of the Riemannian metric on the symmetric space $X_\textsf{d}=\textsf{SL}(d,\Bbb R)/\textsf{SO}(d)$
Consider the symmetric space $X_\textsf{d}=\textsf{SL}(d,\Bbb R)/\textsf{SO}(d)$. For any $M\in X_d$, by transporting the Killing form on $T_I(X_d)$ (the space of symmetric matrices with trace zero) ...
- 1,097
1
vote
0
answers
153
views
Torsion free connection $\implies$ Jet coordinates $=$ Taylor expansion coefficients?
Suppose we have some smooth n-dimensional manifold $M$ endowed with basis 1-forms $\theta^a$ with $a=1\cdots n$. Then $\theta^a$ are sections of the coframe bundle $F^* M$. In local coordinates ($x^a$ ...
- 250
1
vote
1
answer
96
views
Infimum value of a function in the boundary of a geodesic ball
Let $M$ be a Riemannian manifold, $f:M\rightarrow\mathbb{R}$ be a smooth positive function with $f(x_0)=\inf_Mf$ and $\Delta f=1$ in $B_r(x_0)$ and $\Delta f=0$ in $M \setminus B_{2r}(x_0)$. Can we ...
- 45k
3
votes
1
answer
126
views
Lower estimate on sectional curvature of the boundary
Let $M^n$ be an $n$-dimensional smooth compact Riemannian manifold with boundary. Assume that the sectional curvature of $M$ is at least $\kappa$, the diameter is at most $D$, and the second ...
- 45k
1
vote
2
answers
267
views
Isometric embeddings of $\Bbb H^3$
Consider the upper-half space model of hyperbolic $3$-space $\Bbb H^{+}_{3}$, the unique, simply-connected, $3$-dimensional complete Riemannian manifold with a constant negative sectional curvature ...
- 27.5k
0
votes
0
answers
128
views
How to build a representation of the diffeomorphism group of $U(n)$?
Given that $U(n)$ is a smooth manifold I would like to know if there is a way of building a representation of $\text{Diff}(U(n))$ once you pick a particular (finite dimensional) representation of $U(n)...
3
votes
1
answer
154
views
Curvature calculation of $S^{2n+1}=U(n+1)/U(n)$ as a homogeneous space
I asked this question at StackExchange, but got no answer. So I am reposting it here.
I eventually want to check how the Hopf fibration
$$
S^{2n+1}\to {\mathbb C}P^n
$$
satisfies the Riemannian ...
- 173
6
votes
3
answers
2k
views
Uniquely geodesic and CAT(0) spaces?
Improvement after J-M Schlenker's comment below :
This post has been divided into two parts, the second part is here.
Question : Is a finite dimensional metric space, uniquely geodesic if and only ...
- 45k
1
vote
1
answer
175
views
A question about Gromov-Lawson construction
We all know that if we consider the connected sum $S^n\# S^n$ of two spheres $S^n$ for $n\geq 3$, then by Gromov-Lawson construction(cf. Gromov, Mikhael; Lawson, H.Blaine Jun., The classification of ...
- 26.3k
1
vote
1
answer
96
views
Derivative of the symplectomorphism evaluated at a point of the zero section of the cotangent bundle
It might be an easy question, possibly not worth posting here. In the proof of the Lagrangian neighborhood theorem, the authors have written the expression for the derivative of a symplectomorphism at ...
- 1,301
0
votes
0
answers
102
views
Spectrum of Laplace-Beltrami operator on tensors
Let $(M, g)$ be a complete Riemannian manifold diffeomorphic to $\mathbb{R}^n$. Under appropriate geometric assumptions concerning the geometry near infinity, but without any curvature sign ...
- 419
1
vote
0
answers
85
views
Closed form ODE solutions for Jacobi field/eigenfunction of Laplacian on hyperbolic space
I'm trying to compute Jacobi fields of the hyperbolic disk $\mathbb{H}^m$ considered as a minimal hypersurface in $\mathbb{H}^{m+1}$ in the half model. References to literature or solutions to the ...
- 63.9k
5
votes
1
answer
213
views
How to extend this PDE?
Let $(M^n,g)$ and $(N^m,h)$ be Riemann manifolds without boundary of dimension $n$ and $m$ respectively and $u:(M^n,g)\to (N^m,h)$ be a map satisfying the following PDE on $M^n\backslash\Sigma$ ($u$ ...
- 1,149
2
votes
1
answer
172
views
Maximizing the first Neumann eigenvalue on disks
Let $D^2$ be a smooth disk and for any Riemannian metric in $D$, let $\mu_1(g)$ be the first positive Neumann eigenvalue of the Laplacian on $(D, g)$. Li and Yau proved that
$$\mu_1(g) \operatorname{...
- 5,407
0
votes
0
answers
122
views
The rigidity of $2$-dim sphere with constant sectional curvature in $\mathbb{R}^n$ for $n> 3$
If there is a smooth isometric embedding $f: (S^2, g)\rightarrow \mathbb{R}^n$, where $(S^2, g)$ is a sphere with Riemannian metric such that the corresponding sectional curvature is equal to $1$, and ...
- 63.9k
3
votes
0
answers
158
views
Conformal Killing vector fields on manifolds that are not asymptotically flat
Let $M = [1,\infty) \times S^2$.
Equip $M$ with the metric $g = dr^2 + r^2 (\gamma + h)$ where $\gamma$ is a metric on $S^2$ and $h$ is a $(0,2)$ tensor on $M$ that satisfies
$$h = O(1/r),\quad \...
- 969
4
votes
1
answer
186
views
Convex hull of 3 points in Cartan-Hadamard manifolds
Can the convex hull of $3$ points in a Cartan-Hadamard manifold be smooth?
A Cartan-Hadamard manifold $M$ is a complete simply connected manifold with nonpositive curvature (so it includes the ...
- 7,194
2
votes
0
answers
97
views
Does any warped product metric with harmonic Weyl curvature admit a structure of zero radial Weyl curvature?
A Riemannian manifold $(M, g)$ has harmonic Weyl curvature iff its Schouten tensor is Codazzi, and if there exists $f: M \to \mathbb{R}$ such that $W(\bullet, \bullet, \bullet, \nabla f) = 0$, one ...
- 659
3
votes
1
answer
124
views
Nature of a certain invariant on smooth field of positive definite matrices
I initially asked on math.stackoverflow but have since come to understand this forum may be more appropriate, as this is indeed a question that arose in writing a research article.
Denote $g$ a ...
- 39k
2
votes
1
answer
85
views
Jacobi fields in singular metric on quotient space
Consider the square $\Omega = (0,\pi) \times (0,\pi/2) \ni (r,\theta)$ endowed with the Riemannian metric
\begin{equation}
f^2 \big(\mathrm{d} r^2 + \sin^2(r) \, \mathrm{d} \theta^2 \big),
\end{...
- 39k
13
votes
3
answers
851
views
Are negatively pinched manifold locally conformally flat?
One knows that hyperbolic manifolds are locally conformally flat.
How about those negatively pinched manifolds, i.e. the sectional curvature $K$ satisfy:
$$
-\Lambda \le K \le -\lambda$$
for $\Lambda&...
- 1,446
1
vote
2
answers
260
views
Exterior differential systems on compact three-manifolds and Cartan-Kähler theory
Let $M$ be a compact three-manifold. I am interested in the following equation on $M$:
$ d e^i = \sum_{j,k}^3 \Theta^i_{jk} \, e^j\wedge e^k\, , \qquad i =1,2,3$
together with the following condition:...
- 2,816
0
votes
1
answer
133
views
Expansion of metric near boundary of 3 dimensional Poincaré-Einstein/hyperbolic manifolds
In Mazzeo-Alexakis, there is a brief discussion that if $(M^3,g) \sim \mathbb{H}^3/\Gamma$ (for $\Gamma$ convex cocompact), then the metric can be expanded near the topological boundary as
$$g = \frac{...
- 1,713
8
votes
3
answers
2k
views
What does it mean that the Hessian is proportional to the metric?
Let $(M,g)$ be a smooth manifold equipped with a metric tensor $g$, and $f\in C^\infty(M)$ a regular function (i.e., with nowhere vanishing differential).
Denote by $\mathrm{Hess}_g(f):=\nabla df$ ...
- 39k
0
votes
1
answer
112
views
Does any warped product metric admit a function with hessian proportional to the metric?
It is known that the existence of a function with hessian proportional to the metric implies that the metric is a warped product metric. Is the reciprocal true as well? I.e, if $(B \times N, g = g_B + ...
- 1,713
2
votes
2
answers
233
views
Lower bound for domain of exponential map on Lorentzian manifolds
Let $M$ denote a manifold admitting a Lorentzian metric $g_{ab}$. Essentially, I would like to know the "minimum domain" on which the exponential map is defined at $p\in M$. To make this concrete, ...
- 490
43
votes
11
answers
15k
views
Open questions in Riemannian geometry
What are some major open problems in Riemannian Geometry? I tried googling it, but couldn't find any resources.
- 5,407
1
vote
0
answers
135
views
Conformal laplacian on asymptotically flat manifolds with boundary
Let $g$ be an asymptotically flat metric on $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball.
Suppose $X$ is a smooth vector field on $M$ that is decaying exponentially and satisfies
$$\...
- 969
1
vote
0
answers
110
views
Moser iteration epsilon-regularity for non-linear system in general dimension
I am attempting to prove the following result in general dimension $n$. Given $(M^n,g)$ a Riemannian manifold with $\mathrm{Ric}_g \geq -(n-1)$ and $\mathrm{Vol}_g(B_1(x)) \geq v > 0$ for all $x \...
- 63.9k
2
votes
0
answers
162
views
The existence of a positive Green function for the Laplacian on $\mathbb R$
One can show explicitly and easily that the function $G(x,y) = \frac 1 2 |x-y|$ is a positive Green function for the Laplacian $\frac {\mathrm d ^2} {\mathrm d x ^2}$ on $\mathbb R$ (endowed with the ...
- 5,407
4
votes
1
answer
200
views
Bounded covariant derivative of curvature tensor
Let $M$ be a complete Riemannian manifold.
Suppose that there are positive constants $i_0$ and $K$ such that the injectivity radius of $M$ is at least $i_0$ and $|\mathrm{Rm}|\le K$ and $|\nabla \...
- 27.5k
5
votes
1
answer
332
views
Manifolds with nonpositive radial curvature
How can one construct examples of Riemannian manifolds which have nonpositive radial curvature about some point, but are not nonpositively curved everywhere? (I presume that they exist, but do not ...
- 45k
0
votes
1
answer
117
views
Curvature of an affine system
I find an interesting paper that mentioned the Definition of curvature of an affine optimal control system. It reminded me that many textbooks on Riemannian geometry only tell us about metrics, ...
CommunityBot
- 1
3
votes
0
answers
82
views
Dirichlet-to-Neumann map is analytic
Let $M^n$, $n \geq 2$, be a compact smooth manifold with boundary and let $I \ni t \mapsto g_t$ be an analytic (with respect to t) $1$-parameter family of Riemannian metrics on $M$. For each $t \in I$,...
- 2,095
2
votes
0
answers
94
views
Dimension of Laplacian eigenspaces along a smooth 1-parameter family of metrics
Let $(M^n,g)$ be a closed Riemannian manifold, $n \geq 2$. For a smooth 1-parameter family $g_t$, $t \in (-\varepsilon, \varepsilon)$, of Riemannian metrics on $M$ with $g_0 = g$, let $\lambda_k(t)$, $...
- 2,095
3
votes
1
answer
130
views
Calculate the Riemannian Hessian of Karcher mean problem on positive definite matrices
Consider a collection of positive definite matrices $\{A_1,...,A_n\}\in\mathbb{S}_{++}^d$, the Karcher mean of these matrices is given by (see (5.4) in [1]):
$$
\min_{X\in\mathbb{S}_{++}^d} f(X):=\...
- 125
2
votes
1
answer
110
views
Why is the set of singular points of starlike boundary $\Gamma$ closed?
I'm reading Geometric Inequalities of Yu. D. Burago and V. A. Zalgaller. I don't understand why $E_1$ is closed in the proof of the following lemma.
Several definition.
Suppose $ \Omega $ is a ...
- 5,038