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.