Weight space
For a representation relative to a Cartan subalgebra, is the simultaneous eigenspace with weight .
Weight space
Definition
Let be a complex Lie algebra, an abelian subalgebra (typically a Cartan subalgebra in the semisimple setting), and let be a representation. For , the -weight space is
If , then is a weight of the representation .
Interaction with roots (semisimple context)
When is semisimple and is a Cartan subalgebra, decomposes into root spaces (see root space decomposition ). For and , one has
so root vectors “shift” weights by roots.
Context
For finite-dimensional representations of semisimple Lie algebras, the action of is semisimple and one gets a direct sum decomposition
This weight-space decomposition is one of the main inputs to highest-weight methods and depends crucially on complete reducibility phenomena (compare Weyl’s complete reducibility theorem ).