Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-52/1/b/ii/solution

Use the standard meaning of static spacetime: a stationary spacetime chart whose time-space components also vanish. The printed static definition needs to inherit the timelike requirement ; without it, the requested timelike conclusion does not follow.
The preceding argument shows that is a timelike Killing vector field. Its metric-dual one-form is . Its exterior derivative satisfies
For a torsion-free connection, antisymmetrizing the covariant derivative of a one-form gives its exterior derivative. Consequently the Killing vector has hypersurface orthogonality:
Geometrically, the hypersurfaces are orthogonal to .

New to topics? Read the docs here!