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.
Why is $SO(3, \mathbb{C}) \cong PSL(2, \mathbb{C})$?
4
$\begingroup$
abstract-algebra
matrices
-
0@Geoff : I think you mean $Lie(SL(2,C))$ instead of $SL(2,C)$. – 2012-04-04
1 Answers
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.
-
0Could please explain how $PSL(2,\mathbb{C}) \cong SL(2,\mathbb{C})/\{\pm\}$ comes into play? And what is $S$? – 2012-04-04
-
0above $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
-
1How do we have the homomorphism mapping into $SO(3, \mathbb{C})$? – 2012-04-06
-
0Because 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