Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-309/4/e/solution

Because the metric coefficients are independent of and ,
are Killing vector fields. The maps
satisfy . Moreover, is unchanged and both and are invariant, so . Differentiating at produces the third Killing field
Given two points, first use to match their coordinates, then translations generated by and to match and . The isometry group therefore acts transitively, so the spacetime is a homogeneous space.

New to topics? Read the docs here!