Spinor Mapping is Surjective

I’m (still) trying to prove that $SL(2,\mathbb{C})$ is the universal covering group the the proper orthochronous Lorentz group $L$. I have completed the following steps.

(1) Prove that the vector space of $2\times 2$ Hermitian matrices $H$ is isomorphic to Minkowski space.

(2) Demonstrate that the action of $SU(2)$ on $H$ by $X\mapsto AXA^{\dagger}$ induces a group homomorphism $SL(2,\mathbb{C})\to L$.

(3) Prove this is 2:1 by observing that every $2\times 2$ complex matrix can be written as $X+iY$ with $X$ and $Y$ Hermitian.

I still need to prove that this map is surjective though. Here I am completely stuck. All the books and internet resources I have found either gloss over it, or state that it’s true but don’t prove it.

Could someone possibly give me a proper proof, with mathematician’s rigour?!

P.S. My own attempts at a proof have fallen down. I tried the following

(a) Derive a formula for the inverse map locally. I can’t see any good way to attack this though.

(b) Prove that the associated Lie algebra homomorphism is an isomorphism. I know theoretically this should be possible, but practically it seems a nightmare!

Solutions Collecting From Web of "Spinor Mapping is Surjective"

You have shown that $SL(2,\mathbb C)/K \to L$ is an injective homomrphism of Lie groups, where $K$ is the kernel of the representation, which is a discrete subgroup of $SL(2,\mathbb C)$. In other words, $SL(2)/K$ is (isomorphic to) a Lie subgroup of $L$. But by dimensionality reasons you are actually done: since $L$ is connected, there is a 1-to-1 correspondence between connected Lie subgroups and subalgebras of $L$’s Lie algebra. This means that any connected Lie subgroup of the same dimension must be $L$ itself.