Solution

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

In the extremal case, the squared norm of the Killing vector field is
For , it is negative for every regular and vanishes precisely at in the extended spacetime. Thus
The static chart cannot itself test the geometry at its horizon. In the regular Eddington-Finkelstein coordinates, the normal to is , and
At this gives , a nonzero null vector tangent to the surface. Therefore is a null hypersurface, even though has the same sign on its two sides.

New to topics? Read the docs here!