= Solution
Let $k$ generate the <Killing horizon> and let $\ell=fk$ be an affinely parametrized generator wherever $k\ne0$. Choose an auxiliary null vector $n$ with $n\cdot\ell=-1$ and the <screen-space projector> $q_{ab}=g_{ab}+\ell_an_b+n_a\ell_b$. The <optical tensor> is the screen projection $B_{ab}=q_a{}^cq_b{}^d\nabla_d\ell_c$.
Since the projector annihilates $k$, the symmetric part is
$$
B_{(ab)}=f q_a{}^cq_b{}^d\nabla_{(d}k_{c)}=0
$$
by 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{}^cq_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. Thus
$$
\boxed{\theta=0,\qquad\hat\sigma_{ab}=0,\qquad\hat\omega_{ab}=0\quad\text{on the horizon}.}
$$
This is the vanishing of the <optical scalars on a Killing horizon>.
Back to article page
