ConceptComplete

Weights and Weight Spaces

Weight theory provides a systematic method to decompose and classify representations of Lie algebras through simultaneous eigenspaces of abelian subalgebras.

DefinitionCartan Subalgebra

A Cartan subalgebra hβŠ†g\mathfrak{h} \subseteq \mathfrak{g} is a maximal abelian subalgebra consisting of semisimple elements (diagonalizable in the adjoint representation).

For sln(C)\mathfrak{sl}_n(\mathbb{C}), the standard Cartan subalgebra is the diagonal matrices: h={diag(a1,…,an):βˆ‘ai=0}\mathfrak{h} = \{\text{diag}(a_1, \ldots, a_n) : \sum a_i = 0\}.

DefinitionWeight

Let VV be a representation of g\mathfrak{g} and h\mathfrak{h} a Cartan subalgebra. A weight is a linear functional λ∈hβˆ—\lambda \in \mathfrak{h}^* such that the weight space: VΞ»={v∈V:Hβ‹…v=Ξ»(H)vΒ forΒ allΒ H∈h}V_\lambda = \{v \in V : H \cdot v = \lambda(H) v \text{ for all } H \in \mathfrak{h}\} is non-zero.

An element v∈Vλv \in V_\lambda is called a weight vector of weight λ\lambda.

TheoremWeight Space Decomposition

For a finite-dimensional representation VV of a semisimple Lie algebra g\mathfrak{g}: V=⨁λ∈hβˆ—VΞ»V = \bigoplus_{\lambda \in \mathfrak{h}^*} V_\lambda

The direct sum is finite, and the weights form a finite subset of hβˆ—\mathfrak{h}^*.

ExampleWeights of $\mathfrak{sl}_2$ Representations

For the (n+1)(n+1)-dimensional irreducible representation VnV_n of sl2\mathfrak{sl}_2, with Cartan element H=(100βˆ’1)H = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}:

The weights are {n,nβˆ’2,nβˆ’4,…,βˆ’n}\{n, n-2, n-4, \ldots, -n\} (integers differing by 2, from nn to βˆ’n-n).

Each weight space is one-dimensional: dim⁑Vnβˆ’2k=1\dim V_{n-2k} = 1 for k=0,1,…,nk = 0, 1, \ldots, n.

DefinitionHighest Weight

A highest weight is a maximal weight with respect to a chosen ordering on hβˆ—\mathfrak{h}^*. A highest weight vector vΞ»v_\lambda satisfies:

  1. Hβ‹…vΞ»=Ξ»(H)vΞ»H \cdot v_\lambda = \lambda(H) v_\lambda for all H∈hH \in \mathfrak{h}
  2. EΞ±β‹…vΞ»=0E_\alpha \cdot v_\lambda = 0 for all positive root spaces gΞ±\mathfrak{g}_\alpha

The highest weight module V(Ξ»)V(\lambda) is generated by a highest weight vector.

Remark

Weight theory is fundamental because:

  • Classification: Irreducible representations are determined by highest weights
  • Character formulas: Weyl character formula expresses characters in terms of weights
  • Tensor products: Decomposition via weight multiplicities
  • Geometric interpretation: Weights correspond to torus eigenvalues, connecting to moment maps

For semisimple Lie algebras, the set of dominant integral weights parametrizes finite-dimensional irreducible representations, providing a complete classification.