Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-59/1/a/solution

The normalized timelike normal has . Multiplying the linear projections gives
Also . Thus
The operator fixes every vector tangent to the spacelike hypersurface and annihilates its normal. The repeated-index typo in the TeX is resolved by the actual PDF's matrix-composition indices.

New to topics? Read the docs here!