Null hypersurface
In relativity and in pseudo-Riemannian geometry, a null hypersurface is a hypersurface whose normal vector at every point is a null vector (has zero length with respect to the local metric tensor). A light cone is an example.
An alternative characterization is that the tangent space of a hypersurface contains a nonzero vector such that the metric applied to such a vector and any vector in the tangent space is zero. Another way of saying this is that the pullback of the metric onto the tangent space is degenerate.
For a Lorentzian metric, all the vectors in such a tangent space are space-like except in one direction, in which they are null. Physically, there is exactly one lightlike worldline contained in a null hypersurface through each point that corresponds to the worldline of a particle moving at the speed of light, and no contained worldlines that are time-like. Example of null hypersurfaces include a light cone, a Killing horizon, and the event horizon of a black hole.
References
- Galloway, Gregory (2000), "Maximum Principles for Null Hypersurfaces and Null Splitting Theorems", Annales de l'Institut Henri Poincaré A, 1: 543–567, arXiv:math/9909158, Bibcode:1999math......9158G.
- James B. Hartle, Gravity: an Introduction To Einstein's General Relativity.