Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 3 / 1 / b / i / Solution

Let $x_1,x_2,x_3$ be the coordinate basis of the defining representation $W$ of ${\mathfrak{sl}}_3$. Write $s_{ij}=x_i{x}_j$ for $1\le i\le j\le 3$. The six $s_{ij}$ form a basis of the symmetric power ${\mathrm{Sym}}^{2}W$, with weight $L_i+L_j$. A basis for the tensor product of Lie algebra representations $T$ consists of all 36 ordered tensorsThe order of the two factors matters; there is no quotient identifying their interchange.

Each weight of a representation has the form $k_1{L}_1+k_2{L}_2+k_3{L}_3$, where the nonnegative integers satisfy $k_1+k_2+k_3=4$. Its weight multiplicity is the number of ways to split this triple into two nonnegative triples, each summing to two. The possible patterns, including every permutation, areFor example, $(2,2,0)$ splits as $(2,0,0)+(0,2,0)$, the reverse split, or $(1,1,0)+(1,1,0)$, giving multiplicity three. For $(2,1,1)$, the four splits pair $(2,0,0)$ with $(0,1,1)$ and $(1,1,0)$ with $(1,0,1)$, each in both orders. The multiplicities sum to $3+12+9+12=36$, verifying the dimension.

The following weight diagram uses Dynkin labels $(p,q)=(k_1-k_2,k_2-k_3)$; the circle numbers give multiplicities and orange points mark the Closed dominant Weyl chamber.