Weight space

For a representation relative to a Cartan subalgebra, is the simultaneous eigenspace with weight .
Weight space

Definition

Let g\mathfrak g be a complex Lie algebra, hg\mathfrak h\subseteq\mathfrak g an abelian subalgebra (typically a in the semisimple setting), and let ρ:ggl(V)\rho:\mathfrak g\to\mathfrak{gl}(V) be a representation. For λh\lambda\in\mathfrak h^\ast, the λ\lambda-weight space is

Vλ={vVρ(H)v=λ(H)v for all Hh}. V_\lambda=\{v\in V\mid \rho(H)v=\lambda(H)v\ \text{for all }H\in\mathfrak h\}.

If Vλ0V_\lambda\neq 0, then λ\lambda is a .

Interaction with roots (semisimple context)

When g\mathfrak g is semisimple and h\mathfrak h is a Cartan subalgebra, g\mathfrak g decomposes into gα\mathfrak g_\alpha (see ). For XgαX\in \mathfrak g_\alpha and vVλv\in V_\lambda, one has

XvVλ+α, X\cdot v \in V_{\lambda+\alpha},

so root vectors “shift” weights by roots.

Context

For finite-dimensional representations of semisimple Lie algebras, the action of h\mathfrak h is semisimple and one gets a direct sum decomposition

V=λVλ. V=\bigoplus_\lambda V_\lambda.

This weight-space decomposition is one of the main inputs to highest-weight methods and depends crucially on complete reducibility phenomena (compare ).