The $q,t$ Kostka polynomials are defined to be the coefficients of the big Schur $s_\lambda[X(1-t)]$ in the expansion of the integral form Macdonald polynomials $J_\mu[X;q,t]$. The integral form Macdonald polynomials are obtained by normalizing the Macdonald P-polynomials $P_\lambda(X;q,t)$ in a certain way. Macdonald correctly conjectured that the $J_\mu(X;q,t)$ will have integral monomial coefficients and they expand positively in the big Schur basis. My question is how did he decide to look at that particular normalization of the Macdonald polynomials and why did he decide to expand it in the big Schur basis? Since we are in the $q,t$ world I would have expected to expand in $s_\lambda\bigg[X\dfrac{1-t}{1-q}\bigg]$ or the plain $s_\lambda$ somehow.

Any intuition to come up with the definition of the $J_\lambda$ or the $q,t$-Kostka polynomials will be helpful.

Edit 1: Definition of $J_\lambda[X;q,t]$:

We will draw a Young diagram of a partition in the `English' notation.

Given a partition $\lambda$ and a cell $c \in \lambda$ (i.e, $c$ is a cell in the Young diagram of $\lambda$), define the arm-length $a(s)$ to be the number of boxes to the right of $s$ in the Young diagram in the same row. And the leg-length $\ell(s)$ to be the number of boxes below $s$ in the same column. Then define $$c_\lambda(q,t) = \prod_{s\in \lambda} (1-q^{a(s)}t^{1+\ell(s)}) \quad . $$ Then $$ J_\lambda[X;q,t] = c_\lambda(q,t) P_\lambda[X;q,t] \quad . $$



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.