Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-54/1/b/i/solution

Put and . The apparent failure of the nonrotating BTZ black hole coordinates at is a coordinate singularity. Define the tortoise coordinate and ingoing time by
The Ingoing BTZ coordinates give
All coefficients are analytic at , and the determinant is , so the metric tensor extends nondegenerately through that radius. The Killing vector field agrees with in the exterior. On , and . It is therefore both normal and tangent to this null hypersurface, proving that it is a Killing horizon.
One may include both horizon branches and their bifurcation surface explicitly. Set , and, initially in the exterior, , . Then
This analytic extension of a spacetime is regular near , and extends analytically. The surfaces and form the extended Killing horizon at ; vanishes only at their regular bifurcation circle.

New to topics? Read the docs here!