Fundamental Theorem of Riemannian Geometry

Get Fundamental Theorem of Riemannian Geometry essential facts below. View Videos or join the Fundamental Theorem of Riemannian Geometry discussion. Add Fundamental Theorem of Riemannian Geometry to your PopFlock.com topic list for future reference or share this resource on social media.
## Geodesics defined by a metric or a connection

## Proof of the theorem

## The Koszul formula

## Notes

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Fundamental Theorem of Riemannian Geometry

In Riemannian geometry, the **fundamental theorem of Riemannian geometry** states that on any Riemannian manifold (or pseudo-Riemannian manifold) there is a unique torsion-free metric connection, called the **Levi-Civita connection** of the given metric. Here a **metric** (or **Riemannian**) connection is a connection which preserves the metric tensor. More precisely:

Fundamental Theorem of Riemannian Geometry.Let (M,g) be a Riemannian manifold (or pseudo-Riemannian manifold). Then there is a unique connection ? which satisfies the following conditions:

- for any vector fields
X,Y,Zwe have

- where denotes the derivative of the function along vector field
X.

- for any vector fields
X,Y,

- where [
X,Y] denotes the Lie bracket for vector fieldsX,Y.

The first condition means that the metric tensor is preserved by parallel transport, while the second condition expresses the fact that the torsion of ? is zero.

An extension of the fundamental theorem states that given a pseudo-Riemannian manifold there is a unique connection preserving the metric tensor with any given vector-valued 2-form as its torsion. The difference between an arbitrary connection (with torsion) and the corresponding Levi-Civita connection is the contorsion tensor.

The following technical proof presents a formula for Christoffel symbols of the connection in a local coordinate system. For a given metric this set of equations can become rather complicated. There are quicker and simpler methods to obtain the Christoffel symbols for a given metric, e.g. using the action integral and the associated Euler-Lagrange equations.

A metric defines the curves which are geodesics ; but a connection also defines the geodesics (see also parallel transport). A connection is said to be equal to another in two different ways:^{[1]}

- obviously if for every pair of vectors fields
- if and define the same geodesics
**and**have the same torsion

This means that two different connections can lead to the same geodesics while giving different results for some vector fields.

Because a metric also defines the geodesics of a differential manifold, for some metric there is not only one connection defining the same geodesics (some examples can be found of a connection on leading to the straight lines as geodesics but having some torsion in contrary to the trivial connection on , i.e. the usual directional derivative) , and given a metric, the only connection which defines the same geodesics (which leaves the metric unchanged by parallel transport) **and** which is torsion-free is the Levi-Civita connection (which is obtained from the metric by differentiation).

Let *m* be the dimension of *M* and, in some local chart, consider the standard coordinate vector fields

Locally, the entry *g _{ij}* of the metric tensor is then given by

To specify the connection it is enough to specify, for all *i*, *j*, and *k*,

We also recall that, locally, a connection is given by *m*^{3} smooth functions

where

The torsion-free property means

On the other hand, compatibility with the Riemannian metric implies that

For a fixed, *i*, *j*, and *k*, permutation gives 3 equations with 6 unknowns. The torsion free assumption reduces the number of variables to 3. Solving the resulting system of 3 linear equations gives unique solutions

This is the **first Christoffel identity**.

Since

where we use Einstein summation convention. That is, an index repeated subscript and superscript implies that it is summed over all values. Inverting the metric tensor gives the **second Christoffel identity**:

Once again, with Einstein summation convention. The resulting unique connection is called the **Levi-Civita connection**.

An alternative proof of the Fundamental theorem of Riemannian geometry proceeds by showing that a torsion-free metric connection on a Riemannian manifold *M* is necessarily given by the **Koszul formula**:

where the vector field acts naturally on smooth functions on the Riemannian manifold (so that ).

Assuming the existence of a connection that is symmetric, , and compatible with the metric, , the sum can be simplified using the symmetry property. This results in the Koszul formula.

The expression for therefore uniquely determines . Conversely the Koszul formula can be used to define and it is routine to verify that is an affine connection, which is symmetric and compatible with the metric *g*. (The right hand side defines a vector field because it is C^{?}(*M*)-linear in the variable .) ^{[2]}

**^**Spivak 1999, p. 249**^**do Carmo 1992, p. 55

- do Carmo, Manfredo (1992),
*Riemannian geometry*, Mathematics: Theory & Applications, Birkhäuser, ISBN 0-8176-3490-8 - Spivak, Michael (1999),
*A Comprehensive Introduction to Differential Geometry, Volume 2*(PDF) (3rd ed.), Publish-or-Perish Press

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists