Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 102 / 4 / a / Solution

For a dominant integral weight $\lambda$, let $V(\lambda )$ be the finite-dimensional irreducible highest-weight representation with highest weight $\lambda$. Set $\rho =\frac{1}{2}{\sum }_{\alpha \in {\Phi }^{+}}\alpha$, the half-sum of positive roots. With ${\alpha }^{\vee }$ the coroot of $\alpha$, the Weyl dimension formula isHere ${\Phi }^{+}$ is the positive system of a root system specified by the chosen root basis. The fundamental weights are the basis dual to the simple coroots: $⟨{\omega }_i,{\alpha }_j^{\vee }⟩={\delta }_{ij}$. Thus $\lambda ={\sum }_i{a}_i{\omega }_i$ with nonnegative integers $a_i$. The denominators are positive; equivalently one can use $(\lambda +\rho ,\alpha )/(\rho ,\alpha )$ in each factor, since the coroot normalization cancels.