Ricci curvature

From Diffgeom
Revision as of 03:42, 31 August 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

In terms of Ricci curvature tensor

Let M be a differential manifold and g a Riemannian metric on M. The Ricci curvature on g is a function from P(TM) to <math\R</math> (tangent directions at points, to real numbers) that associates to a particular tangent direction the value Ric(X,X) where X is a unit tangent vector in that direction.

In terms of sectional curvature

Another way of defining the Ricci curvature is in terms of the sectional curvature. Let (M,g) be a Riemannian manifold, pM and X a unit tangent vector at p. Let e1,e2,en be an orthonormal basis at p such that e1=X. Then the Ricci curvature of X is defined as:

i=2nK(e1,ei)

By K(e1,ei) is meant the sectional curvature of the plane spanned by e1 and ei.

In terms of Riemann curvature tensor

We now define the Ricci curvature directly in terms of the Riemann curvature tensor, and this definition explains both the above definitions. The Ricci curvature at a point, for a tangent direction with unit tangent vector X, is defined as:

Tr(ZR(X,Z)X)

or equivalently, if we choose an orthonormal basis with X=e1 as:

i=2nR(X,ei,X,ei)

This gives the above two definitions.

Facts

The Ricci curvature tensor is determined by the Ricci curvature

By the polarization trick, we can compute the Ricci curvature tensor from the Ricci curvature. This is based on the following facts:

  • The Ricci curvature tensor is symmetric
  • A symmetric bilinear form is completely determined by the values it takes on pairs (X,X) because of the identity:

b(X,Y)=1/2(b(X+y,X+Y)b(X,X)b(Y,Y))

  • In particular, it is determined by the values taken at all pairs (X,X) for a unit vector X because every vector is a scalar multiple of a unit vector