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

0
votes
1answer
19 views

Question about curvature calculation method in Lee's *Riemannian Manifolds* book

In his book Riemannian manifolds, John Lee states the following on pages 8-9: The most fundamental fact about geodesics is that given any point $p\in M$ and any vector $V$ tangent to $M$ at $p$, ...
0
votes
0answers
28 views

Does there exists known special cases of a zero Riemann tensor for 3D metrics?

In two dimensions, if one has a flat metric $g_{ab}$, then one can transform $g_{ab}$ to another flat metric $h_{ab}=e^{2\varphi}g_{ab}$, when $\nabla^2 \varphi =0$ and the Riemann tensor remains ...
0
votes
1answer
21 views

calculate riemann integral on the triangle [on hold]

Calculate Riemann Integral $$ \int \int_{B} e^{4y^2}dxdy $$ where B is a triangle: (0,0), (0,1), (-1,1) I have no idea what should I do with that integral.
0
votes
1answer
25 views

Check Christoffel symbol defines Levi-Civita connection

I am trying to prove the existence of Levi-Civita connection. The hint says given $(U_\beta,\phi_\beta)$ be altas of $M$, for $X=x^i\partial_i,V=v^j\partial_j$, we define $$D_VX=v^i(\partial_i ...
1
vote
1answer
32 views

How to prove that volume forms agree on $U_\alpha \cap U_\beta$?

I am familiarizing myself with Riemannian manifolds. Let $M$ be an orientable smooth $n$-manifold with atlas $(U_\alpha, (x_1^\alpha, \dots, x_n^\alpha))$ and let $g$ be a Riemannian metric on $M$. ...
0
votes
1answer
22 views

Do we write a metric tensor as a matrix?

The metric tensor is an (0,2) tensor that is denoted by $g_{\mu\nu}$ in general relativity. I often see people write the metric field in matrix form like \begin{equation} g_{\mu\nu} = ...
2
votes
1answer
44 views

Can I argue like this to prove that the determinant is positive?

Let $X$ be a smooth $n$-manifold with an oriented atlas $\mathcal U = (U_\alpha, (x_1^\alpha, \dots, x_n^\alpha))$. Let $g$ be a Riemannian metric on $X$. Let $g_{ij} = g\left ( {\partial \over ...
2
votes
1answer
100 views
+100

Proof in Hamilton: Divergence theorem for differential forms?

For a vector field $X\in\Gamma(TM)$ on a closed Riemannian manifold $(M,g)$ we have \begin{align*} \int_M\text{div}X\;\mu=0, \end{align*} where \begin{align*} ...
0
votes
1answer
23 views

existence of affine connection on manifold

I am studying Riemannian Geometry following my professor's notes. On the proof of existence of affine connection on a $C^\infty$ manifold, the notes states: By partition of unity, a connection can be ...
1
vote
2answers
44 views

Why is the trace of the Riemann curvature tensor useful?

As I understand it, the Ricci curvature tensor is the trace of the Riemann curvature tensor. In other words, \begin{equation} R_{ij} := R_{kij}^{\phantom{kij}k} = g^{km}R_{kijm} \end{equation} But ...
0
votes
0answers
51 views

Clarification of definition of tensor product

I am reading "Riemannian Geometry" by Gallot. And I am confused with the following definition of tensor product: Let $E$ and $F$ are two finite dimensional vector spaces, a vector space $E\otimes ...
1
vote
1answer
62 views

Pullback of a differential form

My question is in regards to a proof in Lee's 'Introduction to Smooth Manifolds'. He proves a lemma about the pullback of a differential form on a manifold $N$, where $F:M\rightarrow N$ is a smooth ...
4
votes
2answers
87 views
+50

Hessian of a function on Riemannian manifolds

Let $(M,g,\nabla)$ be a Riemannian manifold with metric $g$ and Riemannian connection $\nabla$. The hessian of a function $f:M\to R$ is defined by: $$H^f(X,Y)=g(\nabla_X\ \ \operatorname{grad} ...
3
votes
2answers
43 views

Is there a better way to show the intrinsic curvature of a cylinder is zero?

I am new to differential geometry and Riemannian geometry. I have on two separate occasions (separated by 6 months) encountered exercises where I feel like I am not giving a complete answer. ...
0
votes
1answer
29 views

Sum of Killing vector fields is a Killing vector field

Let $(M,g)$ be a Riemannian manifold. A smooth vector field $X$ is called a Killing vector field if the flow of $X$ acts by isometries, or, equivalently, if $L_X g = 0$. Now why is the sum of Killing ...
4
votes
2answers
37 views

Compute a parallel transport

Let $\mathbb{S}^{2} \subset \mathbb{R}^{3}$ be the $2$-sphere ($\mathbb{S}^{2} = \left\{ (x,y,z) \in \mathbb{R}^3, \; x^2+y^2+z^2 = 1 \right\}$). Let $p \in \mathbb{S}^{2}$ and $\xi \in T_{p}S^{2} = ...
1
vote
1answer
35 views

What is Model Spaces

I am reading the Riemannian Geometry, written by Lee, and have just finished the Chapter 3, which ends with The Model Spaces of Riemannian Geometry. There are three kinds of model spaces $\mathbb ...
1
vote
1answer
40 views

Isometries are affine transformations

I want to show that, if $(M,\mathrm{g})$ is a Riemannian manifold, $\nabla$ is the covariant derivative from the Levi-Civita connection, and $f:M\to M$ is an isometry, then ...
1
vote
1answer
45 views

A question regarding Jacobi fields and families of geodesics

I'm trying to show that for any one-parameter family of geodesics $\gamma(s,t)$ (where $\gamma(s_0,t)$ is a geodesic for any constant $s_0 \in (-\epsilon, \epsilon)$) defined on a Riemannian manifold ...
1
vote
0answers
48 views

Identity involving Riemann tensor

I'm reading about the Ricci tensor, and I've found the following statement that is given without proof: For a point $p$ on a Riemannian manifold, and coordinate vector fields $X_{\alpha}$, ...
2
votes
3answers
55 views

In what sense is a pseudo-Riemannian metric a “metric”?

I have read that Riemannian manifolds have the structure of a metric space. In this sense, they have a distance function and it satisfies the definition of metric space. However, I have recently ...
3
votes
0answers
35 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 ...
3
votes
2answers
40 views

What significant differences are there between a Riemannian manifold and a pseudo-Riemannian manifold?

I am reading John Lee's book Riemannian Manifolds. On page 91, he begins a chapter called "Geodesics and Distance," which is I think the first chapter that seriously addresses geodesics. I was very ...
1
vote
1answer
33 views

Constant curvature metrics on the sphere

Are there Riemannian metrics other than the standard metric induced from the euclidean space on $S^2$ such that the sectional curvature is equal to 1 everywhere? Or is this the unique Riemannian ...
0
votes
1answer
24 views

Negative Gauss Curvature

Let S be a manifold of dimension 2, compact and orientable. Suppose its border is made of k geodesic circumferences, with $k \geq 3$. Show that there exists a point in S with negative Gauss ...
0
votes
0answers
31 views

Fundamental group of cusp of a negatively curved manifold

Let $M$ be a complete, noncompact Riemannian manifold with finite volume and whose sectional curvatures vary within the interval $[a,b]$, $-1\leq a<b<0$. It is known that such manifold has ends ...
0
votes
0answers
32 views

One parameter subgroups on Lie groups and Riemannian metric

I read that geodesics of a bi-invariant metric on a compact Lie group are the one parameter subgroups. In a general Lie group, is it possible to create a Riemannian metric by transporting the ...
2
votes
1answer
41 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 ...
0
votes
0answers
42 views

How does an affine connection permit differentiation of vector fields?

As I understand it, one primary use of affine connections is to "connect" tangent spaces. Suppose I take a velocity vector $\dot{\gamma}(t_0)$ on a curve and at some point $\dot{\gamma}(t)$ also on ...
0
votes
0answers
27 views

Does existance of a Killing spinor imply existance of a Killing vector?

I am wondering about the relationship between Killing spinors and Killing vector fields. In the nlab entry for Killing spinors the quote "Pairing two covariant constant spinors to a vector yields a ...
0
votes
1answer
47 views

Rotation by $90°$ in differential geometry

Let $f: \Omega \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$ be a parametrized surface and $\nabla_{c'}c'$ be the covariant derivative of a curve $c:I \rightarrow \Omega$ that is parametrized by ...
4
votes
1answer
121 views

Parametrised vs Regular Surfaces

Two types of surfaces in $\mathbb{R}^3$ are usually studied in introductory books on differential geometry: Parametrised or immersed surface: Is an immersion $F:U\rightarrow\mathbb{R}^3$ from an ...
2
votes
1answer
62 views

Continuous function with non-negative second derivative in the weak sense is convex

I am currently working through a section of Peter Petersen's Riemannian Geometry in which he talks about weak second derivatives of functions. I am trying to work through the details of why a function ...
0
votes
1answer
23 views

Help understanding John Lee's definition of curvature

On page 3 of his book Riemannian Manifolds, John Lee states the following If you want to continue your study of plane geometry beyond figures constructed from lines and circles, sooner or later you ...
0
votes
1answer
31 views

Characterisation of local affine diffeomorphisms

I've got a question about local affine diffeomorphisms between affine manifolds. There ist a good characterisation about affine diffeomorphisms of connected affine Mannifolds: Let $f,g\colon ...
1
vote
1answer
40 views

Non-constant rank of a smooth map and orthnormal basis in the normal bundle

Assume $M,N$ are two Riemannian manifolds and $f: M\rightarrow N$ is a smooth map. Suppose $dim M =m < dim N =n$. Let $\Sigma$ be the graph of $f$, that is, $\Sigma =(x, f(x))$ for $x\in M$. My ...
2
votes
2answers
61 views

Equivalent definitions of a surface

do Carmo Differential Geometry of Curves and Surfaces defines a regular surface as per the below post. Lee Introduction to Smooth Manifolds defines an embedded or regular surface to be an embedded or ...
0
votes
1answer
42 views

Finding a frame for a vector bundle in a smooth manifold with a connection

I am trying to solve the following exercise: Let $P$ be a vector bundle over a smooth manifold $M$ with a connection $\nabla$, and let $p \in M$ . Show that there is an open set $U$ of $M$ with $p ...
1
vote
1answer
54 views

Is the tangent-cotangent isomorphism orientation preserving?

Consider $(M,g)$ a Riemannian manifold. Let's define $\varphi : TM\rightarrow T^{\ast}M$ by $\varphi(p,v):=(p,g(v,.))$, for $p\in M$ and $v\in T_{p}M$. Here, $TM$ stands for the tangent bundle and ...
0
votes
1answer
33 views

What's wrong in this prop about volume form if we drop “oriented”?

I was studying Prop 15.29 from Lee's Introduction to Smooth Manifold and I asked myself what's wrong with this proof if we drop the oriented assumption. I know that I'd came up with a non zero ...
0
votes
2answers
26 views

Does a Riemannian metric allow definition of a tangent vector's length?

In Euclidean spaces, we define the Euclidean norm of a vector $\vec{x} = (x_1,x_2,...x_n)$ as $\|\vec{x}\|:=\sqrt{x_1^2+x_2^2+ \cdots +x_n^2 }$ Does the metric tensor field of a Riemannian manifold ...
1
vote
1answer
32 views

How can I measure the length of a curve using a Riemannian metric?

On page 35 in his book Riemannian Geometry, Manfredo do Carmo states the following: Giving a surface $S \subset \Bbb{R}^{3}$, we have a natural way of measuring the lengths of vectors tangent to ...
2
votes
1answer
46 views

Is $M \times (0,\infty)$ a manifold of bounded geometry?

If $M$ is a compact Riemannian manifold, is $M \times (0,\infty)$ a manifold of bounded geometry? I think it is, since $M$ is compact and $(0,\infty)$ is simply flat.
4
votes
1answer
68 views

Completeness implies geodesic completeness, a more conceptual way?

We know from Riemannian geometry that for Riemannian manifolds, completeness and geodesic completeness are equivalent, which is usually a consequence of Hopf-Rinow theorem. However, I'm considering a ...
1
vote
1answer
23 views

Definiton of a riemanian metric (smoothness)

In Ana Cannas de silva's book Lectures on Symplectic geometry he defines a positive inner product to be smooth when for any vector field $v$ the function $x \mapsto g_x(v_x, v_x)$ is smooth. Some ...
0
votes
0answers
30 views

Angles on geodesic triangle of complete Riemannian manifold

I meet a problem on my course Riemannian Geometry, It is Let M be a complete and simply connected Riemannian manifold with all sectional curvatures in the interval $[-k_0^2, -k_1^2 ]$ with $0 ...
4
votes
1answer
56 views

Every possible choice of Christoffel symbols generate a valid connection

Does every possible choice of Christoffel symbols generate a valid connection? Or is there some restriction on them?
0
votes
1answer
36 views

In the standard definition of an affine connection, what does $\nabla$ stand for?

I am very confused about what $\nabla$ signifies when used to describe affine connections. In his book Riemannian Geometry, Manfredo do Carmo defines an affine connection as follows. Let ...
0
votes
1answer
42 views

Breaking down what the definition of an affine connection says

In his book Riemannian Geometry, Manfredo do Carmo defines an affine connection as follows: Let $\mathcal{X}(M)$ denote the set of all vector fields of class $C^{\infty}$ on $M$. Let ...
1
vote
1answer
96 views

Laplace-de Rham operator

Consider an operator $\partial = (-1)^k \star^{-1}\,d\star: \Omega^k(\mathbb{R}^n) \to \Omega^{k-1}(\mathbb{R}^n)$. Note that we equivalently can write $\partial = (-1)^{nk + n + 1} \star\,d\star$. ...