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!
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.