TheoremComplete

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.

TheoremWeyl Character Formula

Let L(λ)L(\lambda) be the irreducible representation with highest weight λP+\lambda \in P^+. The character is: χL(λ)(eH)=wWϵ(w)ew(λ+ρ)ρwWϵ(w)ew(ρ)ρ=wWϵ(w)ew(λ+ρ)αΦ+(eα/2eα/2)\chi_{L(\lambda)}(e^H) = \frac{\sum_{w \in W} \epsilon(w) e^{w(\lambda + \rho) - \rho}}{\sum_{w \in W} \epsilon(w) e^{w(\rho) - \rho}} = \frac{\sum_{w \in W} \epsilon(w) e^{w(\lambda + \rho)}}{\prod_{\alpha \in \Phi^+} (e^{\alpha/2} - e^{-\alpha/2})} where ρ=12αΦ+α\rho = \frac{1}{2}\sum_{\alpha \in \Phi^+} \alpha is half the sum of positive roots, WW is the Weyl group, and ϵ(w)=det(w)=±1\epsilon(w) = \det(w) = \pm 1.

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).

TheoremWeyl Dimension Formula

The dimension of L(λ)L(\lambda) is obtained by evaluating the character at the identity: dimL(λ)=αΦ+λ+ρ,αρ,α\dim L(\lambda) = \prod_{\alpha \in \Phi^+} \frac{\langle \lambda + \rho, \alpha \rangle}{\langle \rho, \alpha \rangle}

This gives an explicit combinatorial formula for dimensions.

ExampleDimension of $\mathfrak{sl}_3$ Representations

For sl3\mathfrak{sl}_3 with fundamental weights ω1,ω2\omega_1, \omega_2 and highest weight λ=aω1+bω2\lambda = a\omega_1 + b\omega_2:

The positive roots are α1,α2,α1+α2\alpha_1, \alpha_2, \alpha_1 + \alpha_2, and ρ=ω1+ω2\rho = \omega_1 + \omega_2.

The dimension formula gives: dimL(aω1+bω2)=(a+1)(b+1)(a+b+2)2\dim L(a\omega_1 + b\omega_2) = \frac{(a+1)(b+1)(a+b+2)}{2}

For λ=ω1\lambda = \omega_1 (defining representation): dimL(ω1)=2132=3\dim L(\omega_1) = \frac{2 \cdot 1 \cdot 3}{2} = 3

TheoremConsequences

Multiplicity formula: In the weight space decomposition L(λ)=μVμL(\lambda) = \bigoplus_\mu V_\mu, the multiplicity of weight μ\mu is: multλ(μ)=wWϵ(w)P(w(λ+ρ)(μ+ρ))\text{mult}_\lambda(\mu) = \sum_{w \in W} \epsilon(w) P(w(\lambda + \rho) - (\mu + \rho)) where PP 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: (λ+ρ,λ+ρμ+ρ,μ+ρ)mult(μ)=2αΦ+k1μ+kα,αmult(μ+kα)(\langle \lambda + \rho, \lambda + \rho \rangle - \langle \mu + \rho, \mu + \rho \rangle) \text{mult}(\mu) = 2\sum_{\alpha \in \Phi^+} \sum_{k \geq 1} \langle \mu + k\alpha, \alpha \rangle \text{mult}(\mu + k\alpha)

Remark

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).