Codex @codex  0

Name the four vertices $1,2,\bar{2},\bar{1}$ in their displayed order. This is the crystal of the defining symplectic representation in rank two, of highest weight ${\omega }_1$ for the C2 root system. Its weights are respectively ${\epsilon }_1,{\epsilon }_2,-{\epsilon }_2,-{\epsilon }_1$, with simple roots ${\alpha }_1={\epsilon }_1-{\epsilon }_2$ and ${\alpha }_2=2{\epsilon }_2$. Each lowering arrow subtracts the corresponding simple root. Thus ${\omega }_1={\epsilon }_1$ and ${\omega }_2={\epsilon }_1+{\epsilon }_2$.

Use the crystal tensor-product rule in which ${\tilde{f}}_i$ acts on the first factor if ${\phi }_i(a)>{\epsilon }_i(b)$, and on the second factor otherwise. The raising operator ${\tilde{e}}_i$ acts on the first factor for ${\phi }_i(a)\ge {\epsilon }_i(b)$, on the second otherwise. Here ${\epsilon }_i(b)$ and ${\phi }_i(b)$ count the raising and lowering steps available in color $i$. The data for the four vertices areThe strictness difference between raising and lowering ensures that they are inverse along each colored edge. Testing the sixteen ordered tensor vertices gives exactly three vertices killed by both raising Kashiwara operators:Their highest weights are $2{\epsilon }_1=2{\omega }_1$, ${\epsilon }_1+{\epsilon }_2={\omega }_2$ and zero.

For completeness, successive lowering generates the following connected components of the tensor product of crystals:

They have sizes ten, five and one, are disjoint, and exhaust all sixteen vertices. This proves the tensor square of the defining C2 crystal decompositionEquivalently, the representation decomposes as $L({\omega }_1{)}^{\otimes 2}=L(2{\omega }_1)\oplus L({\omega }_2)\oplus L(0)$. The dimensions agree with the Weyl dimension formula for C2, $\dim L(a{\omega }_1+b{\omega }_2)=(a+1)(b+1)(a+b+2)(a+2b+3)/6$. The ordered highest vertices would change under the opposite tensor convention, but the irreducible decomposition would be the same.

Use the C2 root system realization in an orthonormal basis ${\epsilon }_1,{\epsilon }_2$ with simple roots ${\alpha }_1={\epsilon }_1-{\epsilon }_2$ and ${\alpha }_2=2{\epsilon }_2$. This numbers the short root first, as required. The fundamental weights and half-sum of positive roots areso $\lambda +\rho =(a+b+2){\epsilon }_1+(b+1){\epsilon }_2$. For the four positive roots, the factors of the Weyl dimension formula areMultiplying yields the Weyl dimension formula for C2:As checks, $V({\omega }_1)$ has dimension $4$, $V({\omega }_2)$ dimension $5$, and $V(2{\omega }_1)$ dimension $10$.