4
$\begingroup$

Why is $SO(3, \mathbb{C}) \cong PSL(2, \mathbb{C})$? I can't seem to be able to construct an explicit isomorphism between them.

  • 0
    @Geoff : I think you mean $Lie(SL(2,C))$ instead of $SL(2,C)$.2012-04-04

1 Answers 1

2

Let $SL(2,\mathbb C)$ act on the $2\times 2$ matrices of trace $0$ by conjugation. This is a 3-dimensional $\mathbb C$-vectorspace, and for the trace (euclidian inner product) we have $$ \text{trace}(S^{-1}ASS^{-1}BS)=\text{trace}(AB) $$ This gives you a homomorphism $SL(2,\mathbb C)\rightarrow SO(3,\mathbb C)$, which is surjective etc.

  • 0
    Could please explain how $PSL(2,\mathbb{C}) \cong SL(2,\mathbb{C})/\{\pm\}$ comes into play? And what is $S$?2012-04-04
  • 0
    above $S$ would be any matrix in $SL(2,\mathbb C)$. Think what happens in this operation if you replace $S$ with $-S$, what is the kernel of the homomorphism $SL(2,\mathbb C)\rightarrow SO(3,\mathbb C)$?2012-04-05
  • 1
    How do we have the homomorphism mapping into $SO(3, \mathbb{C})$?2012-04-06
  • 0
    Because every $S \in SL(2,\mathbb C)$ is an orthogonal linear endomorphism of a three-dimensional $\mathbb C$ inner product space (in this case the $2\times 2$ matrices of trace 0)2012-04-06