Definition

Four-dimensional Minkowski spacetime is the affine space underlying R4\mathbb R^4, equipped with the translation-invariant

η=dt2+dx2+dy2+dz2.\eta=-dt^2+dx^2+dy^2+dz^2.

After choosing an origin it is identified with , whose is the same displayed (+++)(-+++) form: q(v)=η(v,v)q(v)=\eta(v,v). The affine formulation distinguishes events from displacement vectors. The coordinate field t\partial_t supplies the standard .

Causal structure

For a displacement vv,

η(v,v)<0,η(v,v)=0,η(v,v)>0\eta(v,v)<0,\quad \eta(v,v)=0,\quad \eta(v,v)>0

mean respectively timelike, null, and spacelike. The null cone separates the two timelike cones. Translations preserve this structure, as do linear transformations in the .

Symmetry

The full affine isometry group is the

ISO(1,3)=R1,3O(1,3).\operatorname{ISO}(1,3)=\mathbb R^{1,3}\rtimes O(1,3).

Its identity component uses the and preserves both spatial orientation and time orientation. Minkowski spacetime is flat: its Levi–Civita connection has zero curvature in inertial coordinates.

Differential operators

The scalar is

η=t2x2y2z2\Box_\eta=\partial_t^2-\partial_x^2-\partial_y^2-\partial_z^2

in the convention used in this collection. A and constant spin frame give the .

Dimension and notation

The notation R1,3\mathbb R^{1,3} is also used for the underlying quadratic vector space. More generally, nn-dimensional Minkowski spacetime has signature (1,n1)(1,n-1), with negative directions listed first in this collection. Some physics texts instead use η=diag(1,1,1,1)\eta=\operatorname{diag}(1,-1,-1,-1); all signs in wave and Clifford formulas must then be translated together.

References
  1. Barrett O'Neill, Semi-Riemannian Geometry With Applications to Relativity, Academic Press, 1983. Publisher record. Relevant: Chapters 1 and 14.
  2. Robert M. Wald, General Relativity, University of Chicago Press, 1984. Publisher record. Relevant: Appendix C.