Curvature, Holonomy, and Geometric Invariants

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Curvature measures the local path dependence of parallel transport. For a torsion-free connection, it is the obstruction to finding coordinates with vanishing connection coefficients throughout a sufficiently small neighborhood. It appears as a covariant-derivative commutator, the leading failure of parallel transport around a small loop, a family of curvatures assigned to tangent two-planes, and a hierarchy of invariant data. This chapter develops those viewpoints together so that signs, contractions, local information, and global holonomy remain mutually consistent.

Required background. Affine Connections and Covariant Derivatives supplies the general connection and tensor-derivative framework used to define curvature.

Helpful background. Calculus and Linear Algebra for Relativity supplies derivatives, linear maps, bilinear forms, and eigenstructure; Exterior Algebra and Differential Forms supplies alternating forms and wedge products. Tensor and Geometry Bridge offers a shorter review of the notation.

From transport to invariant geometry

Connection coefficients can be nonzero in flat curvilinear coordinates, so they are not themselves curvature. The tensor

R(X,Y)Z =\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z

is tensorial because all derivatives of multiplying functions cancel. For a torsion-free connection, with the site convention, $[\nabla_\mu,\nabla_\nu]V^\rho=R^\rho{}_{\sigma\mu\nu}V^\sigma$ and the commutator on a covector carries the opposite sign. Start with The Riemann Curvature Tensor if that operator definition or the flat-polar cancellation is not yet automatic.

For a Levi–Civita connection, metric compatibility and torsion freedom impose pair antisymmetries, pair exchange, and the algebraic Bianchi identity. Those reduce the component count and enable the Weyl–Ricci–scalar split. Algebraic Curvature Symmetries and Decomposition is the route for tensor structure and dimension-dependent information.

The detailed derivations in this chapter are consistent with Tong 2019, §§3.2–3.4, pp. 100–132, whose signature and curvature convention match the site convention. The chapter remains geometric: the Einstein equation, stress–energy, and physical tidal interpretation enter later.

Three routes through the chapter

For a first relativity course, read the Riemann page, then Ricci, Scalar, and Einstein Tensors, and finish with The Bianchi Identities. This route explains why the Einstein combination is divergence free without assuming gravitational dynamics.

For differential geometry, follow Riemann to the algebraic decomposition and then Sectional Curvature and Holonomy. Sectional curvature is defined only for nondegenerate two-planes in indefinite signature. Infinitesimal loop transport generates restricted holonomy, while full holonomy can retain noncontractible-loop information even for a flat connection.

For metric comparison, first review the decomposition, then read Abstract Curvature Invariants and the Cartan Equivalence Problem. Scalar polynomial invariants are efficient inequivalence tests, but equal scalars are not universally complete in Lorentzian signature. Nonflat VSI pp-waves and Minkowski space can share the same vanishing scalar set; normalized frame components and their derivatives recover information discarded by contraction.

Recurring checks

Four examples expose most sign or scope mistakes:

Euclidean polar coordinates have nonzero Christoffel symbols but zero Riemann curvature.
A round sphere of radius $a$ has positive sectional curvature $K=1/a^2$ with the adopted convention.
In $n$ dimensions, constant curvature gives $R_{ab}=(n-1)Kg_{ab}$ , $R=n(n-1)K$ , and $G_{ab}=-(n-1)(n-2)Kg_{ab}/2$ .
A nonflat VSI pp-wave can have every scalar polynomial curvature invariant equal to zero.

The constant-curvature family also checks the algebraic and differential Bianchi identities. Because $\nabla g=0$ and $K$ is constant, the cyclic derivative vanishes. In four dimensions the component count $20=10+9+1$ verifies the Weyl, trace-free Ricci, and scalar split. These checks are more discriminating than confirming only that formulas render.

Distinctions to keep sharp

Curvature is local; full holonomy can be global. Ricci is a trace; Weyl may remain when Ricci vanishes. Scalar curvature is one contraction; its vanishing does not imply flatness. Sectional curvature uses a two-plane; the usual quotient is undefined for a degenerate null plane. A coordinate singularity is not a curvature singularity, and no single scalar diagnostic settles extendibility or global equivalence.

Likewise, $\nabla^aG_{ab}=0$ is a differential-geometric identity. It makes $G_{ab}$ structurally suitable for field equations but does not derive those equations. Concrete spacetime classification belongs to the Spacetimes volume; physical curvature interpretation belongs to General Relativity; global causal and extension questions belong to Global Structure and Mathematical Relativity.

Chapter review

As a diagnostic, suppose an $n$ -dimensional Levi–Civita metric has constant sectional curvature $K$ . Derive its Ricci tensor, scalar curvature, and Einstein tensor; then determine whether the result alone proves that two globally distinct constant-curvature quotients are isometric.

Solution

Begin with $R_{abcd}=K(g_{ac}g_{bd}-g_{ad}g_{bc})$ . Contract the first and third indices:

R_{bd}=(n-1)Kg_{bd}.

A second contraction gives $R=n(n-1)K$ , so

G_{ab}=R_{ab}-\frac12Rg_{ab} =-\frac{(n-1)(n-2)}{2}Kg_{ab}.

This verifies the signs and contractions. It determines the local constant-curvature model but not global identifications: different quotients may be locally isometric and share every local curvature invariant while differing in topology and full holonomy. Additional global data are required.

After this chapter, the natural continuation is Geodesics, Exponential Maps, and Jacobi Fields, where curvature controls the linearized separation of distinguished curves.

References

David Tong, General Relativity, University of Cambridge Part III Mathematical Tripos lecture notes, 2019. PDF.