Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 54 / 3

Locally write the null hypersurface as $S=0$ with $dS\ne 0$, and extend its normal as $n_a={\nabla }_{a}S$. On the hypersurface, $n^a{n}_a=0$, so $n^a{\nabla }_{a}S=n^2=0$: the raised normal is itself tangent. The Levi-Civita connection and symmetry of the scalar Hessian giveAlthough $n^2$ vanishes on the hypersurface, it need not vanish off it. Its tangential derivatives vanish, so ${\nabla }_a(n^2)$ must be proportional to the normal $n_a$. Hence ${\nabla }_{n}n=\kappa n$ on the hypersurface for some smooth local coefficient $\kappa$. The normal's integral curves of a vector field remain in the hypersurface and satisfy the nonaffine geodesic equation. Rescale to $k=hn$, where $n(\log h)=-\kappa$ along each generator. Direct substitution gives ${\nabla }_{k}k=0$. Thus the normal generates null geodesics within the hypersurface, with an affine parameter after this rescaling. This proves the null hypersurface normal generates null geodesics property without incorrectly setting a transverse derivative of $n^2$ to zero.

Choose the affine tangent $k^a$ to a null geodesic congruence, and an auxiliary null vector ${\ell }^a$ with $k\cdot \ell =-1$. The screen-space projectorannihilates $k$ and $\ell$ and restricts to a positive-definite two-dimensional metric in four spacetime dimensions. Neighboring transverse rays have relative displacement governed by the optical tensorIts irreducible decomposition defines the three requested optical quantities:The null expansion $\theta$ is the fractional rate of change of transverse area, $d\log A/d\lambda$. The null shear $\sigma$ changes a beam's shape at fixed area to first order; it is symmetric and trace-free. The null twist $\omega$ is antisymmetric and measures local rotation of the transverse rays; it vanishes for a hypersurface-orthogonal null geodesic congruence. In $D$ dimensions replace $1/2$ by $1/(D-2)$. These definitions use the trace convention for null expansion, rather than the alternative screen-averaged convention.

Take an affinely parametrized null geodesic congruence, ${\nabla }_{k}k=0$. Choose the auxiliary null vector and a transverse orthonormal screen basis to undergo parallel transport along each ray. For the unprojected tensor $C_{ab}={\nabla }_b{k}_a$, the product rule and the Ricci identity yieldHere the Riemann curvature tensor convention is the one in Question 1; its last-index antisymmetry converts the covector commutator to the displayed curvature term. Because $C_{ab}{k}^a=C_{ab}{k}^b=0$, inserting the screen-space projector in the product term adds only terms killed by these contractions. Parallel propagation makes differentiation commute with the screen projection. Therefore, in screen indices $A,B$,This is the optical matrix evolution equation. Its trace has curvature contraction $q^{ab}{R}_{acbd}{k}^c{k}^d=R_{cd}{k}^c{k}^d$: the additional terms in $q^{ab}-g^{ab}$ vanish by curvature antisymmetry. Write $B=(\theta /2)q+\sigma +\omega$ using the null expansion, null shear, and null twist. Symmetric--antisymmetric cross terms have zero trace, $\sigma$ is trace-free, andThe minus sign in the last trace comes from ${\omega }_{ab}=-{\omega }_{ba}$ and the positive screen metric. Taking the trace therefore derives the Null Raychaudhuri equation:For a nonaffine tangent obeying ${\nabla }_{k}k=\kappa k$, the same product-rule derivation adds $+\kappa \theta$ on the right; the projected derivative of $\kappa$ multiplies $k_a$ and vanishes. In $D$ dimensions the quadratic null expansion term is $-{\theta }^2/(D-2)$.

Away from a bifurcation set, the normal to a Killing horizon is its nonzero Killing vector field $K$. Any affine tangent to the same generators has the form $k=hK$. In the optical tensor, derivatives of $h$ contribute a factor of $K_a$ and disappear under the screen-space projector. Consequentlyby the Killing equation. The trace and trace-free symmetric part are therefore zero: $\theta =0$ and ${\sigma }_{ab}=0$.

For the antisymmetric part, locally the horizon normal is proportional to a gradient. The restriction of its dual one-form to every tangent direction on the horizon is zero. Taking its exterior derivative and evaluating on two screen tangents therefore gives zero as well; equivalently this is the hypersurface-orthogonality consequence of the Frobenius theorem. Since both screen indices are tangential, $B_{[ab]}=0$. Thus the optical scalars on a Killing horizon satisfyNo affine normalization of the Killing vector field itself was assumed. At a regular bifurcation surface, $K$ vanishes but the smooth null generators do not; the conclusions for their optical quantities follow by continuity along each horizon branch.