Levi-Civita Connection

Core Idea

The Levi-Civita connection is the unique connection on a Riemannian manifold that is both torsion-free (∇_X Y - ∇_Y X = [X,Y]) and metric-compatible (∇g = 0, meaning parallel transport preserves inner products). Its existence and uniqueness — the Fundamental Theorem of Riemannian Geometry — means the Riemannian metric alone determines all of Riemannian geometry: connections, geodesics, curvature, and parallel transport.

Explainer

A smooth manifold admits many connections — they form an affine space (the difference of two connections is a tensor). On a Riemannian manifold, two natural conditions single out a unique connection. Metric compatibility (∇g = 0) says the connection "respects the metric": parallel transport preserves inner products, so lengths, angles, and volumes are unchanged by transport. Torsion-free (T(X,Y) = ∇_X Y - ∇_Y X - [X,Y] = 0) says the connection has no "twisting" beyond what the vector fields' flows naturally produce.

The Fundamental Theorem of Riemannian Geometry states: given a Riemannian metric g, there exists a unique connection ∇ that is both metric-compatible and torsion-free. This is the Levi-Civita connection. The proof is constructive — the Koszul formula gives ∇ explicitly: 2g(∇_X Y, Z) = X(g(Y,Z)) + Y(g(X,Z)) - Z(g(X,Y)) + g([X,Y],Z) - g([X,Z],Y) - g([Y,Z],X). In coordinates, this yields the Christoffel symbol formula Γᵏᵢⱼ = ½gᵏˡ(∂ᵢgⱼₗ + ∂ⱼgᵢₗ - ∂ₗgᵢⱼ). The metric alone determines everything.

The significance of this theorem cannot be overstated. It means that specifying a Riemannian metric on a manifold automatically gives you: a connection (hence covariant derivatives), parallel transport, geodesics, and curvature. All of Riemannian geometry flows from a single datum — the metric tensor gᵢⱼ. In general relativity, the spacetime metric encodes the gravitational field, and the Levi-Civita connection determines the freefall trajectories (geodesics) and tidal forces (curvature). Einstein's equations relate the curvature derived from g to the matter content of spacetime.

Normal coordinates provide a powerful computational tool. At any point p, you can choose coordinates in which gᵢⱼ(p) = δᵢⱼ (the identity matrix) and Γᵏᵢⱼ(p) = 0. In these coordinates, the connection looks flat at the point p, and curvature appears only in the second-order terms of the Taylor expansion of gᵢⱼ. Specifically, gᵢⱼ(x) = δᵢⱼ - ⅓Rᵢₖⱼₗ(p) xᵏxˡ + O(|x|³). This shows that the Riemann curvature tensor is the leading obstruction to flatness — the first correction to the Euclidean metric in a Taylor expansion. Normal coordinates simplify many local computations and make the geometric content of formulas transparent.