Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-309/2/c/ii/solution

For , Cartan's magic formula gives
whereas contraction and exterior differentiation both vanish for . Thus
Applying the Lie derivative to
yields
Here and , so comparison with gives
Using tracelessness from part (b)(i),
by the dominant energy condition, because is future timelike and is future null.

New to topics? Read the docs here!