The Levi-Civita connection is the unique symmetric connection on the tangent bundle of a Riemannian manifold or pseudo-Riemannian manifold that is compatible with the metric or pseudo-metric. The curvature and geodesics on a pseudo-Riemannian manifold are taken with respect to this connection. The existence and uniqueness of the Levi-Civita connection is the so-called fundamental theorem of Riemannian geometry.
We say in detail what this means in “first order formalism”.
an -valued form – the vielbein;
The curvature 2-form of this similarly decomposes into
the torsion ,
(this equation is also called the first Cartan structure equation)
the Riemann curvature .
(this equation is also called the second Cartan structure equation)
The Bianchi identity satisfied by this curvature is
The metric compatibility condition in the definition of Levi-Civita connection says that
The torsion-freeness condition says that
The Levi-Civita connection may be discussed in terms of its components – called Christoffel symbols – given by the canonical local trivialization of the tangent bundle over a coordinate patch. This has been the historical route and is still widely used in the literature.
Here a metric is compatible with the connection or preserved by it (here thought of in its incarnation as a covariant derivative) if and only if for all , which is equivalent to the preservation of the metric inner product of tangent vectors under parallel translation. Since
by the fact that covariant differentiation commutes with contractions and satisfies the derviative identity, compatibility is equivalent to
for all .
Uniqueness and existence on
Now assume and we have such a connection associated to .
Then the connection is uniquely determined by its Christoffel symbols, which we can determine in terms of by a bit of elementary algebra. In other words, we just need to compute . Now
We can get two other equations by cyclic permutation:
So let , by symmetry. Let ; these are smooth real functions. These equations can be written
These are three linear equations in the unknowns . The system is nonsingular, so we get a unique solution, and consequently by nondegeneracy a unique possibility for the .
Incidentally, we have in fact shown the uniqueness assertion of the general theorem, since that is local.
We shall now prove existence in this restricted case. Choose to satisfy the system of three equations outlined above where . Then set , and we have a connection with since the vector fields are a frame (i.e. a basis at each tangent space on ). It is symmetric, since the torsion vanishes (by ) on pairs , and hence identically, since it is a tensor.
We must check for compatibility. The difference of the two terms in (1) vanishes when are of the form . The vanishing holds generally because the difference of the two sides, which is , is a tensor. Hence compatibility follows.
Uniqueness and existence in the general case
We have already shown the uniqueness assertion, since that is local. Connections restrict to connections on open subsets.
We have proved the existence of when is an open submanifold of (though not necessarily with the canonical metric ). In general, cover by open subsets diffeomorphic to an open set in . We get connections on compatible with .
We claim that . This is an easy corollary of uniquness. So we can patch the connections together to get the one Levi-Civita connection on .
A discussion in terms of synthetic differential geometry is in
Gonzalo Reyes, General Relativity:
Metrics, connections and curvature (pdf)
The Riemann-Christoffel tensor (pdf)
Affine connections, parallel transport and sprays (pdf)