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

5
votes
1answer
351 views

Metric on an open subset of $\mathbb{R}^d$ and Christoffel symbol of the second kind

I need to prove the following identity. $\Omega \subset \mathbb{R}^d$ is open and $g$ is a metric field on $\Omega$. Further $\Gamma_{\,kl}^j$ denotes the Christoffel symbol of second kind. $g^{ij}$ ...
17
votes
3answers
2k views

The space of Riemannian metrics on a given manifold.

For a finite-dimensional smooth (Hausdorff, second-countable) manifold $M$, consider the set $$\mathcal{Met}(M) = \{ g : g \text{ is a Riemannian metric on }M \}.$$ I'd like to know about the typical ...
11
votes
3answers
741 views

Existence of a Riemannian metric inducing a given distance.

Let $M$ be a smooth, finite-dimensional manifold. Suppose $M$ is also a metric space, with a given distance function $d: M \times M \rightarrow \mathbb{R}_{+}$, which is compatible with the original (...
3
votes
0answers
54 views

ALL Orthogonality preserving linear maps from $\mathbb R^n$ to $\mathbb R^n$?

That is we have a linear transformation, i.e. an $ n\times n $ matrix $A$, such that for every pair of vectors $ v $ and $ w $ we have $$ \langle v,w\rangle=0 \ \ \ \implies \ \ \ \ \ \langle Av,...
19
votes
3answers
3k views

Geometrical interpretation of Ricci curvature

I see the scalar curvature $R$ as an indicator of how a manifold curves locally (the easiest example is for a $2$-dimensional manifold $M$, where the $R=0$ in a point means that it is flat there, $R&...
22
votes
2answers
5k views

Definitions of Hessian in Riemannian Geometry

I am wondering is there any quick way to see the following two definitions of Hessian are coinside with each othere without using local coordinates? $\operatorname{Hess}(f)(X,Y)= \langle \nabla_X \...
3
votes
1answer
409 views

Tensors constructed out of metric other than the Riemann curvature tensor

Let $(M,g_{ab})$ be a Riemannian (or Pseudo-Riemannian) manifold and let us define a tensor field as 'something' that transforms in an appropriate way under coordinate transformations. (This is how ...
7
votes
1answer
2k views

Conformal transformation of the curvature and related quantities

Suppose we have a Riemannian manifold ${(M,g)}$, where ${g}$ is the metric of ${M}$. If ${f}$ ${\in}$ ${D(M)}$ (i.e. smooth function on ${M}$), and ${f}$ is positive. So, we can define a new metric ${...
6
votes
1answer
1k views

Fixed Points Set of an Isometry

I'm reading Kobayashi's "Transformation Groups In Riemannian Geometry". I'm trying to understand the proof of the following theorem: Theorem. Let $M$ be a Riemannian manifold and $K$ any set of ...
5
votes
1answer
112 views

Diameter of the Grassmannian

Just an interesting question that came to my mind while studying(!): Since the Grassmannian $G(k,\mathbb{C}^n)$ is a compact manifold, what do we know about its diameter? Do we know any estimate? ...
4
votes
1answer
124 views

Curvature of given metric space

As my question 1 and 2, I still have many problems. First, the hyperbolic manifold is the manifold $(\mathbb R^n , g)$ given by one chart $\mathbb R^n$, where in spherical coordinates $(\theta^0= s, \...
1
vote
1answer
70 views

Why define $(\nabla^2F)(X,Y)=\nabla_X(\nabla_YF)-(\nabla_{\nabla_XY}F)$?

Why define $$(\nabla^2F)(X,Y)=\nabla_X(\nabla_YF)-(\nabla_{\nabla_XY}F)?$$ I can't find the motivation of this definition .I don't know the purpose of defining so. The more details the better, I am ...
0
votes
1answer
104 views

Proving left-invariance (and proof-verification for right-invariance) for metric constructed from left-invariant Haar measure

$\newcommand{\diff}{\mathrm{d}}$ TL;DR Having read this I know something about Haar measures, in particular that a left-invariant one exists and is unique on any Lie group $G$. I know that defining: ...
22
votes
1answer
3k views

Are there simple examples of Riemannian manifolds with zero curvature and nonzero torsion

I am trying to grasp the Riemann curvature tensor, the torsion tensor and their relationship. In particular, I'm interested in necessary and sufficient conditions for local isometry with Euclidean ...
27
votes
2answers
1k 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. ...
13
votes
1answer
567 views

Do eigenfunctions of elliptic operator form basis of $H^k(M)$?

We know that the eigenfunctions of the Laplacian on a compact manifold $M$ form a countable basis of $H^1(M)$. If $L$ is a $2k$-order elliptic operator, do the eigenfunctions of $L$ form a basis for $...
5
votes
2answers
3k views

Isometries of the sphere $\mathbb{S}^{n}$

Got this as homework and I don't know how to tackle this. Help please! Prove that the isometries of $\mathbb{S}^{n} \subset \mathbb{R}^{n+1}$, with the induced metric, are restrictions to $\mathbb{S}^...
4
votes
1answer
129 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 $...
14
votes
2answers
827 views

Computation of Laplace-Beltrami operator in a conformally equivalent metric

Could anyone tell me where I'm wrong with the following elementary calculation? Given a smooth Riemannian manifold $(M, g)$, I'd prove that if $\tilde{g}$ is conformally equivalent to $g$ (that is, $\...
7
votes
1answer
1k views

Exponential map on the the n-sphere

I might need some help on the following exercise : Let $\mathbb{S}^{n} \subset \mathbb{R}^{n+1}$ be the unit $n$-sphere. For any $p \in \mathbb{S}^{n}$, we have $T_{p}\mathbb{S}^{n} = p^{\perp} = \...
6
votes
2answers
700 views

Why is arc length not a differential form?

I read that the arc length is not a differential form. But I don't understand why it isn't. I understand that differential forms are integrands and arc length is an expression which is integrable. ...
6
votes
1answer
2k views

Riemannian metric of the tangent bundle

I'm trying to solve the following problem (from do Carmo's Riemannian Geometry). particularly I'm having trouble proving that the inner product defined is bilinear. Problem. It is possible to define ...
7
votes
3answers
2k views

Expression of the Hyperbolic Distance in the Upper Half Plane

While looking for an expression of the hyperbolic distance in the Upper Half Plane $\mathbb{H}=\{z=x +iy \in \mathbb{C}| y>0\},$ I came across two different expressions. Both of them in Wikipedia. ...
7
votes
1answer
2k views

geodesics on a surface of revolution

I'm having problems with exercise 1 of chapter 3 of do Carmo's "Riemannian Geometry". Here is the background: Let $(u,v)$ be the coordinates on $\mathbb{R}^2$. Let $f,g\in C^\infty(\mathbb{R})$, ...
4
votes
2answers
1k views

Riemannian Geometry book to complement General Relativity course?

What would be a good Riemannian Geometry (or Differential Geometry) book that would go well with a General Relativity class (offered by a physics department)? I'm in one right now, but I'd like a pure ...
7
votes
1answer
320 views

Extension of Riemannian Metric to Higher Forms

I've been reading about Riemannian manifolds, and have come across a comment that says that for a metric $g$ on an $N$-dimensional manifold $M$, considered as a bilinear map $$ g:\Omega^1(M) \times \...
5
votes
1answer
667 views

Need help finding a good book on Riemann Geometry

I want to learn more about calculus on manifolds and Riemann Geometry. I have been reading the book Geometry, Topology and Physics by Nakahara. But I find that it is difficult to read due to the lack ...
2
votes
0answers
90 views

Check Riemannian manifold's isometry to $\Bbb{R}^n$

Let $\mathcal{M}$ be the convex cone of symmetric positive definite $n\times n$ real matrices. $\mathcal{M}$ is an $\frac{n(n+1)}{2}$-dimenasional Riemannian manifold. Could you help me proving (or ...
7
votes
3answers
150 views

The Riemannian Distance function does not change if we use smooth paths?

The Riemann distance function $d(p,q)$ is usually defined as the infimum of the lengths of all piecewise smooth paths between $p$ and $q$. Does it change if we take the infimum only over smooth paths?...
4
votes
1answer
867 views

Killing vector fields restricted to geodesics

Given a Riemannian manifolds $(M,g)$, a Killing vector field $X$ on $M$, and a geodesic $\gamma: K \rightarrow M$ defined on an interval $K \subseteq \mathbb{R}$, how does one show that $X \circ \...
4
votes
2answers
729 views

Geodesic distance from point to manifold

This is question 1 of chapter 9 from Manfredo do Carmo's Riemmanian Geometry. $M$ is a complete Riemmanian manifold and $N\subset M$ a closed submanifold. $p_0\in M$ and $p_0\notin N$. Let $d(p_0,N)$ ...
3
votes
1answer
119 views

Harmonic function with injective boundary conditions is an immersion?

This question is in some sense a continuation of this question, though more focused in its scope. Let $(M,g)$ be an $n$-dimensional, connected, compact Riemannian manifold with boundary. Assume we ...
3
votes
2answers
123 views

Manifolds with geodesics which minimize length globally

I am interested in complete Riemannian manifolds whose geodesics minimize length globally. Such manifolds must be non-compact (otherwise there is always a self-intersecting geodesic) However, I ...
3
votes
1answer
203 views

Product of Riemannian manifolds?

Given two Riemannian manifolds $(M,g^M)$ and $(N,g^N)$ is there a natural way to combine them to be a Riemannian manifold? Some kind of $(M \times N, g^{M \times N})$.
2
votes
1answer
59 views

Comparing between intrinsic and external metrics on submanifolds of Riemannian manifolds

$\newcommand{\til}{\tilde}$ Let $(M,g)$ be a Riemannain manifold. Denote the induced Riemmann distance function by $d^M$. Let $S \subset M$ be an embedded connected submanifold. We have two natural ...
2
votes
2answers
143 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 ...
0
votes
1answer
46 views

Variation under constraint

I always can't compute right.$u=u(x),R=R(x)$ and $\tau$ is constant, and $M$ is compact manifold.If $u$ is the minimizer of $$ \inf\{\int_M [\tau(4|\nabla u|^2+Ru^2)-u^2\ln u^2-nu^2](4\pi\tau)^{-n/...
3
votes
2answers
183 views

Topologies in a Riemannian Manifold

I'm studying Differential Manifolds using Manfredo do Carmo's Book (Riemannian Geometry) and although I see no mention of this in Do Carmo's book, it's really easy to see a Riemannian Manifold as a ...
3
votes
2answers
116 views

Is the shortest path in flat hyperbolic space straight relative to Euclidean space?

I have the following metric $$ ds^2 = dt^2-dx^2 $$ and I wanted to prove to myself that the shortest path for this metric is straight. I used the following relation $x=f(t)$ and $$ S = \int_{t_1}^{t_2}...
2
votes
1answer
60 views

What are $\partial/\partial f^j$ in Jost's definition of the differential mapping?

Let $M$ be a $d$-manifold and $x_0=(x^1,x^2,\cdots, x^d)\in M$, Jost defines the tangent space at $x_0$ to be \begin{equation}\{x_0\}\times \operatorname{span}\left\{\frac{\partial}{\partial x^j}\...
2
votes
2answers
73 views

Proof a $(2n-1)$-compact manifold

I have no idea how prove that $$\{(z_0,\ldots,z_n)\in\mathbb{C}^{n+1} \quad| \quad z_0^d+z_1^2\ldots+z_n^2=0, \quad |z_0|^2+|z_1|^2\ldots+|z_n|^2=2\}$$ is a $(2n-1)$-compact manifold. How give the ...
1
vote
2answers
103 views

How to show the inequation by using Hessian comparison.

In the below picture ,how to show the inequation 1? In fact,I'm not familiar with Hessian comparison.So, hope a detail answer , Thanks very much. The below picture is form 194th page of here ~~~~~~~~...
12
votes
1answer
3k views

Existence of a local geodesic frame

Let $(M,g)$ be a Riemannian manifold of dimension $n$ with Riemannian connection $\nabla,$ and let $p \in M.$ Show that there exists a neighborhood $U \subset M$ of $p$ and $n$ (smooth) vector fields $...
13
votes
7answers
396 views

On a definition of manifold

In the book Mathematical Masterpiece, on page 160, the authors wrote that A manifold, in Riemann's words, is a continuous transition of an instance I know a manifold is something glued by ...
6
votes
2answers
813 views

Geodesics on the product of manifolds

Given two Riemannian manifolds $(M, g_1)$ and $(N, g_2)$, and geodesic curves $\gamma(t)$ in $M$ and $\chi(t)$ in $N$. Is the curve $\Gamma(t) = (\gamma(t),\chi(t))$ a geodesic in the product manifold ...
10
votes
1answer
3k views

What is the metric tensor on the n-sphere (hypersphere)?

I am considering the unit sphere (but an extension to one of radius $r$ would be appreciated) centered at the origin. Any coordinate system will do, though the standard angular one (with 1 radial and $...
13
votes
3answers
5k views

Is there a good way to compute Christoffel Symbols

Lets say you have a Riemannian Manifold $(M,g)$, and you have some given chart where $g = g_{ij} dx_i dx_j$ and you wish to compute the Christoffel symbols for the Riemannian connection in this chart. ...
9
votes
1answer
2k views

Isometries preserve geodesics

Let $f$ be an isometry (i.e a diffeomorphism which preserves the Riemannian metrics) between Riemannian manifolds $(M,g)$ and $(N,h).$ One can argue that $f$ also preserves the induced metrics $d_1, ...
9
votes
3answers
1k views

Prerequisite for Petersen's Riemannian Geometry

A professor recently told me that if I can cover the chapters on curvature in Petersen's Riemannian geometry book (linked here) within the next few months then I can work on something with him. ...
6
votes
2answers
358 views

Zero Sectional Curvature implies exp is a local isometry

Im studying DoCarmo's book Riemannian Geometry, the first problem of the chapter 5 (Jacobi Fields) states that If $(M,g)$ is a riemannian manifold with sectional curvature identically zero, show that ...