Kostant partition function

In representation theory, a branch of mathematics, the Kostant partition function, introduced by Bertram Kostant (1958, 1959), of a root system $\Delta$ is the number of ways one can represent a vector (weight) as an integral non-negative sum of the positive roots $\Delta ^{+}\subset \Delta$. Kostant used it to rewrite the Weyl character formula as a formula for the multiplicity of a weight of an irreducible representation of a semisimple Lie algebra.

The Kostant partition function can also be defined for Kac–Moody algebras and has similar properties.

An example

The Kostant partition function for the A2 root system

Consider the A2 root systems, with positive roots $\alpha _{1}$, $\alpha _{2}$, and $\alpha _{1}+\alpha _{2}$. For the partition function to be nonzero, we must apply it to an element of the form

$\mu =n_{1}\alpha _{1}+n_{2}\alpha _{2}$

with $n_{1}$ and $n_{2}$ being non-negative integers. This expression gives one way to write $\mu$ as a non-negative integer combination of positive roots; other expressions can be obtained by replacing $\alpha _{1}+\alpha _{2}$ with $\alpha _{3}$ some number of times. We can do the replacement $k$ times, where $k\leq \mathrm {min} (n_{1},n_{2})$. Thus, we obtain the formula

$p(n_{1}\alpha _{1}+n_{2}\alpha _{2})=1+\mathrm {min} (n_{1},n_{2})$.

Relation to the Weyl character formula

Inverting the Weyl denominator

For each root $\alpha$ and each $H\in {\mathfrak {h}}$, we have can formally apply the formula for the sum of a geometric series to obtain

${\frac {1}{1-e^{-\alpha (H)}}}=1+e^{\alpha (H)}+e^{2\alpha (H)}+\cdots$

where do not worry about convergence—that is, the equality is understood at the level of formal power series. Using Weyl's denominator formula

${\sum _{w\in W}(-1)^{\ell (w)}w(e^{\rho (H)})=e^{\rho (H)}\prod _{\alpha >0}(1-e^{-\alpha (H)})},$

we obtain a formal expression for the reciprocal of the Weyl denominator:

${\begin{aligned}\sum _{w\in W}(-1)^{\ell (w)}w(e^{\rho (H)})&{}=e^{\rho (H)}\prod _{\alpha >0}(1+e^{-\alpha (H)}+e^{-2\alpha (H)}+e^{-3\alpha (H)}+\cdots )\\&{}=e^{\rho (H)}\sum _{\mu }p(\mu )e^{-\mu (H)}\end{aligned}}$

Here, the first equality is by taking a product over the positive roots of the geometric series formula and the second equality is by counting all the ways a given exponential $e^{\mu (H)}$ can occur in the product.

Rewriting the character formula

This argument shows that we can convert the Weyl character formula for the irreducible representation with highest weight $\lambda$:

$\operatorname {ch} (V)={\sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot (\lambda +\rho )(H)} \over \sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot \rho (H)}}$

from a quotient to a product:

$\operatorname {ch} (V)=(\sum _{w\in W}(-1)^{\ell (w)}e^{w\cdot (\lambda +\rho )(H)-\rho (H)})(\sum _{\mu }p(\mu )e^{-\mu (H)}).$

The multiplicity formula

Using the preceding rewriting of the character formula, it is relatively easy to write the character as a sum of exponentials. The coefficients of these exponentials are the multiplicities of the corresponding weights. We thus obtain a formula for the multiplicity of a given weight $\mu$ in the irreducible representation with highest weight $\lambda$:

$\mathrm {mult} (\mu )=\sum _{w\in W}(-1)^{\ell (w)}p(w\cdot (\lambda +\rho )-(\mu +\rho ))$.

This result is the Kostant multiplicity formula.

Sources

• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer
• Humphreys, J.E. Introduction to Lie algebras and representation theory, Springer, 1972.
• Kostant, Bertram (1958), "A formula for the multiplicity of a weight", Proceedings of the National Academy of Sciences of the United States of America, 44 (6), National Academy of Sciences: 588–589, doi:10.1073/pnas.44.6.588, ISSN 0027-8424, JSTOR 89667, MR 0099387
• Kostant, Bertram (1959), "A formula for the multiplicity of a weight", Transactions of the American Mathematical Society, 93 (1), American Mathematical Society: 53–73, doi:10.2307/1993422, ISSN 0002-9947, JSTOR 1993422, MR 0109192