Generalized coinvariant algebras for \(G(r,1,n)\) in the Stanley-Reisner setting (Q2001994)

Summary: Let \(r\) and \(n\) be positive integers, let \(G_n\) be the complex reflection group of \(n \times n\) monomial matrices whose entries are \(r^{\text{th}}\) roots of unity and let \(0 \leq k \leq n\) be an integer. \textit{J. Haglund} et al. [Adv. Math. 329, 851--915 (2018; Zbl 1384.05043)] (\(r=1\)) and \textit{K. Chan} and \textit{B. Rhoades} [``Generalized coinvariant algebras for wreath products'', Preprint, \url{arXiv:1701.06256}] (\(r>1\)) introduced quotients \(R_{n,k}\) (for \(r>1\)) and \(S_{n,k}\) (for \(r \geq 1\)) of the polynomial ring \(\mathbb{C}[x_1,\ldots,x_n]\) in \(n\) variables, which for \(k=n\) reduce to the classical coinvariant algebra attached to \(G_n\). When \(n=k\) and \(r=1\), \textit{A. M. Garsia} and \textit{D. Stanton} [Adv. Math. 51, 107--201 (1984; Zbl 0561.06002)] exhibited a quotient of \(\mathbb{C}[\mathbf{y}_S]\) isomorphic to the coinvariant algebra, where \(\mathbb{C}[\mathbf{y}_S]\) is the polynomial ring in \(2^n-1\) variables whose variables are indexed by nonempty subsets \(S \subseteq [n]\). In this paper, we will define analogous quotients that are isomorphic to \(R_{n,k}\) and \(S_{n,k}\).