A branch of differential geometry dealing with Riemannian manifolds. *Riemannian manifolds* are smooth manifolds with an inner product smoothly attached to the tangent space of each point. Usually, Riemannian geometry focuses on the notions of distance, curvature, and shape. Consider using this tag ...

learn more… | top users | synonyms

45
votes
0answers
814 views

Gross-Zagier formulae outside of number theory

(Edit: I have asked this question on MO.) 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 ...
10
votes
0answers
136 views

On the variation of a Kähler metric on a surface by pullback of the complex structure

Let $\Sigma$ be a compact, connected, oriented surface, and let $\rho\in\Omega^2(\Sigma)$ be a fixed volume form. Then any (almost) complex structure $J\in\Omega^0(M;\operatorname{End}TM)$ compatible ...
8
votes
0answers
351 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
8
votes
0answers
723 views

What is the volume of Complex Projective Space with Fubini-Study Metric?

I try to compute the volume of the complex projective space $\mathbb{CP}^n$ with Fubini-Study metric, normalized to have diameter $=\pi/2$ i.e. the sectional curvatures lie between $1$ and $4$. Fix a ...
7
votes
0answers
111 views

Intuitive interpretation of Ricci Flow

What is the best way to interpret, explain or somehow visualize the basic idea behind formal definition of Ricci Flow? I am familiar with the hackneyed expressions like "Ricci Flow is a ...
7
votes
0answers
293 views

Riemannian Immersions into Euclidean Space?

The Whitney embedding theorem states that any smooth manifold can be embedded in Euclidean space. In the Riemannian setting this naturally leads to the question whether this can be done in such a way ...
6
votes
0answers
70 views

Vectors that geodesically generate the same surface

Suppose that $\langle M,g \rangle$ is a complete, simply connected Riemannian symmetric space. The surface geodesically generated by a vector $\xi$ in $T_pM$ is the set of points lying on geodesics ...
6
votes
0answers
178 views

Geodesic equation from Christoffel symbols

Let $\mathcal{P}:=\mathcal{P}(\mathcal{X})$ be the $n$-dimensional manifold of all (strictly positive) probability vectors (distributions) on $\mathcal{X}=\{x_0,\dots,x_n\}$, i.e., each ...
6
votes
0answers
68 views

Automorphism on a kahlerian variety which acts as -id on $H^2(X,\mathbb{Z})$

I've read this proposition: "there is no automorphism (biholomorphic map) of a Kahlerian complex manifold $X$ which acts on $H^2(X,\mathbb{Z})$ as $-$identity" so I tried to prove this statement and ...
5
votes
0answers
32 views

When a given family of curves are geodesics of some affine connection?

Let $M$ be a two-dimensional manifold and let $\mathcal C$ be a family of smooth paths on $M$. How to understand whether this family is actually a family of (possibly reparametrized) geodesics of some ...
5
votes
0answers
73 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ ...
5
votes
0answers
77 views

Decomposition of Laplacian into tangental and normal components w.r.t. submanifold

If I have the covariant Laplacian operator acting on a tensor e.g. $\nabla^2 h_{\mu\nu}$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) submanifold, how can I "decompose" the ...
5
votes
0answers
94 views

Solution to $\Delta_g u = \delta-1$ on a 2-sphere.

Let $S^2$ be the two-sphere, endowed with a Riemannian metric $g$, such that the volume of the sphere w.r.t. this metric is $4\pi$. Let $a \in S^2$. I am looking for an easy way to prove that the ...
5
votes
0answers
178 views

Is there a relation between Super Riemannian manifolds and Kähler manifolds?

(This question has a physics motivation). Could we establish any kind of relationship between Super Riemannian manifolds (super Riemannian structures on super manifolds) and Kähler manifolds, or at ...
5
votes
0answers
178 views

What are spinor fields?

For example, a tensor field $T=T_{a,b}^{\ \ \ \ c}$ on a manifold $M$ should be thought as $$ T_{a,b}^{\ \ \ \ c}dx^{a}\otimes dx^{b}\otimes \frac{\partial}{\partial x^{c}} $$ with local coordinate ...
5
votes
0answers
255 views

How to prove the holonomy group is preserved under Ricci flow?

I've heard that on a Kähler manifold $(M,g_0)$, if you evolve the metric $g$ by Ricci flow $\partial g_{ij}(t)/\partial t=-2R_{ij}$, and $g(0)=g_0$, then you always have $g(t)$ is a Kähler metric on ...
5
votes
0answers
189 views

Interpreting the scalar curvature in a semi-Riemannian manifold

Background: Let $M$ be a smooth Riemannian manifold of dimension $n$ and scalar curvature $R$ (with respect to the Levi-Civita connection). Let $m \in M$ and let $B$ be the geodesic ball of radius ...
5
votes
0answers
224 views

The exponential map

I'm following a course about riemannian geometry, and I was fascinated with the exponential map. I was wondering what the reason of this name is... is there any relationship with the real and complex ...
4
votes
0answers
43 views

