Kostant Partition Function

In representation theory, a branch of mathematics, the Kostant partition function, introduced by , of a root system $\Delta$ is the number of ways one can represent a vector (weight) as a non-negative integer linear combination of the positive roots $\Delta^+\subset\Delta$. Kostant used it to rewrite the Weyl character formula as a formula (the Kostant multiplicity formula) for the multiplicity of a weight of an irreducible representation of a semisimple Lie algebra. An alternative formula, that is more computationally efficient in some cases, is Freudenthal's formula.

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

An example

Consider the A2 root systems, with positive roots $\alpha_1$, $\alpha_2$, and $\alpha_3:=\alpha_1+\alpha_2$. If an element $\mu$ can be expressed as a non-negative integer linear combination of $\alpha_1$, $\alpha_2$, and $\alpha_3$, then since $\alpha_3=\alpha_1+\alpha_2$, it can also be expressed as a non-negative integer linear combination of $\alpha_1$ and $\alpha_2$:
:$\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 $0\leq k\leq\mathrm(n_1,n_2)$. Thus, if the Kostant partition function is denoted by $p$, we obtain the formula
:$p(n_1\alpha_1+n_2\alpha_2)=1+\mathrm(n_1,n_2)$.
This result is shown graphically in the image at right. If an element $\mu$ is not of the form $\mu=n_1\alpha_1+n_2\alpha_2$, then $p(\mu)=0$.

Relation to the Weyl character formula

Inverting the Weyl denominator

For each root $\alpha$ and each $H\in\mathfrak$, we can ''formally'' apply the formula for the sum of a geometric series to obtain
:$\frac=1+e^+e^+\cdots$
where we do not worry about convergence—that is, the equality is understood at the level of formal power series. Using Weyl's denominator formula

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

:$\begin \frac&=e^\prod_(1+e^+e^+e^+\cdots) \\ &=e^\sum_p(\mu)e^ \end$
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^$ 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(V)=$

from a quotient to a product:

:$\operatorname(V)=\left(\sum_ (-1)^e^\right) \left(e^\sum_p(\mu)e^\right) .$

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$: Theorem 10.29
:$\mathrm(\mu)=\sum_(-1)^p(w\cdot(\lambda+\rho)-(\mu+\rho))$.
This result is the Kostant multiplicity formula.

The dominant term in this formula is the term $w=1$; the contribution of this term is $p(\lambda-\mu)$, which is just the multiplicity of $\mu$ in the Verma module with highest weight $\lambda$. If $\lambda$ is sufficiently far inside the fundamental Weyl chamber and $\mu$ is sufficiently close to $\lambda$, it may happen that all other terms in the formula are zero. Specifically, unless $w\cdot(\lambda+\rho)$ is higher than $\mu+\rho$, the value of the Kostant partition function on $w\cdot(\lambda+\rho)-(\mu+\rho)$ will be zero. Thus, although the sum is nominally over the whole Weyl group, in most cases, the number of nonzero terms is smaller than the order of the Weyl group.

References

Sources

*
* Humphreys, J.E. Introduction to Lie algebras and representation theory, Springer, 1972.
*
*
{{refend

Representation theory
Representation theory of Lie algebras
Types of functions