Stable-limit partially symmetric Macdonald functions and parabolic flag Hilbert schemes

TL;DR

This paper extends the understanding of Macdonald functions by explicitly computing their images in the context of parabolic flag Hilbert schemes, confirming a conjecture and linking algebraic and geometric structures.

Contribution

It explicitly computes the images of fixed point classes under a key isomorphism, confirming a conjecture about partially symmetric Macdonald polynomials and connecting algebraic and geometric frameworks.

Findings

Computed images of fixed point classes match modified partially symmetric Macdonald polynomials.

Confirmed prior conjecture by Goodberry-Orr on these polynomials.

Provided an explicit formula for the involution action on the polynomial representation.

Abstract

The modified Macdonald functions $\widetilde{H}_{\mu}$ are fundamental objects in modern algebraic combinatorics. Haiman showed that there is a correspondence between the $(\mathbb{C}^{*})^2$-fixed points $I_{\mu}$ of the Hilbert schemes $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and the functions $\widetilde{H}_{\mu}$ realizing a derived equivalence between $(\mathbb{C}^{*})^2$-equivariant coherent sheaves on $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and $(\mathfrak{S}_n \times (\mathbb{C}^{*})^2)$-equivariant coherent sheaves on $(\mathbb{C}^2)^n.$ Carlsson--Gorsky--Mellit introduced a larger family of smooth projective varieties $\mathrm{PFH}_{n,n-k}$ called the parabolic flag Hilbert schemes. They showed that an algebra $\mathbb{B}_{q,t}$, directly related to the double Dyck path algebra $\mathbb{A}_{q,t}$ employed in Carlsson--Mellit's proof of the Shuffle Theorem, acts naturally on the $(\mathbb{C}^{*})^2$-equivariant K-theory $U_{\bullet}$ of these spaces and, moreover, there is a $\mathbb{B}_{q,t}$-isomorphism $\Phi: U_{\bullet} \rightarrow V_{\bullet}$ where $V_{\bullet}$ is the polynomial representation. The isomorphism $\Phi: U_{\bullet} \rightarrow V_{\bullet}$ is known to extend Haiman's correspondence. In this paper, we explicitly compute the images $\Phi(H_{\mu,w})$ of the normalized $(\mathbb{C}^{*})^2$-fixed point classes $H_{\mu,w}$ of the spaces $\mathrm{PFH}_{n,n-k}$ and show they agree with the modified partially symmetric Macdonald polynomials $\widetilde{H}_{(\lambda|\gamma)}$ introduced by Goodberry-Orr, confirming their prior conjecture. We use this result to give an explicit formula for the action of the involution $\mathcal{N}$ on $V_{\bullet}.$