Rational Cherednik algebras and diagonal coinvariants of \(G(m,p,n)\) (Q877706)

Let \(W\) be the imprimitive finite complex reflection group \(G(m,p,n)\) where \(m\neq p\), let \(d=m/p\), let \(\eta\) be the reflection representation of \(W\) and let \[ D_W:=\frac{\mathbb C[\eta\oplus\eta^*]}{\langle\mathbb C[\eta\oplus\eta^*]^W_+\rangle} \] be the ring of diagonal coinvariants of \(W\). Here \(\mathbb C[\eta\oplus\eta^*]^W_+\) denotes the elements with zero constant term. The ring \(D_W\) has a natural grading with \(\deg(\eta^*)=1\) and \(\deg(\eta)=-1\). The author proves the existence of a \(W\)-stable quotient ring \(S_W\) of \(D_W\), with the properties (1) \(\dim(S_W)=(m(n-1)+d+1)^n\). (2) \(S_W\) is graded with Hilbert series \(t^{-n-m\left(\begin{smallmatrix} n\cr 2\end{smallmatrix}\right)}(1+t+\cdots+t^{m(n-1)+d})^n\). (3) The image of \(\mathbb C[\eta]\) in \(S_W\) is \(\mathbb C[\eta]/\langle\mathbb C[\eta]^W_+\rangle\). (4) The character \(\chi\) of \(S_W\otimes\Lambda^n\eta^*\) as a \(W\)-module satisfies \(\chi(w)=(m(n-1)+d+1)^{\dim\ker(1-w)}\) for any \(w\in W\). The above result is the analog for the groups \(G(m,p,n)\) of a result obtained by \textit{I.~Gordon} [Invent. Math. 153, No. 3, 503--518 (2003; Zbl 1039.20019)] for finite Coxeter groups. As in the case of Coxeter groups, the proof uses the description of \(S_W\) as the associated graded module of a finite-dimensional module over the rational Cherednik algebra of \(W\), and the properties of this module are derived by studying the category \(\mathcal O\) for the rational Cherednik algebra.