Authors: Kyungyong Lee ¹; Li Li ²

• 1 Department of mathematics Purdue University
• 2 Department of Mathematics [Urbana]

Let $I_n$ be the (big) diagonal ideal of $(\mathbb{C}^2)^n$. Haiman proved that the $q,t$-Catalan number is the Hilbert series of the graded vector space $M_n=\bigoplus_{d_1,d_2}(M_n)_{d_1,d_2}$ spanned by a minimal set of generators for $I_n$. We give simple upper bounds on $\textrm{dim} (M_n)_{d_1, d_2}$ in terms of partition numbers, and find all bi-degrees $(d_1,d_2)$ such that $\textrm{dim} (M_n)_{d_1, d_2}$ achieve the upper bounds. For such bi-degrees, we also find explicit bases for $(M_n)_{d_1, d_2}$.