Core idea

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

X(v)=(t+zx−iyx+iyt−z).X(v)= \begin{pmatrix} t+z&x-iy\\ x+iy&t-z \end{pmatrix}.

Then

det⁡X(v)=t2−x2−y2−z2.\det X(v)=t^2-x^2-y^2-z^2.

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

det⁡X(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 A∈SL(2,C)A\in SL(2,\mathbb C), define

X⟼AXA†,X\longmapsto AXA^\dagger,

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

det⁡(AXA†)=det⁡A det⁡X det⁡A‾=det⁡X.\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 zz†zz^\dagger for z∈C2∖{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.