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

42
votes
0answers
759 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 ...
9
votes
0answers
88 views

Why are diffeomorphism-invariant PDE not elliptic?

In reading geometric analysis papers, I frequently encounter a statement of the form, "The PDE in question is diffeomorphism-invariant, and therefore cannot be elliptic." My vague understanding is ...
8
votes
0answers
324 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$. ...
7
votes
0answers
691 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
292 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
72 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 ...
6
votes
0answers
66 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
82 views

Review on Riemannian Geometry

I'm currently reading through Griffiths and Harris Principles of Algebraic Geometry, and the only subject in the foundational material section that I am not completely comfortable with is riemannian ...
5
votes
0answers
29 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
42 views

Upper bound on the distance of orthogonal matrices

Dear math stackexchange users, I have a question on orthogonal matrices: suppose I have a matrix $X\in\mathbb{R}^{n\times n}$ and I consider the orbit of the orthogonal group $O(n)$ acting from the ...
5
votes
0answers
63 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
70 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
166 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 ...
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
177 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
247 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
184 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
217 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
51 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
52 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
44 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
71 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
129 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
149 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
137 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
77 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
74 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
170 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 ...
4
votes
0answers
231 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
139 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
211 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
131 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
227 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
28 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 ...
3
votes
0answers
28 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
37 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
31 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
94 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
28 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
127 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
63 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
51 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 ...
3
votes
0answers
32 views

complete vector field on Riemannian manifold with lower bound

From do Carmo's Riemannian Geometry P151: Let M be a complete Riemannian manifold, and let $X$ be a differentiable vector field on $M$. Suppose that there exists a constant $с > 0$ such that ...
3
votes
0answers
72 views

How to adapt the discrete-time to continuous, $(A) \Rightarrow (B)$?

in class was proved oseledets theorem for discrete time, following guidelines Ricardo Mañe book. Theorem discrete Oseledets (A) : Let $ M ^ n $ be a Riemannian manifold, $ f: M \rightarrow M $ be ...
3
votes
0answers
91 views

Ricci SCALAR curvature

Are there any manifolds that have NULL SCALAR curvature but not null ricci curvature tensor? For dim>2, obviously. Edit: Are there, also, any manifolds of null scalar curvature but ricci curvature ...
3
votes
0answers
260 views

What distinguishes elliptical coordinates from polar coordinates?

I am trying to identify what characteristic distinguishes elliptical coordinates from polar coordinates. For concreteness, let's write down the expressions. Polar: $$ x=r \cos(t) \\ y=r \sin(t) $$ ...
3
votes
0answers
85 views

Curve on Riemannian Manifold

A curve on Riemannian Manifold is $c:I\rightarrow M$. We study many properties about it, like parallel $\bigtriangledown_\dot{c}X=0$ and geodesic $\bigtriangledown_\dot{c}\dot{c}=0$. And we apply the ...
3
votes
0answers
114 views

Intuition about the Riemann and Ricci tensors

I have started an attempt to self-study Riemannian Geometry. I well understand all the algebraic properties of the Riemann tensor (With a symmetric connection), and how it gradually becomes less and ...