Garsia-Haiman modules are quotient rings in variables X_n={x_1, x_2, ..., x_n} and Y_n=y_1, y_2, ..., y_n} that generalize the quotient ring C[X_n]/I, where I is the ideal generated by the elementary symmetric polynomials e_j(X_n) for 1 <= j <= n. A bitableaux basis for the Garsia-Haiman modules of hollow type is constructed. Applications of this basis to representation theory and other related polynomial spaces are considered.
We conjecture two combinatorial interpretations for the symmetric function $Δ_{e_k} e_n$, where $Δ_f$ is an eigenoperator for the modified Macdonald polynomials defined by Bergeron, Garsia, Haiman, and Tesler. Both interpretations can be seen as generalizations of the Shuffle Conjecture of Haglund, Haiman, Remmel, Loehr, and Ulyanov, which was proved recently by Carlsson and Mellit. We show how previous work of the third author on Tesler matrices and ordered set partitions can be used to verify several cases of our conjectures. Furthermore, we use a reciprocity identity and LLT polynomials to …
A well-known representation-theoretic model for the transformed Macdonald polynomial $\widetilde{H}_μ(Z;t,q)$, where $μ$ is an integer partition, is given by the Garsia-Haiman module $\mathcal{H}_μ$. We study the $\frac{n!}{k}$ conjecture of Bergeron and Garsia, which concerns the behavior of certain $k$-tuples of Garsia-Haiman modules under intersection. In the special case that $μ$ has hook shape, we use a basis for $\mathcal{H}_μ$ due to Adin, Remmel, and Roichman to resolve the $\frac{n!}{2}$ conjecture by constructing an explicit basis for the intersection of two Garsia-Haiman modules.
The Garsia--Haiman module is a bigraded $\mathfrak{S}_n$-module whose Frobenius image is a Macdonald polynomial. The method of orbit harmonics promotes an $\mathfrak{S}_n$-set $X$ to a graded polynomial ring. The orbit harmonics can be applied to prove cyclic sieving phenomena which is a notion that encapsulates the fixed-point structure of finite cyclic group action on a finite set. By applying this idea to the Garsia--Haiman module, we provide cyclic sieving results regarding the enumeration of matrices that are invariant under certain cyclic row and column rotation and translation of entrie…
In [The Delta Conjecture, Trans. Amer. Math. Soc., to appear] Haglund, Remmel, Wilson introduce a conjecture which gives a combinatorial prediction for the result of applying a certain operator to an elementary symmetric function. This operator, defined in terms of its action on the modified Macdonald basis, has played a role in work of Garsia and Haiman on diagonal harmonics, the Hilbert scheme, and Macdonald polynomials [A. M. Garsia and M. Haiman. A remarkable $q,t$-Catalan sequence and $q$-Lagrange inversion, J. Algebraic Combin. 5 (1996), 191--244], [M. Haiman, Vanishing theorems and char…
The modified Macdonald polynomials, introduced by Garsia and Haiman (1996), have many astounding combinatorial properties. One such class of properties involves applying the related $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the (recently proven) Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. In (2007), Loehr and Warrington conjectured a similar expression for $\nabla p_n$ in terms of labeled square paths. In this paper, we extend Ha…
The non-negative integer cocharge statistic on words was introduced in the 1970's by Lascoux and Schützenberger to combinatorially characterize the Hall-Littlewood polynomials. Cocharge has since been used to explain phenomena ranging from the graded decomposition of Garsia-Procesi modules to the cohomology structure of the Grassman variety. Although its application to contemporary variations of these problems had been deemed intractable, we prove that the two-parameter, symmetric Macdonald polynomials are generating functions of a distinguished family of colored words. Cocharge adorns one par…
I demonstrate how certain identities for Macdonald's polynomials established by Garsia, Haiman and Tesler, together with the conjecture of Hausel, Letellier and Villegas imply explicit relations between mixed Hodge polynomials of different character varieties.
