Bourbaki

Exercise 3, § 3

Lie Groups and Lie Algebras, III, 373

Let E be the complex vector space of symmetric complex matrices with 2 rows and 2 columns. For all s∈SL(2,C)s \in \mathbf{SL}(2, \mathbf{C}), we define an automorphism ρ(s)\rho(s) of E by ρ(s).m=s.m.st\rho(s).m = s.m.s^t. (a) Show that ρ\rho is an analytic linear representation of SL(2,C)\mathbf{SL}(2, \mathbf{C}). Identifying (abbc)∈E\begin{pmatrix} a & b \\ b & c \end{pmatrix} \in E with (a,b,c)∈C3(a, b, c) \in \mathbf{C}^3, the matrix of ρ((αβγδ))\rho \left( \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} \right) is

(α22αββ2αγαδ+βγβδγ22γδδ2). \begin{pmatrix} \alpha^2 & 2\alpha\beta & \beta^2 \\ \alpha\gamma & \alpha\delta + \beta\gamma & \beta\delta \\ \gamma^2 & 2\gamma\delta & \delta^2 \end{pmatrix}.
(b) Show that m↦det⁡(m)m \mapsto \det(m) is the non-degenerate quadratic form
q(a,b,c)=ac−b2 q(a, b, c) = ac - b^2
on E and that ρ\rho is a morphism of SL(2,C)\mathbf{SL}(2, \mathbf{C}) onto SO(q)\mathbf{SO}(q) with kernel {I,−I}\{I, -I\}. (For the surjectivity, observe that, in the matrix of an element of SO(q)\mathbf{SO}(q), the 1st column can be expressed in the form (α2,αγ,γ2)(\alpha^2, \alpha\gamma, \gamma^2) and the 3rd column in the form (β2,βδ,δ2)(\beta^2, \beta\delta, \delta^2), where α2δ2+β2γ2−2αγβδ=1\alpha^2\delta^2 + \beta^2\gamma^2 - 2\alpha\gamma\beta\delta = 1. Then observe that 2 elements of SO(q)\mathbf{SO}(q) which coincide on a non-isotropic plane are equal.) (c) Deduce that the complex Lie group SO(3,C)\mathbf{SO}(3, \mathbf{C}) is isomorphic to the complex Lie group SL(2,C)/{I,−I}\mathbf{SL}(2, \mathbf{C})/\{I, -I\}.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.