Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 2 / 1

Realize the defining sl2 Lie algebra Lie algebra representation as $\mathbb{C}x\oplus \mathbb{C}y$, with $H=x{\partial }_x-y{\partial }_y$, $E=x{\partial }_y$, $F=y{\partial }_x$. A basis of the symmetric power is $e_i=x^{4-i}{y}^i$ for $0\le i\le 4$, with $H{e}_i=(4-2i)e_i$. Hence the exterior square basis $w_{ij}=e_i\wedge e_j$, $i<j$, has weight $8-2(i+j)$.

Collecting equal weights gives the complete weight-space decomposition:Every one of the ten exterior basis vectors appears exactly once. Thus $U={⨁}_{m=6,4,2,0,-2,-4,-6}{U}_m$, with the displayed bases and dimensions.

The weight diagram has weights $6,4,2,0,-2,-4,-6$ with multiplicities $1,1,2,2,2,1,1$. An Irreducible Lie algebra representation of the sl2 Lie algebra with highest weight $n$ has weights $n,n-2,\dots ,-n$, all of multiplicity one. The top weight therefore forces one $L(6)$ summand. Subtracting its formal character leaves weights $2,0,-2$, each once, which is $L(2)$. By Weyl complete reducibility theorem,Their dimensions $7+3=10$ account for the entire module.

Use the exterior-power Lie algebra representation:Reorder wedge factors when necessary and interpret repeated factors as zero. The explicit weight basis of the exterior square of Sym4 for sl2 isfor $L(6)$, andfor $L(2)$. Their weights are $6-2j$ and $2-2j$, respectively.

Direct application of the displayed operators gives $E{v}_0=E{t}_0=0$ and the lowering chainsThe raising coefficients along the first chain are $2,5,12,1,2,3$; along the second, $E{t}_1=2t_0$ and $E{t}_2=t_1$. Thus each span is stable and is the required irreducible module. At the common weights $2,0,-2$, the $v$ and $t$ vectors are independent; the other weight spaces occur only in the first span. This proves that the ten vectors are a basis of $U$ and that the two spans are complementary. The highest-weight vectors are

Let $e_1,e_2,e_3$ be the basis of the defining representation and $y_1,y_2,y_3$ its dual. On a diagonal element of the Cartan subalgebra their weights are $L_i$ and $-L_i$, with $L_1+L_2+L_3=0$. Use the tensor product and symmetric square basisIts weight is $L_i-L_j-L_k$. For the three repeated weights putIf $\{i,l\}=\{1,2,3\}\setminus \{j\}$, the complete weight-space decomposition isThere are six spaces of the first type, three of the second, and three of the third. Their dimensions sum to $6+3+9=18$. The weight diagram below labels every space with all of its basis vectors.

Use the contraction splitting of a defining module tensor a dual symmetric square. For a quadratic polynomial $p$ in the dual variables, defineBoth maps are intertwiners. The first is the natural tensor contraction; the second uses the invariant tensor ${\sum }_i{e}_i\otimes y_i$. Directly, $C(Q_j)=4y_j$, so $C\iota =4I$ andThe vector $T_{1;33}=e_1\otimes y_3^2$ lies in $\ker C$ and is killed by both positive simple-root operators $E_{12},E_{23}$. It is a highest-weight vector of weight $L_1-2L_3={\omega }_1+2{\omega }_2$. By Weyl complete reducibility theorem, it generates the corresponding irreducible summand. The Weyl dimension formula for ${\mathfrak{sl}}_3$ gives $\dim {\Gamma }_{a,b}=(a+1)(b+1)(a+b+2)/2$, hence $\dim {\Gamma }_{1,2}=15$, exhausting the kernel. ThereforeThe kernel has the nine outer weights of multiplicity one and each inner weight $-L_j$ of multiplicity two; the dual summand has just the three weights $-L_j$, each once.

Use the basis labels in the preceding diagrams. For each $j$, write $\{i,l\}=\{1,2,3\}\setminus \{j\}$ with $i<l$, and defineThe contraction satisfies $C(A_j)=2y_j$ and $C(B_{i;j})=y_j$, so both $K$ vectors lie in $\ker C$. They are independent and form a basis of its weight space at $-L_j$.

Thus the bases marked on the weight diagram of ${\Gamma }_{1,2}$ areand the diagram of ${\Gamma }_{0,1}$ uses the basis $Q_j=A_j+B_{i;j}+B_{l;j}$ at $-L_j$. Each $Q_j$ is complementary to the two kernel vectors because its contraction is $4y_j\ne 0$. All vectors shown are therefore genuine bases, not merely weight counts. The highest-weight vectors areThe latter is highest because $\iota$ intertwines the dual Lie algebra representation and $y_3$ is its highest-weight vector.