Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 57 6 a iii Solution Created 2026-10-03 Updated 2026-10-14
Use the four-dimensional real vector space of Hermitian matricesFor , preserves determinant, hence defines a Lorentz transformation. Positive definite stays positive definite, so future timelike vectors remain future timelike. Connectedness also fixes the orientation, giving an image in .
If the action is trivial, makes unitary. The remaining condition says it commutes with every Hermitian matrix, forcing with . Infinitesimally first makes anti-Hermitian and then scalar; tracelessness forces . Both real Lie-algebra dimensions are six, so the image is open. Polar decomposition shows is connected, with connected unitary factor and a contractible positive Hermitian determinant-one factor. The image is therefore the full proper orthochronous Lorentz group.This is the Hermitian-matrix double cover of SO0(3,1). The full determinant-one Lorentz group also contains transformations reversing time orientation, so the identity-component qualification cannot be omitted.