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

5
votes
2answers
185 views

How to define the square root of $1-\Delta $?

If $M$ is a Riemannian manifold with $\Delta $ its Laplacian, how can we define $(1-\Delta)^{1/2}$? The book I am reading says that $(1-\Delta)^{1/2}$ is an invertible first-order pseudo-differential ...
3
votes
1answer
259 views

Shortest geodesic loop vs. shortest periodic geodesic

Are there simple conditions on a Riemannian metric on the two-sphere that imply that a geodesic loop of minimal length is actually a periodic geodesic? For example, is this true for small ...
2
votes
1answer
109 views

Riemannian metric and Volume form for $SE(n)$ and/or $E(n)$

I wonder what happens when you construct the Tiling spaces considering the natural action of $SE(n)$ or $E(n)$ rather than $\mathbb R^n$. In order to do that, I need to understand both the (left ...
4
votes
0answers
310 views

Limit cycles as closed geodesics(geodesiable 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 ...
5
votes
5answers
819 views

Can anyone give an example of Ricci flat Riemannian or Lorentzian Manifold that is not flat?

Does there exist a Ricci flat Riemannian or Lorentzian manifold which is geodesic complete but not flat? And is there any theorm about Ricci-flat but not flat? I am especially interset in the case ...
0
votes
1answer
201 views

curvature and volume growth

Let $M$ be a non-compact connected Riemannian manifold with $\mathrm{sec}_g=0$ and $\operatorname{vol} B(x,r)\geq c(n)r^n$ for any $r$, where $c(n)>0$. How to prove that $(M,g)$ is isometric to ...
-1
votes
1answer
116 views

Holomorphic maps on $\mathbb{R}^{n}$ (for n not necessarily even)

Edit according to the comment of user36931 I remove the "motivation" from the previous version and I add an statement to the first question We consider the following two classes of smooth maps on ...
5
votes
1answer
285 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*} ...
0
votes
0answers
32 views

Bounded Ricci curvature implies bound on Jacobi determinant?

Assume that $M$ is a complete Riemannian manifold and define for $X \in T_x M$ $$j(X) = \bigl|\det d \exp_x|_X \bigr|.$$ This is a smooth function on $TM$ for $X$ close enough to the zero section. ...
0
votes
0answers
56 views

Fill radius and fundamental group

I am reading M. Ramachandran and J. Wolfson's article Fill radius and fundamental group, whose main result is: Theorem. Let $N$ be a closed Riemannian manifold. If its universal cover has fill ...
4
votes
2answers
349 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 ...
8
votes
3answers
357 views

Number of disjoint simple closed geodesics

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

iwaniec's conjecture

Does anyone know whether there is any geometric applications of the iwaniec's conjecture on $ l^p $ bound of beurling alfhors transform( or the complex hilbert transform). One application could have ...
1
vote
1answer
84 views

Connection on canonical $\operatorname{Spin}^\mathbb{C}$ spinor bundle on symplectic manifold

Let $W$ be the canonical $\operatorname{Spin}^\mathbb{C}$ spinor bundle on a symplectic 4-manifold $(M, \omega)$, with a compatible $J$ and $g$, so \begin{equation} {W_ + } = {T^{0,0}}{M^*} ...
17
votes
2answers
564 views

Manifold with all geodesics of Morse index zero but no negatively curved metric?

A closed oriented Riemannian manifold with negative sectional curvatures has the property that all its geodesics have Morse index zero. Is there a known counterexample to the "converse": if (M,g) is ...
9
votes
1answer
679 views

Intuition for Levi-Civita connection?

Levi-Civita connection is usually defined as the unique connection which is torsion free and preserves metric. Question Is there some intuitively transparent constructive way to define it (or ...
2
votes
1answer
154 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 ...
3
votes
1answer
615 views

Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...
2
votes
1answer
172 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
332 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 ...
1
vote
2answers
320 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
67 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
74 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
223 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
71 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 ...
28
votes
0answers
611 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 ...
6
votes
2answers
289 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
90 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 ...
3
votes
0answers
62 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 ...
6
votes
2answers
377 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
185 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))$ ...
2
votes
1answer
123 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 ...
0
votes
1answer
99 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
5answers
501 views

Exponential and Logarithm Mapping on Stiefel Manifold

The Stiefel Manifold is defined as $$ \mathrm{St}(p,n):= \{ X\in \mathbb{R}^{n\times p} :\ X^T X = I_p \}. $$ Recall that the tangent space at a point $X\in \mathrm{St}(p,n)$ is given by $$ ...
1
vote
0answers
172 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
149 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
434 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 ...
10
votes
1answer
558 views

Does the gluing procedure in Robert Wald’s book *General Relativity* yield a Hausdorff spacetime?

Before I state my problem, let me provide some definitions pertaining to the Cauchy Problem in General Relativity. Definition 1: A triplet $ (\Sigma,h,k) $ is called an initial data set if $ ...
0
votes
2answers
99 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 ...
10
votes
8answers
3k views

Riemannian Geometry

I come from a background of having done undergraduate and graduate courses in General Relativity and elementary course in riemannian geometry. Jurgen Jost's book does give somewhat of an argument ...
2
votes
0answers
104 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 ...
7
votes
1answer
189 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 ...
12
votes
4answers
738 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 ...
1
vote
0answers
45 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
295 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 ...
27
votes
5answers
2k views

Is the Laplacian on a manifold the limit of graph Laplacians?

Here's the sort of thing I have in mind. Let $M$ be a Riemannian manifold, compact if it helps, and let $\Delta_M$ be the Laplace-Beltrami operator. Choose a sequence of triangulations of $M$ so ...
3
votes
1answer
224 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'$ ...
4
votes
3answers
404 views

Can the hyperbolic plane be immersed in three dimensional Euclidean space, if we are only looking for a weak solution?

Consider the following question: "Can the hyperbolic plane $(\mathbb{R}^2, g_H)$ be isometrically immersed in three dimensional Eulidean space$(\mathbb{R}^3, g_{flat})$?" I believe the answer to ...
5
votes
1answer
527 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
98 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 ...