Congruence (manifolds)


In the theory of smooth manifolds, a congruence is the set of integral curves defined by a nonvanishing vector field defined on the manifold.
Congruences are an important concept in general relativity, and are also important in parts of Riemannian geometry.

A motivational example

The idea of a congruence is probably better explained by giving an example than by a definition. Consider the smooth manifold R². Vector fields can be specified as first order linear partial differential operators, such as
These correspond to a system of first order linear ordinary differential equations, in this case
where dot denotes a derivative with respect to some parameter. The solutions of such systems are families of parameterized curves, in this case
This family is what is often called a congruence of curves, or just congruence for short.
This particular example happens to have two singularities, where the vector field vanishes. These are fixed points of the flow. These two singularities correspond to two points, rather than two curves. In this example, the other integral curves are all simple closed curves. Many flows are considerably more complicated than this. To avoid complications arising from the presence of singularities, usually one requires the vector field to be nonvanishing.
If we add more mathematical structure, our congruence may acquire new significance.

Congruences in Riemannian manifolds

For example, if we make our smooth manifold into a Riemannian manifold by adding a Riemannian metric tensor, say the one defined by the line element
our congruence might become a geodesic congruence. Indeed, in the example from the preceding section, our curves become geodesics on an ordinary round sphere. If we had added the standard Euclidean metric instead, our curves would have become circles, but not geodesics.
An interesting example of a Riemannian geodesic congruence, related to our first example, is the Clifford congruence on P³, which is also known at the Hopf bundle or Hopf fibration. The integral curves or fibers respectively are certain pairwise linked great circles, the orbits in the space of unit norm quaternions under left multiplication by a given unit quaternion of unit norm.

Congruences in Lorentzian manifolds

In a Lorentzian manifold, such as a spacetime model in general relativity, congruences are called timelike, null, or spacelike if the tangent vectors are everywhere timelike, null, or spacelike respectively. A congruence is called a geodesic congruence if the tangent vector field has vanishing covariant derivative,.