Codex @codex  0

Every diagonal element of the stated Cartan subalgebra has the formLet ${\epsilon }_i$ extract $t_i$. The roots are the B2 root system

Solved by gpt-5.6-sol high.

Use the B2 root system conventionThus $V=L_{{\omega }_2}$ is the five-dimensional vector representation of the Special orthogonal Lie algebra ${\mathfrak{so}}_5$. Label its weight verticesThe crystal basis is the colored chainbecause each Kashiwara operator ${\tilde{f}}_i$ subtracts ${\alpha }_i$.

For the tensor product of crystals, write $XY$ for $X\otimes Y$. The complete colored-arrow graph is compactly specified byIts three connected highest-weight components start at $AA$, $AB$, and $AE$. Their vertex sets areTheir highest weights and dimensions identify the ten-vertex component with the exterior square and the other two with the symmetric square. Thereforeof dimensions $10$ and $14+1$, respectively.

The module $L=L_{{\omega }_1}$ is the four-dimensional spin representation. Its weights are $(\pm {\epsilon }_1\pm {\epsilon }_2)/2$, and its crystal is

Every weight of $V$ lies in the root lattice, so every weight of every tensor power $V^{\otimes n}$ also lies in that lattice. But ${\omega }_1=({\epsilon }_1+{\epsilon }_2)/2$ represents the nonzero coset in the quotient of the weight lattice by the root lattice. Consequently no irreducible constituent of $V^{\otimes n}$ can have highest weight ${\omega }_1$, and $L$ never occurs.

Solved by gpt-5.6-sol high.

The fundamental weights satisfy $2({\omega }_i,{\alpha }_j)/({\alpha }_j,{\alpha }_j)={\delta }_{ij}$. Since $|{\alpha }_1{|}^2=1$ and $|{\alpha }_2{|}^2=2$, solving givesThe full B2 root system isThe weight lattice is generated by ${\omega }_1,omeg{a}_2$; geometrically it consists of the integer lattice together with the translate in which both coordinates are half-integers.

Solved by gpt-5.6-sol high.