##
Identities for the curvature tensor *November 11, 2009*

*Posted by Akhil Mathew in differential geometry, MaBloWriMo.*

Tags: Bianchi identity, connections, curvature tensor, eponymy, Riemannian metrics

trackback

Tags: Bianchi identity, connections, curvature tensor, eponymy, Riemannian metrics

trackback

It turns out that the curvature tensor associated to the connection from a Riemannian pseudo-metric has to satisfy certain conditions. (As usual, we denote by the Levi-Civita connection associated to , and we assume the ground manifold is smooth.)

First of all, we have **skew-symmetry**

This is immediate from the definition.

Next, we have another variant of skew-symmetry:

Proposition 1

This is equivalent to

for vector fields (and ). If commute, which we assume without loss of generality, then

Now we can use the connection derivative identity twice to get something like , which is as follows.

We thus get an expression of as the difference of two quantities symmetric in , hence so is . This implies that .

The next is the algebraic **Bianchi identity**:

Theorem 2 (First Bianchi Identity)The symmetrization fo is , i.e.

I guess this is Stigler’s law of eponymy again—Ricci discovered (1). The three quantities are tensors, so to check that the sum is zero, we need only evaluate on vector fields that commute with each other. In that case,

This is a mess, but we can simplify it by reordering the terms into three pieces:

Each of these terms vanishes, because commute and the connection is symmetric. The Bianchi identity can be generalized to arbitrary connections, but they become much more cumbersome and messy. What we have shown is that (1) is true for an arbitrary symmetric connection.

## Comments»

No comments yet — be the first.