{"title":"The diagonal coinvariant ring of a complex reflection group","authors":"Stephen Griffeth","doi":"10.2140/ant.2023.17.2033","DOIUrl":null,"url":null,"abstract":"<p>For an irreducible complex reflection group <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>W</mi></math> of rank <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>n</mi></math> containing <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>N</mi></math> reflections, we put <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>g</mi>\n<mo>=</mo> <mn>2</mn><mi>N</mi><mo>∕</mo><mi>n</mi></math> and construct a <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mo stretchy=\"false\">(</mo><mi>g</mi>\n<mo>+</mo> <mn>1</mn><mo stretchy=\"false\">)</mo></mrow><mrow><mi>n</mi></mrow></msup></math>-dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the diagonal coinvariant ring of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>W</mi></math>. We propose that this representation of the Cherednik algebra is the single largest representation bearing this relationship to the diagonal coinvariant ring, and that further corrections to this estimate of the dimension of the diagonal coinvariant ring by <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mo stretchy=\"false\">(</mo><mi>g</mi>\n<mo>+</mo> <mn>1</mn><mo stretchy=\"false\">)</mo></mrow><mrow><mi>n</mi></mrow></msup></math> should be orders of magnitude smaller. A crucial ingredient in the construction is the existence of a dot action of a certain product of symmetric groups (the Namikawa–Weyl group) acting on the parameter space of the rational Cherednik algebra and leaving invariant both the finite Hecke algebra and the spherical subalgebra; this fact is a consequence of ideas of Berest and Chalykh on the relationship between the Cherednik algebra and quasiinvariants. </p>","PeriodicalId":50828,"journal":{"name":"Algebra & Number Theory","volume":"54 48","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2023-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra & Number Theory","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2140/ant.2023.17.2033","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 1
Abstract
For an irreducible complex reflection group of rank containing reflections, we put and construct a -dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the diagonal coinvariant ring of . We propose that this representation of the Cherednik algebra is the single largest representation bearing this relationship to the diagonal coinvariant ring, and that further corrections to this estimate of the dimension of the diagonal coinvariant ring by should be orders of magnitude smaller. A crucial ingredient in the construction is the existence of a dot action of a certain product of symmetric groups (the Namikawa–Weyl group) acting on the parameter space of the rational Cherednik algebra and leaving invariant both the finite Hecke algebra and the spherical subalgebra; this fact is a consequence of ideas of Berest and Chalykh on the relationship between the Cherednik algebra and quasiinvariants.
期刊介绍:
ANT’s inclusive definition of algebra and number theory allows it to print research covering a wide range of subtopics, including algebraic and arithmetic geometry. ANT publishes high-quality articles of interest to a broad readership, at a level surpassing all but the top four or five mathematics journals. It exists in both print and electronic forms.
The policies of ANT are set by the editorial board — a group of working mathematicians — rather than by a profit-oriented company, so they will remain friendly to mathematicians'' interests. In particular, they will promote broad dissemination, easy electronic access, and permissive use of content to the greatest extent compatible with survival of the journal. All electronic content becomes free and open access 5 years after publication.