{"title":"A descent basis for the Garsia-Procesi module","authors":"Erik Carlsson, Raymond Chou","doi":"10.1016/j.aim.2024.109945","DOIUrl":null,"url":null,"abstract":"<div><p>We assign to each Young diagram <em>λ</em> a subset <span><math><msubsup><mrow><mi>B</mi></mrow><mrow><msup><mrow><mi>λ</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow><mrow><mi>maj</mi></mrow></msubsup></math></span> of the collection of Garsia-Stanton descent monomials, and prove that it determines a basis of the Garsia-Procesi module <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>λ</mi></mrow></msub></math></span>, whose graded character is the Hall-Littlewood polynomial <span><math><msub><mrow><mover><mrow><mi>H</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mi>λ</mi></mrow></msub><mo>[</mo><mi>X</mi><mo>;</mo><mi>t</mi><mo>]</mo></math></span> <span><span>[14]</span></span>, <span><span>[10]</span></span>, <span><span>[29]</span></span>. This basis is a major index analogue of the basis <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>λ</mi></mrow></msub><mo>⊂</mo><msub><mrow><mi>R</mi></mrow><mrow><mi>λ</mi></mrow></msub></math></span> defined by certain recursions, in the same way that the descent basis is related to the Artin basis of the coinvariant algebra <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, which in fact corresponds to the case when <span><math><mi>λ</mi><mo>=</mo><msup><mrow><mn>1</mn></mrow><mrow><mi>n</mi></mrow></msup></math></span>. By anti-symmetrizing a subset of this basis with respect to the corresponding Young subgroup under the Springer action, we obtain a basis in the parabolic case, as well as a corresponding formula for the expansion of <span><math><msub><mrow><mover><mrow><mi>H</mi></mrow><mrow><mo>˜</mo></mrow></mover></mrow><mrow><mi>λ</mi></mrow></msub><mo>[</mo><mi>X</mi><mo>;</mo><mi>t</mi><mo>]</mo></math></span>. Despite a similar appearance, it does not appear obvious how to connect the formulas appear to the specialization of the modified Macdonald formula of Haglund, Haiman and Loehr at <span><math><mi>q</mi><mo>=</mo><mn>0</mn></math></span>.</p></div>","PeriodicalId":50860,"journal":{"name":"Advances in Mathematics","volume":"457 ","pages":"Article 109945"},"PeriodicalIF":1.5000,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0001870824004602","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We assign to each Young diagram λ a subset of the collection of Garsia-Stanton descent monomials, and prove that it determines a basis of the Garsia-Procesi module , whose graded character is the Hall-Littlewood polynomial [14], [10], [29]. This basis is a major index analogue of the basis defined by certain recursions, in the same way that the descent basis is related to the Artin basis of the coinvariant algebra , which in fact corresponds to the case when . By anti-symmetrizing a subset of this basis with respect to the corresponding Young subgroup under the Springer action, we obtain a basis in the parabolic case, as well as a corresponding formula for the expansion of . Despite a similar appearance, it does not appear obvious how to connect the formulas appear to the specialization of the modified Macdonald formula of Haglund, Haiman and Loehr at .
期刊介绍:
Emphasizing contributions that represent significant advances in all areas of pure mathematics, Advances in Mathematics provides research mathematicians with an effective medium for communicating important recent developments in their areas of specialization to colleagues and to scientists in related disciplines.