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

1
vote
2answers
94 views

Is the Laplacian $-\Delta$ on a compact manifold an isomorphism?

We know that for (a normal) domain $-\Delta:H^1_0(\Omega) \to H^{-1}(\Omega)$ is an isomorphism. What is the corresponding result for the Laplace-Bulltrami operator or more generally a Laplacian ...
1
vote
0answers
154 views

Isometry group of a compact manifold

Is an isometry group of a compact manifold always a compact group?
1
vote
1answer
67 views

Parallel translation via $e$-connection

This question is concerned with Section 2.5. of Amari and Nagaoka's Information geometry book. Let me give some background first. Let $\mathcal{P}$ be the $n$-dimensional manifold of all (strictly ...
0
votes
1answer
40 views

1-form on the Riemannian manifold

Let $\omega$ a 1-form on a riemannian manifold $(M,g)$, and for a point $x\in M$, there is a notation: $|\omega_x|_g$, what does $|\omega_x|_g$ mean?
3
votes
1answer
242 views

Show isometry of flow on a compact Riemannian manifold where the vector field is Killing

Let $(M,g)$ be a Riemannian manifold, $\nabla$ the Levi-Civita connection of $g$. A vector filed $V$ on $M$ is called a Killing field if for every $p\in M$ and every $X,Y\in T_p M$, $$ g(\nabla_X V, ...
1
vote
1answer
81 views

Find the Gauss Curvature of This Particular Metric:

Let D be an open disc centred at the origin in $ \Bbb R^2 $. Give D a Riemannian metric of the form $ (dx^2 + dy^2)/f(r)^2 $, where $ r = \sqrt{x^2 + y^2} $ and $ f(r) > 0 $. Show that the Gauss ...
0
votes
0answers
82 views

The trace of a wedge product of matrices

I'm trying understand a computation on Besse's book (p. 371). I already know the curvature operator $R:\bigwedge^2\to\bigwedge^2$ may be written in block diagonal form relative to the direct sum ...
3
votes
1answer
102 views

Is this a geodesic?

Let $(M,g)$ be a riemannian manifold. Let $p$ in $M$ and $v,v_{0}$ two vectors in $\mathrm{T}_{p}M$. I am looking at the curve $$ \gamma \, : \, t \, \longmapsto \, \mathrm{Exp}_{p}(tv+v_{0}) $$ ...
1
vote
1answer
125 views

Definition of PU(2,1)?

I know what the unitary group of complex matrices $U(n)$ is, and what $PU(n) = PSU(n) = SU(n)/(\mathbb{Z}/n)$ is. However, I found in an article mentioned $PU(2,1)$, the group of bi-holomorphisms of ...
1
vote
0answers
51 views

Notations in Riemannian Geometry

Let $f:M\rightarrow N$ be differential map. We denote tangent map $$f_*:TM\rightarrow TN$$ and cotangent map $$f^*:T^*N\rightarrow T^*M$$ Now let $M$, $N$ be Riemannian manifolds, and ...
0
votes
1answer
95 views

Metric completion of universal covering of punctured plane

It is known that the universal covering of the punctured plane $\mathbb C\setminus\{0\}$ is $\exp:\mathbb C\to\mathbb C\setminus\{0\}$. In real coordinates, $f=\exp:\tilde M=\mathbb R^2\to M=\mathbb ...
0
votes
2answers
99 views

Supremum Definition in context of a Rectifiable/Differentiable Curve

I am trying to prove that if I have 2 paramterizations of the same curve $\gamma$ and $\sigma$ (i.e. there is continuous bijective map $\phi$ such that $\sigma = \gamma \circ \phi$) then if the curve ...
2
votes
1answer
46 views

Isometric map of geodesic

Assume a Riemann manifold $(M,g)$ and a smooth map $\sigma:M\times M\rightarrow M$, $(m_{1},m_{2})\rightarrow \sigma_{m_{1}}(m_{2})$, such that: $\forall m\in M$ $\sigma_{m}:M\rightarrow M$ is an ...
1
vote
0answers
288 views

Chain rule with covariant derivative

Let $\mathcal{M}$ be a $n$-dimensional Riemannian manifold with Levi-Civita connection $\nabla$. Consider the following function: $$\tilde{F}(v) = \operatorname{d exp}^{-1}_{p} ...
0
votes
1answer
45 views

precise meaning of connected manifold

what does it mean for a manifold to be "connected" precisely? what is the difference between a connected riemannian manifold and a nonconnected one. (i know what a riemannian manifold is a manifold ...
0
votes
1answer
162 views

connected complete totally geodesic sub manifold of $S^n$

Let $M$ and $N$ be manifolds with Riemannian metrics $g$ and $h$ respectively. A diffeomorphism $F: M\to N$ is an isometry if \begin{equation*} h_{F(x)}(T_x F(u), T_x F(v))=g_x(u,v) ...
0
votes
1answer
73 views

embedding discrete metric into manifold?

True or false: "Any edge-weighted undirected graph can be isometrically embedded into some Riemannian manifold". "isometric embedding" here means that for any pair of nodes, their shortest path ...
0
votes
1answer
109 views

Covariant derivative along curve

Let $M={\mathbb R}^{3} $ with the usual metric $g=ds^{2} =dx^{2} +dy^{2} +dz^{2} $. Let $\gamma :I\to M$ be a unit speed curve. How can I prove that $\nabla _{\gamma '} \gamma '=\gamma ''$ , where ...
1
vote
1answer
54 views

Local coordinates for two riemannian metrics

Let $(M,g)$ be a Riemannian manifold, $g' = g + f$ be another metric. Is it possible to get local coordinates such that at a point $P \in M$, $g_{ij} = \delta_{ij}$ and $f_{ij} = 0$ for all $i \not = ...
0
votes
1answer
134 views

Hamilton's Proof of the Tensor Maximum Principle

So I have more questions coming from Hamilton's "Three-Manifolds with Positive Ricci Curvature" paper. I'm working in section 9 on Preserving Positive Ricci Curvature, the proof of Theorem 9.1. I'm ...
2
votes
0answers
392 views

Taylor expansion of a vector field on manifold

In my work I have a need for some kind of analogue of Taylor expansion of a vector field on Riemannian manifold $\mathcal{M}$. I came to such an expression: $$ F(\operatorname{exp}_p(v)) = ...
2
votes
1answer
96 views

Gradient of a function restricted to a submanifold

Let $f$ be a sufficiently smooth function on a manifold $S$. Let $M$ be a sub manifold of $S$. Can someone show how is it then true that $(\text{grad}f|_M)_p$ at a point $p$ (gradient of the mapping ...
6
votes
2answers
264 views

Topology on the space of compatible almost complex structures in symplectic geometry

I have a few fairly generic questions, with a specific application to symplectic geometry in mind. Let me pose the specific problem first: Let a symplectic manifold $(M,\omega)$ be given. One is ...
1
vote
1answer
241 views

Bishop - Gromov Comparison Theorem proof and references.

I'm having trouble understanding a proof of the Bishop's volume comparison theorem and any help would be really appreciated. It's a simple part of the proof but I'm not quite getting what they want to ...
3
votes
1answer
83 views

Hilbert-Schmidt norm/smooth manifolds

Given two riemannian manifolds $M$ and $N$ and a smooth map $f$ : $M$ $\rightarrow$ $N$, we define the energy density of $f$ as the smooth function $e(f)$ : $M$ $\rightarrow$ $\mathbb{R}$ given by ...
0
votes
1answer
64 views

On Vanishing Riemann curvature tensor

If a manifold $\mathcal{M}$ has a vanishing Riemann curvature tensor, then what i) does this imply for the manifold? and ii) What is such a manifold called?
0
votes
1answer
86 views

How does curvature do that?

In his book "Riemannian geometry" Do Carmo said The curvature measures the amount that a riemannian manifold deviates from being euclidean My question is How does the curvature measure this ...
1
vote
1answer
50 views

What are the umbilic hypersurfaces in a sphere?

It is a well-known result that all umbilic hypersurfaces (complete and connected, say) of $\mathbb{R}^n$ are spheres or planes. But what can we say about umbilic hypersurfaces of a constant curvature ...
2
votes
2answers
64 views

On the definition/notation for pseudoholomorphic curves

A pseudoholomorphic curve is a map $u:(\Sigma,j) \to (M,J)$ from a Riemann surface $\Sigma$ with an almost complex structure $j$ to a manifold $M$ with an almost complex structure $J.$ We require ...
1
vote
0answers
70 views

Curvature tensor on the sphere

While reading R. Hamilton paper "Three-manifolds with positive Ricci curvature" I came across the sentence: For the sphere we have $$R(u,v,u,v)=R_{ijkl}u^{i}v^{j}u^{k}v^{l}>0,$$ which is the ...
1
vote
0answers
88 views

Inner product in projective plane

We define the projective plane as $P^2=\{[p]:\{p,-p\}\in S^2\}$ or as the set of all lines passing throught the origin in $R^3$. We define coordinates charts as page 10 in ...
6
votes
1answer
86 views

About some properties of the heat kernel

Maybe my questions are stupit, but I'm so unsure about some properties of the heat equation. Suppose we have a compact and smooth manifold M (possibly with boundary), then in a lot of books they ...
3
votes
3answers
152 views

Riemannian metric, compute

I have a question that may look for you as silly. A few years ago I took a course of Riemannian geometry. Well, the first problem I found is to understand the generalization of tangent plane (in ...
1
vote
2answers
96 views

Worst case examples of non-differentiability of the Riemannian distance function

Let $g$ be a $C^\infty$ Riemannian metric on the plane, and let $p$ be a point on the plane. Let $X$ be the set of points $x$ at which the Riemannian distance $d(p,x)$ is not differentiable. How bad ...
2
votes
1answer
79 views

affine combination of convex functions.

In a complete smooth simply connected Riemannian manifold of non-positive curvature, the square of the distance function $d^2(p,x)$ is a smooth strictly convex function of $x$. It follows that this is ...
1
vote
1answer
63 views

A connection is the limit of the newton quotient of the parallel transport

Let $E\rightarrow M$ be a vector bundle with connection $\nabla$. Denote by $\Pi_{\gamma(t_{0})}^{\gamma(t_{1})}:E_{\gamma(t_{0})}\rightarrow E_{\gamma(t_{1})}$ the parallel transport map along the ...
1
vote
2answers
203 views

Definition of the Energy of a curve

The energy of a curve $c: I \to S$ assuming S is a regular surface with a Riemannian metric $g$ is defined as : $$ E[c] = \frac{1}{2} \int_I g_{c(t)}(\dot c(t),\dot c(t))\mathsf{dt} $$ This is quite ...
1
vote
0answers
105 views

Proof of a theorem in Riemannian Geometry

Prove the following theorem: For $3\leq r\leq \infty$ let $(M; g)$ be a Riemannian $C^r$-manifold. Then there exists an isometric $C^r$-embedding of $(M; g)$ into a Euclidean space $\mathbb{R}^n$. ...
2
votes
1answer
149 views

Lie derivative on a riemannian manifold

Suppose we have a Riemannian manifold $(M,g,\nabla)$ with Levi-civita connection $\nabla$. We define a new symmetric non-metric connection $\bar\nabla$ on $M$. Then the Lie derivative of functions and ...
1
vote
1answer
36 views

Any books on isospectral manifolds?

I was searching stuff related to M.Kac's famous question "Can one hear the shape of the drum ?" I further found results due to Gordon, Webb and Wolpert in the 2D case using Sunada method. Are there ...
4
votes
1answer
340 views

What does it mean “being geodesic” is not invariant?

We know that "being geodesic" is not invariant under re-parametrization. Only affine re-parametrization preserves the property of being a geodesic. Also, a geodesic is locally distance minimizer. ...
1
vote
1answer
189 views

A new symmetric non-metric connection that generalizes the geodesic equation(Version 2)

A curve $\alpha$ on a riemannian manifold $(M,g,\nabla)$ is a geodesic if $\nabla_TT=0$, where $T$ is the tangent vector field. A generalization of this geodesic equation suggests that $\nabla_TT=\rho ...
1
vote
0answers
51 views

Wedge product of a one- form and a Kähler form

Let $x$, $y$, $v$, $w$ be coordinates on $R^{4}$ and $g$ be the Riemannian metric whose matrix with respect to these coordinates is $$g=\left ( \begin{array} {cccc} 1 & 0 & -kx & 0\\ 0 ...
4
votes
2answers
112 views

No constant curvature metric on $S^2 \times S^1$

I was reading the introduction to Hamilton's paper "Three-manifolds with Positive Ricci Curvature." He states that $S^2 \times S^1$ admits no metric of constant sectional curvature, and therefore ...
4
votes
1answer
105 views

Relation between two Riemannain connections

Let $g$ be a Riemannian metric on $M$ and let $\tilde{g}=f^{2}g$ where $f$ is a smooth function that is never zero. let $\nabla$ and $\nabla'$ be the Riemannain connections of $g$ and $\tilde{g}$ on ...
1
vote
1answer
89 views

What is Rotational on a Riemannian Manifold?

I have learned divergence, gradient and rotational in vector analysis of $\mathbb R^3$. However, when I read Riemannian Geometry, there are only definitions about divergence and gradient. So I have an ...
4
votes
1answer
85 views

Symmetry of the Riemannian curvature tensor

The Riemannian curvature tensor, in local coordinates, $R_{ijkl}$, has the following symmetries: $$R_{ijkl}+R_{jikl}=0;$$ $$R_{ijkl}+R_{ijlk}=0;$$ $$R_{ijkl}=R_{klij};$$ ...
25
votes
2answers
682 views

Why is the Laplacian important in Riemannian geometry?

As I've learned more Riemannian geometry, many of my teachers have said that studying the Laplacian (and its eigenvalues) is very important. But I must admit, I've never fully understood why. ...
1
vote
2answers
295 views

Conformal Equivalence of two Riemann metrics

I'm reading a paper and encountered a concept of conformal equivalence between two Riemannian metrics on a differentiable $2$-manifold $M$ : Two Riemannian metric $g$ and $f$ are conformally ...
6
votes
1answer
135 views

Geodesics of one-dimensional manifold

I apologize if my post is "silly" because I don't know much about riemannian geometry. I know that $M = (0,1)$ (the open unit interval) can be seen as a one-dimensional manifold. Since $M$ is an ...