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
1answer
53 views

Converse of statement related to Hopf-Rinow Theorem

I know the Hopf-Rinow theorem and that if a Riemannian manifold is complete it implies that given any two points there is a unique distance minimizing geodesic that connects the two points, but is the ...
4
votes
1answer
71 views

Extension of isometries on submanifolds of a riemannian manifold

Let $S$ a submanifold of a riemannian manifold $M$ such that the closure of $S$ is equal $M$. i.e $\bar{S}=M$, when can we extend an isometry(as riemannian manifold) $f:S\to S$ to an isometry ...
2
votes
0answers
66 views

Relationsip between two definitions of the christoffel symbol?

When I first started learing about tensor calculus, the professor defined the Christoffel symbol as $$\Gamma ^a _{bc} = Z^a \cdot \partial_b Z_c $$ Where $Z^a$ is a contravariant basis vector and ...
0
votes
1answer
85 views

Coordinate expression for the divergent

Let $(M, g)$ be a Riemannian manifold. As in Lee's Riemannian Manifolds book, we define the divergent of a vector field $X \in \mathfrak{X}(M)$ by the identity $d(\iota_X dV) = (div X) dV$, where ...
2
votes
1answer
72 views

Expression for codifferential in terms of interior product

Let $(M^n,g)$ be a Riemannian manifold with local orthonormal frame $\{e_1,\ldots,e_n\}$ with dual basis $\{e^1,\ldots,e^n\}$ and with Levi-Civita connection $\nabla$. It can be checked on basis that ...
1
vote
0answers
48 views

a question about differential geometry

Let $S$ be a surface and $x: U\to S$ be a parametrization of $S$. If $ac-b^2 <0$, show that $$a(u,v)(\dot u)^2+2b(u,v)\dot u\dot v+c(u,v)(\dot v)^2=0$$ can be factored into two distinct equations, ...
3
votes
1answer
139 views

Sets that are convex in two different metrics

Let $(M,g)$ be a complete Riemannian manifold, and let $C$ be a subset of $M$. We will say $C$ is convex if for any points $p,q \in C$, there exists a unique normal minimal geodesic $\gamma$ joining ...
0
votes
1answer
50 views

Three-Dimensional Metrics as Deformations of a Constant Curvature Metric?

I read the following paper Three-Dimensional Metrics as Deformations of a Constant Curvature Metric and discovered the following result: I have three questions: (1) Is $h$ also a conformally flat ...
0
votes
1answer
59 views

Notation in symmetric and alternating products of forms

In Lee's Riemannian Manifolds book, we see that a Riemannian metric $g$ can be expressed locally in coordinates $(x^1, \ldots, x^n)$ by $g = g_{ij} dx^i \otimes dx^j$. Introducing the symmetric ...
3
votes
2answers
76 views

$\Delta_L(\text{im}\,\delta^*_g)\subset\text{im}\,\delta^*_g$ and $\Delta_L\big(\text{ker}\,\text{Bian}(g)\big)\subset\text{ker}\,\text{Bian}(g)$?

Let $(M,g)$ be an Einstein manifold with Levi-Civita connection $\nabla$ and whose Ricci tensor $\text{Rc}(g)=g$, in components $R_{ij}=g_{ij}$. The Lichnerowicz Laplacian of $g$ is the map ...
1
vote
0answers
38 views

How to prove the skew symmetry of the Riemannian tensor?

