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.

learn more… | top users | synonyms

4
votes
2answers
428 views

Infinite dimensional Riemannian geometry

My current research has brought me into an area the requires me to learn some infinite dimensional Riemannian and Kähler geometry. Can someone recommend some good books or survey articles to help me ...
2
votes
1answer
213 views

What is the meaning of Yang-Mills action evaluated on Levi-Civita connection?

On a Riemannian manifold $M$ with riemann curvature tensor $R_{\mu\nu\rho\sigma}$ written as (endomorphism valued) curvature two-tensor of the Levi-Civita connection $R=R_{\mu\nu}dx^\mu\wedge ...
6
votes
1answer
423 views

A question on generalized Einstein metrics on four-dimensional manifolds

I am thinking of a possible generalization of Einstein metrics (or a possible characterization of Einstein metrics) on four-dimensional manifolds, \begin{equation*} ...
2
votes
1answer
218 views

Solution to Seiberg-Witten monopole equation

To understand some physics problem, I want to know if there is (non-$L^2$ or $L^2$) solution to the Seiberg-Witten equation on $\mathbb{R}^4$ \begin{equation} {D}_A \psi = 0\\ F_A^+ = ...
4
votes
2answers
379 views

Ricci curvature under rough convergence

From the work of Lott--Villani and Sturm, I know that the following fact holds: (*) Suppose that $(M_k,g_k,dvol_{g_k})$ is a sequence of compact Riemannian manifolds of non-negative Ricci ...
4
votes
2answers
515 views

Limit cycles as closed geodesics(geodesible flow)

The classical Van der Pol equation is the following vector field on $\mathbb{R}^{2}$: \begin{equation}\cases{\dot{x}=y-(x^{3}-x)\\ \dot{y}=-x}\end{equation} This equation defines a foliation on ...
2
votes
3answers
459 views

Elliptic theory on compact manifolds

Maybe this is silly. On a bounded set $\Omega\subset\mathbb{R}^n$ consider the equation $$ \Delta u=f \quad\text{ in $\Omega$}$$ $$ u=0\quad\text{ on $\partial\Omega$}.$$ One has the following ...
5
votes
0answers
74 views

Short examples that are/are not quantum-ergodic

Are there any considerably short examples of manifolds that are/aren't quantum ergodic, or quantum unique ergodic? Note that a (compact) Riemannian manifold is said to be quantum ergodic if ...
1
vote
0answers
103 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
3answers
282 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
1answer
81 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
2answers
467 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
1answer
103 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
0answers
91 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 ...
36
votes
0answers
900 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
1answer
182 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
1answer
250 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
1answer
138 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
0answers
398 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
0answers
193 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
2answers
514 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
2answers
151 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
0answers
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
1answer
264 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
1answer
74 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
2answers
326 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
4answers
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
1answer
248 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
1answer
598 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
1answer
113 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
2answers
211 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
0answers
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
2answers
789 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
1answer
144 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
3answers
442 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
0answers
193 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
0answers
206 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
1answer
230 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
1answer
372 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
4answers
804 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
1answer
156 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
0answers
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
3answers
280 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
0answers
489 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
2answers
172 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
0answers
65 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
1answer
40 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
2answers
183 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
1answer
199 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
1answer
260 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$ ...