**3**

votes

**1**answer

132 views

### Spectrum of the Laplacian on p-forms on the sphere

In this paper the authors give an explicit description of the eigenforms and spectrum of the Laplacian acting on $p$-forms on the round sphere $S^n$, apparently citing an unpublished computation of ...

**1**

vote

**1**answer

49 views

### Alexandrov spaces of constant curvature

Let $X$ be locally compact Alexandrov space whose curvature satisfies both inequalities $\geq K$ and $\leq K$. What can be said about such a space? Is it locally isometric to the standard Riemannian ...

**0**

votes

**1**answer

48 views

### Existence of shortest paths in complete Alexandrov spaces

Let $X$ be complete finite dimensional Alexandrov space with curvature bounded from below. Is it true that any two points can be connected by a shortest path? If this is not true in general, it it ...

**8**

votes

**3**answers

469 views

### Rigorous justification that overdetermined systems do not have a solution

There is the following well known and very useful heuristic principle: Assume one has a natural map from the space of $k$-tuples of functions in $n$ variables into the space of $K$-tuples of functions ...

**1**

vote

**0**answers

63 views

### Characterization of locally conformally flat manifolds: strange application of Frobenius theorem

(Crossposted from math.SE because of the lack of replies)
In Hamilton's Ricci Flow (by Chow, Lu, Ni, pp. 29-31, see here) they show that a Riemannian manifold $(M^n,g)$ is locally conformally flat ...

**6**

votes

**1**answer

102 views

### Closed geodesics in free smooth loop space?

I know very little about these subjects, so I apologise if this is a naive line of inquiry:
Let $M$ be a smooth $n$-dimensional Riemannian manifold. I understand that it is possible to construct an ...

**1**

vote

**0**answers

115 views

### Products between metrics in a product of manifolds

In the "Einstein Manifold" book written by Arthur Besse, chapter 16, there is a notation of a manifold composed by the Cartesian product between two others:
$(M_1\times M_2, f^p(g_1 \times g_2))$
...

**14**

votes

**4**answers

843 views

### Equations satisfied by the Riemann curvature tensor

It is well known that the Riemann curvature tensor of a metric satisfies
\begin{eqnarray}
R_{jikl}=-R_{ijkl}=R_{ijlk},(1)\\
R_{klij}=R_{ijkl},(2)\\
R_{i[jkl]}=0 \mbox{(1st Bianchi identity)}.(3)
...

**3**

votes

**0**answers

79 views

### Two questions on topological and geometric structure of projections in a simple $C^{*}$ algebra

Let $A$ be a simple $C^{*}$ algebra. Assume that the space of projections has a connected component homeomorphic to the complex Grassmanian $G(k,n)$. Is it true to say that, for all $k'<k$, the ...

**7**

votes

**3**answers

277 views

### Classification of natural invariants of Riemannian structures

Before I formulate my question, let me remind P. B. Gilkey's characterization of Pontryagin forms,following the paper "On the heat equation and the index theorem" by Atiyah, Bott, Patodi.
By ...

**9**

votes

**2**answers

3k views

### *The* open problem in General Relativity?

Q. Is there a single, clear mathematical question that has emerged as
the open problem in General Relativity?
I ask this on the ~100th anniversary of Einstein's (4-page!) 1915 paper,
"Die ...

**4**

votes

**0**answers

92 views

### Equivariant Harmonic Maps to R-tree and Korevaar-Schoen Convergence

Thank you for spending time on the following question.
I am trying to make an explicit example of Korevaar-Schoen convergence. The problem I am facing is that I cannot find the limit of the harmonic ...

**4**

votes

**0**answers

58 views

### Carleman Estimates in a Riemannian manifold

Suppose $(\Omega,g)$ is a Riemannian manifold where $\Omega$ is a domain in $\mathbb{R}^3$ with smooth boundary. Furthermore suppose there exists a global coordinate chart $(x_i)$ such that $g= dx_1^2 ...

**2**

votes

**1**answer

106 views

### Shortest paths in Alexandrov spaces

Let $X$ be an Alexandrov space with curvature bounded from below (if necessary, $X$ might be assumed to be finite dimensional or even compact).
Question 1. Is it true that every point of $X$ has a ...

**0**

votes

**0**answers

53 views

### Derivative of Log_p map

If $\mathscr{M}$ is a $(d-dimensional)$ Riemann Manifold and $p$ is a point therein. What is the derivative of $Log_p$ function?

**0**

votes

**0**answers

41 views

### Optimal bound in $L^2$ product on compact Kahler manifold

Let $X$ be a compact Kahler manifold of dimension $n$, equipped with a Kahler metric of volume $1$. There exists a constant $C \geq 1$ such that for any smooth functions $f,g$ on $X$ we have
$$
\int_X ...

**2**

votes

**0**answers

72 views

### Lower boundedness of the Ricci curvature [closed]

I know that this is going to be slightly vague, but it's itching me: why is lower boundedness of the Ricci curvature required by some of the very important theorems in Riemannian geometry? The ...

**4**

votes

