# Difference between revisions of "Second Bianchi identity"

From Diffgeom

m (2 revisions) |
|||

Line 1: | Line 1: | ||

==Statement== | ==Statement== | ||

− | Let <math>\nabla</math> be a [[linear connection]] and <math>R</math> be the [[Riemann curvature tensor]] of <math>\nabla</math>. Then <math>R</math> can itself be differentiated via <math>\nabla</math>, since <math>R</math> is a <math>(1,3)</math>-tensor and we can define the connection on all <math>(p,q)</math>-tensors. With this meaning, the following cyclic summation is zero: | + | Let <math>\nabla</math> be a [[fact about::linear connection]] and <math>R</math> be the [[fact about::Riemann curvature tensor]] of <math>\nabla</math>. Then <math>R</math> can itself be differentiated via <math>\nabla</math>, since <math>R</math> is a <math>(1,3)</math>-tensor and we can define the connection on all <math>(p,q)</math>-tensors. With this meaning, the following cyclic summation is zero: |

<math>(\nabla_X R)(Y,Z) + (\nabla_Y R) (Z,X) + (\nabla_Z R)(X,Y) = 0</math> | <math>(\nabla_X R)(Y,Z) + (\nabla_Y R) (Z,X) + (\nabla_Z R)(X,Y) = 0</math> |

## Latest revision as of 01:23, 24 July 2009

## Statement

Let be a linear connection and be the Riemann curvature tensor of . Then can itself be differentiated via , since is a -tensor and we can define the connection on all -tensors. With this meaning, the following cyclic summation is zero:

This result is known as the **second Bianchi identity** and also as the **differential Bianch identity**.

## Proof

To prove this we look more closely at what means.

must satisfy the following compatibility condition:

We now concentrate on all the other terms.

## Applications

The second Bianchi identity is typically used for the studyo of manifolds of dimension three or higher, since we can choose as linearly independent at a particular point. Some examples of its application:

- Schur's theorem which states that if the sectional curvature of a manifold of dimension at least 3 depends only on the point and not on the choice of tangent plane, then it is in fact constant at all points. The idea here is to show that the scalar function defined by the sectional curvature has zero derivative. To prove this, we employ the second Bianchi identity by choosing as linearly independent
- Gradient estimates for scalar curvature, which are used for studying things like the Ricci flow on higher-dimensional manifolds