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