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.

733 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
39
votes
0answers
2k views

Minimal volume of 4-manifolds

This question came up in a talk of Dieter Kotschick yesterday. The minimal volume of a manifold is the infimum of volumes of Riemannian metrics on the manifold with sectional curvatures bounded in ...
32
votes
0answers
527 views

Metrics on the 3-sphere with knotted geodesics

According to answers to this question every metrics on $S^3$ admits a simple closed geodesic. Given a knot (or link) $K$, it's also quite simple to build a metric on $S^3$ such that $K$ is a geodesic (...
26
votes
0answers
2k views

Ricci flat metric on $n$-sphere?

Can you put a Ricci flat metric on the $n$-sphere, $n>4$?
20
votes
0answers
419 views

Negative Einstein manifolds

In Besse's "EInstein manifolds", p. 354, the question is posed if the volume of Einstein metrics on a given compact manifold (normalized such that $Ric=\pm(n-1)g$) take only finitely many values. For ...
20
votes
0answers
812 views

Are the eigenvalues of the Laplacian of a generic Kähler metric simple?

It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...
19
votes
0answers
303 views

Is every minimal hypersurface in $S^n$ algebraic?

Let $S^n$ be the round n-sphere. Wu-yi Hsiang asked in his paper “Remarks on closed minimal submanifolds in the standard riemannian m-sphere” (1967) the follow question Is every minimal ...
19
votes
0answers
509 views

Homeomorphisms of the sphere mapping a geodesic triangulation to another one

Consider the standard Riemannian 2-sphere $S$, equipped with a geodesic triangulation $T$. Let $L(S,T)$ be the space of homeomorphisms of $S$ which map $T$ to a geodesic triangulation. What is the ...
17
votes
0answers
228 views

Do eigenfunctions determine the geometry of a manifold? If so, do finitely many suffice?

Let $X$ be a smooth, Riemannian manifold. It is known that the geometry of $X$ can be recovered from its heat kernel $k_{t}(x,y)$, using Varadhan's Lemma: $\displaystyle\lim_{t \to 0} t \log k_{t}(x,y)...
17
votes
0answers
2k views

Characterising critical points of $E(f)=\int_{M}| \bigwedge^2 df|^2 \text{Vol}_{M}$

