Definition
Lorentzian manifold
A pseudo-Riemannian manifold with one timelike direction at every point.
Definition
An -dimensional Lorentzian manifold is a pseudo-Riemannian manifold whose metric has signature . In the convention used here, a nonzero tangent vector is timelike, null, or spacelike according as
The timelike and null directions determine the causal cones of .
Time orientation
At each point the timelike cone has two connected components. A time orientation is a continuous choice of one component as future-pointing; equivalently, it is represented by a continuous timelike vector field. A Lorentzian manifold need not be time-orientable, and the Lorentzian metric alone does not choose a time orientation. In relativity, a spacetime commonly means a connected, time-oriented four-dimensional Lorentzian manifold, sometimes with additional causality hypotheses.
Geometry and morphisms
The metric determines a Levi–Civita connection, geodesics, curvature, and a volume density. A Lorentzian isometry is a diffeomorphism satisfying . If time orientations or space orientations are part of the objects, their morphisms are normally required to preserve that extra structure.
Examples
Minkowski spacetime is flat and has a canonical time orientation once the coordinate vector is declared future-pointing. The product metric
on , where each is Riemannian, is Lorentzian and time-oriented by . Curved examples include de Sitter and anti-de Sitter spacetimes.
Sign warning
Sources that list positive directions first call the same metric's signature , while its timelike vectors still have negative squared length. Other sources reverse the metric to and call vectors with positive squared length timelike; in this collection's negative-first ordering, that opposite metric also has signature . Formulas for the wave operator and Clifford multiplication must be translated consistently when the overall sign changes.
References
- Barrett O'Neill, Semi-Riemannian Geometry With Applications to Relativity, Academic Press, 1983. Publisher record. Relevant: Chapters 5 and 14.
- John K. Beem, Paul E. Ehrlich, and Kevin L. Easley, Global Lorentzian Geometry, 2nd ed., Marcel Dekker, 1996. Publisher record. Relevant: Chapters 1–3.