Statement

Under the , the action

XAXAX\longmapsto AXA^\dagger

defines a surjective real

ρ:SL(2,C)RSO+(1,3)\rho:SL(2,\mathbb C)_{\mathbb R}\longrightarrow SO^+(1,3)

whose kernel is {±I}\{\pm I\}. Hence ρ\rho is a two-sheeted covering and realizes

SL(2,C)RSpin+(1,3).SL(2,\mathbb C)_{\mathbb R}\cong\operatorname{Spin}^+(1,3).
Kernel, image, and differential

If AXA=XAXA^\dagger=X for every Hermitian XX, then AA commutes with the resulting full matrix algebra and is scalar; determinant one leaves A=±IA=\pm I. The image lies in the identity component because SL(2,C)SL(2,\mathbb C) is connected. Its differential is an injective map between real of dimension 66, so the image is open; connectedness and the standard structure of SO+(1,3)SO^+(1,3) give surjectivity.

Differentiating yields the real

sl2(C)R    so(1,3),X(HXH+HX).\mathfrak{sl}_2(\mathbb C)_{\mathbb R} \xrightarrow{\;\sim\;} \mathfrak{so}(1,3), \qquad X\longmapsto\bigl(H\mapsto XH+HX^\dagger\bigr).

This is not an isomorphism of complex Lie algebras because so(1,3)\mathfrak{so}(1,3) is here a real Lie algebra.

References
  1. Roger Penrose and Wolfgang Rindler, Spinors and Space-Time, Vol. 1, Cambridge University Press, 1984, §§1.2–1.3. Publisher record.
  2. H. Blaine Lawson and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989, Chapter II, §5. Publisher record.