# Tagged Questions

**1**

vote

**0**answers

99 views

### Riemann normal coordiantes and change of metric

Le $(M,g)$ be Riemannian manifold. Fix point $p\in M$. We can define the map
$$\exp: U \subset T_p M \rightarrow M$$
$$\exp(X) = \gamma_{p,X}(1)$$
where $t\mapsto \gamma_{p,X}(t)$ is geodesic such ...

**1**

vote

**3**answers

267 views

### Two questions on isometric embedding

According to the answer of the following question, I try a new version:
An special isometric embedding
Let $M$ be a Riemannian manifold and $\gamma$ be a small part of a geodesic.
Is there an ...

**0**

votes

**1**answer

79 views

### An special isometric embedding

Let $M$ be a Riemannian manifold and $\gamma$ be a non closed geodesic.
Is there an isometric embedding of $M$ into some $\mathbb{R}^{n}$ which send $\gamma$ into an straight line?
The second ...

**6**

votes

**2**answers

430 views

### The trace of a wedge product of matrices

I'm trying understand a computation on page 371 of Besse's book on Einstein Manifolds.
I already know the curvature operator $R:\bigwedge^2\to\bigwedge^2$ may be written in block diagonal form ...

**2**

votes

**1**answer

99 views

### Pullback of $L^p$ functions via exponential map

Let $M$ be a complete Riemannian manifold, endowed with its exponential map $\exp: TM \longrightarrow M$. For any $C^k$- function $u$, we get the Pullback
$$ \exp^* u = u \circ \exp$$
which is in ...

**4**

votes

**0**answers

85 views

### tangent developable surface in $\mathbb{R}^3$

Let $C$ be a regular curve embedded in $\mathbb{R}^3$ (i.e. a real 1-dimensional manifold embedded in $\mathbb{R}^3$). Let $S$ be the union of its affine tangent lines:
$$S=\bigcup\limits_{p\in ...

**33**

votes

**0**answers

792 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

172 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
...

**1**

vote

**1**answer

226 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

135 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. ...

**2**

votes

**0**answers

298 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

184 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

495 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

141 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

107 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

249 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

72 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 ...

**3**

votes

**2**answers

323 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

900 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 ...

**3**

votes

**1**answer

240 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

587 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

111 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

202 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

74 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

650 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

136 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

435 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

191 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

199 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 ...

**0**

votes

**1**answer

222 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

339 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 ...

**7**

votes

**4**answers

741 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 ...

**2**

votes

**1**answer

152 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 ...

**1**

vote

**0**answers

43 views

### Rational homogenous functions

I'm interested in the set $\mathcal{S}$ of rational functions $F \colon \mathbb{R}^3 \to \mathbb{R}$ verifying:
\begin{align}
\Delta F=0 \quad \text{et} \quad F(\lambda x)= \lambda^d F(x) \quad d \in ...

**6**

votes

**3**answers

252 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 ...

**1**

vote

**0**answers

430 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 ...

**5**

votes

**2**answers

169 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

63 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

39 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

177 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

193 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

246 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

254 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

219 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

277 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

253 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 ...

**2**

votes

**0**answers

142 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

114 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 ...