Congruences, Focusing, and Energy Conditions

Congruence kinematics converts curvature into the expansion, shear, and rotation of families of worldlines or light rays. The Raychaudhuri equations are exact local identities. Focusing follows only after geodesic, twist, curvature-convergence, and initial-expansion hypotheses are imposed. Energy conditions enter one step earlier, through Einstein’s equation, and remain conditional assumptions rather than universal properties of matter.

Helpful background. Special-relativistic causal vectors and tensor fields support this overview.

Enter the chapter

Start with congruence kinematics for the Raychaudhuri derivation, or with stress-energy for the energy-condition definitions. Einstein’s equation is needed when those matter inequalities are translated into curvature convergence. Applications to geodesic incompleteness require additional global causal structure.

For a unit timelike congruence in $D$ dimensions, the rest-space derivative decomposes into expansion $\theta$, shear $\sigma_{ab}$, and vorticity $\omega_{ab}$. For null curves the corresponding screen has dimension $D-2$. This dimensional difference produces the coefficients

$$-\frac{\theta^2}{D-1} \quad\text{and}\quad -\frac{\theta^2}{D-2}$$

in the timelike and null Raychaudhuri equations. In four dimensions they are $-\theta^2/3$ and $-\theta^2/2$. Shear assists focusing, twist opposes the elementary comparison, and Ricci curvature supplies the geometric convergence term.

MIT derives both identities and their scalar inequalities in one convention Guth–Turner 2017, Lectures 13–14, pp. 58–61, Eqs. (14.10)–(14.25), PDF. Every page here translates signs through the site’s commutator definition before applying an inequality.

Six proof-critical steps

1. Raychaudhuri Equations for Timelike and Null Congruences traces the deformation-tensor Riccati equation, retains acceleration and null nonaffinity, and checks both dimensional coefficients in flat expanding bundles.
2. Null, Weak, Dominant, and Strong Energy Conditions states the causal quantifier in each definition, derives perfect-fluid inequalities, and proves only the valid implication directions.
3. From Stress-Energy Conditions to Curvature Convergence trace-reverses Einstein’s equation in $D>2$ and shows why $\Lambda$ cancels for null contractions but shifts timelike convergence.
4. The Timelike Focusing Theorem integrates the comparison inequality and proves a four-dimensional focal point by proper time at most $3/|\theta_0|$.
5. Null Focusing and Trapped-Surface Kinematics proves the bound $2/|\theta_0|$, defines both future null expansions, and checks their signs on a round sphere in Minkowski spacetime.
6. Violations and Limitations of Classical Energy Conditions uses nonminimal classical fields and quantum states to show why pointwise premises fail and why averaged replacements require new proofs.

The sequence is deliberately strict: identity → matter inequality → curvature translation → local theorem → trapped-surface kinematics → limitations. Reordering those steps is a common source of hidden assumptions.

From identities to bounds

For a hypersurface-orthogonal timelike geodesic congruence with $R_{ab}u^au^b\ge0$,

$$\frac{d\theta}{d\tau} \le-\frac{\theta^2}{D-1}.$$

If $\theta_0<0$, integration of $1/\theta$ forces a focal point by $(D-1)/|\theta_0|$. Null congruences give the same argument with $D-2$. The divergence of expansion means that a Jacobi-volume determinant vanishes and the congruence description forms a caustic. It does not say that curvature diverges or that the geodesic cannot continue.

That boundary is visible even in flat spacetime: inward future null normals of a round sphere focus at its center. Curvature is zero, and the outgoing future expansion is positive, so the sphere is not trapped. Local focusing and global singularity are different conclusions.

Where matter enters

In $D>2$ Einstein gravity,

$$R_{ab}=8\pi G\left(T_{ab}-\frac{T}{D-2}g_{ab}\right) +\frac{2\Lambda}{D-2}g_{ab}.$$

Null contraction gives $R_{ab}k^ak^b=8\pi GT_{ab}k^ak^b$, linking NEC to null convergence. Unit timelike contraction gives

$$R_{ab}u^au^b =8\pi G\left(T_{ab}u^au^b+\frac{T}{D-2}\right) -\frac{2\Lambda}{D-2}.$$

Matter SEC maps to timelike convergence only when the cosmological term is absent, absorbed consistently, or overcome by the matter contraction. WEC alone controls measured energy density, not the trace-reversed combination.

Kontou and Sanders provide the energy-condition definitions, violations, focusing interfaces, and theorem boundaries used here Kontou and Sanders 2020, §§ 2–5.1, pp. 6–43, PDF.

Review the chapter

In four dimensions a twist-free affinely parametrized null congruence has $\theta_0=-4/L$, zero shear, and $R_{ab}k^ak^b\ge0$. What bound follows, and what does it not prove?

Solution

Null Raychaudhuri gives $\theta'\le-\theta^2/2$, so focusing occurs within affine interval

$$\Delta\lambda\le\frac2{|\theta_0|}=\frac L2.$$

The conclusion is a focal point if the smooth congruence extends that far. It does not prove curvature blow-up, identify an event horizon, or establish geodesic incompleteness. Those require additional local regularity and global causal hypotheses.

Onward connection

The final chapter, Weak-Field Gravity and Classic Predictions, returns to controlled observables: weak-field expansion, Newtonian gravity, static clock comparison, perihelion advance, light propagation delay, and gyroscope precession. The same discipline applies there—state the regime, derive the invariant reading, and do not promote an approximation beyond its hypotheses.

References

• Guth, Alan H., lectures with notes by Andrew P. Turner. 8.962 General Relativity, Spring 2017. MIT (2017). PDF.
• Kontou, Eleni-Alexandra, and Ko Sanders. “Energy Conditions in General Relativity and Quantum Field Theory.” Classical and Quantum Gravity 37 (2020): 193001. DOI; arXiv.