Harmonic bases for generalized coinvariant algebras (Q5919014)

Summary: Let \(k \leqslant n\) be nonnegative integers and let \(\lambda\) be a partition of \(k\). \textit{S. Griffin} [Ordered set partitions, Garsia-Procesi modules, and rank varieties. University of Washington (PhD Thesis) (2020)] recently introduced a quotient \(R_{n,\lambda}\) of the polynomial ring \(\mathbb{Q}[x_1, \ldots, x_n]\) in \(n\) variables which simultaneously generalizes the delta conjecture coinvariant rings of \textit{J. Haglund} et al. [Adv. Math. 329, 851--915 (2018; Zbl 1384.05043)] and the cohomology rings of Springer fibers studied by \textit{T. Tanisaki} [Tohoku Math. J. (2) 34, 575--585 (1982; Zbl 0544.14030)] and \textit{A. M. Garsia} and \textit{C. Procesi} [Adv. Math. 94, No. 1, 82--138 (1992; Zbl 0797.20012)]. We describe the space \(V_{n,\lambda}\) of harmonics attached to \(R_{n,\lambda}\) and produce a harmonic basis of \(R_{n,\lambda}\) indexed by certain ordered set partitions \(\mathcal{OP}_{n,\lambda}\). The combinatorics of this basis is governed by a new extension of the Lehmer code of a permutation to \(\mathcal{OP}_{n, \lambda}\).