Tagged Questions

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

3
votes
2answers
273 views

Positively curved manifold with a codimension 1 totally geodesic submanifold.

Fact : Consider the inclusion $V^{n-1} \rightarrow M^n$ where $M$ is a closed orientable simply connected positively curved manifold. Then connectivity lemma implies that the inclusion is ...
1
vote
1answer
394 views

Ricci flow as a gradient flow and its Lyapunov function

In study of Ricci flow, for making Ricci flow as a gradient flow I faced $\mathcal{F}(g,f)=\int (R+|\nabla f|^2)e^{-f}$. I know that if we suppose $\frac{df}{dt}=-R$, then ...
1
vote
1answer
141 views

Holonomy groups of quotient Riemannian manifolds?

Let $(X,g)$ be a Riemannian manifold with holonomy group $Hol(X,g)$. Suppose that a finite group $G$ acts on $X$ freely and the metric $g$ is invariant under $G$. What can one say about the the ...
4
votes
1answer
262 views

Alexandrov angles in Riemannian manifolds

Dear all, I am teaching a course in Riemannian geometry, and I would like to prove some comparison theorems in the next lessons, building on the well-known theory of Jacobi fields, and of Rauch ...
9
votes
1answer
211 views

Positively curved manifold with almost extreme diameter

Suppose $M$ is a 1-connected closed manifold with sectional curvature $\ge 1$. So the diameter $D$ of $M$ satisfies $$ D \le \pi $$ When equality holds $M$ is isometric to round sphere. In fact this ...
4
votes
2answers
312 views

Riemannian manifolds with small geodesics and bounded curvature

Let $(M,g)$ be a compact riemannian manifold with sectional curvature $|K_g| \leq 1$. A lemma due to Klingenberg asserts that then either the injectivity radius $i_g \geq \pi$ or $(M,g)$ contains a ...
3
votes
1answer
153 views

Is geodesic plane field a Killing field?

Let $M$ be a closed orientable Riemannian manifold. Recall that a plane field on a Riemannian manifold is said to be geodesic if any geodesic tangent to the plane field at one point is tangent to it ...
3
votes
2answers
518 views

Energy functional

During my study on Ricci Flow I faced some functional known as energy functional. For example Einstein-Hilbert functional is called an energy functional, also in Perelman's works ...
1
vote
1answer
154 views

Homogeneous Spaces and Equivariant Hodge Maps

For a homogeneous space $G/H$, endowed with a $H$-equivariant metric $g$, let $\ast$ be the corresponding Hodge star map. It seems that $\ast$ must also be $\ast$-equivariant, but I can't see how one ...
3
votes
1answer
323 views

On Dimension of Instanton Moduli Space

I am reading Charles Nash's book on differential topology and QFT. In particular, I have question on the part calculating dimension of instanton moduli space. The question split into conceptual part ...
4
votes
1answer
282 views

Prescribing the Lie derivative of the metric?

