**5**

votes

**1**answer

147 views

### Averaging maps of Riemannian manifolds

Let $M$ be a compact Riemannian manifold. We know how to average functions $f\colon M\to {\mathbb R}$; the integral $\frac{\int_M f}{\int_M 1}$ returns a value in ${\mathbb R}$. If intead $f\colon ...

**11**

votes

**1**answer

313 views

### Flat manifolds and irreducible representations

Let $M$ be a compact Riemannian manifold with vanishing curvature of Levi-Civita connection. Such manifolds were classified by Bieberbach; sometimes they are called Bieberbach manifolds. According to ...

**8**

votes

**1**answer

718 views

### How large can you draw an island on a map?

A cartographer friend asked me this question: could you classify (shapes of) islands by how much space they occupy on a map (comparatively to how much space is occupied by water) if you draw them as ...

**3**

votes

**1**answer

242 views

### Relationship between Laplacian and Hessian on compact Lie groups

If $f: \mathbb{R}^n \rightarrow \mathbb{R}$ is smooth and compactly supported, one has
$$\int |\Delta f(\mathbf{x})|^2\,d\mathbf{x} = \int \| Hf(\mathbf{x}) \|_F^2\,d\mathbf{x}\,,$$
where $\Delta$ ...

**4**

votes

**0**answers

56 views

### Bi-Lipschitz classification of germs of conformal metrics at a singularity

First let me introduce some definitions.
By a germ of conformal metrics at a singularity, or simply a germ, I mean a conformal Riemannian metric $g$ defined on a punctured neighborhood $U$ of $0$ in ...

**2**

votes

**1**answer

161 views

### Divergence invariant lifting of a vector field via a submersion

What is an example of a smooth submersion $P:S^{3}\to S^{2}$ for which the following statment is Not true:
For every vector field $X$ on $S^{2}$ there is a non vanishing vector field ...

**3**

votes

**1**answer

136 views

### Gaussian Curvature of Exponentiated 2-Planes

Consider a Riemannian manifold $M$ with sectional curvatures $K\ge 0$ and let $\Pi$ be a 2-plane in the tangent space of $M$ at a point $p$. In a small enough neighborhood $U$ of 0 the exponential map ...

**0**

votes

**1**answer

184 views

### Green's function and eigenvalues with multiplicity

Green's function of a differential operator contains a lot of information of that operator. In particular, if we have a differential operator on a compact manifold with discrete spectrum, then Green's ...

**32**

votes

**6**answers

3k views

### Synthetic vs. classical differential geometry

To provide context, I'm a differential geometry grad student from a physics background. I know some category theory (at the level of Simmons) and differential and Riemannian geometry (at the level of ...

**4**

votes

**0**answers

283 views

### Isometries of hyper-Kähler manifolds

For the purposes of this question, a hyper-Kähler manifold will be a complete connected Riemannian manifold $(\mathcal{M},g)$ whose holonomy representation is isomorphic to the natural representation ...

**11**

votes

**1**answer

688 views

### Thurston geometries in dimension 4

In the sense of W. Thurston here, there is 3 geometries in dimension 2 and there is 8 geometries in dimension 3.
Question: How many different geometries (in the sense of Thurston) do we have in ...

**0**

votes

**2**answers

164 views

### Can simply or not simply connected maximally symmetric (Semi-)Riemannian manifold be completely classified?

A m-dimensional completed and connected (Semi-)Riemannian manifold which has $m(m+1)/2$ independent global Killing vector fields is called maximally symmetric space.
Then what are all possibilities ...

**11**

votes

**1**answer

427 views

### Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...

**1**

vote

**0**answers

150 views

### Question on a paper of Schoen and Yau

I am trying to understand the paper "Conformally flat manifolds, Kleinian groups and scalar curvature" by Schoen and Yau. In P.56, it says:
This implies that $\partial M$ has a zero $q$-capacity, ...

**8**

votes

**2**answers

588 views

### Is there some Riemannian manifold's version of Whitney theorem?

Given any Riemannian or Semi-Riemannian manifold $(M,g)$, does there exist a Eucildean space $(E,g^\prime)$ of enough high dimension with metric $g^\prime=diag\{-1,-1,...,+1,+1,...\}$ with any n ...

**14**

votes

**3**answers

962 views

### Riemann's formula for the metric in a normal neighborhood

I would love to understand the famous formula $g_{ij}(x) = \delta_{ij} + \frac{1}{3}R_{kijl}x^kx^l +O(||x||^3)$, which is valid in Riemannian normal coordinates and possibly more general situations.
...

**3**

votes

**0**answers

158 views

### Uniqueness of scalar curvature

I'm reading Gromov's notes
http://www.ihes.fr/~gromov/topics/SpacesandQuestions.pdf
and at page 7 they say that there is a unique second order differential operator $S$ from the space of Riemannian ...

**1**

vote

