The Levi-Civita Connection

One-line statement: The Levi-Civita connection is the unique affine connection on a (pseudo-)Riemannian manifold that is both torsion-free and compatible with the metric. Key result in words: Given any metric tensor, there exists exactly one way to differentiate vector fields that respects lengths/angles and has no intrinsic "twisting," and its coefficients are the Christoffel symbols computed from the metric. Where it applies: Riemannian and pseudo-Riemannian geometry, general relativity, gauge theory backgrounds, geometric mechanics, comparison geometry. Who/when: Tullio Levi-Civita and Gregorio Ricci-Curbastro (parallel transport, ~1900–1917); rooted in Christoffel (1869) and Riemann (1854).

The Levi-Civita connection is the canonical covariant derivative $\nabla$ associated to a (pseudo-)Riemannian metric $g$ on a smooth manifold $M$ . It is singled out among all affine connections by two conditions: metric compatibility ( $\nabla g = 0$ ) and vanishing torsion ( $T \equiv 0$ ). The fundamental theorem of Riemannian geometry asserts that these two requirements determine $\nabla$ uniquely, and its explicit form is given by the Koszul formula or, in coordinates, by the Christoffel symbols of the second kind. This object underlies essentially all metric differential geometry: geodesics, curvature, parallel transport, and the entire Riemann curvature tensor are built from it. The surprising fact is that something as rigid as a unique differentiation rule emerges from the seemingly weak demands that we preserve inner products and refuse to introduce twisting — geometry forces the connection upon us.

The Core Insight

A metric tells you how to measure lengths and angles at each point, but says nothing a priori about how to compare vectors at different points. A connection supplies that comparison (parallel transport / covariant differentiation). There are infinitely many connections, but if we insist that (i) transporting vectors preserves their inner products and (ii) the connection introduces no "rotation defect" along infinitesimal parallelograms (torsion-free), then exactly one connection survives. Differentiation in metric geometry is therefore not a choice — it is a consequence of the metric.

Formal Statement

Affine Connection

An affine (linear) connection on a smooth manifold $M$ is an $R$ -bilinear map

\nabla : Γ (T M) \times Γ (T M) \to Γ (T M), (X, Y) \mapsto \nabla_{X} Y,

⟳This is a definition; bilinearity over

R

is required before imposing the tensorial/Leibniz axioms below.

satisfying $C^{\infty} (M)$ -linearity in the first slot and the Leibniz rule in the second:

\nabla_{f X} Y = f \nabla_{X} Y, \nabla_{X} (f Y) = (X f) Y + f \nabla_{X} Y,

⟳The first slot is tensorial (pointwise), so

\nabla_{X} Y ∣_{p}

depends only on

X_{p}

; the second slot is a derivation, hence carries the

(X f) Y

term.

for all $X, Y \in Γ (T M)$ and $f \in C^{\infty} (M)$ . Here $Γ (T M)$ denotes smooth vector fields.

Torsion Tensor

The torsion of a connection $\nabla$ is

T (X, Y) := \nabla_{X} Y - \nabla_{Y} X - [X, Y],

⟳Each term is checked to be

C^{\infty} (M)

-bilinear in

X, Y

