Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-311/3/b/i/solution

Work in the Boyer-Lindquist coordinates exterior , away from the axes. There , , and
Inverting the block of the Kerr metric gives
Thus has , and the smooth nonvanishing timelike vector field defines a time orientation. Choose it future-directed, matching increasing near infinity. For every nonzero future causal vector , the Lorentzian inner product satisfies , hence
So increases strictly along every regular future causal curve in this exterior. Notice that itself can be spacelike in the Kerr ergoregion; the timelike object used here is . Direct substitution also gives .

New to topics? Read the docs here!