Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 3 / 2

Work with a complex semisimple Lie algebra and its root system $R$ in the real span $E$ of the roots of a root system. The Killing form induces a positive definite inner product on this real root space, after the usual identification with the dual of the real span of the coroots. For each root $\alpha$, its Weyl reflection isThe Weyl group is $\boxed{W=⟨s_{\alpha }:\alpha \in R⟩}$. The structural facts being used are that these reflections preserve the finite root system, that the roots span $E$, and that the reflections in the simple roots already generate $W$. Thus $W$ is finite: it acts faithfully as permutations of $R$. Equivalently, it is the normalizer of the Cartan subalgebra modulo its centralizer in the associated adjoint group.

Choose a positive system $R^{+}$ and its simple roots $\Delta =\{{\alpha }_1,\dots ,{\alpha }_{\ell }\}$. The corresponding fundamental Weyl chamber is the open coneIts Closed dominant Weyl chamber replaces all strict inequalities by weak inequalities. The facts used here are that every positive root is a nonnegative integral combination of the simple roots, and that the Weyl chambers are the connected components left after removing the root-orthogonal hyperplanes. Hence the displayed inequalities describe one such component. The Weyl group permutes these components simply transitively, and every orbit in $E$ meets the Closed dominant Weyl chamber in exactly one point. A point on a wall may have a nontrivial stabilizer, which is why uniqueness of the chamber point does not always mean uniqueness of the group element carrying it there.

A highest-weight vector is a nonzero weight vector $v$ such that ${\mathfrak{g}}_{\alpha }v=0$ for every positive root $\alpha$. Its weight of a representation is a highest weight. For an irreducible finite-dimensional Lie algebra representation, this is the unique highest weight of a representation, and $v$ generates the module; a reducible module can have several highest weights of different summands.

Here is an existence argument for every nonzero finite-dimensional module $V$. For each simple root, its root operators and coroot form an sl2 subalgebra associated with a root. The classification of finite-dimensional sl2 representations shows that this coroot acts diagonalizably with integral eigenvalues. These commuting coroots span the Cartan subalgebra, so simultaneous diagonalization gives a finite weight-space decompositionChoose a real linear functional $\ell$ on the weight lattice span that is positive on every simple root, hence on every positive root, and choose a weight $\lambda$ maximizing $\ell$ among the finitely many weights of $V$. If $v\in V_{\lambda }$ and $X_{\alpha }\in {\mathfrak{g}}_{\alpha }$, thenso $X_{\alpha }v$ belongs to $V_{\lambda +\alpha }$ if nonzero. For positive $\alpha$, that would contradict maximality because $\ell (\lambda +\alpha )>\ell (\lambda )$. Thus every nonzero $v\in V_{\lambda }$ is a highest-weight vector. Every nonzero finite-dimensional module therefore has a highest weight. The zero module has no nonzero vector or weight, so it is the vacuous exception to the literal unrestricted wording.

Let $v$ be a highest-weight vector of weight $\lambda$. For a simple root ${\alpha }_i$, choose its sl2 subalgebra associated with a root, with operators $E_i,F_i,H_i$ satisfying $[E_i,F_i]=H_i$, $[H_i,F_i]=-2F_i$, and $H_i={\alpha }_i^{\vee }$. We have $E_{i}v=0$ and $H_{i}v=\lambda (H_i)v$.

Since $F_i$ decreases the weight by ${\alpha }_i$ and there are only finitely many weights of a representation, let $n\ge 0$ be maximal with $F_i^{n}v\ne 0$. Induction using the two bracket relations gives the sl2 highest-weight lowering formulaApplying this at $k=n+1$, the left side vanishes, and the nonzero vector $F_i^{n}v$ on the right forces $\lambda (H_i)=n$. This holds for every simple root, soThus the highest weight is a dominant integral weight, in particular an element of the Closed dominant Weyl chamber.

Use the ${\mathfrak{sl}}_3$ weight of a representation convention from Question 1: $L_1+L_2+L_3=0$, with simple roots $L_1-L_2$ and $L_2-L_3$. This identification is necessary: the general preceding setup does not by itself specify which root system the symbols $L_i$ refer to.

The Weyl group is $S_3$, acting by permutations of the $L_i$. Let $s_1=(12)$ and $s_2=(23)$, with composition read from right to left. ThenHenceFor direct verification, the diagonal coefficients of $\mu$ are $(1,0,-2)$, so its two Dynkin labels are $1-0=1$ and $0-(-2)=2$, both strictly positive. Thus $\mu$ is in the open Weyl chamber. The original three coefficients $(-2,1,0)$ are distinct, so its stabilizer is trivial and this permutation is unique.