**0**answers

73 views

### Finitely generated projective modules over the algebra of sections of the Clifford bundle

Consider a (pseudo-)Riemannian manifold $(M,g)$ and the corresponding Clifford bundle $Cl_g(T^*M)$. Let $R$ be the algebra of sections of $CL_g(T^*M)$, with point-wise multiplication. What are the ...

**2**

votes

**1**answer

57 views

### Control of the metric in isothermal coordinates

Suppose you have a riemannian surface $(\Sigma,g)$, and an open simply-connected set $U \subset \Sigma$. You know that you can find isothermal coordinates - that is a map $\varphi : U \rightarrow D$ ...

**3**

votes

**1**answer

74 views

### Conditions for tubular hypersurfaces to be a Riemannian product

Let $(M,g)$ be a Riemannian manifold of dimension $n$ and $P$ a submanifold of dimension $k.$ Let us define the tube of radius $r$ about $P$ by
$$T(P,r):=\{x\in M: d(x,P)\le r\}$$ and the tubular ...

**3**

votes

**1**answer

127 views

### structure of metrics on a compact manifold

is there a reference on the structure of the space of metrics on a compact manifold that induce a given measure $\mu $?
i have a given manifold $M$, a given measure $\mu$ with an everywhere positive ...

**0**

votes

**0**answers

73 views

### Functional involving Ricci curvature: convex and coercive?

Let $(M,g)$ be a Riemannian manifold with Levi-Civita connection $\nabla$, volume form $\mu_g$, and Ricci curvature $\text{Rc}_g$.
Question: Given a fixed vector field $V\in\Gamma(TM)$, under what ...

**1**

vote

**1**answer

137 views

### Symplectic reduction: from indefinite signature to Riemannian signature

Let $(M,g,\omega)$ be a $d$-dimensional manifold equipped with a metric $g$ of signature $(t,s)$, $d = t+s$, and a symplectic form $\omega$. Let us assume that a Lie group $G\subset Isometries(M,g)$ ...

**1**

vote

**0**answers

86 views

### What is the intersection of Spin(7) and U(4)?

I'm just curious from Berger's classification of Riemannian holonomy, how do Spin(7) manifolds intersect the other types of Riemannian manifolds?
In particular, what is the intersection of Spin(7) ...

**2**

votes

**0**answers

32 views

### Derivation of gradient of SSE in Geodesic Regression

On page 79 (or page 5) of this this paper the gradient of the SSE of the Geodesic model is described explicitly. My question is how are these equitations derived in detail; where can I find the ...

**2**

votes

**1**answer

257 views

### Perimeter of ellipse: Combination of two geometries

