Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-4/19i/c/iii/solution
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 4 19I c iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-03
Because the bilinear form from part (ii) is invariant, . The mapis continuous. Since is connected and , it is identically one. Hence
To find the kernel, suppose commutes with every traceless skew-Hermitian matrix. Commutation withforces to be diagonal. Commutation withthen forces its two diagonal entries to agree. Thus . Since ,and therefore
It remains to prove surjectivity. The derived representation at the identity isIf this vanishes for every in the SU(2) Lie algebra, the same commutant calculation makes scalar; tracelessness then gives . Thus 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 contains a neighbourhood of the identity in . Therefore the image is an open subgroup. The special orthogonal group 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).
New to topics? Read the docs here!