**1**answer

109 views

### What is the expression of first eigen function of Laplacian on Hyperbolic plane?

Let $\Delta$ be the Laplacian (a positive operator) on $H^2$ the hyperbolic plane. My question is what is the expression of the eigenfunction $\Delta f= f/4$? (say in the ploar coordiante)

**2**

votes

**0**answers

212 views

### Is there any progress on Problem 13 (from Schoen and Yau)?

This is closed related to the question asked here. I wonder if there is any progress on Problem 13 from the "Problem Section" in Schoen and Yau, page 281, problem 13, which asks:
Let $M_1$ and $M_2$ ...

**3**

votes

**1**answer

184 views

### The complex heat kernel on a Riemann manifold

There is a vast literature available for the heat kernel. Nevertheless, I haven't been able to find almost anything useful about the kernel of the equation $\frac{1}{\mathbb{i}} \frac{\partial ...

**2**

votes

**0**answers

162 views

### Generalized metric on spacetimes

I read many articles about space-times. Most authors consider these spaces as warped product manifolds $I\times M$ where $I$ is an open connected interval of the real line and $M$ is a Riemannian ...

**3**

votes

**1**answer

140 views

### Has uniform ellipticity implications on the spectrum?

Let $X$ be a complete Riemann surface with a smooth metric, and $L$ a line bundle on it also equipped with a smooth metric; associated to this data there is a Laplace-Beltrami operator $D_L$ acting on ...

**3**

votes

**0**answers

36 views

### Does local reducibility imply global reducibility of universal covering?

Let $M$ be a locally reducible complete Riemannian manifold, that is, for any $p \in M$, we can find an open set $U$ around $p$ and two Riemannian manifolds $X$ and $Y$ such that $U$ is isometric to ...

**2**

votes

**0**answers

111 views

### Harmonic maps and centers of mass in Riemannian manifolds

Consider a smooth map $f : M \to N$ between two Riemannian manifolds $(M,g)$ and $(N,h)$. I would like to think of the tension field of $f$ and the harmonicity of $f$ in terms of centers of mass.
I ...

**10**

votes

**3**answers

1k views

### Manifolds admitting flat connections

For each Riemannian manifold one can construct the Levi-Civita connection. While this connection is unique, we can call a (Riemannian) manifold flat if the Levi-Civita connection is flat. However when ...

**4**

votes

**2**answers

169 views

### Reference for when a metric on a four-manifold is Kahler?

In a paper of Derdzinski (Proposition 5), he proved that if $\delta W^+=0$ and $W^+$ has at most two distinct eigenvalues, then the metric is (locally) conformally Kahler, and if in addition the ...

**4**

votes

**0**answers

92 views

### Generalized Hawking Mass

This is a fairly general question. Let $(M^3,g)$ be a Riemannian 3-manifold. Let $\Sigma^2$ be a dimension-2 submanifold of $M$. The Hawking mass of $\Sigma^2$ is defined as
$m(\Sigma^2) := ...

**3**

votes

**1**answer

143 views

### Horizontal lift of differential operator

On a Riemannian manifold $M$, there is a canonical horizontal lift $X^{\mathrm{hor}}$ of vector fields $X$ to $TM$, which is characterized by the two properties that
$X^{\mathrm{hor}}$ is a ...

**0**

votes

**1**answer

185 views

### Hilbert's Theorem relevance to positive curvature

In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface S of constant negative Gaussian curvature K immersed in $ R^3 $. This theorem answers the ...

**3**

votes

**1**answer

121 views

### Does this squared distance functional have a unique critical point on geodesically convex manifolds?

Let $M$ be a Riemannian manifold with distance function $d$, $C \subset M$ a geodesically convex set, $a=(a_i)_{i=1}^n \in C^n$, $W \in \mathbb{R}_{\geq 0}^{n \times n}$ and $J\colon C^n \rightarrow ...

**13**

votes

**1**answer

326 views

### If all balls around two points are isometric… — manifold version

This question is a natural follow-up of this other question, asked earlier today by wspin.
Let's say that a metric space $(X,d)$ has two poles if:
there are two distinct points $x$, $y$ such that ...

**1**

vote

**0**answers

141 views

### The “Rolle theorem” for sections of a vector bundle

1)Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...

**3**

votes

**1**answer

315 views

### Is the identification between symmetric tensors and homogeneous polynomials useful?

The general question:
Given an $n$-dimensional vector space $V$ over a field $k$, there exists an identification
$$\mathrm{Sym}^d(V) \sim k[x_1, \dots, x_n]_d$$
between the space of symmetric order ...

**1**

vote

**0**answers

142 views

### Riemann curvature of $S^1$-principal bundle

Let $(M,g)$ be a Riemannian manifold and $\pi:P \to M$ be $S^1$- principal fiber bundle endowed with a connection $\Gamma$. For every $p\in P$ we have,
$$T_pP \simeq T_pV\oplus\Gamma_p$$
Where $V$ ...

