Core idea

Identify v=(t,x,y,z)R1,3v=(t,x,y,z)\in\mathbb R^{1,3} with the

X(v)=(t+zxiyx+iytz).X(v)= \begin{pmatrix} t+z&x-iy\\ x+iy&t-z \end{pmatrix}.

Then

detX(v)=t2x2y2z2.\det X(v)=t^2-x^2-y^2-z^2.

For the (+++)(-+++) Minkowski quadratic form fixed at , this says

detX(v)=q(v).\det X(v)=-q(v).

Thus the determinant is the opposite of the quadratic form used in this collection; it is not being identified with qq itself.

The SL(2,C) action

For ASL(2,C)A\in SL(2,\mathbb C), define

XAXA,X\longmapsto AXA^\dagger,

where A=ATA^\dagger=\overline A^{\mathsf T}. This map preserves Hermitian matrices and

det(AXA)=detAdetXdetA=detX.\det(AXA^\dagger)=\det A\,\det X\,\overline{\det A}=\det X.

It therefore preserves qq and determines a real-linear Lorentz transformation. Composition of matrices makes this a homomorphism from SL(2,C)RSL(2,\mathbb C)_{\mathbb R} into SO+(1,3)SO^+(1,3).

Null vectors and rank one

A nonzero future null vector corresponds to a nonzero positive-semidefinite rank-one Hermitian matrix. Such a matrix has the form zzzz^\dagger for zC2{0}z\in\mathbb C^2\setminus\{0\}, and rescaling zz by a nonzero complex scalar preserves its null ray. This gives the its CP1\mathbb{CP}^1 description.

References
  1. Roger Penrose and Wolfgang Rindler, Spinors and Space-Time, Vol. 1, Cambridge University Press, 1984, §§1.2–1.3. Publisher record.
  2. Rolf Berndt, An Introduction to Symplectic Geometry, AMS, 2001, Appendix A. Publisher record.