Solution

ID: past-exam-of-the-general-relativity-ii-course-of-the-university-of-oxford/2017/2/b/ii/solution

On the extension in part (i), the hypersurface has nonzero normal covector . Its squared norm is
This vanishes on , which is therefore a null hypersurface. Raising the index gives
Since at fixed , the original Killing vector field becomes the smooth nonzero field . The transformed metric tensor is independent of , so remains a Killing vector field, and
Thus is both tangent and normal to . This is exactly a Killing horizon:
The Killing vector field itself does not vanish there; a vanishing squared norm means nullness, not a zero vector.

New to topics? Read the docs here!