Ricci curvature tensor: Difference between revisions

Revision as of 03:22, 31 August 2007

This article defines a tensor (viz a section on a tensor bundle over the manifold) of type (0,2)

Description

Given data

A differential manifold $M$ with a linear connection $\nabla$ on it.

Definition part

The Ricci curvature tensor is a $(0,2)$ -tensor that takes as input two vector fields and outputs a scalar function, as follows.

Let $X$ and $Y$ be two vector fields. Then consider the map that sends a vector field $Z$ to $R(X,Z)Y$ (here $R$ denotes the Riemann curvature tensor).

This is a linear map. The Ricci curvature function $Ric(X,Y)$ is defined as the trace of this map.

Explicitly, it is given by:

$Tr(Z\mapsto \nabla _{X}\nabla _{Z}Y-\nabla _{Z}\nabla _{X}Y-\nabla _{[X,Z]}Y$

The Ricci curvature function is a tensor because the Riemann curvature function is also a tensor.

For a Riemannian or pseudo-Riemannian manifold

Further information: Ricci curvature tensor of Levi-Civita connection

For a Riemannian manifold or pseudo-Riemannian manifold, we can give the Levi-Civita connection, a natural choice of linear connection. The Ricci curvature tensor of this connection, is termed the Ricci curvature tensor of the Riemannian or pseudo-Riemannian manifold.

@@ Line 5: / Line 5: @@
 ===Given data===
-A manifold <math>M</math> with a [[linear connection]] <math>\nabla</math> on it. For instance, we may take a Riemannian manifold and consider the [[Levi-Civita connection]] on it.
+A [[differential manifold]] <math>M</math> with a [[linear connection]] <math>\nabla</math> on it.
 ===Definition part===
@@ Line 11: / Line 11: @@
 The Ricci curvature tensor is a <math>(0,2)</math>-tensor that takes as input two vector fields and outputs a scalar function, as follows.
-Let <math>X</math> and <math>Y</math> be two vector fields. Then consider the map that sends a vector field <math>Z</math> to <math>R(X,Z)Y</math> (here <math>R</math> denotes the [[Riemann curvature tensor]]).
+Let <math>X</math> and <math>Y</math> be two [[vector field]]s. Then consider the map that sends a vector field <math>Z</math> to <math>R(X,Z)Y</math> (here <math>R</math> denotes the [[Riemann curvature tensor]]).
 This is a linear map. The Ricci curvature function <math>Ric(X,Y)</math> is defined as the trace of this map.
-The Ricci curvature function is a tensor because the Riemann curvature function is also a tensor.
+Explicitly, it is given by:
-==Properties==
+<math>Tr(Z \mapsto \nabla_X\nabla_ZY - \nabla_Z\nabla_XY - \nabla_{[X,Z]}Y</math>
-===Symmetry===
+The Ricci curvature function is a tensor because the Riemann curvature function is also a tensor.
-The Ricci curvature function is symmetric, viz <math>Ric(X,Y) = Ric(Y,X)</math>.
-==Related notions==
-===Ricci curvature===
-The Ricci curvature is closely related to the Ricci curvature function and is defined as follows. It associates to each one-dimensional subspace, the value <math>Ric(X,X)</math> for any unit vector in that one-dimensional subspace.
-The following turns out to be a way of computing the Ricci curvature of a one-dimensional space. Take a unit vector in that subspace, and complete it to an orthonormal basis of the tangent space at the point. Now, add up the values of the sectional curvature for the subspaces spanned by this unit vector with each other unit vector in that orthonormal basis.
-Note that the Ricci curvature at one-dimensional spaces determines the Ricci curvature tensor by means of polarization.
-===Related properties of metrics===
-* [[Einstein metric]] is one where the Ricci curvature tensor is a constant multiple of the metric tensor.
+===For a Riemannian or pseudo-Riemannian manifold===
-* [[Ricci-flat metric]] is one where the Ricci curvature tensor vanishes identically (or equivalently, the Ricci curvature is zero for all one-dimensional subspaces)
-==Flow==
+{{further|[[Ricci curvature tensor of Levi-Civita connection]]}}
-Given any [[flow of a metric]], we get a corresponding flow of the Ricci curvature tensor. Note that the Ricci curvature tensor is of the same type (a <math>(0,2)</math>-tensor) as the metric tensor, hence we can actually compare the metric tensor with the Ricci curvature tensor.
+For a [[Riemannian manifold]] or [[pseudo-Riemannian manifold]], we can give the [[Levi-Civita connection]], a natural choice of [[linear connection]]. The Ricci curvature tensor of this connection, is termed the Ricci curvature tensor of the Riemannian or pseudo-Riemannian manifold.