# Character formula

*Weyl formula*

A formula that expresses the character of an irreducible finite-dimensional representation of a semi-simple Lie algebra over an algebraically closed field of characteristic 0 (cf. Character of a finite-dimensional representation of a semi-simple Lie algebra) in terms of its highest weight :

(here is the Weyl group and is half the sum of the positive roots of the Lie algebra ). Consequences of the character formula are the formula for the dimension of the representation:

a formula for the multiplicity of a weight, and also Steinberg's formula for the number of occurrences of the irreducible -module in :

where is the number of distinct presentations of an element as a sum of positive roots (see [1]).

The character formula can be generalized to the case of irreducible representations of graded Lie algebras defined by an indecomposable Cartan matrix (see also Lie algebra, graded). This generalization leads to the following combinatorial identities:

(Euler's identity);

(Gauss' identity);

(Jacobi's identity); where

(the Rogers–Ramanujan identity); and others (see [3], [4]).

An analogue of the character formula can also be obtained for irreducible representations of certain simple Lie superalgebras (cf. Superalgebra) [2].

#### References

[1] | N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) |

[2] | D.A. Leites, "Formulas for the characters of irreducible finite-dimensional representations of simple Lie superalgebras" Funct. Anal. and Appl. , 14 (1980) pp. 106–109 Funktsional. Anal. i Prilozhen. , 14 : 2 (1980) pp. 35–38 |

[3] | V.G. Kac, "Infinite-dimensional algebras, Dedekind's -function, classical Möbius function and the very strange formula" Adv. in Math. , 30 : 2 (1978) pp. 85–136 |

[4] | J. Lepowsky, "Lie algebras and related topics" , Springer (1982) |

#### Comments

The denominator in the Weyl character formula can be written in two different ways: one as a sum, and the other as a product. This identity is called the Weyl denominator formula. It was I.G. Macdonald [a1] who proved that the denominator formula had a suitable generalization to the case of affine root systems. For the affine root system of type , the formula of Macdonald comes down to the Jacobi triple product identity. Shortly afterwards it was V.G. Kac [a2] who realized that the Weyl character formula could be generalized to the case of so-called Kac–Moody algebras (cf. also Kac–Moody algebra) with a symmetrizable generalized Cartan matrix in the form

(Recently, O. Mathieu and S. Kumar have removed the assumption of symmetrizability; see [a5] for a detailed exposition.) Specializing (i.e. the trivial representation) yields a very nice proof of the Macdonald identity. A different proof of the Macdonald identity using -functions has been given by E. Looyenga [a3].

The Rogers–Ramanujan identities and their higher analogues are of a more delicate nature, and are related to the decomposition of the irreducible highest weight module when restricted to a suitable Heisenberg subalgebra, see J. Lepowsky [a4].

For a generalization to Lie superalgebras see also [a6].

#### References

[a1] | I.G. Macdonald, "Affine root systems and Dedekind's eta function" Invent. Math. , 15 (1972) pp. 91–143 |

[a2] | V.G. Kac, "Infinite-dimensional Lie algebras and Dedekind's eta function" Funct. Anal. and Appl. , 8 (1974) pp. 68–70 Funktsional. Anal. i Prilozhen. , 8 (1974) pp. 77–78 |

[a3] | E. Looyenga, "Invariant theory for generalized root systems" Invent. Math. , 61 (1980) pp. 1–32 |

[a4] | J. Lepowsky, "Affine Lie algebras and combinatorial identities" , Proc. 1981 Rutgers Lie Algebras Conference , Lect. notes in math. , 933 , Springer (1982) |

[a5] | V.G. Kac, "Infinite-dimensional Lie algebras" , Birkhäuser (1983) |

[a6] | V.G. Kac, "Representations of classical Lie superalgebras" , Lect. notes in math. , 676 , Springer (1978) pp. 597–626 |

**How to Cite This Entry:**

Character formula. D.A. Leites (originator),

*Encyclopedia of Mathematics.*URL: http://www.encyclopediaofmath.org/index.php?title=Character_formula&oldid=17618