Kostka polynomial

From HandWiki
Short description: Certain family of polynomials

In mathematics, Kostka polynomials, named after the mathematician Carl Kostka, are families of polynomials that generalize the Kostka numbers. They are studied primarily in algebraic combinatorics and representation theory.

The two-variable Kostka polynomials Kλμ(q, t) are known by several names including Kostka–Foulkes polynomials, Macdonald–Kostka polynomials or q,t-Kostka polynomials. Here the indices λ and μ are integer partitions and Kλμ(q, t) is polynomial in the variables q and t. Sometimes one considers single-variable versions of these polynomials that arise by setting q = 0, i.e., by considering the polynomial Kλμ(t) = Kλμ(0, t).

There are two slightly different versions of them, one called transformed Kostka polynomials.[citation needed]

The one-variable specializations of the Kostka polynomials can be used to relate Hall-Littlewood polynomials Pμ to Schur polynomials sλ:

[math]\displaystyle{ s_\lambda(x_1,\ldots,x_n) =\sum_\mu K_{\lambda\mu}(t)P_\mu(x_1,\ldots,x_n;t).\ }[/math]

These polynomials were conjectured to have non-negative integer coefficients by Foulkes, and this was later proved in 1978 by Alain Lascoux and Marcel-Paul Schützenberger. [1] In fact, they show that

[math]\displaystyle{ K_{\lambda\mu}(t) = \sum_{T \in SSYT(\lambda,\mu)} t^{charge(T)} }[/math]

where the sum is taken over all semi-standard Young tableaux with shape λ and weight μ. Here, charge is a certain combinatorial statistic on semi-standard Young tableaux.

The Macdonald–Kostka polynomials can be used to relate Macdonald polynomials (also denoted by Pμ) to Schur polynomials sλ:

[math]\displaystyle{ s_\lambda(x_1,\ldots,x_n) =\sum_\mu K_{\lambda\mu}(q,t)J_\mu(x_1,\ldots,x_n;q,t)\ }[/math]

where

[math]\displaystyle{ J_\mu(x_1,\ldots,x_n;q,t) = P_\mu(x_1,\ldots,x_n;q,t)\prod_{s\in\mu}(1-q^{arm(s)}t^{leg(s)+1}).\ }[/math]

Kostka numbers are special values of the one- or two-variable Kostka polynomials:

[math]\displaystyle{ K_{\lambda\mu}= K_{\lambda\mu}(1)=K_{\lambda\mu}(0,1).\ }[/math]

Examples

References

  1. Lascoux, A.; Scützenberger, M.P.. "Sur une conjecture de H.O. Foulkes". Comptes Rendus de l'Académie des Sciences, Série A-B 286 (7): A323–A324. 

External links