I parallel transported a vector around a parallelogram formed by another two vectors to get the Riemannian tensor: $$R^m{}_{lkj} = \left( \partial_k \Gamma^m{}_{jl} + \Gamma^m{}_{kn} \Gamma^n{}_{jl} ...
1
vote
1answer
81 views

Kähler–Einstein condition

Let $(M,\omega)$ be a Kähler manifold, and $g$ the Riemannian metric such that $\omega(X,JY)=g(X,Y)$. If there is a function $f$ such that $\operatorname{Ric}=f\omega$ does this mean that ...
2
votes
1answer
36 views

Dilating a curved ball

Let $B$ be a ball sitting inside a manifold $(M^n, g)$. Now, let us dilate the metric $g$ to $\lambda g$, $\lambda$ being a positive number going to $\infty$. It seems intuitively true that the ...
0
votes
0answers
158 views

Adjoint of Exponential Map

If $\exp: T_p(G) \rightarrow G$ is the expoenential map of a lie group, then what does the adjoint operator (as in $\langle Ax,y\rangle=\langle x,A^*,y\rangle$) of the derivative of exp look like? ...
5
votes
1answer
100 views

What is the geometric interpretation of the Koszul formula?

I saw this simple form of Koszul formula on a book: $$2\ g(\nabla_XY,Z) = \mathcal{L}_Yg(X,Z) + (d\theta_Y)(X,Z)$$ where $\theta_Y$ is the one-form $g(Y,\cdot)$. It is equivalent to the more ...
1
vote
2answers
165 views

Lower bound on convexity radius in terms of injectivity radius (without using curvature)

Let $M$ be a complete Riemannian manifold, and let $C$ be a subset of $M$. We will say $C$ is convex if for any points $p,q \in C$, there exists a unique normal minimal geodesic $\gamma$ joining $p$ ...
2
votes
0answers
77 views

Differential Geometry - Distributions mutually orthogonal, span the tangent space, parallel imply manifold splits locally as product manifold

I'm stuck on a portion of Exercise 21, Chapter 2 in Petersen's Riemannian geometry text. Fix a Riemannian manifold $(M,g).$ Suppose that I have two distributions $D^1$ and $D^2$ defined on $M.$ ...
1
vote
1answer
65 views

Geodesics on Lorentzian (2n-1)-Spheres

I know that if we endow $S^{n}$ with the round Riemannian metric, we will be able to join the North pole and the South pole by an unlimited number of geodesics, in particular the meridians, and indeed ...
1
vote
1answer
100 views

Characterization of locally conformally flat manifolds with Frobenius theorem

In Hamilton's Ricci Flow (by Chow, Lu, Ni, pp. 29-31, see here) they show that a Riemannian manifold $(M^n,g)$ is locally conformally flat iff the Weyl tensor vanishes (when $n\ge 4$) and iff the ...
1
vote
1answer
36 views

Invariance of ball size under translation on the pseudosphere

On the pseudosphere, do the volume of metric balls and area of metric spheres change with the centerpoint? (I'm asking because they don't on the sphere.)
7
votes
0answers
138 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 ...
0
votes
1answer
116 views

Connectedness and Hopf-Rinow Theorem

Does the Hopf-Rinow theorem hold if the Riemannian manifold is not necessarily connected? $\\$ $\bf{Motivation \ and \ Minor \ Details \ About \ Question:}$ I am reading a non-standard book which ...
2
votes
0answers
34 views

How to prove that $\forall$ Riemannian manifold $M$, $T\in C^{1}(M)$ and $x,y\in M$ close enough: $d(Ty,exp_{Tx}(D_xTexp^{-1}_xy))\leq d(x,y)$?

How to prove that $\forall$ Riemannian manifold $M$, $T\in C^{1}(M)$ and $x,y\in M$ close enough: $$d(Ty,\exp_{Tx}(D_xT\ \exp^{-1}_xy))\leq d(x,y)$$ My attempts so far were only able to show the ...
1
vote
1answer
73 views

An application of Nash's embedding theorem to manifolds with fixed volume form

I have a smooth (possibly compact, or closed, or oriented, or more than one of the previous) $n$-manifold $M$ together with a fixed volume form $\rho\in\Omega^n(M)$. Can $M$ be embedded into some ...
1
vote
1answer
84 views

Riemann metric in the open disk

I am currently studying The Princeton companion to mathematics. According the book, "A more precise definition is that the open unit disk is the set of all points $(x,y)$ such that $ x^2 + y^2 < ...
3
votes
1answer
241 views

What is the differential of left translation?

Let $G$ be a Lie group, $g\in G$ and $L_g$ be left translation by $g$. I want to compute the differential $dL_g|_0$ of $L_g$ at $0$. Attempt: Let $v\in T_0G$ be a tangent vector at $0$. Let ...
0
votes
1answer
44 views

The normal curvature is bounded by the principal curvatures.

Let the inclusion $i:S\subset\mathbb R^3$ be an immersion of a surface $S$, and let $N:S\to \mathbb R^3$ be a local Gauss map. Let $a:I\to S$ be an arc length parametrized curve, with $a(0)=p$ and ...
0
votes
1answer
90 views

Are all 2D tensors in a specified flat metric equal to that same metric conformally scaled?

I have a tensor $T_{mn}$ where its indices coorespond to a flat metric $g_{mn}$. I want $T_{mn}$ to be a new metric $\tilde{g}_{mn}$, such that $T_{mn}(g_{rs}) = \tilde{g}_{mn}$. A theorem says that ...
3
votes
3answers
189 views

Reference: In every free homotopy class is a unique minimizing closed geodesic

Does anyone know a reference for the following result: Let $M$ be a compact hyperbolic manifold/manifold with strict negative curvature . Then in every non-trivial free homotopy class of $M$ there ...
2
votes
0answers
42 views

About prime geodesic cycles and deck transformations group

I'm proving theorem 2 occurring in Sunada's paper Riemannian coverings and isospectral manifolds. Unfortunately Sunada's quotes himself to the following paper: Tchbotarev’s density theorem for closed ...
2
votes
0answers
116 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 ...
6
votes
2answers
125 views

If $\dfrac{\mathrm {circumference}}{\mathrm {diameter}}$ is the same for all circles, does the surface have to be flat?

Given a two dimensional Riemannian manifold with the property that the ratio of the circumference and the diameter is the same for all circles. What can be said about it? Does it have to be the ...
2
votes
0answers
99 views

Complete Riemannian metrics in cylinder $\mathbb{R}\times X$ and cones $\mathbb{R}^{+}\times X$

Consider the cylinder $\mathbb{R}_t\times X$ where $X$ is a compact manifold without boundary. Consider the cylindrical metric $g_{cyl}=g_X+dt^2$. Clearly $(\mathbb{R}_t\times X, g_X+dt^2)$ is a ...
0
votes
2answers
120 views

Introductory Text about Riemannian Manifolds

Some of my friends and me want to study the subject of Riemannian manifolds, and we are looking for an introductory text to study that subject. We studied differential geometry, and are about to ...
6
votes
2answers
69 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 ...
1
vote
1answer
48 views

How does a Lie derivative generate a $U(1)$ isometry?

Consider a $2l$-dimensional Riemannian manifold $(M,g)$ without a boundary and let $V=V^{\mu}\frac{\partial}{\partial^{\mu}}$ be a Killing vector field, i.e. $$ \mathcal{L}_Vg_{\mu \nu} = 0 ...
3
votes
1answer
112 views

Why don't we write $\nabla_{X}(fY) = f\nabla_{X}Y$ instead of $\nabla_{X}(fY) = f\nabla_{X}Y+ X(f)Y$ for affine connections?

According to do Carmo, in Riemannian Geometry pages 49-50, he says let $\mathcal{X}(M)$ denote the set of all vector fields of class $C^{\infty}$ on $M$. Let $\mathcal{D}(M)$ denote the ring of all ...
3
votes
0answers
40 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$; ...
1
vote
1answer
44 views

Stereographic projection is conformal in the sense of bilinear forms?

This is a past exam problem from my university. However, the corresponding course sequence does not cover any Riemannian geometry, so I'm not sure how to go about this so much. Let ...
2
votes
2answers
58 views

Problem with the concept of connection

I've been told that there is only a canonical way for doing the vertical subspace of the tangent bundle of a manifold and in order to do the horizontal subspace you need a connection. These are very ...
3
votes
1answer
84 views

A determinant coming out from the computation of a volume form

I am convinced that the following identity is true: \begin{equation} \det\begin{bmatrix} 1+a_1^2 & a_1 a_2 & a_1 a_3 & \ldots & a_1a_n \\ a_1a_2 & 1+a_2^2 & a_2a_3 & ...
0
votes
0answers
88 views

Convolution of functions defined on manifold

Let $M$ be a Riemannian manifold with fixed volume form $\mu$. How to define a convolution of two 'functions' $f,g \in L^1(M)$? I will be grateful for an answer or for giving me some refrence where it ...
2
votes
1answer
90 views

Measures which are absolutely continuous with respect to a Riemannian measure

Suppose $(M,g)$ is a oriented connected Riemannian manifold (but not necessarily compact). Let $\omega_g$ denote the volume form on $M$ determined by $g$, and let $m_g$ denote the probability measure ...
1
vote
0answers
32 views

How to make sure any two points with small enough distance are inside a common open set

Let $K$ be a compact subset of a metric space, and I cover $K$ with finite open sets. How can I select $\delta>0$, such that for any $x,y\in K$, with $d(x,y) <\delta$, $x,y$ are inside an open ...
1
vote
1answer
68 views

Role of Group actions in Differential Geometry

This is a rather soft question, my hope is to bring some order into the stuff I would like to learn about differential geometry -- here it is: I was told over and over again that Geometry has to do ...
4
votes
1answer
94 views

Is there a charaterization of riemannian product manifolds?

Some Riemannian manifolds are expressed as a product manifold. Recently, I have read two articles about space-times. In both articles, the authors prove that a Riemannian manifold $\bar{M}^n$ is ...
1
vote
0answers
57 views

Riemannian Metric of Lobatchchevski Geometry

I am stuck at a problem from Riemannain Geometry, written by Do Carmo. A function $g:\mathbb R\to\mathbb R$ given by $g(t)=yt+x$, $t$,$x$,$y\in\mathbb R$, $y>0$, is called a proper affine ...
2
votes
0answers
94 views

Connections and Ricci identity

Given $\nabla$ a torsionless connection, the Ricci identity for co-vectors is $$\nabla_a \nabla_b \lambda_c - \nabla_b \nabla_a \lambda_c = -R^d_{\,\,cab}\lambda_d.$$ Prove $R^a_{[bcd]} = 0$ by ...
2
votes
0answers
22 views

Global Bi-harmonic functions in a Riemannian manifold

Any help will be appreciated thanks! Consider $(\mathbb{R^n},g)$ to be a Riemannian manifold. For simplicity we can assume the manifold to be asymptotically euclidean outside a compact domain ...
2
votes
1answer
186 views

Deriving Ricci identity for co-vector fields

Let $\nabla$ be the covariant derivative associated with a torsionless connection. Prove the Ricci identity for covectors: $$\nabla_a \nabla_b \lambda_c - \nabla_b \nabla_a \lambda_c = ...