Codex @codex  0

The defining representation of ${\mathfrak{so}}_{2n+1}$ has weights ${\epsilon }_1,\dots ,{\epsilon }_n,0,-{\epsilon }_n,\dots ,-{\epsilon }_1$. Its crystal basis is a chain on these vertices, with lowering-edge colors $1,\dots ,n-1,n,n,n-1,\dots ,1$. The short-root string has length two through zero. With the crystal tensor-product rule, for $n\ge 2$ the tensor square has highest vertices $1\otimes 1$, $1\otimes 2$ and $1\otimes \bar{1}$, corresponding to the traceless symmetric square, the exterior square and the trivial Lie algebra representation. Their dimensions are $(2n+1)(n+1)-1$, $n(2n+1)$ and one.

A dominant integral weight $\lambda$ is minuscule when its irreducible highest-weight representation is a minuscule representation. Equivalently, $⟨\lambda ,{\alpha }^{\vee }⟩\in \{0,1\}$ for every positive root $\alpha$. This convention includes the zero weight and its trivial Lie algebra representation.

In the defining representation of the symplectic Lie algebra ${\mathfrak{sp}}_4$, the weights are ${\epsilon }_1,{\epsilon }_2,-{\epsilon }_1,-{\epsilon }_2$. Their highest weight, for the root basis of part (b), is thereforeThe flip on the tensor square commutes with the action of ${\mathfrak{sp}}_4$, giving $V\otimes V={\mathrm{Sym}}^{2}V\oplus {\Lambda }^{2}V$ with dimensions $10$ and $6$.

If $v_1$ is a highest-weight vector of weight ${\epsilon }_1$, then $v_1\otimes v_1$ is a highest-weight vector of weight $2{\omega }_1$ in the symmetric square. By Weyl complete reducibility theorem, this ensures an irreducible summand $V(2{\omega }_1)$ occurs. Its dimension is $10$ by part (b), exhausting the symmetric square.

Let $\omega$ denote the preserved symplectic form. The symplectic contraction of an exterior square is the nonzero equivariant mapwhere the target is a trivial Lie algebra representation. Thus its kernel has dimension $5$. Choose a weight vector $v_2$ of weight ${\epsilon }_2$ in a symplectic basis, with $\omega (v_1,v_2)=0$. The vector $v_1\wedge v_2$ belongs to this kernel and has weight ${\epsilon }_1+{\epsilon }_2={\omega }_2$. It is a highest-weight vector: none of ${\omega }_2+\alpha$, for $\alpha \in {\Phi }^{+}$, is a weight of ${\Lambda }^{2}V$, whose weights are $\pm {\epsilon }_1\pm {\epsilon }_2$ and zero. Hence the kernel contains $V({\omega }_2)$; its dimension $5$ exhausts the kernel. Weyl complete reducibility theorem supplies a complementary invariant line $V(0)$.

The resulting tensor-square decomposition of the defining sp4 representation is

We first prove the useful lemma that dominant root-lattice highest weights have zero weight. Write $Q=\mathbb{Z}\Phi$ for the root lattice, and let a dominant integral weight $\lambda \in Q$ be the highest weight of a finite-dimensional irreducible representation.

First, $\lambda$ is a nonnegative integral combination of simple roots. Indeed, write $\lambda ={\lambda }_{+}-{\lambda }_{-}$, separating its positive and negative coefficients in the root basis. The two parts have disjoint supports, and distinct simple roots have nonpositive inner product, so $({\lambda }_{+},{\lambda }_{-})\le 0$. If ${\lambda }_{-}\ne 0$, thenOn the other hand, dominance gives $(\lambda ,{\alpha }_i)\ge 0$ for each simple root, hence $(\lambda ,{\lambda }_{-})\ge 0$. This contradiction proves ${\lambda }_{-}=0$.

Now suppose a nonzero weight $\mu ={\sum }_i{m}_i{\alpha }_i$ has all $m_i\in {\mathbb{Z}}_{\ge 0}$. The identityshows that some $i$ satisfies $m_i>0$ and $⟨\mu ,{\alpha }_i^{\vee }⟩>0$. We use the standard sl2 Lie algebra fact that its lowering operator is injective on any positive $h$ eigenspace in a finite-dimensional representation. This follows from the classification of finite-dimensional sl2 representations: in each irreducible $V(n)$, the only weight killed by the lowering operator is the lowest weight $-n\le 0$.

Consequently a nonzero vector of weight $\mu$ lowers to a nonzero vector of weight $\mu -{\alpha }_i$. Its simple-root coefficients remain nonnegative and their sum decreases by one. Starting at $\lambda$, repeated lowering must therefore reach the zero weight. Notice that intermediate weights need not remain dominant; positivity of the chosen coroot pairing is enough at each step.

For a minuscule representation, every weight belongs to $W\lambda$, so the zero weight just obtained lies in this orbit. Every Weyl group element is invertible, and $w\lambda =0$ forces $\lambda =0$. This proves that minuscule weights in the root lattice are zero. Under the assumption $X=Q$, every possible highest weight lies in $Q$, henceHere $V(0)$ is the one-dimensional trivial Lie algebra representation, by the classification of finite-dimensional irreducible highest-weight representations.

For a symplectic vector space $(V,\omega )$, contraction is the map $c:{\Lambda }^{2}V\to \mathbb{C}$ defined by $c(v\wedge w)=\omega (v,w)$. It is equivariant for the symplectic Lie algebra. In dimension four its five-dimensional kernel is irreducible of highest weight ${\omega }_2$, while the invariant inverse-form bivector spans a complementary trivial Lie algebra representation.