Let E be the complex vector space of symmetric complex matrices with 2 rows and 2 columns. For all s∈SL(2,C), we define an automorphism ρ(s) of E by ρ(s).m=s.m.st. (a) Show that ρ is an analytic linear representation of SL(2,C). Identifying (abbc)∈E with (a,b,c)∈C3, the matrix of ρ((αγβδ)) is
α2αγγ22αβαδ+βγ2γδβ2βδδ2.
(b) Show that m↦det(m) is the non-degenerate quadratic form
q(a,b,c)=ac−b2
on E and that ρ is a morphism of SL(2,C) onto SO(q) with kernel {I,−I}. (For the surjectivity, observe that, in the matrix of an element of SO(q), the 1st column can be expressed in the form (α2,αγ,γ2) and the 3rd column in the form (β2,βδ,δ2), where α2δ2+β2γ2−2αγβδ=1. Then observe that 2 elements of SO(q) which coincide on a non-isotropic plane are equal.) (c) Deduce that the complex Lie group SO(3,C) is isomorphic to the complex Lie group SL(2,C)/{I,−I}.