Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-102/2/c/solution

Choose the given short root as a simple root, and let be the long simple root. This entails no loss of generality: the Weyl group is transitive on the short roots of the G2 root system. The relevant Cartan integers are and . The positive roots are
Under , the root space for has eigenvalue . The subalgebra itself is the three-dimensional irreducible in the Adjoint representation.
The four root spaces along the root string have eigenvalues . Consecutive spaces are connected by nonzero raising operators and lowering operators, so their sum is . The negative root string supplies another . The root spaces for have eigenvalue zero, and neither adding nor subtracting gives a root; they are two copies of . Finally, the one-dimensional space commutes with , giving one more . We have accounted for all dimensions, and therefore the G2 adjoint branching to a short-root sl2 subalgebra is
For a nonzero root vector , its Adjoint representation action is a nonzero scalar multiple of the raising operator on each summand. On each irreducible this operator has a one-dimensional kernel, including . Since the Lie algebra centralizer is that kernel,

New to topics? Read the docs here!