Highest-weight representation
Let be a complex semisimple Lie algebra with a fixed Cartan subalgebra and choice of positive roots, giving a triangular decomposition
as in the root space decomposition setup.
Definition (Highest-weight representation).
A -module is a highest-weight representation if there exists a nonzero vector such that
- , and
- is a weight vector for , say ,
and is generated by as a -module. The weight is then the highest weight of .
If is finite-dimensional and irreducible (see irreducibility ), then is automatically highest-weight for any choice of positive roots, and the highest weight is uniquely determined by .
Motivation.
Highest-weight representations provide a “triangular” way to build modules: one starts from a single extremal vector and generates everything by applying negative root operators. This is the mechanism behind the classification in the highest-weight theorem
.