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 by
Here 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 formula
Fix the Riemann curvature tensor convention
Applying the Gauss formula twice gives
Subtracting the expression with interchanged, and then subtracting the bracket derivative, proves
Thus the Gauss–Codazzi equations for a non-null hypersurface give the intrinsic Riemann curvature tensor as
All free indices here are tangent to the hypersurface. The normal component of the same calculation is
After antisymmetrizing and using , this yields the curved-ambient Codazzi equation
The 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, so
This 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 quadric
Now the position vector is a unit normal with negative squared norm, so while remains true. The Gauss equation gives
This 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.