\(q,t\)-Catalan numbers and generators for the radical ideal defining the diagonal locus of \((\mathbb C^2)^n\) (Q640408)

Summary: Let \(I\) be the ideal generated by alternating polynomials in two sets of \(n\) variables. Haiman proved that the \(q, t\)-Catalan number is the Hilbert series of the bi-graded vector space \(M\) (\(=\bigoplus_{d_1,d_2} M_{d_1,d_2}\)) spanned by a minimal set of generators for \(I\). In this paper we give simple upper bounds on dim \(M_{d_1,d_2}\) in terms of number of partitions, and find all bi-degrees \((d_1, d_2)\) such that dim \(M_{d_1,d_2} \) achieve the upper bounds. For such bi-degrees, we also find explicit bases for \(M_{d_1,d_2}\).