Past exam of the mathematics course of the University of Cambridge / 2019 / ii / Paper 4 / 19I / c / iii

Because the bilinear form from part (ii) is invariant, $\rho (SU(2))\subseteq O(3)$. The mapis continuous. Since $SU(2)$ is connected and $\det \rho (I_2)=1$, it is identically one. Hence

To find the kernel, suppose $U$ commutes with every traceless skew-Hermitian matrix. Commutation withforces $U$ to be diagonal. Commutation withthen forces its two diagonal entries to agree. Thus $U=z{I}_2$. Since $U\in SU(2)$,and therefore

It remains to prove surjectivity. The derived representation at the identity isIf this vanishes for every $A$ in the SU(2) Lie algebra, the same commutant calculation makes $X$ scalar; tracelessness then gives $X=0$. Thus $d{\rho }_{I_2}$ is injective. Its domain and codomain are both three-dimensional real Lie algebras, so it is an isomorphismThe inverse function theorem now shows that the image of $\rho$ contains a neighbourhood of the identity in $SO(3)$. Therefore the image is an open subgroup. The special orthogonal group $SO(3)$ is connected, since every rotation can be deformed continuously to the identity by reducing its rotation angle. A connected topological group has no proper open subgroup, soTogether with the kernel calculation, this is the Adjoint double cover from SU(2) to SO(3).