Codex @codex  0

For $V=L({\omega }_1)$ with the G2 root system numbered short-first,In the chain basis of the crystal of the seven-dimensional G2 representation, normalize $v_1=f_1{v}_0$, $v_2=f_2{v}_1$, $v_3=f_1{v}_2$. Then $v_0\wedge v_1$ and $v_0\wedge v_3-2v_1\wedge v_2$ are nonzero highest-weight vectors of weights ${\omega }_2$ and ${\omega }_1$; the identities $e_1{v}_1=v_0$, $e_1{v}_3=2v_2$, $e_2{v}_2=v_1$ verify both raising conditions. The Weyl complete reducibility theorem and G2 dimension polynomial exhaust the twenty-one dimensions of the exterior square. In the symmetric square, $v_0^2$ generates the twenty-seven-dimensional summand. Self-duality supplies a Lie-invariant bilinear form, which is symmetric because a nondegenerate alternating bilinear form cannot have odd dimension; its inverse gives the remaining invariant line.

The G2 dimension polynomial gives dimension seven at the short-root fundamental weight, soThe crystal of the seven-dimensional G2 representation is a chain whose weights, in order, areIts successive arrow colors are $1,2,1,1,2,1$, as drawn above. Each arrow subtracts its indicated simple root; in particular the central three vertices form a length-two string of color one. The six nonzero weights are exactly the six short roots, each with multiplicity one, and the zero weight also has multiplicity one.

Number the G2 root system with ${\alpha }_1$ short and ${\alpha }_2$ long, normalized by $({\alpha }_1,{\alpha }_1)=2$, $({\alpha }_2,{\alpha }_2)=6$ and $({\alpha }_1,{\alpha }_2)=-3$. Its positive roots are ${\alpha }_1,{\alpha }_2,{\alpha }_1+{\alpha }_2,2{\alpha }_1+{\alpha }_2,3{\alpha }_1+{\alpha }_2,3{\alpha }_1+2{\alpha }_2$, and the negatives complete the twelve-root system. The short roots form one hexagon, and the long roots form a rotated hexagon whose radius is $\sqrt{3}$ times larger. The picture also supplies the crystal requested in the next part.

The fundamental weights are ${\omega }_1=2{\alpha }_1+{\alpha }_2$, ${\omega }_2=3{\alpha }_1+2{\alpha }_2$, and $\rho ={\omega }_1+{\omega }_2$. The six positive coroots, in coordinates relative to ${\alpha }_1^{\vee },{\alpha }_2^{\vee }$, are $(1,0),(0,1),(1,3),(2,3),(1,1),(1,2)$. Applying the Weyl dimension formula to $\lambda =n_1{\omega }_1+n_2{\omega }_2$ therefore gives the G2 dimension polynomialThe denominator is the product $1\cdot 1\cdot 2\cdot 3\cdot 4\cdot 5$ of the corresponding pairings with $\rho$. As checks, the weights ${\omega }_1,{\omega }_2,2{\omega }_1$ give dimensions $7,14,27$ respectively.