Higher Specht polynomials (Q1357702)

Let \(J_+=(e_1,e_2,\ldots,e_n)\) be the polynomial ideal generated by the elementary symmetric polynomials \(e_k=\sum_{1\leq i_1<i_2<\cdots<i_k\leq n} x_{i_1}x_{i_2}\cdots x_{i_k}\). It is known that \(R=\mathbb{C}[x_1,x_2,\ldots,x_n]/J_+\) is isomorphic, as a symmetric group module, to the left regular representation. This paper gives a basis of \(R\) that is compatible with its decomposition into simple modules. [This was also obtained independently by \textit{E. E. Allen} in Adv. Math. 100, No. 2, 262-292 (1993; Zbl 0795.20006).] We also find here a generalization to the semi-direct product \(G_{r,n}=\mathbb{Z}_r\rtimes S_n\). More precisely, they give a basis of \(R^{(r)}\mathbb{C}[x_1,x_2,\ldots,x_n]/J_+^{(r)}\) that is compatible with its decomposition into simple modules. Here, \(J_+^{(r)}\) is the ideal generated by \(e_k(x_1^r,x_2^r,\ldots,x_n^r)\), and it is known that \(R^{(r)}\) corresponds to the left regular \(G_{r,n}\)-module.