All Questions
Tagged with reference-request riemannian-geometry
320 questions
10
votes
4
answers
667
views
Reference for shortest educational path to (Riemannian) hyperbolic plane
I am teaching an undergraduate class for math majors on axiomatic geometry, culminating in the proof that hyperbolic geometry is equiconsistent* with Euclidean geometry. I would like to make an end-of-...
10
votes
2
answers
1k
views
Information about Milnor conjecture
I'm a student of mathematics and I need know about the status of the Milnor conjecture (if there are partial results or if someone solved that). The statement is:
A complete Riemannian manifold with ...
8
votes
1
answer
218
views
Existence of properly discontinuous and cocompact action
Let $M$ be a complete Riemannian manifold. My question is, under what conditions does $M$ admit a discrete group of isometries $\Gamma$ which acts properly discontinuously and cocompactly on $M$, that ...
36
votes
10
answers
6k
views
Determining a surface in $\mathbb{R}^3$ by its Gaussian curvature
A curve in the plane is determined, up to orientation-preserving
Euclidean
motions, by its curvature function, $\kappa(s)$.
Here is one of my favorite examples, from
Alfred Gray's book,
Modern ...
13
votes
3
answers
6k
views
Linear/Non-linear sigma model
This is slightly an open-ended invitation to discuss references and reasons for excitement about the linear and non-linear sigma model.
I gauge from some other interactions that it has considerable ...
2
votes
0
answers
265
views
Riemannian geometry of Grassmannian bundles
The Grassmannian bundle of a vector bundle $E$ is a smooth manifold where each fiber over the base space is replaced by the Grassmannian (of specified rank) of the fiber. I am interested in defining a ...
0
votes
1
answer
169
views
Explicit computation of the vertical and horizontal vector bundles
Given a closed Riemannian manifold $(X,g)$ and let $p\colon TX\to X$ be the usual projection, the paper I'm reading asserts that the Levi-Civita connection induces a splitting $T(TX)= H(TX)\oplus V(TX)...
2
votes
0
answers
65
views
Connection between a function and its usage in geometry [closed]
I know nothing about geometry, but I found a function which seems to have something to do with geometry.
This function is, $$f(x,y,z) = \dfrac{(x,y,z)}{\sqrt{1 + x^2 + y^2 + z^2}}$$
where $x,y,z$ is ...
8
votes
1
answer
375
views
Harmonic functions on complete Riemannian manifolds
I have started reading a paper of Colding and Minicozzi, where they prove that on a complete Riemannian manifold $M$ of non-negative Ricci curvature, the space of harmonic functions of growth order at ...
22
votes
2
answers
1k
views
Why doesn't this construction of the tangent space work for non-Riemannian metric manifolds?
In the 1957 paper, On the differentiability of isometries, Richard S. Palais gives a way to construct the tangent spaces of a Riemannian manifold using only its metric space structure (Theorem, p.1).
...
2
votes
0
answers
663
views
Reference request - Texts on geometric analysis with exercises
I’ve recently been studying some Riemannian geometry and geometric analysis, however I have found it difficult to find resources with exercises to practice. It seems that many textbooks past the ...
2
votes
1
answer
224
views
The differentiability of the distance function on asymptotically flat manifolds
Let $M = \mathbb{R}^3 \setminus \overline{B_1}$ where $\overline{B_1}$ is the closed unit ball.
Let $g$ be an asymptotically flat metric of the form $g_{ij} = \delta_{ij}+h_{ij}$ in standard ...
5
votes
0
answers
159
views
On Sobolev spaces on domains in Riemannian manifolds
There is extensive literature on Sobolev spaces on complete Riemannian manifolds but are there any standard references regarding the definition and properties of Sobolev spaces on domains (possessing ...
5
votes
0
answers
276
views
Fundamental group of compact globally symmetric spaces
The fundamental group of a globally symmetric space $M$ of compact type is known (see Loos [1], Borel [2]). The result can be formulated as follows: it is isomorphic to the quotient
$$(*) \quad \pi_1(...
5
votes
1
answer
184
views
Proof of equivalence between Lie triple systems and totally geodesic submanifolds
In a Riemannian symmetric space $Q$, it is well known that the existence of a totally geodesic submanifold at a point $p \in Q$ is equivalent to the existence of a Lie triple system at $p$, i.e., a ...
2
votes
0
answers
127
views
Are metrics of the form $dr^2+ \Omega^2 r^2 g_\text{round}$ asymptotically flat?
Let $M = [1,\infty)\times S^2$. Let $\Omega$ be any smooth positive function on $S^2$.
Is the metric $dr^2+ \Omega^2 r^2 g_\text{round}$ asymptotically flat (where $g_\text{round}$ is the round metric ...
5
votes
0
answers
261
views
Laplacian spectrum and measured Gromov-Hausdorff convergence of Riemannian manifolds with boundary
In the paper "Collapsing of Riemannian manifolds and eigenvalues of Laplace operator" by Kenji Fukaya, it is proven that the spectrum of the Laplacian is continuous with respect to measured ...
6
votes
1
answer
816
views
Proof that every three-dimensional Einstein manifold has constant curvature
In pseudo-Riemannian geometry it is well known that every three-dimensional Einstein manifold has constant curvature. A proof of this is sketched here.
Question. Does anyone know where in the ...
3
votes
2
answers
347
views
Direct calculation of the Fisher distance via Riemannian geodesics
I'm looking for a reference for a direct calculation of the Fisher distance (to avoid overloading the term "metric") $d_F(x,y) := 2 \cos^{-1} \sum_i \sqrt{x_i y_i}$ as the geodesic distance ...
7
votes
0
answers
192
views
Higher homotopy groups of an orbifold
Given an orbifold $\mathcal{O}$, I have seen many ways to define the orbifold fundamental group:
Thinking of $\mathcal{O}$ as a groupoid $\mathcal{G}$, $\pi_1^{orb}(\mathcal{O})$ can be defined as ...
2
votes
0
answers
65
views
Where can I find a proof of the main properties of Weyl Curvature for semi-Riemannian manifolds?
Most of the references I've seen deal with Riemannian geometry, rather than semi-Riemannian geometry. Chens monograph, Pseudo-Riemannian Geometry, $\Delta$-Invariants and Applications is one of the ...
13
votes
2
answers
789
views
Geometric characterization of martingales
Recently I've read a paraphrasing from Ito saying that he sometimes thinks of martingales as geodesics in a very large dimensional manifold.
My question is, is there any research studying this idea?
...
0
votes
0
answers
425
views
Compact connected Riemannian manifolds are Ahlfors regular metric space
Let $(M,g)$ be a compact connected $n$-dimensional Riemannian manifold; let $(X,d)$ denote its associated metric (length) space. A comment on the original formulation of this post mentioned that $(X,...
0
votes
1
answer
569
views
Is this a manifold of bounded geometry?
Let $M$ be a complete non-compact manifold (possibly with boundary). Let $E$ be an open proper connected non-precompact subset of $M$ with smooth topological boundary, so that $\overline{E}$ is a non-...
19
votes
1
answer
2k
views
Does this Banach manifold admit a Riemannian metric?
First, the question; after, the motivation.
Consider 27.6 (pdf pp. 262-263) in The convenient setting of global analysis (AMS, 1997), and, in particular, the example given at the end of it, which ...
2
votes
3
answers
336
views
For globally conformally flat surfaces, does radial symmetry of conformal factor imply the surface is a sphere?
We know that for the unit sphere in $\mathbb{R}^3$, the standard metric on such a sphere can be written as $$g=\frac{4}{(1+x_1^2+x_2^2)^2}(dx_1^2+dx_2^2)$$by a stereographic projection map from the ...
6
votes
3
answers
1k
views
The isometry group of a product of two Riemannian manifolds
Under what conditions is the isometry group of a product of two Riemannian manifolds the product of the isometry groups of each one of the components?
One counterexample is a product of two isometric ...
1
vote
1
answer
258
views
Isoperimetric inequality for domains in the exterior of a precompact open set in Riemannian manifold
Fix $n\geq 2$ and let $$\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$$ be the hyperbolic space, so that any point $x\in \mathbb{H}^{n}$ can be represented in polar coordinates $x=(r, \theta)$, ...
1
vote
0
answers
138
views
References Request: Bach tensor
Recently I want to study about Bach tensor in detail. From the fundemental definition and properties to conformal invariant. Is there any references to me about Bach tensor? If there are some origins ...
1
vote
1
answer
140
views
Isoperimetric inequality for exterior domains on $\mathbb{H}^{n}$
Fix $n\geq 2$ and let $\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$ be the hyperbolic space be defined as a Riemannian manifold equipped with the Riemannian metric $$g=dr^{2}+\sinh^{2}rd\...
2
votes
2
answers
523
views
Orthogonal smooth vector field on a Riemannian manifold
Consider a compact Riemannian manifold $M$ with a smooth metric, and a smooth vector field $X$ on $M$. My question is, when can we construct another smooth vector field $Y$ on $M$ such that $Y$ is ...
6
votes
0
answers
218
views
Optimal configurations on the flat torus
I'm studying (with my colleagues R.Piergallini and S.Isola) configurations of points on the flat torus which minimize an attractive or repulsive potential depending on the distance. Two model cases ...
6
votes
2
answers
317
views
Quasi-isometric embedding of graphs in non-compact riemannian surfaces
Given a complete riemannian surface $(S,m)$, where $S$ is homeomorphic to $\mathbb{R}^2$, I would like to find a weighted graph $G$ (which means a graph with real non-negative weights on the edges), ...
10
votes
0
answers
464
views
Reference for sets of locally finite perimeter on Riemannian manifolds
I am looking for a reasonably complete reference for Ennio De Giorgi's theory of sets of locally finite perimeter (also christened by him as Caccioppoli sets, after Renato Caccioppoli's pioneering ...
0
votes
0
answers
51
views
References for local distance approximation over Riemannian manifolds [duplicate]
Over a complete Riemannian manifold $(M,g)$, in a neighborhood of $p \in M$, the local distance can be approximated as follows: $\forall v,u \text{ unit vectors in } T_pM, \text{ and small } s, t$
$$ ...
3
votes
1
answer
369
views
Closed manifolds of nonnegative curvature operator are symmetric spaces
In an online webinar, I heard (not directly) the statement that (closed) manifolds of nonnegative curvature operator $\mathcal{R}\geq 0$ are symmetric spaces. Is this a valid theorem? Any reference ...
0
votes
1
answer
108
views
Intersection Grassmanian planes
I am reading a paper that used Grassmanian planes properties. In particular, they studied the intersection of Grassmanian planes; they check the intersection Grassmanian of $n-k$-planes and ...
8
votes
1
answer
328
views
An integration identity on $\mathbb{P}^{n-1}$
Let $\omega_{\text{FS}}$ denote the Fubini–Study metric on $\mathbb{P}^{n-1}$ with unit volume, and let $[w_1 : \cdots : w_n]$ be standard unitary homogeneous coordinates. On page 5 of Yang–Zheng's ...
6
votes
1
answer
229
views
Does $\pi_k(M)\neq 0$ implies $\operatorname{ind}(\gamma) < k$?
Cross post from MSE. and sorry if this is an obvious question.
Here is a line of proof of Theorem 1.15 from
Brendle, Simon, Ricci flow and the sphere theorem, Graduate Studies in Mathematics 111. ...
1
vote
1
answer
243
views
Reference for non-parallel harmonic $k$-forms
I want to get some deep understanding on closed orientable Riemannian manifolds admitting $k$-forms ($k\geq 2$) $\omega$ that satisfices the following conditions:
$$\nabla \omega\neq 0,\quad \Delta\...
7
votes
0
answers
248
views
Does the Hodge decomposition hold for equivariant differential forms?
Let $M$ be a Riemannian manifold. The Hodge decomposition tells that
$$
\Omega^*(M) = \mathrm{im} \ d \oplus \mathrm{im} \ d^* \oplus \mathscr H^*(M)
$$
where $d^*$ is the adjoint operator of the ...
1
vote
0
answers
81
views
What 'large' surfaces are there?
I answered this question on "is there a longest geodesic" by a kind of a joke, which I couldn't resist: the long line! Simply going by the name it had to be the 'longest geodesic'! I didn't ...
8
votes
3
answers
1k
views
Higher derivatives than Jacobi fields
The first and second derivatives of the distance function (either the full $d:M\times M\to \mathbb{R}$ function or the $d(p,\cdot):M\to \mathbb{R}$ function) as well as the derivative of the ...
0
votes
0
answers
94
views
Symmetry group for (noncommutative) manifold from spectral triple
(This post is cross-post in Mathematics Stack Exchanges https://math.stackexchange.com/questions/3992766/symmetry-group-for-noncommutative-manifold)
Is there any notion of symmetry group arise for ...
6
votes
1
answer
160
views
Metrics of non-negative sectional curvature on $S^7$-bundles over $S^8$
In Curvature and symmetry of Milnor spheres, Grove and Ziller construct metrics of non-negative sectional curvature on $S^3$-bundles over $S^4$ (by using a cohomogeneity one action). In the same paper,...
4
votes
1
answer
503
views
singular metric (with essential singularity)
Working on some $Q$-curvature equation in dimension $4$, I have been faced with singular metric of the form $(\mathbb{B}, e^{-1/\vert x\vert ^2} \vert dx\vert)$. I try to figure out to what those ...
10
votes
1
answer
3k
views
Taylor expansion of the metric tensor in the normal coordinates
I am looking for a reference with a Taylor expansion of the metric tensor in the normal coordinates.
The coefficients should be written in terms of $\mathrm{Rm}, \nabla\mathrm{Rm}, \nabla^2\mathrm{Rm},...
1
vote
0
answers
213
views
Injectivity radius bounds for Riemannian manifolds of low regularity
In their seminal paper, Jeff Cheeger, Mikhail Gromov, and Michael Taylor derivated bounds on the injectivity radius of Riemannian manifolds with bounded sectional curvature of the form:
$
inj(p)\geq r ...
3
votes
1
answer
511
views
Complete statistical manifolds
Here, by a statistical manifold I mean a $d$-dimensional Riemannian manifold whose points are probability measures on $\mathbb{R}^n$. What are some well-studied/interesting examples of statistical ...
2
votes
0
answers
128
views
Free actions on torus (reference request)
I would like a reference for the following result:
The torus $T^n$ does not admit a right free action by a compact connected semi-simple Lie group.
I also appreciate further generalizations since I ...