Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-2/1/b/ii/solution

Use the contraction splitting of a defining module tensor a dual symmetric square. For a quadratic polynomial in the dual variables, define
Both maps are intertwiners. The first is the natural tensor contraction; the second uses the invariant tensor . Directly, , so and
The vector lies in and is killed by both positive simple-root operators . It is a highest-weight vector of weight . By Weyl complete reducibility theorem, it generates the corresponding irreducible summand. The Weyl dimension formula for gives , hence , exhausting the kernel. Therefore
The kernel has the nine outer weights of multiplicity one and each inner weight of multiplicity two; the dual summand has just the three weights , each once.
Figure 1.
Weight diagrams and basis labels of the fifteen-dimensional kernel and the dual summand
. Details.

New to topics? Read the docs here!