The Classification of finite-dimensional sl2 representations says that for every there is one irreducible module of dimension , with weightsof multiplicity one, and every finite-dimensional -module is a direct sum of these irreducibles.
The weight lattice isFor each root , restrict to the subalgebraIf , the classification shows that the -eigenvalue is an integer. Hence .
The same classification makes every -string symmetric underand preserves weight multiplicity. Since the Weyl group is generated by these simple reflections,
Take and its adjoint representation . This representation is irreducible because is simple. Its zero-weight space is the Cartan subalgebra , so
The dominance order isSuppose . Put . Since is dominant,Writing , some index with therefore satisfies , equivalently . The lowering operatoris injective by the Injectivity of sl2 lowering above weight zero. HenceThe new weight still dominates in the partial order. Iterating until reaching givesThis is the weight multiplicity decreases away from a dominant weight property.
Articles by others on the same topic
There are currently no matching articles.