{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q877706","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q877706","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q877706","kernelVersion":"v1","immutable":true,"modified":"2026-03-27T11:02:27Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q877706","name":"Rational Cherednik algebras and diagonal coinvariants of \\(G(m,p,n)\\)","headline":"Rational Cherednik algebras and diagonal coinvariants of \\(G(m,p,n)\\)","description":"scientific article; zbMATH DE number 5148862","url":"https://portal.mardi4nfdi.de/entity/Q877706","datePublished":"2007-05-03","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q334957"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q161561"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JALGEBRA.2006.12.017","url":"https://doi.org/10.1016/J.JALGEBRA.2006.12.017"},"sameAs":["https://doi.org/10.1016/J.JALGEBRA.2006.12.017"],"comment":"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.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1974154"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1908468"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3008422"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1425565"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4804798"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4273960"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4398664"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4826801"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4432697"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1608552"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1434290"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3433084"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1411971"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4464601"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4289590"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3633973"}]},"provenance":{"prov:generatedAtTime":"2026-03-27T11:02:27Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}