Connections, Covariant Differentiation, and Parallel Transport

Tensor components at different points cannot be subtracted until a comparison rule is chosen. An affine connection provides that rule through covariant differentiation and parallel transport. Its coefficients are basis dependent, whereas torsion, the difference between connections, and transport maps are geometric. A metric singles out the unique torsion-free compatible choice—the Levi-Civita connection—and normal coordinates reveal exactly how far that local simplification extends.

Required background. Tensor Fields and Natural Operations develops tensor fields and coordinate changes; Pseudo-Riemannian Metrics and Signature develops nondegenerate metrics and index operations.

Helpful background. Calculus and Linear Algebra for Relativity reviews directional derivatives and linear ODEs; Vector Fields, Flows, and Lie Brackets supplies the bracket used to define torsion.

Differentiation beyond one tangent space

An affine connection is defined by the rules

$$\nabla_{fX}Y=f\nabla_XY, \qquad \nabla_X(fY)=X(f)Y+f\nabla_XY.$$

It extends to every tensor type by the Leibniz rule and compatibility with contractions. In coordinates,

$$\nabla_\mu V^\rho =\partial_\mu V^\rho+\Gamma^\rho{}_{\mu\nu}V^\nu.$$

Neither term on the right is independently tensorial under a nonlinear coordinate change. The inhomogeneous transformation of $\Gamma$ cancels the second-derivative term in $\partial V$, making their sum geometric.

Along a curve, the equation $\nabla_{\dot\gamma}V=0$ becomes a linear ODE. Its solution is an invertible endpoint map called parallel transport. This is the connection’s operational content: it says which vector at the endpoint counts as unchanged from the initial one. Calegari develops this passage from connections to transport in Calegari 2022, §5.2, pp. 42–44, PDF.

Six pages in dependency order

• Affine Connections and Covariant Derivatives gives the axioms and extends differentiation to arbitrary tensors while keeping torsion and nonmetricity explicit.
• Connection Coefficients and Coordinate Change derives the full inhomogeneous law and explains what can vanish in a chosen frame or chart.
• Parallel Transport Along Curves solves the transport ODE, proves composition and inversion, and calculates spherical holonomy.
• Torsion and the Difference of Connections proves that connection differences are tensors and includes frame anholonomy in the torsion formula.
• The Levi-Civita Connection proves existence and uniqueness from metric compatibility and zero torsion using Koszul’s formula.
• Normal Coordinates and Local Metric Expansions constructs exponential coordinates and identifies curvature in the quadratic metric coefficient.

A first pass toward general relativity can read the affine, coefficient, Levi-Civita, and normal-coordinate pages, then continue to curvature. A geometric-comparison route should add parallel transport before curvature. A reader studying generalized affine geometry should not skip torsion and nonmetricity: Levi-Civita is a specialization, not the definition of a connection.

Three distinctions that prevent errors

The first distinction is coefficients versus tensors. One may set $\Gamma^\rho{}_{\mu\nu}(p)=0$ for a torsion-free connection by a coordinate choice, yet derivatives of $\Gamma$ and curvature can remain. Nonzero polar coefficients in flat space likewise do not imply curvature.

The second is arbitrary connection versus Levi-Civita connection. Parallel transport preserves the metric only if $\nabla g=0$. Torsion vanishes only if $\nabla_XY-\nabla_YX=[X,Y]$. Imposing both conditions on a nondegenerate metric yields the unique Christoffel formula; neither condition follows from the word “connection.”

The third is local simplification versus path information. A frame may be parallel along one curve, and normal coordinates may erase coefficients at one point. Transport around a loop can still be nontrivial. Small-loop holonomy leads into curvature, whereas global holonomy can also retain topological information.

Tong presents connections, their coordinate laws, and local normal coordinates in Tong 2019, §§3.2–3.3, pp. 100–129, PDF.

Standard diagnostic

On the punctured Euclidean plane use polar coordinates with

$$ds^2=dr^2+r^2d\phi^2.$$

Find the Levi-Civita coefficients, verify that the Cartesian constant vector $V=\partial_x$ is covariantly constant, and determine whether the connection has torsion.

Solution

The Christoffel formula gives

$$\Gamma^r{}_{\phi\phi}=-r, \qquad \Gamma^\phi{}_{r\phi} =\Gamma^\phi{}_{\phi r}=\frac1r.$$

Since

$$V=\cos\phi\,\partial_r-\frac{\sin\phi}{r}\partial_\phi,$$

its component derivatives do not vanish. The connection terms cancel them:

$$\nabla_\phi V^r =-\sin\phi+(-r)\left(-\frac{\sin\phi}{r}\right)=0, \qquad \nabla_\phi V^\phi =-\frac{\cos\phi}{r}+\frac{\cos\phi}{r}=0,$$

and the $r$ derivatives vanish as well. The lower coefficient pair is symmetric, so $T^\rho{}_{r\phi}=0$ in this coordinate basis. Thus nonzero coefficients coexist with flat, torsion-free transport.

Onward to curvature and geodesics

After this chapter a reader can test whether a proposed derivative is a connection, transform its coefficients, solve parallel transport, separate torsion from frame anholonomy, derive the Levi-Civita formula, and state exactly what normal coordinates remove. The next chapter uses the commutator of covariant derivatives and infinitesimal loop transport to define curvature. The following geodesics chapter uses the same connection to develop exponential maps and neighboring curves.

A compact readiness test is to perform the same calculation in Cartesian coordinates, polar coordinates, and an orthonormal polar frame. The geometric derivative of a Cartesian constant vector must vanish in all three descriptions. Polar coordinate coefficients are nonzero, while the orthonormal frame has a nonzero commutator. The covariant result and torsion remain unchanged once every term is included. Then ask what would change for a connection with nonmetricity: parallel transport would no longer preserve the vector’s norm, even though the transport ODE and its endpoint map would still exist. Passing this test shows that coefficients, frame anholonomy, torsion, and metric compatibility are being kept conceptually separate.

This chapter does not classify curvature or assign field equations to a connection. It also does not assume that torsion or nonmetricity is dynamical—or absent—until a stated specialization requires it.

References

• Calegari, Danny. Introduction to Differential Geometry. Preliminary version, May 26, 2022, University of Chicago, §5.2, pp. 42–44. Course PDF.
• Tong, David. General Relativity. University of Cambridge lecture notes, 2019, §§3.2–3.3, pp. 100–129. Official course PDF.

Further reading

• Calegari, Danny. Introduction to Differential Geometry. Preliminary version, May 26, 2022, University of Chicago, §§4.1–5.3, pp. 31–45. Course PDF.