Let g\mathfrak g be a finite-dimensional complex semisimple Lie algebra (see ) and let h⊂g\mathfrak h\subset \mathfrak g be a . For a representation ρ:g→gl(V)\rho:\mathfrak g\to \mathfrak{gl}(V), a linear functional λ∈h∗\lambda\in \mathfrak h^\ast is called a weight of VV if the corresponding

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

is nonzero.

Context

Weights organize the representation theory of semisimple Lie algebras: the set of weights (with multiplicities dim⁡Vλ\dim V_\lambda) encodes much of VV, and irreducible representations are classified by their (see ). The ambient space where weights live is explained in .

Equivalent characterizations

Equivalently, λ\lambda is a weight if there exists 0≠v∈V0\neq v\in V such that every H∈hH\in\mathfrak h acts on vv by the scalar λ(H)\lambda(H) (so vv is a simultaneous eigenvector for the commuting family ρ(h)\rho(\mathfrak h)).