Theorem
SL(2,C) spin cover of the Lorentz group
The Hermitian-matrix action gives a two-to-one covering SL(2,C)→SO⁺(1,3).
Statement
Under the Hermitian matrix model, the action
defines a surjective real Lie group homomorphism
whose kernel is . Hence is a two-sheeted covering and realizes
Kernel, image, and differential
If for every Hermitian , then commutes with the resulting full matrix algebra and is scalar; determinant one leaves . The image lies in the identity component because is connected. Its differential is an injective map between real Lie algebras of dimension , so the image is open; connectedness and the standard structure of give surjectivity.
Differentiating yields the real Lie algebra isomorphism
This is not an isomorphism of complex Lie algebras because is here a real Lie algebra.
References
- Roger Penrose and Wolfgang Rindler, Spinors and Space-Time, Vol. 1, Cambridge University Press, 1984, §§1.2–1.3. Publisher record.
- H. Blaine Lawson and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989, Chapter II, §5. Publisher record.