$\newcommand{\id}{\operatorname{Id}}$ $\newcommand{\R}{\mathbb{R}}$ $\newcommand{\TM}{\operatorname{TM}}$ $\newcommand{\Hom}{\operatorname{Hom}}$ $\newcommand{\Cof}{\operatorname{Cof}}$ $\newcommand{\...
16
votes
0answers
597 views

Schoen and Yau's proof of the higher dimensional positive mass theorem

In April 2017 Schoen and Yau posted on the arxiv their solution of the time-symmetric positive mass theorem in all dimensions, which has been a significant conjecture since the 70s. As of now, July ...
15
votes
0answers
757 views

Applications of Berger's Curvature Estimate

I'm interested in applications of the following estimate of Berger on the Riemann curvature tensor: Let $(M,g)$ be a Riemannian manifold of dimension $n \geq 4$, let $p \in M$, and assume that the ...
14
votes
0answers
271 views

Lorentzian analogue to Thurston geometries

Is there an analogue to the eight Thurston geometries for Lorentz metrics? If so, how many "disctinct" geometries are there in the Lorentzian case? And which closed 3-manifolds admit metrics which ...
14
votes
0answers
592 views

Are harmonic mappings non-singular outside a set of measure zero?

Let $g$ be a smooth Riemannian metric on the closed $n$-dimensional unit disk $\mathbb D^n$. Let $f: \mathbb D^n \to \mathbb{R}^n$ be a smooth orientation-preserving immersion, and let $\omega :\...
14
votes
1answer
671 views

Is there an area-preserving diffeomorphism of the disk which is nowhere conformal?

This question is a cross-post; it is related to this former question of mine. Let $D \subseteq \mathbb{R}^2$ be the closed unit disk. Does there exist a smooth volume-preserving diffeomorphism $f:...
13
votes
0answers
553 views

Best metrics on exotic R^4

What is known about the existence of complete metrics with good properties (e.g., Einstein, constant scalar curvature, etc...) on exotic ${\bf R}^4$s? Note, that some exotic ${\bf R}^4$s have non-...
12
votes
0answers
222 views

dual to Hodge theory

Let $(M,g)$ be a closed Riemannian manifold. In my understanding Hodge theory shows that any de Rham cohomology class can be represented uniquely by a harmonic form. Moreover the harmonic form ...
12
votes
0answers
365 views

Two ways a manifold can have little symmetry

Let $M$ be a closed connected smooth oriented manifold. The following two properties - that $M$ can either enjoy or not - intuitively both mean that $M$ has very little symmetry: (a) Every self-map $...
11
votes
0answers
212 views

Is there any connection between the Deturck trick and the Uhlenbeck trick?

There are two separate places where ingenious uses of gauge transformations simplify the analysis of Ricci flow considerably.  The Deturck trick is a way to break the diffeomorphism invariance of the ...
11
votes
0answers
370 views

Elementary-ish geometric proof of Hirzebruch signature theorem for Riemannian 4-manifolds?

The Hirzebruch signature theorem tells us that for a smooth compact oriented 4-manifold, the signature $\sigma(M)$ is proportional to the first Pontryagin number of $M$: $$ 3\sigma(M)= p_1(M) = k \...
11
votes
0answers
292 views

A variation on the local Günther inequality

This question is about a variation on the Günther (also known as Günther-Bishop) inequality for manifolds of sectional curvature bounded from above. With Greg Kuperberg, we would deduce from it a ...
10
votes
2answers
612 views

On Gromov's proof of the systolic inequality $\operatorname{Sys}_1(M)\leq 6\operatorname{FillRad}(M)$

In the page 10 of the paper "Filling Riemannian manifolds" by Gromov (ProjetEuclid link), the author proves the following inequality (1.2) relating the systole and the filling radius of manifolds. $$\...
10
votes
0answers
135 views

k-th Pontryagin class of $\Lambda^{2k}_{\pm}$ on an oriented $4k$-manifold

If $M^{4k}$ is an oriented Riemannian $4k$-manifold, then the star-operator splits the bundle $\Lambda^{2k}$ into $\pm 1$-eigenspace bundles denoted $\Lambda^{2k}_{\pm}$. I'm curious if anyone has ...
10
votes
0answers
259 views

Elliptic regularity of perturbed scalar curvature in Kazdan & Warner

In their paper A Direct Approach to the Determination of Gaussian and Scalar Curvature Functions, Kazdan and Warner claim something along the lines of: if $g$ is a metric in $W^{2,p}$ ($p>n$) whose ...
10
votes
0answers
301 views

A question on a result of Colin de Verdiere

Consider a compact connected surface $M$ of some genus $\gamma \geq 2$. A particular case of a famous result of Colin de Verdiere (see here) says that if we fix $\gamma$ and select a finite sequence $\...
10
votes
0answers
351 views

Is it overkill to invoke Kirszbraun theorem to prove the following fact ?

Given a small enough convex triangle $(abc)$ in a (smooth or Alexandrov) surface $(X,d)$ of curvature greater than $-1$, let $(\overline{abc})$ be its comparison triangle in $\mathbb{H}^2$. Then there ...
10
votes
0answers
531 views

Killing spinors and symmetric tensor fields.

Hi all, I have a question of the following form: Let $(M,g)$ be a Riemannian spin manifold which admits a Killing spinor $\sigma$ and let $h:T M \to T M$ be a symmetric, trace-free and divergence-...
9
votes
0answers
140 views

Non-trivial $\mathbb{R^3}\rightarrow\mathbb{R^3}$ maps with constant singular values

It can be proved that all $\mathbb{R^2}\rightarrow\mathbb{R^2}$ mappings with constant singular values are affine. In three dimensions, however, there are non-trivial examples, like $$ \begin{align} ...
9
votes
0answers
101 views

Jacobi fields on non-geodesic curves

The point of Jacobi fields is to study variations of geodesics through geodesics, but the Jacobi equation $D_t^2 J + R(J,\dot\gamma)\dot\gamma=0$ makes sense for any curve $\gamma$, not just for ...
9
votes
0answers
201 views

Hermitian sectional curvature

Let $N$ be a Riemannian manifold, denote $R$ its purely covariant Riemann curvature tensor with sign convention so that the sectional curvature is $K(X,Y) = R(X,Y,X,Y)$ for an orthonormal pair. ...
9
votes
0answers
238 views

Diffeomorphism type of Ricci-flat four manifolds

Let $(M,g)$ be an irreducible compact and simply connected Ricci-flat Riemannian four-manifold. My first questions are as follows: A) Is there a classification of the possible homeomorphism types of ...
9
votes
0answers
265 views

Local meaning of the Pfaffian of the curvature

The Ricci and scalar curvatures have very nice pointwise interpretations (using the local expression for the volume form for example). So, (at least Ricci) having special metrics (like Einstein) can ...
9
votes
0answers
875 views

Second Stiefel-Whitney class as an obstruction to the existence of spin structure

Let $M$ be an oriented (closed) Riemannian manifold. Choose a good open cover and local trivialisations of the tangent bundle $U_i$. Then we get a system of transition functions $\varphi_{ij}: U_i \...
9
votes
0answers
685 views

Have heat kernels for generalized Laplacians on non-compact manifolds been constructed?

Let $M$ be a non-compact Riemannian manifold which is "nice enough", and $D$ a generalized Laplacian on it. The construction of the heat kernel for the Laplace-Beltrami operator on $M$ seems to be ...
9
votes
0answers
231 views

Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting? ...
8
votes
1answer
468 views

