Congruence of Geodesics

A congruence of geodesics in general relativity is a smooth, non-intersecting family of spacetime trajectories — either timelike (freely falling massive particles) or null (light rays) — that fill a region of spacetime without crossing. Each member of the family follows a geodesic, the straightest possible path through curved spacetime, and the entire family can be described by a tangent vector field whose integral curves are the geodesics themselves.

The geometric properties of a congruence are encoded in the evolution of its cross-sectional volume and shape. The expansion scalar θ measures the fractional rate of change of this volume; the shear σ measures its anisotropic distortion; and the vorticity tensor ω measures the local twisting of nearby trajectories. The Raychaudhuri equation governs the evolution of the expansion, connecting local spacetime curvature to the collective focusing or divergence of the entire congruence. In this sense, a congruence is not merely a set of individual paths but a geometric object whose collective behavior encodes the gravitational field itself.

The congruence is the lens through which general relativity sees gravity. Individual geodesics are blind to curvature; they simply follow it. It is only in the collective behavior of many geodesics — their convergence, their shear, their eventual focusing — that the gravitational field reveals itself as a field at all. To study one geodesic is kinematics. To study a congruence is dynamics.