Weyl Character Formula
The Weyl Character Formula is a fundamental result that expresses characters of irreducible representations in terms of the Weyl group and root system.
Let be the irreducible representation with highest weight . The character is: where is half the sum of positive roots, is the Weyl group, and .
The formula expresses the character as an alternating sum over the Weyl group, divided by a product over positive roots (the denominator is the character of the regular representation).
The dimension of is obtained by evaluating the character at the identity:
This gives an explicit combinatorial formula for dimensions.
For with fundamental weights and highest weight :
The positive roots are , and .
The dimension formula gives:
For (defining representation): ✓
Multiplicity formula: In the weight space decomposition , the multiplicity of weight is: where is the Kostant partition function (number of ways to write a vector as a sum of positive roots).
Freudenthal's formula: Recursive formula for weight multiplicities:
The Weyl Character Formula is remarkable for:
- Explicitness: Computes characters without constructing representations
- Symmetry: Reveals Weyl group action on weights
- Universality: Generalizes to affine Lie algebras, quantum groups, Kac-Moody algebras
- Applications: Tensor product decompositions, branching rules, representation stability
Proof methods include geometric approaches (Borel-Weil-Bott theorem via line bundles on flag varieties) and combinatorial methods (Demazure characters, crystal bases).