Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-54/3/c/solution

Since , . Substitution into the radial metric cancels the terms. The ingoing Eddington-Finkelstein coordinates give
The radial block has determinant , even when . Its coefficients are analytic for every , so this form extends through and also through to . Ordinary angular coordinate singularities are removed by angular charts on the three-sphere. The genuine endpoint is not included in this extension.
The field is an ingoing null tangent. It is future-directed in the original exterior, since its inner product with the future stationary Killing vector field is , and it remains future-directed by continuation. This fixes the time orientation used in the next part.

New to topics? Read the docs here!