7
$\begingroup$

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!

$\endgroup$

1 Answer 1

6
$\begingroup$

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.

$\endgroup$
3
  • 1
    $\begingroup$ That's marvellous - thank you! Could you possibly point me at a reference for your statement about the 1-to-1 correspondence between connected subgroups and subalgebras? P.S. shall accept the answer as soon as the minimum time limit has expired! $\endgroup$ Feb 12, 2013 at 16:19
  • 1
    $\begingroup$ Sure. I think almost any mathematics text on Lie groups will have this. Here's one explicit reference though: books.google.com/… $\endgroup$ Feb 12, 2013 at 16:24
  • $\begingroup$ Brilliant - cheers! $\endgroup$ Feb 12, 2013 at 16:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.