Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-3/2/b/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 3 2 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
In dimension four, the two positive roots are and . Using the matrix root basis of the even orthogonal Lie algebra, defineThe matrix unit identity gives , , and for . Thus each triple spans an sl2 Lie algebra.
The two triples commute. Their Cartan actions on one another vanish because ; their mixed root-vector brackets vanish because none of , namely and , is a root. This can equally be checked from the displayed matrix units. The six vectors are linearly independent, occupying the four distinct root spaces and two independent Cartan directions, so they exhaust the six-dimensional so4 Lie algebra. The two commuting spans are consequently ideals, andThis gives an explicit Chiral decomposition of the complexified so4 Lie algebra, including generators for both factors.
New to topics? Read the docs here!