This is a question that arises from my research problem. Suppose $(M,g)$ is a compact Riemannian manifold with boundary and $g$ is smooth up to the boundary (if you like, take $M$ to be diffeomorphic ...
6
votes
1answer
101 views

Heat Kernel Asymptotics with low regularity

Let $M$ be a smooth manifold with Riemannian metric $g$, which is not smooth but only continuous. Question: Is there still an asymptotic expansion of the heat kernel of the form $$ p_t(x, y) \sim (4 ...
8
votes
4answers
1k views

geometric interpretation of Lie bracket

On page 159 of "A Comprehensive Introduction To Differential Geometry Vol.1" by Spivak has written: We thus see that the bracket $[X,Y]$ measures, in some sense, the extent to which the integral ...
1
vote
1answer
75 views

3-dim 1-connected Alexandrov manifold with curvature $\ge 0$ Heomomorphic to sphere?

For Alexandrov manifold in the title we mean 3-dim Alexandrov apace which is also a topological. manifold. Shioya-Yamaguchi posted a conjecture on their paper "Collapsing 3-manifold with lower ...
3
votes
1answer
176 views

Trivial canonical bundle of a Ricci-flat, simplyconnected Kähler manifold

Hallo, I have two questions where I do not really know how to deal with them. Let $(M,J,g)$ be a Kähler manifold, where $g$ is the Riemannian metric and denote by $\omega(\cdot , \cdot) = g(J \cdot ...
2
votes
2answers
166 views

Geometry of Hopf fibrations and the fibration of Steifel Manfiolds over Grassmannians

When $F = \mathbb{R}, \mathbb{C}$ or $\mathbb{H}$, there are fibrations $$O(k,F)\rightarrow V_k(F^n)\rightarrow G_k(F^n)$$ where $V_k(F^n)$ are Steifel manifolds and $G_k(F^n)$ are Grassmannians. When ...
2
votes
1answer
236 views

Is there a lower bound for variance in terms of curvature?

If the Gaussian curvature of the metric $g= f^2(x,y)(dx^2+dy^2)$ is nonzero then $f$ cannot be constant. This can be expressed by stating that the (probabilistic) variance $Var(f)$ of $f$ is nonzero ...
3
votes
1answer
178 views

Dose closed Alexandrov space admit a bi-Lipschitz embedding into $\mathbb R^N$?

as the title says. Let $A^n$ be an $n$-dimensional closed Alexandrov space. Does it admit a bi-Lipschitz embedding into the Euclidiean space $\mathbb R^N$ for sufficiently large $N$? I know there are ...
5
votes
1answer
661 views

About Sectional Curvature [closed]

In a paper by Yann Ollivier: Let $x$ be a point in $X$, $v$ a small tangent vector at $x$, $y$ the endpoint of $v$, $w_x$ a small tangent vector at $x$, and $w_y$ the parallel transport of $w_x$ from ...
3
votes
1answer
101 views

A k-form is thought of as measuring the flux through an infinitesimal k-parallelepiped

On the wikipedia has written "A $k$-form is thought of as measuring the flux through an infinitesimal $k$-parallelepiped." How does a $k$-form do this? if this sentence is right, then the flux of ...
0
votes
0answers
192 views

A question from Hamilton's Ricci Flow book by bennett chow

On page 3 of the book before exercise 1.2, is written: "torsion free is a compatibility condition with the differentiable structure". I correctly do not understand how torsion-free condition results ...
3
votes
1answer
269 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, ...
2
votes
1answer
303 views

Strongly parabolic PDE vs weakly parabolic PDE

In my studies on the Ricci flow, I was faced with a problem. To prove the existence and uniqueness of solutions to the Ricci flow, it is proved that the Ricci flow is a Parabolic PDE type. Then one ...
7
votes
2answers
584 views

Resolvent of Laplacian

Hello! Let $(M,g)$ be a Riemannian manifold and $-\Delta$ the Laplacian on M (acting on smooth functions). Then the resolvent $R(\xi)$ of $-\Delta$ is a compact operator. Is it possible to find for ...
1
vote
0answers
327 views

Bi-invariant Riemannian metrics on So(n)

Defining the inner product - 1/2 tr(XY) on the lie algebra so(n)(skew symmetric matrices) is one way to introduce a bi-invariant metric on So(n) since the inner product is ad-invariant. Are there any ...
2
votes
1answer
208 views

Different notions of geodesics.

Let $M$ be a (without boundary and not necessarly complete) Riemannian manifold. A map $c\colon [a,b]\rightarrow M$ is called geodesic of type A iff $c$ is piecewise smooth, parametrized proportional ...
2
votes
6answers
906 views

Difference between parallel transport and derivative of the exponential map

This is a crosspost from math.stackexchange Given a Riemannian manifold $M$, let $c(t) = \exp_p(tX)$ be the geodesic emanating from $p \in M$ with initial value $X$. Let $t_0$ be small enough, then ...
2
votes
0answers
155 views

Clarification in a paper

This is regarding a clarification in page 384 of a paper published in Annals of Statistics by Amari. In page no. 384, he defines $$R_i(t)=\frac{\partial}{\partial \theta_i} ...
5
votes
1answer
416 views

Is it true that the geodesics on SO(n) and SU(n) are closed?

I mean for the bi-invariant metric (but actually any metric would work). In this metric geodesics are translates of 1-parameter subgroups so we need only to show that $exp(t X)$ for any X in the lie ...
1
vote
0answers
316 views

Normal coordinates

On a Riemannian Manifold $(M,g)$, for any $p \in M$, there exists a normal coordinate system at p, ${U, x_1, ..., x_n}$. I want to integrate over a normal coordinate system with U being a geodesic ...
2
votes
1answer
213 views

positive sectional curvature of submanifold in $R^n$?

Let $N$ be a hypersurface in $\mathbb R^n$, assume it is compact. Then the maximum point of $d(O, x)$ when restrict to $N$ has positive sectional curvature lower bound by the one of the correspond ...
2
votes
0answers
65 views

Approximating solutions to minima of the discrete Lagrangian

I have been stuck on this problem for a week and I'm not sure whether or not it is hard or I'm just missing something obvious. General gist of the problem I have a variational problem on a ...
2
votes
1answer
201 views

Diameter estimate of distance sphere of positive curved manifold

Let $M$ be an $n$-dimensional Riemannian manifold with sectional curvature lower bound 1. Fix a point say $O\in M$, let $S(r)$ denote the distance sphere centered at $O$ with radius $r$. The classical ...
4
votes
1answer
131 views

Special coordinates for periodic metrics

This question is a follow-up to that one. Given a $\mathbb{Z}^n$-periodic metric $g$ on $\mathbb{R}^n$ (with $n>2$), is it possible to find a periodic diffeomorphism $\varphi$ such that ...
8
votes
0answers
286 views

Reference - Asymptotic geodesics on compact surfaces without conjugate points

I would like to ask about possible references on the following problem: consider a compact surface and a metric without conjugate points. Consider it's universal covering endowed whith the lifting of ...
15
votes
1answer
425 views

Does a Riemannian manifold with bounded geometry admit an isometric proper embedding into Euclidean space with uniformly thick tubular neighborhood

Suppose $(M,g)$ is an open Riemannian manifold with bounded geometry, i.e., the injectivity radius is $\ge \epsilon>0$ and each iterated covariant derivative of curvature is bounded with respect to ...
1
vote
0answers
133 views

The shape operator and an almost contact structure of a real hypersurface in $\mathbb{C}^n$

Let $S$ be an immersed real hypersurface in the Euclidean $\mathbb{C}^n$ with the standard complex structure $J$. Let $A:T(S)\rightarrow T(S)$ be the shape operator of $S$ (e.g. w.r.t. the outer ...
2
votes
1answer
255 views

Induced Riemannian metric on Jet-Manifold

Suppose $(M,g)$ and $(N,g')$ are smooth Riemannian manifolds and $J^r(M,N)$ is the smooth manifold of $r$-jets $j^r_xf$ of smooth maps $f:M\to N$. Is there an 'induced' Riemannian metric $g''$ on ...
3
votes
1answer
312 views

$C^k$ topology of metrics

Is the space of Riemannian metrics, over a compact manifold, complete when endowed with the $C^k$-topology of metrics?. Is there a good reference for this?
0
votes
0answers
155 views

Hessian of the inverse exponential map on a Riemannian manifold

Let $(M,g)$ be a Riemannian manifold. Then define $f: T^*M \times M \to \mathbb{R}$ $f(x,\xi, y) = \langle exp_x^{-1} y, \xi \rangle$ where $exp_{\cdot}\cdot$ is the the exponential map and it's ...
4
votes
1answer
167 views

Does convex set in Alexandrov space has positive reach?

Let $M$ be a metric space, $A$ a subset of $M$. The reach (defined by Federer) of $A$ in $M$ is the largest $r_0\ge 0$ such that if $x\in M$ and the $d(x, A)< r_0$, then $A$ contains a unique point ...
17
votes
2answers
700 views

Is every topological (resp. Lie-) group the isometrygroup of a metric space (resp. Riemannian manifold)?

The isometry group of a metric space is a topological group (with the compact open topology). The isometry group of a Riemann Manifold is a Liegroup. (Thm. of Steenrod-Myers) So, is every topological ...
6
votes
2answers
313 views

Is displacement controled by stable norm?

Let $T^n$ be the $n$-dimensional torus and $g$ be a Riemannian metric on $T^n$. Let $\tilde g$ be the induced metric on the universal covering; using suitable coordinates, $\tilde g$ is therefore a ...
10
votes
3answers
550 views

Characterizing Hessians among symmetric bilinear tensors

I apologize in advance if this is somewhat elementary, but: Let $(M,g)$ be a compact Riemannian manifold. Is there a "characterization" of which symmetric bilinear tensors $B\in Sym^2(M)$ are ...
0
votes
1answer
259 views

Lie derivative of curvature

Let $M$ be a Kahler manifold, with Kahler metric $g$. Let $X$ be a holomorphic Killing vector field of $g$, i.e. $L_{X} g = 0$, where $L_{X}$ is the Lie derivative along $X$. Let $R$ be the Riemannian ...
17
votes
4answers
1k views

Why is it important that partial derivatives commute?

I am asking this in the context of differential geometry (specifically Riemannian). When the Levi-Civita Connection is defined, we require that the torsion tensor is 0, which in local coordinates ...
5
votes
2answers
318 views

Compact surface with genus$\geq 2$ with Killing field

Let M be a compact Riemannian surface of genus$\geq 2$. Can M have a globally defined Killing field ? Can M have a Killing field defined on M-(finite set of points)?
7
votes
0answers
158 views

Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting? ...
2
votes
2answers
399 views

When a Riemannian manifold is of Hessian Typ

When a Riemannian manifold is of Hessian Type (i.e., a Riemannian manifold which its metric is Hessian)
2
votes
1answer
190 views

Positivity of second fundamental form implies global convexity?

Let $M$ be a Riemannian manifold of dimension $n$. Let $N\subset M$ be a subset with smooth boundary $\Sigma=\partial N$. If one assume the second fundamental form $II$ with respect to inner normal ...