<p>We prove that, when <i>n</i> goes to infinity, the expression, with respect to the dual Kazhdan-Lusztig basis, of the product <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\hat{\underline{H}}_x\underline{H}_y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <munder> <mi>H</mi> <mo>̲</mo> </munder> <mo stretchy="false">^</mo> </mover> <mi>x</mi> </msub> <msub> <munder> <mi>H</mi> <mo>̲</mo> </munder> <mi>y</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> of elements of the dual and the usual Kazhdan-Lusztig bases in the Hecke algebra of the symmetric group <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(S_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> stabilizes. As an application, we define the action of projective functors on the principal block of category <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {O}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">O</mi> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathfrak {sl}_\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">sl</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> and show that the subcategory of finite length objects is stable under this action. As a bonus, we also prove that this latter block is Koszul, answering, for this block, a question from Math. J. <b>19</b>(4), 655–693 (2019).</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A stability phenomenon in Kazhdan-Lusztig combinatorics

  • Samuel Creedon,
  • Volodymyr Mazorchuk

摘要

We prove that, when n goes to infinity, the expression, with respect to the dual Kazhdan-Lusztig basis, of the product \(\hat{\underline{H}}_x\underline{H}_y\) H ̲ ^ x H ̲ y of elements of the dual and the usual Kazhdan-Lusztig bases in the Hecke algebra of the symmetric group \(S_n\) S n stabilizes. As an application, we define the action of projective functors on the principal block of category \(\mathcal {O}\) O for \(\mathfrak {sl}_\infty \) sl and show that the subcategory of finite length objects is stable under this action. As a bonus, we also prove that this latter block is Koszul, answering, for this block, a question from Math. J. 19(4), 655–693 (2019).