**40**

votes

**1**answer

1k views

### “Gross-Zagier” formulae outside of number theory

The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer conjecture. It relates the value at $1$ of the ...

**2**

votes

**1**answer

188 views

### Killing constant in Killing spinor equation

This is a simple question, but I can't find explicit discussion in literatures that I can find. Real/imaginary Killing spinor equation
\begin{equation}
\nabla_\mu \psi = \lambda \gamma_\mu \psi
...

**2**

votes

**1**answer

262 views

### Are smooth functions dense in the space $\{u \in H^1(Q) \text{ with } \Delta_\Gamma u \in L^2(Q)\}$?

Define $$Q = \bigcup_{t \in (0,T)}\Gamma \times \{t\}$$ where $\Gamma$ is a compact (without boundary) hypersurface. Assume whatever smoothness is required.
Define $L^2(Q) := L^2(0,T;L^2(\Gamma))$ ...

**0**

votes

**1**answer

144 views

### Hamilton's Proof of the Tensor Maximum Principle

My questions come from Richard Hamilton's Three-Manifolds with Positive Ricci Curvature paper. I'm trying to work through parts of the paper so I can better understand the Ricci Flow for my research. ...

**4**

votes

**0**answers

429 views

### Second derivative of Riemannian Exponential Map

Let $M$ be a Riemannian manifold. Let us look at the Riemannian exponential function $\exp_x: T_x M \supset \mathcal{D} \longrightarrow M$.
The derivative of the exponential map can be expressed in ...

**1**

vote

**0**answers

204 views

### Brakke's theorem for gap in entropy between self-shrinkers

In their paper The round sphere minimizes entropy among closed self shrinkers, Colding-Ilmanen-Minicozzi-White state "It follows from Brakke's theorem that $\mathbb{R}^n$ has the least entropy of any ...

**3**

votes

**2**answers

530 views

### A Converse to the Gauss Bonnet Theorem

Let $S$ be a compact surface in $\mathbb{R}^{3}$ with the gauss normal map $N:S\to \mathbb{S}^{2}$. Assme that $\phi;\mathbb{S}^{2}\to S$ is a diffeomorphism. Put $F=N\circ \phi$ and represent ...

**0**

votes

**2**answers

156 views

### Normal vector field associated to deformations of Riemannian submanifolds

Let $(M,g)$ be a Riemannian manifold of dimension $n$ and $X$ be a immersed submanifold in $M$ of dimension $k$ i.e there is a immersion $F_{0}:X \longrightarrow M$.
A deformation of the submanifold ...

**2**

votes

**0**answers

109 views

### How to show the identity $\int_0^T \int_{\Gamma(t)}f(s,t)\;dsdt = \int_S f(\sigma)(1+(\mathbf w \cdot \mathbf n)^2)^{-\frac{1}{2}}\;d\sigma$?

I am reading this paper.
Let $\Gamma(t)$ be a smooth closed connected oriented hypersurface for each $t \in [0,T]$. Define the set $$S = \bigcup_{t \in (0,T)}\Gamma(t) \times \{t\}.$$
On page 5 of ...

**8**

votes

**1**answer

269 views

### Monograph or rich survey on infinite-dimensional Riemann manifolds