Is there a Riemannian metric $g$ on $\mathbb{R}^{2}$ such that for every ellipse $\gamma$ in the plane we have:$$\text{The Euclidien perimeter of}\; \gamma=\lambda (g\text{-diameter ...

**2**

votes

**1**answer

128 views

### References on the Free Loop Space

I intend to approach the paper of Wolfgang Ziller: "The Free Loop Space of Globally Symmetric Spaces", but I need the proper background on the foundations of the study of Free Loop Spaces. I obtained ...

**3**

votes

**0**answers

141 views

### Formula for the distance in noncommutative geometry

Probably the most famous formula in noncommutative geometry is the following formula allowing one to compute distance of two points using the operator theoretic data:
$$(1) \ \ ...

**1**

vote

**1**answer

85 views

### Global geometry measures for Riemannian manifolds

I'm working on a stochastic algorithm and considering it to apply in case of any curved space (manifolds). But in order to make the algorithm as efficient as possible I want to include in it some ...

**2**

votes

**1**answer

139 views

### Is there a characterization of Riemannian manifolds that split off two factors?

Some Riemannian manifolds are expressed as a product manifold. Recently, I have read two articles about space-times. In both articles, the authors prove that a Riemannian manifold $\bar{M}^n$ is ...

**4**

votes

**0**answers

156 views

### Curvature estimates for Kaehler-Einstein and Hermitian, Einstein four-manifolds

Four-dimensional Kaehler-Einstein manifolds and Hermitian, Einstein manifolds with positive scalar curvature have been classified by Tian and LeBrun respectively. I was wondering are there any ...

**2**

votes

**1**answer

140 views

### Closed geodesics that cross one another frequently

Let $S$ be a smooth, closed, genus zero surface in $\mathbb{R}^3$.
$S$ has at least three simple (non-self-intersecting), closed geodesics by
a theorem of Lyusternik and Shnirel'man.
Alternatively, ...

**2**

votes

**0**answers

103 views

### Estimates of eigenvalues of elliptic operators on compact manifolds

The classical Weyl law says that if $\Delta$ is the Laplace operator on functions on a compact Riemannian manifold $(M^n,g)$, $n>2$, then its $k$th eigenvalue satisfies the asymptotic formula
...

**1**

vote

**0**answers

47 views

### Harmonic functions subject to orthogonality condition

Suppose $(\bar{\Omega},g)$ is a Riemannian manifold with the metric being smooth where $\bar\Omega \subset \mathbb{R^3}$ is a compact domain with smooth boundary. Let $\Omega \subset \bar\Omega$.
...

**0**

votes

**1**answer

60 views

### Lie group action on a finite dimensional flat manifold

Consider a finite dimensional flat Riemannian manifold $M$ quotiented by an action of a finite dimensional Lie group $G$, giving rise to the quotient $Q$.
First, assume that the action is isometric. ...

**4**

votes

**3**answers

263 views

### Area of metric spheres in Riemannian manifolds

I am trying to estimate the integral $\int \mathbb{e} ^{-d(x_0,x)^2} \mathbb{d}x$ on a Riemann manifold $(M,g)$, for some arbitrary fixed $x_0 \in M$ and $d$ the usual distance. The only thing that I ...

**0**

votes

**0**answers

51 views

### global bi harmonic functions in a riemannian manifold

Any help will be appreciated thanks!
Consider $(\mathbb{R^n},g)$ to be a Riemannian manifold. For simplicity we can assume the manifold to be asymptotically euclidean outside a compact domain ...

**2**

votes

**1**answer

137 views

### length comparison on negatively curved surfaces

Suppose $g_1$, and $g_2$ are two Riemannian metrics on a closed surface $S$, provided that the Gaussian curvature $K_{g_1}$ $<$ $K_{g_2}\leq -1$. Denote by $\mathcal{C}$ the set of free homotopy ...

**2**

votes

**0**answers

66 views

### How to check if a manifold can be foliated by strictly convex hypersurfaces?

Let $M$ be a compact Riemannian manifold with boundary.
How can one recognize whether the manifold can be foliated by strictly convex hypersurfaces?
An exact definition is given below.
If the ...

**0**

votes

**1**answer

69 views

### Homotopy bounds in simply connected complete Riemannian manifolds

Let $M$ be a simply connected complete Riemannian manifold, and let $x\in M$. Does there exist a nondecreasing function $R:\mathbb R_+\to\mathbb R_+$ such that, for every $r>0$ and all paths ...

**1**

vote

**1**answer

142 views

### Upper bound of derivative of exponential map

We know that for any simply connected surface $M$,whose Gaussian curvature $K\leq 0$, for any $p\in M$, $exp_p: T_pM\to M$ is diffeomorphism.
We know that for any $v\in T_pM$ and $w\in ...

**1**

vote

**0**answers

136 views

### Characterization of the Riemann curvature tensor

Let $(M^n,g)$ be a Riemannian manifold, $a\in M$ be a fixed point. It it well known that there exists a coordinate system near $a$ (e.g. the normal one) such that
$$g_{ij}(x)=\delta_{ij}+O(|x|^2).$$
...

**1**

vote

**1**answer

147 views

### Are there compact Riemannian manifolds whith Q-curvature negative?

Are there known examples of compact Riemannian manifolds with Q-curvature negative?

**0**

votes

**1**answer

79 views

### Obstruction to the existence of global isometries on a constant-curvature Riemannian manifold

Let $M$ be an $m$-dimensional simply connected Riemannian manifold that is not geodesically complete. Suppose $M$ has constant sectional curvature.
Because the curvature is constant, locally $M$ ...

**2**

votes

**1**answer

193 views

### Do all surfaces (2d riemanian manifolds) admit constant curvature? [closed]

There seems to be a lot of theorems allowing to prove restricted cases of this (eg. uniformization, classification theorem for compact surfaces) . Intuitively, it seems true, but I've never seen a ...

**5**

votes

**1**answer

284 views

### Geodesics on manifolds with boundary

Let $(M,g)$ be a Riemannian manifold with non-empty boundary. Is there any notion of injectivity radius on $(M,g)$ in points away from the boundary? By this I mean points lying in $M- \partial M$. ...

**5**

votes

**2**answers

280 views

### Alternative proof of Varadhan's formula on Riemann manifolds

Consider Varadhan's famous formula for the kernel of the heat equation on a manifold:
$$ \lim_{t \rightarrow 0} t \log h(t,x,y) = - \frac{d(x,y)^2}{4} .$$
I do not have access to his 1967 two ...

**1**

vote

**1**answer

150 views

### A geometric property of singular matrices

Let $S\subset M_{n}(\mathbb{R})$ be the singular points of the equation $Det=0$. That is $S$ is the critical points of the determinant function.
What matrices belongs to $S$, precisely?
Let ...

**1**

vote

**1**answer

189 views

### Linearisation of Einstein operator

Let $(M,g)$ be a $(m+1)$-dimensional Riemannian manifold with Levi-Civita connection $\nabla$.
The Ricci curvature can be viewed as a differential operator ...

**4**

votes

**1**answer

186 views

### The heat kernel as an exponential of an integral

In $\mathbb{R}^n$, if $\gamma$ is a line segment between $x_0 = \gamma (0)$ and $x = \gamma (t)$, one has the following formula:
$$\frac {\mathbb{e}^{- \frac{1}{4} \int_0^t <\dot{\gamma}, ...