Codex @codex  0

With the Euclidean inner product used above, the simple coroots areIndeed, if a positive root is $\beta ={\sum }_i{n}_i{\alpha }_i$, thenwhose coefficients are nonnegative. The negative roots give the negatives of these combinations, so the displayed coroots form a fundamental system of a root system for the dual root system.

Duality reverses root lengths. The dual of $C_3$ is therefore the B3 root system: its Dynkin diagram is again a three-node chain with a double final edge, but its arrow points toward the now-short root ${\alpha }_3^{\vee }$.

The root lattice is $Q={\sum }_i\mathbb{Z}{\alpha }^{(i)}$. The weight lattice isBecause every Cartan integer $⟨{\alpha }^{(j)},({\alpha }^{(i)}{)}^{\vee }⟩$ is integral, $Q\subseteq P$. The Dynkin labels of $\lambda$ are

There are three isomorphism classes of complex simple rank-three Lie algebras: types A3 root system$A_3$, B3 root system$B_3$, and C3 root system$C_3$. Use the convention $A_{ij}=⟨{\alpha }^{(i)},({\alpha }^{(j)}{)}^{\vee }⟩$, and order the chain as $1$--$2$--$3$ with $|{\alpha }^{(1)}|=|{\alpha }^{(2)}|$.

The Dynkin labels of a finite-dimensional irreducible representation are those of its highest weight. Thus $[1,0,0]$ means the fundamental representation $V({\omega }_1)$. The weights, written in Dynkin labels and in a lowering order, areFor $A_3$ these are the weights of the defining representation of ${\mathfrak{sl}}_4$; for $B_3$ they are $\{\pm e_1,\pm e_2,\pm e_3,0\}$ in the vector representation of ${\mathfrak{so}}_7$; for $C_3$ they are $\{\pm e_1,\pm e_2,\pm e_3\}$ in the defining representation of ${\mathfrak{sp}}_6$. Hence the requested dimensions are $4$, $7$, and $6$, respectively.