 Solution

Define an equivariant contraction $C:V^{\ast }\otimes {\mathrm{Sym}}^{2}V\to V$ byThis uses the natural dual pairing, so it commutes with the Lie algebra representation. Also define $s(v)={\sum }_i{e}_i^{\ast }\otimes e_{i}v$. The identity tensor ${\sum }_i{e}_i^{\ast }\otimes e_i$ is invariant, making $s$ equivariant. Direct contraction gives $C(s(v))=3v+v=4v$. Thus $s$ is injective and $C$ is surjective, andis a direct decomposition into $\ker C$ and $s(V)$. In particular $\dim \ker C=18-3=15$ and $s(V)$ is a defining irreducible module of highest weight ${\omega }_1$.

For the usual upper-triangular choice of positive roots, $T_3^{11}=z^{\ast }\otimes x^2$ lies in the kernel and is killed by both simple raising operators $E_{12},E_{23}$. Its highest weight is $2{ϵ}_1-{ϵ}_3=2{\omega }_1+{\omega }_2$, with Dynkin labels $(2,1)$. The highest-weight classification and complete reducibility give an irreducible copy $L(2,1)$ generated by this vector. The Weyl dimension formula for ${\mathfrak{sl}}_3$ isso $\dim L(2,1)=15$. It fills the entire kernel. Therefore the sl3 decomposition of the symmetric-square dual tensor product, with its tensor factors exchanged, isThe weight diagrams below record both summands. Their labels use $K_{ij}=2T_j^{ij}-T_i^{ii}$ for $j\ne i$ and $S_i={\sum }_j{T}_j^{ij}$; these are the weight bases detailed in part (iii).