I'm working with the space of smooth curves $\mathcal{C}$ in a smooth manifold $M$, having (different, pre-determined) fixed endpoints. I'd like to endow it with a Riemann structure (I already have a ...

**1**

vote

**1**answer

75 views

### 'Convex' slices of proper actions

Consider a Lie group $G$ acting properly on a manifold $M$. Then by the slice theorem we can find for any point $m\in M$ a submanifold transverse to the orbit $\mathcal{O}$ through $m$ and which is ...

**4**

votes

**2**answers

332 views

### Reference request for an early theorem of Gromov

In his talk Misha Gromov- How does he do it, Jeff Cheeger mentions a theorem of Gromov proved sometime in the early 70's. Theorem: Every manifold admitting a sequence of metrics such that the diameter ...

**14**

votes

**4**answers

1k views

### What is the analog of the “Fundamental Theorem of Space Curves,” for surfaces, and beyond?

The "Fundamental Theorem of Space Curves"
(Wikipedia link; MathWorld link)
states that there is a unique (up to congruence)
curve in space that simultaneously realizes
given continuous curvature ...

**4**

votes

**1**answer

250 views

### Intersections of complex submanifolds in $\mathbb{C}^N$

This is an exercise from Gromov's Partial differential relations. (page 5)
Let $V$ and $V'$ be two closed complex submanifolds in $\mathbb{C}^N$ of complimentory dimension. Prove that $V$ and $V'$ ...

**5**

votes

**1**answer

613 views

### What is the geometric interpretation of this quantity?

Let $(M,g)$ be a compact $n$-dimensional Riemannian manifold. Using the metric to identify the tangent and cotangent bundles defines a natural symplectic
structure on the tangent bundle, $(TM, ...

**2**

votes

**1**answer

118 views

### Compact Riemannian manifold with maximum average distance

Given a compact connected Riemannian $2$-manifold $M$ with positive curvature (thus by Gauß-Bonnet, $M$ is diffeomorphic to a 2-sphere) and diameter 1, what is the supremum (as $M$ varies over all ...

**4**

votes

**2**answers

215 views

### Some facts about cut-locus

Let $M$ be a 2-dimensional closed Riemmanian manifold diffeomorphic to $S^2$.
S.B.Myers says "the cut-locus of every point $x\in M$ is a finite tree."
How the set of point can be a tree? ...

**2**

votes

**0**answers

76 views

### Deduce global estimate from scaling-invariant local estimate

Let $(M,g)$ be a non-compact Riemannian manifold, with finite volume (or compactly exhausted, or any nice condition you would like, except for compactness). Suppose I have a tensor $T$ on $M$ of which ...

**8**

votes

**2**answers

886 views

### Reference request: Geodesic flow on a manifold with negative curvature is ergodic

I'm reading about the Mostow's rigidity theorem, and the proof uses the following (maybe well-known) result:
The geodesic flow on a manifold with negative curvature is ergodic.
The lecture note that ...

**1**

vote

**1**answer

152 views

### lift of antiholomorphic involution of Riemann surface to its Jacobian's cohomology

Start from a connected closed Riemann surface $\Sigma_g,$
obtained as the (symmetric) covering of an open and/or unoriented surface
$\Sigma,$ namely $\Sigma=\Sigma_g/\Omega,$ where $\Omega$ is an ...

**9**

votes

**3**answers

451 views

### Number of disjoint simple closed geodesics

According to Jairo comment on the first version of this question I revise the question as follows;
Let $g$ be a real analytic Riemannan metric on $S^{2}$. Is it true to say that:
There are at most a ...

**2**

votes

**0**answers

194 views

### Surface with bounded torsion propery [closed]

Let $S$ be a surface in $\mathbb{R}^{3}$ with the following property:
There is a uniform constant $M$ such that for every Frenet curve $\gamma(t)$, contained in $S$, $| \tau(t) | \leq M$, for all ...

**2**

votes

**0**answers

214 views

### Is the tangent bundle of hyperbolic space trivial?

Let $H$ be hyperbolic n-space. Let $TH$ be the tangent bundle of $H$, endowed with its Sasaki metric. I have two questions:
Is $TH$ isometric to $H$ times a flat n-space?
What is the group of ...

**1**

vote

**1**answer

239 views

### On the Geroch's argument

During the study of Geroch's argument to prove positive mass theorem, I faced a problem explained below:
Suppose $(M,g_{\mu \nu})$ is a four dimensional Lorentzian Manifold and $\Sigma$ is a ...

**9**

votes

**1**answer

394 views

### Spectrum of Laplacian in non-compact manifolds

What can be said about the spectrum of the Laplace-Beltrami operator on a non-compact, complete Riemannian manifold of finite volume? For example, is the point spectrum non-empty?
What would be a ...

**6**

votes

**4**answers

858 views

### Smoothing of the distance function on a Riemannian manifold

Suppose $(M,g)$ is a complete Riemannian manifold. $p\in M$ is a fixed point. $d_{p}(X)$ is the distance function defined by $p$ on M (i.e., $d_p(x)$=the distance between $p$ and $x$). Let ...

**1**

vote

**1**answer

157 views

### Derivative of (the length of) the Ricci tensor

I was wondering, have you ever seen a formula in the Riemannian (more specially Kahlerian but not essential) setting for the derivative $X \cdot |Ric|^2 = 2 g(\nabla_X Ric, Ric)$ for a vector field ...

**5**

votes

**3**answers

303 views

### Is the set of focal points of a submanifold on a normal geodesic discrete?

Let $M$ be a complete riemannian manifold, $L$ a smooth submanifold of $M$ and $\gamma$ a geodesic with $\gamma'(0)$ normal to $L$. A focal point of $L$ is a critical value of the normal exponential ...

**0**

votes

**0**answers

538 views

### Bi invariant Riemannian metric on a Lie Group

I'm trying to find an example of a Lie group $G$ which admits a bi-invariant Riemannian metric, and which has a closed subgroup $H$ such that the manifold $G/H$ does not admit a $G$-invariant ...

**4**

votes

**2**answers

182 views

### Are ramified covering of negatively curved manifolds negatively curved?

Gromov and Thurston proved in "Pinching constants for hyperbolic manifolds" that any finite ramified covering of a compact hyperbolic manifold, along a codimension $2$ totally geodesic submanifold, ...

**1**

vote

**0**answers

71 views

### Existence of harmonic maps between loops

Given a Riemannian manifold $M$ and two smooth loops $\gamma_0, \gamma_1: S^1 \longrightarrow M$ in it, I am looking for maps $\phi: [0, T] \times S^1 \longrightarrow M$ which minimize the energy
...

**2**

votes

**1**answer

41 views

### Prescribing finitely many unparameterised planar geodesics

Given a finite collection of embedded $C^\infty$ curves which pass through the origin in $\mathbb{R}^2$ with different tangent directions and never again intersect, is there a clean way of prescribing ...

**-1**

votes

**2**answers

187 views

### On the definition of convergence of a sequence of sections of a bundle

Convergence of a sequence of sections of a bundle is defined as follows:
Definition: Let $E$ be a vector bundle over a manifold $M$, and let metrics $g$ and connections $∇$ be given on $E$ and on ...

**5**

votes

**1**answer

201 views

### Can an open manifold with positive Ricci curvature be non simply connected at infinity?

The question is in the title, I haven't been able to locate a discussion of these kind of properties.

**3**

votes

**1**answer

271 views

### Spectrum of the Laplace-Beltrami operator on $L^p$: where is it?

On a noncompact Riemannian manifold $M$, the $L^2$-spectrum of the Laplace-Beltrami operator $\Delta$ sits inside $\mathbb{R}$ (by self-adjointness), either to the left or to the right of $0$ ...

**11**

votes

**3**answers

259 views

### Are there quanitative versions of Thurston's geometrization for manifolds which fiber over $S^1$?

The geometrization theorem tells us:
Theorem (Thurston) The mapping torus $M_\phi$ of a pseudo-Anosov diffeomorphism $\phi: S_g \rightarrow S_g$ from a genus $g$ surface to itself admits a ...

**2**

votes

**1**answer

229 views

### Curve on a surface defined by its geodesic curvature

Suppose that $S$ is a smooth complete surface, and $c\colon [0,L]\to S$ is a smooth curve in $S$, parametrized by arc-length. Then $c$ is uniquely determined by its initial tangent vector and its ...

**15**

votes

**1**answer

322 views

### Avoiding integers in the spectrum of the Laplacian of a Riemann surface

Let $\Sigma^2$ be an orientable compact surface of genus $gen(\Sigma)\geq2$, and denote by $\mathcal M(\Sigma)$ the moduli space of hyperbolic metrics on $\Sigma$, i.e., Riemannian metrics of constant ...

**1**

vote

**1**answer

114 views

### What is “Berger's isembolic inequality”?

Googled the name, but almost all result pointed to Berger's preprint.
Is there any reference for this?

**1**

vote

**1**answer

271 views

### How to understand two examples of spin bundle

I am confused by two examples of spinor bundles over 4-manifolds, which I saw in various places:
(1) The spinor bundle $S = S_+ \oplus S_-$ associated to a spin or spinc structure of Riemannian ...

**3**

votes

**1**answer

234 views

### What are Euler density and Weyl invariants?

I would like to know as to what is the definition and significance of what are called "Euler density" and "Weyl invariants" (of weight $-d$ on a $d-$manifold)
Do many (which?) of them vanish when ...

**1**

vote

**0**answers

132 views

### Expressing the Ricci flow as a gradient flow in a case that manifold $(M,g)$ is a Riemannian manifold with boundary

I want to express the Ricci flow as a gradient flow in a case that manifold $(M,g)$ is a Riemannian manifold with boundary. For this I use the Einstein-Hilbert action
$$S(g_{\mu ...

**0**

votes

**1**answer

147 views

### discrete subgroups of the isometries of a product

Suppose $X_1$ and $X_2$ are two nice metric spaces, e.g. two Riemannian manifolds, and let $G_i=Isom(X_i)$. Then $G_1\times G_2\subset Isom(X_1\times X_2)$.
Suppose $X_1\times X_2$ is not compact and ...

**4**

votes

**0**answers

115 views

### The Tangent Bundle of the Space of CR Structures on S^(2n+1)

Let $M$ be a smooth compact $n$-manifold without boundary, $g$ some choice of Riemannian metric on $M$, and $\omega_g$ the volume form gotten from $g$. Say you're interested in finding extrema for ...

**4**

votes

**1**answer

354 views

### Interpetation of torsion and curvature in terms of families of nearby geodesics

Let $M$ be a Riemannian manifold with affine connection such that the metric is covariantly constant (so that the connection equals the Levi-Civita connection up to torsion).
I know the ...

**0**

votes

**1**answer

168 views

### Is there any open Ricci-flat ALE 4-manifold other than Hyper-Kahler ALE 4-manifolds?

Concerning my previous question Non simply connected HyperKähler 4-manifolds without ALE metrics the following question occurred to me:
Is there any open Ricci-flat ALE 4-manifold other than ...

**2**

votes

**1**answer

153 views

### Manifold with a quasi-positive curvature

As far as I know, in a simply connected compact manifold, still there exists no well-known obstruction for a manifold with a quasi-positive curvature to be a manifold with positive curvature.
But ...

**1**

vote

**0**answers

237 views

### Reference request for parallel transport

I am learning about parallel transport on a Riemannian manifold equipped with an affine connexion. It seems (if I understand it well) that, in general, we might not be able to compute the parallel ...

**8**

votes

**2**answers

302 views

### Does positively curved sphere admit an isometric embedding as hypersurface in Euclidean space?

Let $(S^n, g)$ be an $n$-dimensional positively curved sphere. Assume the smoothness of the metric, does it admits an isometric embedding into $\mathbb R^{n+1}$?
for $n=2$ it is proved by A.D ...

**4**

votes

**1**answer

423 views

### Reverse Ricci Flow and Longtime Existence

The usual Ricci flow and normalized Ricci flow for surfaces are
$$ \partial_t g = -2Kg $$
and
$$ \partial_t g = -2Kg + 2sg,$$
where $K$ is the Gaussian curvature and $s$ is its average.
The latter ...