Does a homogeneous metrizable space admit a compatible homogeneous metric?

Assume that X is a compact metrizable topological space for which the action of homeomorphism group is transitive. Is there a compatible metric d on X such that the action of group of isometries ...
4
votes
0answers
71 views

Manifolds with volume forms on every submanifold

If we equip a manifold with an inner product (i.e. we have a Riemannian Manifold) then we get a canonical volume form on that manifold (please mentally insert the prefix "pseudo" into my question ...
4
votes
0answers
65 views

Invariance of determinant of metric tensor

Given any 2-tensor on a Riemannian manifold $M$ equipped with metric $g,$ we have a coordinate-free definition of its trace: $$\operatorname{trace}(T)=g^{ij}T_{ij}= T_i^i.$$ In particular, we have ...
4
votes
0answers
46 views

What properties do isospectral Riemannian manifolds share?

I'm studying the Laplacian on (compact) Riemannian manifolds, and it turns out that if the Laplacian operators of two such spaces share their spectrum (the spaces are then called isospectral), then ...
4
votes
0answers
83 views

The invariance of the Ricci tensor under diffeomorphisms and its non-ellipticity.

Consider $(M,g)$ a compact Riemannian manifold. When viewed as a second order (non-linear) differential operator $$ \text{Ric} : C^{\infty}(\text{Sym}^2_+T^*M) \to C^{\infty}(\text{Sym}^2T^*M), $$ the ...
4
votes
0answers
137 views

$\operatorname{div}$ and $\operatorname{grad}$ in spherical coordinates. Formula from general relativity goes crazy

I try to calculate the gradient of a function and the divergence of a vector field in spherical coordinates. Nothing special so far, but a formula that I learned in a general relativity lecture ...
4
votes
0answers
159 views

Diffeomorphism invariant scalars of a Riemannian manifold

Let $(M,g_{ab})$ be a Riemannian manifold. I know of the following scalars that one can construct them out of the metric and its derivatives: Ricci scalar $R$ $R_{ab}R^{ab}$ $R_{abcd}R^{abcd}$ ...
4
votes
0answers
142 views

Shape Operators and Symmetric Linear Transformations

The exercise (from Sakai) is: Let $f: E\subseteq \mathbb{R}^{n-1} \rightarrow \mathbb{R}$ be smooth and let $M_f := \{p = (x, f(x)) \in \mathbb{R}^n\,;\,x \in E\}$ be the graph of $f$ considered ...
4
votes
0answers
79 views

Gauss-Bonnet Theorem in dimension four

I've read that the generalized Gauss-Bonnet theorem states that $$\int\limits_{M}Pf(\Omega)=(2\pi)^n\chi(M)$$ where, $M$ is a 2n-dimensional compact orientable Riemannian manifold without ...
4
votes
0answers
75 views

bounds on eigenvalues of elliptic operators on functions on riemannian manifolds

Well I have little experience with pde's and analysis, I mostly study topic related to geometric topology and I would like to see if someone can please explain to me why is it important to find bounds ...
4
votes
0answers
238 views

geometric meaning of Ricci-flatness

What is the geometric meaning of Ricci-flatness? We know that if the Riemann tensor at a point vanished, manifold is flat at this point. but I don't know When the Ricci tensor vanished at a point, ...
4
votes
0answers
53 views

A Simons' type inequality

I have a problem with the inequality (5) in the article 'Estimates for stable minimal surfaces in three dimensional manifolds' of R.Schoen. As the author suggests this inequality comes from 'well ...
4
votes
0answers
123 views

Transforming the Dirac Operator on $S^1$

My goal is to understand as much as I can about the Dirac operator on $S^1$ where we give $S^1$ the spin structure given by the connected double cover of the frame bundle. The spinor bundle on $S^1$ ...
4
votes
0answers
141 views

Curvature of particular Riemannian metric

Let $U = \{ (x_1, \dots, x_n) \mid x_j > 0 \text{ for all } j\}$ and let $\|x\|^2 = \sum_j x_j^2$. The function $x \mapsto -\log \|x\|^2$ is strictly convex on $U$ and thus defines a Riemannian ...
4
votes
0answers
191 views

horizontal vector in tangent bundle

I have a question about Do Carmo notion of horizontal vector (page 79). So he defines natural metric on $TM$ of manifold $M$. Now he chooses vector $V\in T_{(p,v)}(TM)$ and calls $V$ horizontal vector ...
4
votes
0answers
218 views

Riemannian Connection (Very basic question)

We know that a connection $\nabla$ in a manifold M hashas the purpose of performing the same role as the covariant derivative of vector fields of surfaces in $\mathbb{R}^3$. Such analogies are ...
4
votes
0answers
137 views

Yet another natural Connection on Riemannian manifolds?

The exterior derivative $d:\mathcal{A}^1(M)\to\mathcal{A}^2(M)$ can be regarded as an connection on $T^*M\to M$. If $g$ is a Riemannian connection on $M$, we can can pull $d$ back to get an connection ...
4
votes
0answers
239 views

How does a Riemannian metric “naturally induce” distances in the Grassmannian bundle

When reading about Pesin theory I've run into the necessity of defining a metric on the Grassmannian bundle of a compact Riemannian manifold $M$. More specifically a fiber at $x \in M$ in the ...
3
votes
0answers
37 views

looking for some exercise to test understanding of covector

I am trying to understand the concept of "covector" so that I can work with it for problems I come across in PDE. My knowledge on differential geometry is very little. And my topological background ...
3
votes
0answers
21 views

If $N$ is the boundary of Riemannian $M$, can I compute $i^{*}(* (\alpha \wedge \beta))$?

There wasn't enough room in the title to explain completely: $M$ is an oriented Riemannian manifold with boundary $N$. $\alpha$ and $\beta$ are differential forms on $M$, $*$ denotes the Hodge star, ...
3
votes
0answers
20 views

Show that $(divR) (X, Y,Z) = (\nabla_X Ric) (Y,Z) − (\nabla_Y Ric) (X,Z).$

In course of solving Riemannian Geometry By Peter Petersen Chap. 2, I stuck on the following problem: Show that in a Riemmanian manifold if $R$ is the $(1, 3)$ curvature tensor and $Ric$ the $(0, ...
3
votes
0answers
73 views

Why is this map $H^1$?

I have the following proposition (taken from Klingenberg's Lectures on Closed Geodesics): Let $\pi: E \rightarrow S$ and $\mathcal{O} \subset E$ be a finite dimensional fibre bundle over the ...
3
votes
0answers
80 views

Doubts about a proof by Petersen regarding totally convex sets

I have several doubts about the proof of Lemma 62 in Petersen's Riemannian Geometry book (pp. 355-356 in the second edition). Why is $f\le d(\cdot,\partial A)$? One could argue that a segment from ...
3
votes
0answers
39 views

Homogeneous metric on a homogeneous space $G/K$ - is this the same as a $G$ - invariant metric?

I have trouble putting down the notion of a homogeneous Riemannian metric. Suppose we are given a Riemannian manifold $(M,g)$ on which a compact Lie group $G$ acts transitively by isometries (this ...
3
votes
0answers
32 views

Finding Riemannian metric from this geodesic

In a $d$-dimensional Riemannian manifold, given a geodesic equation $\gamma^i(t)=a^i\phi(tb^i),i\in 1\ldots d$, where $\phi:\mathbb{R}\rightarrow\mathbb{R}$ is an increasing function, $a^i,b^i$ are ...
3
votes
0answers
60 views

Exercise 3.3 Riemannian Manifolds an Introduction to Curvature

STATEMENT: Let $\gamma(t)=(a(t),b(t)),t\in I$(an open interval), be a smooth injective curve in the $xz$-plane, and suppose $a(t)>0$ and $\dot{\gamma}(t)\neq 0$ for all $t\in I$. Let $M\subseteq ...
3
votes
0answers
45 views

General setting of Varadhan's result for distance functions and heat kernels

For a senior project of mine, I would like to know what the most general setting of Varadhan's formula for the geodesic distance in terms of the limiting behavior of heat kernels is. The result I'm ...
3
votes
0answers
99 views

Petersen Riemannian geometry p86

I'm confused by a computation in Peter Petersen's Riemannian geometry book. We consider $S^{2n+1}$ viewed as embedded in $\mathbb{C}^{n+1}.$ The circle $S^1$ acts naturally on $S^{2n+1}$ by complex ...
3
votes
0answers
29 views

Riemannian Volume vs. Euclidean Volume

If $M$ is a Riemannian manifold and $\phi$ is a Borel measurable function into $M$, then what is the relationship between $\int_M \phi \,d\mu$ and $\int_{\mathbb{R}^d} \psi\circ \phi\, d\lambda$; ...
3
votes
0answers
136 views

Why the equality of spectral zeta functions imply the isospectrality?

Let $\Delta_{M_1}$ and $\Delta_{M_2}$ be the Laplace-Beltrami operators on two compact and connected Riemannian manifolds $M_1$ and $M_2$ respectively. We define the spectral zeta function (or ...
3
votes
0answers
72 views

Closed geodesic loop on compact manifold

Let $M$ be a compact manifold (hence complete). Let $p$ be any point on $M$. Is it true that we can always find a geodesic loop based at $p$? If $M$ is non-simply connected it is true as each ...
3
votes
0answers
52 views

Surfaces (with boundary) in $\mathbb{R}^3$ conformal to the cylinder

Consider the usual cylinder $S^1 \times [0, 1]$ embedded in $\mathbb{R}^3$. I am interested in knowing what are the surfaces in $\mathbb{R}^3$ that are conformal to this cylinder. If this were a ...