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

The printed phrase “not reducible” is a misprint: the requested nonzero complementary submodules establish that this tensor square is reducible. The natural reason is that the flip $\tau (v\otimes w)=w\otimes v$ commutes with the Lie algebra representation. Its two eigenspaces are the symmetric square and the exterior square, givingIn the symmetric square, the four weights $\pm 2L_i$ and four weights $\pm L_1\pm L_2$ each occur once, while zero occurs twice. In the exterior square, the four weights $\pm L_1\pm L_2$ each occur once and zero occurs twice; the $\pm 2L_i$ are absent because repeated wedge factors vanish. These are the two requested complementary weight diagrams.

More precisely, the tensor-square decomposition of the defining symplectic representation identifies ${\mathrm{Sym}}^{2}V$ with the irreducible adjoint module $L(2{\omega }_1)$. The identification is an intertwiner sending a symmetric tensor $vw$ to the element of the symplectic Lie algebra $x\mapsto \omega (v,x)w+\omega (w,x)v$. For the exterior square, symplectic contraction of an exterior square has a five-dimensional kernel, the primitive exterior square, and the invariant tensor $\Omega =e_1\wedge e_3+e_2\wedge e_4$ supplies a complementary line. Thus the full irreducible decomposition isHere ${\omega }_1=L_1$ and ${\omega }_2=L_1+L_2$. The two zero weights in the exterior square split into one primitive zero weight and the invariant line.