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 ordered alphabetwith weights $\mathrm{wt}(i)={\epsilon }_i$ and $\mathrm{wt}(\bar{i})=-{\epsilon }_i$. The crystal of the defining symplectic representation is the chainThe label of an arrow is its simple root color; a Kashiwara operator ${\tilde{f}}_i$ follows an arrow of color $i$ and lowers the weight by ${\alpha }_i$.

Here is a grid description of the entire tensor product of crystals, valid for every $n$. Put one vertex $a\otimes b$ at row $a$ and column $b$, in the alphabet order above. Let $P_i$ be the set of chain positions with outgoing color $i$, and $Q_i$ the positions with incoming color $i$:Their indicators are ${\phi }_i$ and ${\epsilon }_i$. Use the crystal tensor-product ruleAn arrow is omitted if the selected factor has no outgoing arrow of that color. Thus the complete grid has a downward color-$i$ arrow when $a\in P_i$ and $b\notin Q_i$, and a rightward color-$i$ arrow when $b\in P_i$ and $a\notin P_i$. There are no other arrows. These two coordinate rules specify every vertex and every edge of the requested general-rank drawing. The following figure displays the full grid at $n=3$, including all components, together with the standard chain; increasing $n$ uses exactly the same grid construction.

For completeness, highest vertices can be read from the raising rule, which selects the first factor when ${\phi }_i(a)\ge {\epsilon }_i(b)$. If $a$ has an incoming edge of color $i$, then ${\phi }_i(a)=0$; either the raising operator acts nontrivially on $a$, or ${\epsilon }_i(b)=1$ and it acts nontrivially on $b$. Thus a highest vertex must have $a=1$. At $a=1$, all ${\phi }_i(a)$ vanish except ${\phi }_1(a)=1$. To be highest, the incoming color of $b$, if any, must consequently be $1$. For $n\ge 2$, the possibilities are exactlyTheir weights are $2{\epsilon }_1=2{\omega }_1$, ${\epsilon }_1+{\epsilon }_2={\omega }_2$, and zero. Each occurs once. Connected highest-weight components of the crystal basis describe the irreducible representations in the tensor product of Lie algebra representations, soThis is the tensor-square decomposition of the defining symplectic representation. The symmetric square is $L(2{\omega }_1)$; the exterior square is the direct sum of its invariant inverse-form line and the primitive exterior square $L({\omega }_2)$. Their dimensions are respectively $n(2n+1)$, $n(2n-1)-1$, and one, summing to $4n^2=\dim (V\otimes V)$. At $n=1$, the chain has two vertices and the highest tensor vertices are only $1\otimes 1$ and $1\otimes \bar{1}$: the decomposition is $L(2{\omega }_1)\oplus L(0)$, of dimensions three and one.

For $n\ge 2$, the defining Lie algebra representation $V$ of ${\mathfrak{sp}}_{2n}$ has the displayed tensor product decomposition. The crystal of the defining symplectic representation and the crystal tensor-product rule give exactly these three highest vertices, each occurring once. The symmetric square is $L(2{\omega }_1)$ of dimension $n(2n+1)$. The exterior square splits into its invariant inverse-form line and the primitive exterior square $L({\omega }_2)$ of dimension $n(2n-1)-1$. Their dimensions sum to $4n^2$. At $n=1$, the exterior square is only the invariant line, giving $L(2{\omega }_1)\oplus L(0)$.