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

1
vote
2answers
341 views

Geodesic equation from Christoffel symbols

Let $\mathcal{P}:=\mathcal{P}(\mathcal{X})$ be the manifold of all (strictly positive) probability vectors (distributions) on $\mathcal{X}=\{x_0,\dots,x_n\}$, i.e., each $p=(p(x_0),\dots,p(x_n))\in ...
1
vote
1answer
124 views

Is the structure constant additive on connected components?

Let $M$ be a Riemann surface and $\mu$ a metric on it, which could be non-compact. Moreover let $\Delta_{\mu,\,M}$ be the Laplacian on $M$ induced by $\mu$ and $\mathrm{det}^*(\Delta_{\mu,\,M})$ its ...
0
votes
0answers
74 views

Decomposition of the canonical flat connection on $\tilde M\times_{\rho} SL(n,\mathbb{C})$

I'm looking for a proof resp. reference for a statement of the following form: Let $M$ be a compact Riemann surface, $\tilde M$ its universal covering, $\rho$ a semisimple representation of its ...
1
vote
0answers
49 views

Bounds on functions pullbacked via exponential map

Let us assume that $M$ is a compact Riemannian manifold (without boundary). For any point $x\in M$, we can pullback $C^\infty(M)$ functions to $T_x M$ via the exponential map, by setting $$ (\exp_x^* ...
0
votes
1answer
75 views

Optimal Regularity for Invariance of Curvature under Isometries

It is well known that sectional curvature is an invariant under isometries. I wonder what the optimal regularity for this result to hold is (in terms of Hölder-spaces)?. It is classical that ...
12
votes
2answers
872 views

Does there exist a closed manifold that can be given both a Euclidean and a Hyperbolic structure?

I originally asked this on math.stackexchange, where I asked if there could exist a closed manifold that could be given different geometric structures of constant curvature (not at the same time, of ...
3
votes
1answer
247 views

Special Riemannian connections?

Assume that $E$ is a bundle of Lie Algebras. Let $g$ be an invariant metric on $E$, that is for all $p\in M$, $$g_p([x,y],z)+g_p(y,[x,z])=0,$$ where $x,y,z\in E_p$ are arbitrary. Is there a ...
9
votes
2answers
428 views

Obtain Lorentzian manifolds from Riemannian ones by Wick rotation

In some cases, Wick rotation of a metric, formally consisting in substituting a coordinate with i times the coordinate itself, allows one to construct a Riemannian manifold starting from a Lorentzian ...
2
votes
0answers
101 views

Notions of convexity for the boundary of a Riemannian manifold

Let $(M,g)$ be a compact smooth Riemannian manifold with boundary $\partial M\subset M$. Question: What does it mean to say that the boundary is convex and strictly convex? Alternatively: What ...
1
vote
1answer
144 views

Relation between volume of reduced space and phase space

Let $G$ ba a compat Lie group and $\frak g$ be its Lie algebra, then by Marsden-Weinstein reduction theory we know that if $J:M\to \frak g^*$ be its equivariant moment map then the reduced space is ...
5
votes
1answer
112 views

Regularity of Patterson-Sullivan Length function

Let $(M,g)$ be a negatively curved, closed Riemannian manifold. I'll ask the question first, then explain the involved players. This data defines the Patterson-Sullivan length function, ...
1
vote
1answer
202 views

A special type of transitivity

Let $M$ be a smooth orientable manifold with volume form $\Omega$. Fix two pints $x,y \in M$. Put $A$=all volume preserving diffeomorphism of M which maps $x$ to $y$. Define $B$=All linear volume ...
8
votes
2answers
274 views

A Scalar Curvature Computation in Brendle Marques Neves' Min-Oo Conjecture paper

I'm reading a paper on the Min-Oo Conjecture (http://arxiv.org/abs/1004.3088), and I'm stuck on the following step in a proposition: Given a metric $g_0(t)$ on the upper hemisphere $\mathbb{S}^n_+$, ...
5
votes
1answer
166 views

Question about conjugate points

If there exist two geodesics from $p$ to $q$ that are not only different from each other but also infinitesimally close to each other, then it implies that $q$ is conjugate to $p$. Can anyone give an ...
2
votes
1answer
197 views

If there exists a nontrivial vector field $V$ such that $\nabla_{X}V=0$ for any vector field $X$, the manifold must be flat?

If there exists a nontrivial vector field $V\not=0$ in Riemannian manifold $M$ and an open set $U\subset M$ such that $\nabla_{X}V=0$ in $U$ for any vector field $X$ in $M$, then dose $U$ have to be ...
1
vote
1answer
91 views

Factor of 2 In the Definition of Metric Contact Structure

In Blair's book and many many literatures, I see definition of a contact metric manifold which involves a relation \begin{equation} d\kappa \left( {X,Y} \right) = g\left( {X,\Phi Y} \right) ...
7
votes
3answers
358 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 ...
1
vote
1answer
134 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 ...
5
votes
5answers
951 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 ...
-2
votes
1answer
128 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 ...
1
vote
1answer
102 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^*} ...
0
votes
1answer
237 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 ...
4
votes
2answers
399 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
187 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 ...
5
votes
1answer
386 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
197 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
360 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
440 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 ...
2
votes
2answers
365 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
71 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
85 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
252 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
78 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
353 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
97 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
77 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 ...
31
votes
0answers
723 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
156 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
1answer
206 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
125 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
0answers
237 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
167 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
466 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
127 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
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
1answer
229 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
69 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
305 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 ...
13
votes
4answers
792 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
1answer
234 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'$ ...