Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 311 / 2 / a

Let $k$ generate the Killing horizon and let $\ell =fk$ be an affinely parametrized generator wherever $k\ne 0$. Choose an auxiliary null vector $n$ with $n\cdot \ell =-1$ and the screen-space projector $q_{ab}=g_{ab}+{\ell }_a{n}_b+n_a{\ell }_b$. The optical tensor is the screen projection $B_{ab}=q_a{}^c{q}_b{}^d{\nabla }_d{\ell }_c$.

Since the projector annihilates $k$, the symmetric part isby the Killing equation. Its trace is the null expansion and its trace-free symmetric part is the null shear, so both vanish. Also $\ell$ is normal to the null hypersurface. Frobenius theorem gives ${\ell }_{[a}{\nabla }_b{\ell }_{c]}=0$, which implies $q_a{}^c{q}_b{}^d{\nabla }_{[d}{\ell }_{c]}=0$: the null twist vanishes. These arguments use derivatives tangent to the horizon and hence apply to any smooth null geodesic congruence containing its generators, independently of its extension off the horizon. At a regular bifurcation surface, use the smooth affine generator and continuity. ThusThis is the vanishing of the optical scalars on a Killing horizon.