Highest-weight representation

A representation generated by a vector annihilated by the positive root spaces.
Highest-weight representation

Let g\mathfrak g be a complex semisimple with a fixed h\mathfrak h and choice of positive roots, giving a triangular decomposition

g=nhn+, \mathfrak g=\mathfrak n^-\oplus \mathfrak h\oplus \mathfrak n^+,

as in the setup.

Definition (Highest-weight representation).
A g\mathfrak g-module VV is a highest-weight representation if there exists a nonzero vector vVv\in V such that

  • n+v=0\mathfrak n^+\cdot v=0, and
  • vv is a weight vector for h\mathfrak h, say hv=λ(h)vh\cdot v=\lambda(h)v,

and VV is generated by vv as a g\mathfrak g-module. The weight λ\lambda is then the of VV.

If VV is finite-dimensional and irreducible (see ), then VV is automatically highest-weight for any choice of positive roots, and the highest weight is uniquely determined by VV.

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 .