Science Fiction and Macdonald's Polynomials

Abstract

This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_μ$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_μ$ is defined for a partition $μ\part n$, as the linear span of derivatives of a certain bihomogeneous polynomial $Δ_ μ(x,y)$ in the variables $x_1,x_2,..., x_n, y_1,y_2,..., y_n$. It has been conjectured by Garsia and Haiman that ${\bf M}_μ$ has $n!$ dimensions and that its bigraded Frobenius characteristic is given by the symmetric polynomial ${\widetilde{H}}_μ(x;q,t)=\sum_{λ\part n} S_λ(X) {\widetilde{K}}_{λμ}(q,t)$ where the ${\widetilde{K}}_{λμ}(q,t)$ are related to the Macdonald $q,t$-Kostka coefficients $ K_{λμ}(q,t)$ by the identity ${\widetilde{K}}_{λμ}(q,t)=K_{λμ}(q,1/t)t^{n(μ)}$ with $n(μ)$ the x-degree of $Δ_ μ(x;y)$. Computer data has suggested that as $ν$ varies among the immediate predecessors of a partition $μ$, the spaces ${\bf M}_ν$ behave like a boolean lattice. We formulate a number of remarkable conjectures about the Macdonald polynomials. In particular we obtain a representation theoretical interpretation for some of the symmetries that can be found in the computed tables of $q,t$-Kostka coefficients.