Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 58 1 Solution Created 2026-10-03 Updated 2026-10-14
Assume the level set is regular and non-null. The latter hypothesis is necessary: a null hypersurface has a degenerate induced metric and hence no ordinary intrinsic Levi-Civita connection determined by that metric. Normalize the normal vector and define the non-null hypersurface projection byHere denotes the induced metric restricted to tangent vectors, while its ambient extension annihilates . The intrinsic covariant derivative is for tangent vector fields. Projection of the ambient torsion-free connection and metric compatibility shows that is the Levi-Civita connection of . Define the extrinsic curvature by , or . It is symmetric: differentiating the defining function twice and projecting removes the derivative of its normalization, leaving a multiple of its symmetric Hessian. This sign convention makes the scalar second fundamental form .
Let be the tangent linear map characterized by . Differentiating and gives the Gauss formulaFix the Riemann curvature tensor conventionApplying the Gauss formula twice givesSubtracting the expression with interchanged, and then subtracting the bracket derivative, provesThus the Gauss–Codazzi equations for a non-null hypersurface give the intrinsic Riemann curvature tensor asAll free indices here are tangent to the hypersurface. The normal component of the same calculation isAfter antisymmetrizing and using , this yields the curved-ambient Codazzi equationThe extrinsic curvature measures how tangent planes turn in the ambient manifold; the Gauss equation says that this turning contributes to intrinsic curvature even when the ambient Riemann curvature tensor is zero.
For the quadric in Minkowski spacetime, write its position vector as . On the hypersurface, and differentiating this identity in a tangent direction gives . Hence is a unit normal and a spacelike vector, , and in flat Cartesian coordinates. Therefore . The ambient Riemann curvature tensor vanishes, soThis is unit-radius de Sitter spacetime. Reversing the normal changes to but does not change this curvature. An opposite overall convention for the Riemann curvature tensor would reverse both curvature signs below.
To retain a four-dimensional Lorentzian metric while reversing the curvature, take a flat ambient metric with two negative directions and the quadricNow the position vector is a unit normal with negative squared norm, so while remains true. The Gauss equation givesThis is unit-radius Anti-de Sitter spacetime. If a positive-definite induced metric is acceptable, an even simpler alternative is to keep the original one-time ambient Minkowski metric and change the quadric level to . Each sheet then gives four-dimensional hyperbolic space with the same negative curvature, but its induced signature differs from that of de Sitter spacetime.