Skip to main content

All Questions

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

1
2
3 4 5
7