Ricci curvature: Difference between revisions

From Diffgeom
m (4 revisions)
Line 31: Line 31:
''This is analogous to how the [[sectional curvature]] determined the [[Riemman curvature tensor of Levi-Civita connection|Riemann curvature tensor]]''
''This is analogous to how the [[sectional curvature]] determined the [[Riemman curvature tensor of Levi-Civita connection|Riemann curvature tensor]]''


By the polarization trick, we can compute the Ricci curvature tensor from the Ricci curvature. This is based on the following facts:
{{further|[[Ricci curvature determines Ricci curvature tensor]]}}
 
This rests on two observations:


* The [[Ricci curvature tensor]] is symmetric
* The [[Ricci curvature tensor]] is symmetric
Line 38: Line 40:
<math>b(X,Y) = 1/2(b(X+y,X+Y) - b(X,X) - b(Y,Y))</math>
<math>b(X,Y) = 1/2(b(X+y,X+Y) - b(X,X) - b(Y,Y))</math>


* In particular, it is determined by the values taken at all pairs <math>(X,X)</math> for a unit vector <math>X</math> because every vector is a scalar multiple of a unit vector
It is also easy to see that:
 
The determination of the Ricci curvature tensor from the Ricci curvature given above can be done point-wise, i.e. given the Ricci curvature of all unit tangent vectors at a point, we can compute the Ricci curvature tensor as a bilinear form on that tangent space. In particular, it is easy to see that:


* If the Ricci curvature is constant on all unit tangent vectors at a point, then the Ricci curvature tensor at that point is that constant times the [[Riemannian metric]] restricted to that tangent space
* If the Ricci curvature is constant on all unit tangent vectors at a point, then the Ricci curvature tensor at that point is that constant times the [[Riemannian metric]] restricted to that tangent space

Revision as of 12:52, 22 May 2008

Definition

In terms of Ricci curvature tensor

Let be a differential manifold and a Riemannian metric on . The Ricci curvature on is a function from (the set of tangent directions) to (tangent directions at points, to real numbers) that associates to a particular tangent direction the value where 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 be a Riemannian manifold, and a unit tangent vector at . Let be an orthonormal basis at such that . Then the Ricci curvature of is defined as:

By is meant the sectional curvature of the plane spanned by and .

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 , is defined as:

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

This gives the above two definitions.

Facts

Ricci curvature determines Ricci curvature tensor

This is analogous to how the sectional curvature determined the Riemann curvature tensor

Further information: Ricci curvature determines Ricci curvature tensor

This rests on two observations:

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

It is also easy to see that:

  • If the Ricci curvature is constant on all unit tangent vectors at a point, then the Ricci curvature tensor at that point is that constant times the Riemannian metric restricted to that tangent space

The converse is also true.

  • Thus, the Ricci curvature is constant on all unit tangent vectors at all points if and only if the Ricci curvature tensor is that constant times the Riemannian metric. Such Riemannian metrics are termed Einstein metrics and the constant of proportionality is termed the cosmological constant.

Ricci curvature for constant-curvature metrics

The Ricci curvature at a unit tangent vector has been defined as a sum of sectional curvatures for an orthonormal basis involving that unit tangent vector. In particular, if the sectional curvature is constant for all tangent planes at the given point, then the Ricci curvature is times that constant. Thus, any constant-curvature metric is an Einstein metric and the cosmological constant is times the constant curvature.