Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-311/2/a/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 311 2 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Locally write a smooth hypersurface as with . It is a null hypersurface when on it. Then is both normal and tangent, and the induced metric is degenerate along .
Because covariant derivatives commute on a scalar,The scalar vanishes on the hypersurface, so its derivative annihilates every tangent direction there. Its derivative is consequently proportional to : locally for a smooth function , givingThus the normal generates null pregeodesics. Rescale , choosing , to get . These are the affinely parametrized generators of the null hypersurface. The proportionality need not vanish: setting only on the hypersurface does not set its full transverse derivative to zero.
New to topics? Read the docs here!