(the Lie bracket's non-tensorial part cancels the Leibniz terms), so

T

is a genuine

(1, 2)

-tensor.

A connection is torsion-free (symmetric) when $T \equiv 0$ , i.e. $\nabla_{X} Y - \nabla_{Y} X = [X, Y]$ .

Metric Compatibility

A connection $\nabla$ is compatible with the metric $g$ if parallel transport preserves inner products, equivalently if $\nabla g = 0$ , i.e. for all vector fields $X, Y, Z$ ,

X (g (Y, Z)) = g (\nabla_{X} Y, Z) + g (Y, \nabla_{X} Z) .

⟳Apply the product rule to

g (Y, Z)

as a scalar function and interpret each factor's "derivative" as the covariant derivative;

\nabla g = 0

is precisely the statement that the metric is parallel.

Fundamental Theorem of Riemannian Geometry

Let $(M, g)$ be a (pseudo-)Riemannian manifold. There exists a unique affine connection $\nabla$ on $M$ that is simultaneously torsion-free and metric-compatible. It is called the Levi-Civita connection and is given explicitly by the Koszul formula:

2 g (\nabla_{X} Y, Z) = X g (Y, Z) + Y g (Z, X) - Z g (X, Y) + g ([X, Y], Z) - g ([Y, Z], X) + g ([Z, X], Y) .

⟳Write the metric-compatibility identity [4] three times with cyclic permutations of

(X, Y, Z)

, add two and subtract one, then use torsion-freeness [3] to convert symmetric covariant-derivative differences into Lie brackets; all

\nabla

terms collapse except

2 g (\nabla_{X} Y, Z)

Christoffel Symbols

In a coordinate chart $(x^{1}, \dots, x^{n})$ with $\partial_{i} := \partial / \partial x^{i}$ , write $\nabla_{\partial_{i}} \partial_{j} = Γ_{ij}^{k} \partial_{k}$ . The Christoffel symbols of the second kind of the Levi-Civita connection are

Γ_{ij}^{k} = \frac{1}{2} g^{k ℓ} (\partial_{i} g_{j ℓ} + \partial_{j} g_{i ℓ} - \partial_{ℓ} g_{ij}),

⟳Specialize the Koszul formula [5] to coordinate vector fields where

[\partial_{i}, \partial_{j}] = 0

, then raise the free index with the inverse metric

g^{k ℓ}

where $g_{ij} = g (\partial_{i}, \partial_{j})$ , $g^{k ℓ}$ is the inverse matrix ( $g^{k ℓ} g_{ℓ j} = δ_{j}^{k}$ ), and the Einstein summation convention is used. Note the symmetry $Γ_{ij}^{k} = Γ_{j i}^{k}$ , reflecting torsion-freeness.

Why It Holds / Derivation

Uniqueness and Existence via Koszul

We prove the fundamental theorem constructively.

Step 1 — Necessity (uniqueness). Suppose

\nabla

is torsion-free and metric-compatible. Apply [4] to the three cyclic orderings:

X g (Y, Z) Y g (Z, X) Z g (X, Y) = g (\nabla_{X} Y, Z) + g (Y, \nabla_{X} Z), = g (\nabla_{Y} Z, X) + g (Z, \nabla_{Y} X), = g (\nabla_{Z} X, Y) + g (X, \nabla_{Z} Y) .

⟳This is just [4] with

(X, Y, Z)

(Y, Z, X)

(Z, X, Y)

substituted in turn.

Step 2 — Combine. Compute (first) + (second) − (third):

X g (Y, Z) + Y g (Z, X) - Z g (X, Y) = g (\nabla_{X} Y + \nabla_{Y} X, Z) + g (\nabla_{X} Z - \nabla_{Z} X, Y) + g (\nabla_{Y} Z - \nabla_{Z} Y, X) .

⟳Carefully collect the six terms; pair those sharing a common

Z

Y

X

slot using the symmetry of

g

Step 3 — Insert torsion-freeness. Using

\nabla_{A} B - \nabla_{B} A = [A, B]

and

\nabla_{X} Y + \nabla_{Y} X = 2 \nabla_{X} Y - [X, Y]

2 g (\nabla_{X} Y, Z) = X g (Y, Z) + Y g (Z, X) - Z g (X, Y) + g ([X, Y], Z) - g ([Y, Z], X) + g ([Z, X], Y) .

⟳Substitute

\nabla_{X} Z - \nabla_{Z} X = [X, Z] = - [Z, X]

and

\nabla_{Y} Z - \nabla_{Z} Y = [Y, Z]

into [8], then isolate

2 g (\nabla_{X} Y, Z)

This is the Koszul formula. Since the right side is fully determined by $g$ and the smooth structure, and since $g$ is non-degenerate, $g (\nabla_{X} Y, \cdot)$ — hence $\nabla_{X} Y$ — is uniquely determined. Uniqueness is proved.

Step 4 — Existence. Define

\nabla_{X} Y

by declaring [9] to hold for all

Z

(possible since

g

is non-degenerate, so the right-hand functional in

Z

corresponds to a unique vector field). One then verifies directly that this

\nabla

satisfies tensoriality in

X

, the Leibniz rule in

Y

, metric compatibility, and torsion-freeness. Each is a routine algebraic check using bilinearity of brackets and the Leibniz identity.

■

Tullio Levi-Civita | 1873–1941

Italian mathematician, student and later collaborator of Gregorio Ricci-Curbastro. In his 1917 paper "Nozione di parallelismo in una varietà qualunque" he introduced the notion of parallel transport on a curved surface, giving a concrete geometric meaning to the absolute differential calculus (tensor calculus) that he and Ricci had developed in their 1900 monograph. Einstein relied on this "Ricci calculus" to formulate general relativity (1915), and the parallel-transport viewpoint clarified what curvature does to vectors moved around loops. Levi-Civita's insight transformed Christoffel's formal symbols into a geometric operation, and the connection now bears his name. He was forced from his Rome professorship in 1938 by the Fascist racial laws and died in 1941.

Building Intuition

Think of an ant walking on a curved surface carrying a tiny arrow it tries never to rotate. "Never to rotate" is ill-defined intrinsically — the surface bends — so we declare the rule: keep the arrow's length fixed and turn it as little as the surface permits. That "as little as possible, length-preserving" rule is parallel transport for the Levi-Civita connection.

Metric compatibility = the arrow keeps its length, and two transported arrows keep their angle. Inner products are frozen along the path.
Torsion-free = if you move first along $X$ then $Y$ , versus first $Y$ then $X$ , the only discrepancy in the endpoint comes from the manifold's own non-commuting flows ( $[X, Y]$ ), not from any extra intrinsic twist injected by the connection.

On a sphere, parallel-transporting a vector around a triangle returns it rotated — that residual rotation is curvature, not torsion. The Levi-Civita connection has curvature (it cannot be set to zero on a sphere) but zero torsion: the two are independent failure modes, and Levi-Civita's choice keeps the metric ones and discards the twisting one.

Parallel transport of a vector around a geodesic triangle on a sphere produces a holonomy rotation, illustrating curvature with zero torsion.

Worked Examples

Christoffel Symbols of the 2-Sphere

Given: The round sphere

S^{2}

of radius

R

with metric in spherical coordinates

(θ, ϕ)

g = R^{2} d θ^{2} + R^{2} sin^{2} θ d ϕ^{2}, g_{θ θ} = R^{2}, g_{ϕϕ} = R^{2} sin^{2} θ, g_{θ ϕ} = 0.

⟳This is the induced metric from

R^{3}

via

x = R sin θ cos ϕ

, etc.; compute

g_{ij} = \partial_{i} x \cdot \partial_{j} x

Inverse metric:

g^{θ θ} = R^{- 2}

g^{ϕϕ} = R^{- 2} sin^{- 2} θ

. Step 1 — Nonzero metric derivatives: Only

\partial_{θ} g_{ϕϕ} = 2 R^{2} sin θ cos θ

is nonzero. Step 2 — Apply [6]:

Γ_{ϕϕ}^{θ} = \frac{1}{2} g^{θ θ} (- \partial_{θ} g_{ϕϕ}) = \frac{1}{2} R^{- 2} (- 2 R^{2} sin θ cos θ) = - sin θ cos θ .

⟳In

Γ_{ϕϕ}^{θ}

the relevant term is

- \partial_{θ} g_{ϕϕ}

since the two

ϕ

-indices match and we lower with

g^{θ θ}

Γ_{θ ϕ}^{ϕ} = Γ_{ϕθ}^{ϕ} = \frac{1}{2} g^{ϕϕ} \partial_{θ} g_{ϕϕ} = \frac{1}{2} \frac{1}{R ^{2} sin ^{2} θ} (2 R^{2} sin θ cos θ) = cot θ .

⟳Here one index is

ϕ

and one is

θ

; the surviving term is

\partial_{θ} g_{ϕϕ}

raised by

g^{ϕϕ}

Boxed answer:

Γ_{ϕϕ}^{θ} = - sin θ cos θ, Γ_{θ ϕ}^{ϕ} = Γ_{ϕθ}^{ϕ} = cot θ, all others = 0.

These are dimensionless (connection coefficients have units of inverse length only when one differentiates with a dimensionful coordinate; here

θ, ϕ

are angles). Note

R

cancels entirely — consistent with the fact that the shape of geodesics on a sphere is scale-independent.

Geodesics from the Connection: Great Circles

Given: A geodesic satisfies

\nabla_{\overset{γ}{˙}} \overset{γ}{˙} = 0

, i.e.

\overset{x}{¨}^{k} + Γ_{ij}^{k} \overset{x}{˙}^{i} \overset{x}{˙}^{j} = 0.

⟳Expand

\nabla_{\overset{γ}{˙}} \overset{γ}{˙}

with

\overset{γ}{˙} = \overset{x}{˙}^{i} \partial_{i}

using the Leibniz rule [2] and

\nabla_{\partial_{i}} \partial_{j} = Γ_{ij}^{k} \partial_{k}

Use the sphere Christoffel symbols from the previous example.

Step 1 — The two equations:

\ddot{θ} - sin θ cos θ \dot{ϕ}^{2} = 0, \ddot{ϕ} + 2 cot θ \dot{θ} \dot{ϕ} = 0.

⟳For

k = θ

only

Γ_{ϕϕ}^{θ}

contributes (

\dot{ϕ}^{2}

); for

k = ϕ

the factor 2 comes from

Γ_{θ ϕ}^{ϕ} = Γ_{ϕθ}^{ϕ}

both contributing.

Step 2 — Test the equator

θ = π /2

ϕ (s) = ω s

: then

\dot{θ} = 0

\ddot{θ} = 0

cos (π /2) = 0

, so the first equation reads

0 - 0 = 0

✓; second reads

0 + 2 cot (π /2) \cdot 0 = 0

✓. Step 3 — Speed check:

∣ \overset{γ}{˙} ∣^{2} = R^{2} sin^{2} (π /2) ω^{2} = R^{2} ω^{2}

, constant, confirming an affinely parametrized geodesic. Boxed answer:

θ (s) = \frac{π}{2}, ϕ (s) = ω s is a geodesic (great circle) of speed R ω .

With

R = 6371 km

(Earth) and

ω

chosen so

R ω = 800 km/h

, this is the great-circle flight path airlines actually use.

Common Misconceptions

"Torsion-free means the connection has no curvature." False. Torsion and curvature are independent tensors. The Levi-Civita connection on a sphere is torsion-free yet has nonzero Riemann curvature — that is exactly why parallel transport around a loop rotates vectors. Torsion measures the failure of infinitesimal parallelograms to close; curvature measures the holonomy (rotation defect) of transport around closed loops. A flat torus has zero curvature; a sphere has zero torsion. Neither implies the other. " $Γ_{ij}^{k}$ is a tensor." False. Christoffel symbols transform inhomogeneously under coordinate changes (they pick up a second-derivative term). The difference of two connections is a tensor, and the torsion and curvature built from

Γ

are tensors, but

Γ

itself is not — which is why you can make all

Γ_{ij}^{k} (p) = 0

at a single point via normal coordinates, something impossible for a true tensor.

A Metric-Compatible Connection with Torsion

Metric compatibility alone does not single out Levi-Civita. On any $(M, g)$ , take the Levi-Civita connection $\nabla$ and define

\tilde{\nabla}_{X} Y := \nabla_{X} Y + \frac{1}{2} A (X, Y),

⟳A new connection differs from

\nabla

by a

(1, 2)

-tensor

A

; metric compatibility of

\tilde{\nabla}

constrains the symmetric-in-

g

part of

A

where $A$ is a tensor antisymmetric in the sense $g (A (X, Y), Z) + g (Y, A (X, Z)) = 0$ (e.g. arising from a non-zero 2-form). Then $\tilde{\nabla}$ is still metric-compatible ( $\tilde{\nabla} g = 0$ ) but has torsion $T (X, Y) = \frac{1}{2} (A (X, Y) - A (Y, X)) \neq = 0$ in general. These "metric connections with torsion" (Cartan connections) are perfectly valid and appear in Einstein–Cartan gravity. The torsion-free condition is what removes this freedom and pins down Levi-Civita uniquely.

Connections

The Levi-Civita connection is the keystone object from which the metric geometry edifice is built:

Riemann Curvature Tensor is defined as $R (X, Y) Z = \nabla_{X} \nabla_{Y} Z - \nabla_{Y} \nabla_{X} Z - \nabla_{[X, Y]} Z$ using $\nabla =$ Levi-Civita; its symmetries (e.g. $R_{ij k l} = R_{k l ij}$ ) follow from metric compatibility and torsion-freeness.
Geodesics are the curves with $\nabla_{\overset{γ}{˙}} \overset{γ}{˙} = 0$ ; for Levi-Civita these are exactly the locally length-minimizing curves, linking the connection to the Calculus of Variations.
Parallel Transport along a curve is the solution of $\nabla_{\overset{γ}{˙}} V = 0$ ; metric compatibility makes it an isometry of tangent spaces.
Ricci Curvature and Scalar Curvature are traces of the Levi-Civita Riemann tensor and feed directly into the Einstein Field Equations.
The connection is the unique metric connection whose induced Exterior Covariant Derivative on the frame bundle reduces structure group to $O (n)$ (or $O (p, q)$ ) torsion-freely, linking to Principal Bundle Connections.

Real-World Applications

General Relativity (Einstein, 1915). Spacetime is a Lorentzian 4-manifold whose Levi-Civita connection defines the covariant derivative; freely-falling bodies follow geodesics $\overset{x}{¨}^{k} + Γ_{ij}^{k} \overset{x}{˙}^{i} \overset{x}{˙}^{j} = 0$ , and the field equations relate Ricci curvature to the stress–energy tensor. GPS satellite clock corrections compute proper time along these geodesics.

Geodesic navigation / great-circle routing. Aircraft and shipping routes minimize distance on Earth's (approximately spheroidal) surface by following Levi-Civita geodesics, as in the worked example above.

Geometric mechanics and robotics. Configuration spaces of rigid bodies and robot arms carry kinetic-energy metrics; the Levi-Civita connection's geodesics are force-free motions (Jacobi/Maupertuis principle), used in motion planning and the "non-holonomic" steering of articulated systems.

Computer graphics and geometry processing. Discrete Levi-Civita connections (cotangent-Laplacian / discrete parallel transport) drive tangent-vector-field design, geodesic distance computation (heat method), and texture synthesis on meshes.

Medical imaging — diffusion tensor MRI. White-matter fiber tractography models the diffusion tensor as a Riemannian metric; geodesics and parallel transport with respect to the corresponding connection trace neural pathways.

Machine learning — information geometry & natural gradient. The Fisher information metric on a statistical manifold has a Levi-Civita connection; natural-gradient descent moves along its geodesics, improving optimization in deep learning and reinforcement learning.

Continuum mechanics / shell theory. Deformations of curved elastic shells are analyzed with the Levi-Civita connection of the surface metric, governing bending energy and stress propagation.

Historical Development

1854 — Bernhard Riemann's habilitation lecture Über die Hypothesen introduces the concept of a manifold with a metric (Riemannian metric) and the notion of curvature, though without an explicit connection.
1869 — Elwin Bruno Christoffel introduces the symbols ${_{ij}^{k}}$ (Christoffel symbols) while studying the equivalence problem for quadratic differential forms; the "covariant differentiation" formula appears implicitly.
1887–1896 — Gregorio Ricci-Curbastro develops the absolute differential calculus (tensor calculus), systematizing covariant derivatives.
1900 — Ricci and Levi-Civita publish Méthodes de calcul différentiel absolu et leurs applications in Mathematische Annalen, the foundational treatise on tensor calculus.
1915 — Albert Einstein, using the Ricci calculus, completes the general theory of relativity; the metric connection is central though not yet named.
1916 — Hermann Weyl and others begin abstracting the notion of "affine connection" beyond the metric case.
1917 — Levi-Civita publishes the concept of parallel transport (parallelismo), giving the connection its geometric meaning; nearly simultaneously Jan Schouten develops a similar idea.
1918–1923 — Hermann Weyl and Élie Cartan generalize connections (Weyl geometry, Cartan connections with torsion), clarifying by contrast that Levi-Civita's is the unique torsion-free metric one.
1963 — Kobayashi and Nomizu's Foundations of Differential Geometry gives the modern bundle-theoretic and Koszul-formula treatment that is standard today.

Subtleties & Limits

Where the clean theory frays at the edges:

Low regularity. The fundamental theorem assumes a smooth (or at least $C^{2}$ ) metric. For metrics of low regularity (e.g. $C^{0, 1}$ Lipschitz, $W^{1, p}$ , or merely continuous), the Christoffel symbols may exist only distributionally. Defining geodesics, curvature, and the connection for non-smooth / singular spaces (Alexandrov spaces, RCD spaces, gravitational shock waves) is an active program where Levi-Civita's pointwise formula breaks down and must be replaced by synthetic or measure-theoretic notions.

Degenerate metrics. The uniqueness proof crucially uses non-degeneracy of $g$ to invert the Koszul functional. On degenerate (e.g. lightlike/null) hypersurfaces and in Carrollian/Galilean geometries, no unique Levi-Civita connection exists, and one must work with families of compatible connections — a live area in non-relativistic holography and BMS symmetry.

Torsion as physics. Whether spacetime torsion is identically zero is an empirical question, not a mathematical theorem. Einstein–Cartan theory and supergravity admit torsion sourced by spin; current experiments bound but do not exclude it, leaving open whether nature truly selects the torsion-free Levi-Civita connection.

Infinite dimensions. On infinite-dimensional manifolds (loop spaces, spaces of metrics, diffeomorphism groups with weak Riemannian metrics) the Koszul formula need not define a connection — the metric may fail to be "strong," and existence of the Levi-Civita connection can fail. Characterizing when it exists (e.g. for the $L^{2}$ metric vs. Sobolev metrics on shape spaces) remains subtle.