Why 2-tori with Gauss curvature $\geq -1$ cannot collapse to segment?

Let $\{(\mathbb{T}^2,g_i)\}_{i=1}^\infty$ be a sequence of 2-dimensional tori with smooth Riemannian metrics with Gauss curvature at least $-1$. It was explained in the final answer to the post Gromov-...
8
votes
0answers
124 views

Is every compact smooth Riemannian manifold bilipschitz equivalent to a finite simplicial complex?

Let $M$ be a compact smooth Riemannian manifold. Then it admits a triangulation, i.e. a finite simplicial complex $K$ which is homeomorphic to $M$. Any such simplicial complex carries a natural metric ...
8
votes
0answers
108 views

Counter-examples to the higher dimensional statement of the half-space theorem

The well-known Half-space Theorem by Hoffman and Meeks says that there is no nonflat complete properly embedded minimal surface contained in an half space of $\mathbb{R}^3$. The higher dimensional ...
8
votes
0answers
505 views

(First) Bianchi Identities

I'm looking at a paper of J. A. Thorpe ("Some Remarks on the Gauss-Bonnet Integral"). In the paper he defines "higher-order" notions of curvature. One thinks of the usual curvature tensor as $R\in \...
8
votes
0answers
310 views

Measuring the non-commutativity of the codifferential and pullbacks

$\newcommand{\id}{\operatorname{Id}}$ $\newcommand{\TM}{\operatorname{TM}}$ $\newcommand{\Hom}{\operatorname{Hom}}$ $\newcommand{\M}{\mathcal{M}}$ $\newcommand{\R}{\mathbb{R}}$ $\newcommand{\N}{\...
8
votes
0answers
178 views

Lifting a determinant map

This is a kind of a follow-up to Question on Hessian of a function (probability question). Suppose I give you a continuous function $f:\mathbb{R}^n \to \mathbb{R}.$ Is it true that there exists a ($C^...
8
votes
0answers
206 views

Regularilty of Commutative Spectral Triples

In Connes' approach to non-commutative geometry, the notion of a spectral triple is said to generalize compact Riemannian manifolds to the non-commutative setting. Motivating classical examples ...
8
votes
0answers
551 views

Existence of barycenter

Let $(X,d)$ be a metric space. A barycenter of a Borel probability measure $\mu$ on $X$ is a minimizer of the function \begin{equation} \begin{split} f \colon X & \to \mathbb{R}\\ x &\mapsto \...
8
votes
0answers
265 views

Is it possible to average a riemannian metric over an action and preserve curvature bounds?

Let $M$ be a finite dimensional smooth manifold endowed with a riemannian metric $g$ and a smooth action $\mu$ by a compact Lie group $G$. Averaging $g$ over $G$ defines a new metric $$g'(X,Y)=\int_Gg(...
8
votes
0answers
378 views

About Palais' remark that an isometry of Riemannian manifolds does not induce an isometry of the Hilbert manifolds of curves

In the paper ``Morse theory on Hilbert manifolds'' (1963), on page 326, Richard Palais makes a remark that if $\phi\colon V \to W$ is an isometry (of submanifolds of $\mathbb{R}^n$), then this does ...
8
votes
0answers
399 views

Gromov-Hausdorff and Lipschitz convergence of a non-collapsing sequence of manifolds with Ricci curvature bounded below

There is a theorem from Cheeger-Colding saying the following: Let $n$ be an integer. If a sequence of $n$-dimensional Riemannian manifolds $(M_i,g_i)$ converges with respect to the Gromov-Hausdorff ...
8
votes
0answers
343 views

Exhaustion of an open manifold of bounded curvature and finite volume

In the Cheeger-Gromov paper "On the Characteristic Numbers of Complete Manifolds of Bounded Curvature and Finite Volume", http://www.maths.ed.ac.uk/~aar/papers/cheegergr1.pdf, the authors make the ...
7
votes
0answers
95 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 ...
7
votes
0answers
230 views

Do asymptotically conformal maps converge to a weakly conformal map?

$\newcommand{\CO}{\text{CO}_2}$ $\newcommand{\SO}{\text{SO}_2}$ $\newcommand{\dist}{\text{dist}}$ $\newcommand{\M}{\mathcal{M}}$ $\newcommand{\N}{\mathcal{N}}$ Let $\M,\N$ be two-dimensional smooth, ...
7
votes
0answers
171 views

A characterization of round sphere

Let $(M,g)$ be a $k$ dimensional compact Riemannan manifold which is isometrically embeded in $\mathbb{R}^{k+1}$. The distance arising from the Riemannian metric is denoted by $d_g$.The Euclidian ...
7
votes
0answers
90 views

Blaschke points

A Blaschke point of a metric space is a point so that every geodesic (i.e. locally shortest path) starting at that point and of length less than the diameter of the metric space is the unique shortest ...

1
2 3 4 5
15