**4**

votes

**2**answers

205 views

### The unit tangent bundle of 2- or 4-manifolds as a principal $S^{1}$- or $S^{3}$-bundle

What type of obstructions have been studied so that the unit tangent bundle of a Riemannian 2-(4-)manifold have a structure of a principal $S^{1}$-($S^{3}$-)bundle?

**4**

votes

**1**answer

240 views

### $C^0$ estimate for solutions of elliptic PDE with Neumann BC

I am interested in a reference for (or counterexample to) a particular
$C^0$ estimate for solutions of the Laplace equation with Neumann
boundary conditions. More precisely, let $(M,g)$ be a ...

**7**

votes

**2**answers

617 views

### Examples of non isometric surfaces having the same curvature function

I think it is really natural to believe, after doing Riemannian geometry for a little time, that sectional curvature encodes the all local geometry of a Riemannian manifold. One of the first thing one ...

**9**

votes

**1**answer

136 views

### co-dimension one minimizing verifolds

It is known that a minimizing co-dimension verifolds within a manifold may need to be singular. I think a famous example first partially analyzed by Jim Simons is the cone on in the 8-ball of the ...

**1**

vote

**1**answer

132 views

### Nonpositive curvature of Stein manifolds

It is a theorem of Greene and Wu that a complete, simply-connected Kaehler manifold of everywhere nonpositive sectional curvature is a Stein manifold. I am curious about what kinds of additional ...

**2**

votes

**0**answers

68 views

### Normal-like coordinates for weakly differentiable metrics

Let $(M,g)$ be a Riemannian $W^{2,p}$ metric, with $p>n/2$. Thus $g$ is at least continuous. At any point $P\in M$, do there exist local coordinates $x^i$ such that $g$ can be decomposed as $g_{ij} ...

**12**

votes

**1**answer

373 views

### Simple, closed geodesics in $\mathbb{S}^3$ manifold

Lyusternik and Shnirel'man were the first to prove
Poincaré's conjecture that any Riemannian metric on $\mathbb{S}^2$ has
at least three simple (non-self-intersecting), closed geodesics.
See, e.g., ...

**2**

votes

**2**answers

382 views

### Approximation theorem for Anti-Self-Dual Metrics

Rounge's Theorem states that any meromorphic function on a domain inside $\mathbb{C}$ can be approximated (over compact subsets) by a sequence of rational functions (meromorphic functions on ...

**1**

vote

**2**answers

227 views

### How is the metric tensor related to the Hessian of the first fundamental form?

I know that the metric tensor can not always be formulated as a Hessian, but sometimes it can. Can you help me to understand what the special conditions are under which the metric tensor is a Hessian ...

**4**

votes

**2**answers

198 views

### The necessary and sufficient condition for $\textbf{global}$ conformal flatness of a n-dim (pseudo-)Riemannian manifold

There is a theorem :
1) 2-dim (pseudo-)Riemannian manifold must be local conformal flat;
2) 3-dim (pseudo-)Riemannian manifold is local conformal flat iff the Cotton tensor vanishes.
3) n-dim (n>3) ...

**4**

votes

**2**answers

224 views

### A question on certain elliptic PDE

Consider the elliptic PDE "CR"
$$\begin{cases} U_{xx}=V_{yy}\\U_{yy}=-V_{xx} \end{cases}$$
And its consequence "LAP" $$U_{xxxx}+U_{yyyy}=0$$.
Somehow, these equations are similar to the Cauchi ...

**8**

votes

**1**answer

143 views

### Can the graph Laplacian be well approximated by a Laplace-Beltrami operator?

It seems rather well known that given a Laplace-Beltrami operator $\mathcal{L}_{M}$ on a manifold $M$ we can approximate its spectrum by that of a graph Laplacian $L_{G}$ for some $G$ (where $G$ is ...

**-1**

votes

**1**answer

119 views

### Parallel transport along a reparametrized geodesic

Let $M$ denote a Riemannian manifold, $\gamma$ a geodesic of $M$ defined on $\mathbb{R}$. Let $t_{0} \in \mathbb{R}$ and $(\alpha,\beta) \in \mathbb{R}^{2}$. I define the reparametrized geodesic ...

**2**

votes

**2**answers

150 views

### Complementary integrable vector fields

Let $(M,g)$ be a Riemannian manifold. Assume that $X$ is a non vanishing vector field tangent to $M$.(Or assume that we have a one dimensional foliation of $M$). Under what geometric ...

**3**

votes

**0**answers

113 views

### Focal points for the exponential map and Jacobi fields

It is known that in a Riemannian manifold $(M,g)$, if there is a closed geodesic and a non-zero, periodic, non-constant Jacobi field along it, then M has a focal point. Is the converse true? That is ...

**0**

votes

**0**answers

139 views

### Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...