Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-311/1/e/i/solution

When , and . A circle at fixed has circumference . Choose its future null normals as
For a one-dimensional transverse surface, each null expansion is the logarithmic derivative of its length:
Inside the horizon, implies , so both expansions are negative. Every such circle is therefore a trapped surface, specifically a Trapped circle inside a nonrotating BTZ black hole.

New to topics? Read the docs here!