<p>We investigate the Demazure product in a double affine setting. A recent preprint by Muthiah and Puskás gives a conjectural way to define this in terms of the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3832_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(q=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> specialisation of these Hecke algebras. We instead take a different approach generalising work by Felix Schremmer, who gave an equivalent formula for the (single) affine Demazure product in terms of the quantum Bruhat graph. We focus on type <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3832_Article_IEq1.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{SL}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mrow> <mi mathvariant="italic">SL</mi> </mrow> <mo stretchy="true">^</mo> </mover> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>, where we prove that the quantum Bruhat graph of this type satisfies some nice properties, which allows us to construct a well-defined associative Demazure product for the double affine Weyl semigroup <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3832_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_\mathcal {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>W</mi> <mi mathvariant="script">T</mi> </msub> </math></EquationSource> </InlineEquation> (for level greater than one). We give results regarding the Demazure product and Muthiah and Orr’s length function for <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3832_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(W_\mathcal {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>W</mi> <mi mathvariant="script">T</mi> </msub> </math></EquationSource> </InlineEquation>, and we verify that our proposal matches specific examples computed by Muthiah and Puskás using the Kac-Moody affine Hecke algebra.</p>

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

The quantum Bruhat graph for \(\widehat{SL}_2\) and double affine Demazure products

  • Lewis Dean

摘要

We investigate the Demazure product in a double affine setting. A recent preprint by Muthiah and Puskás gives a conjectural way to define this in terms of the \(q=0\) q = 0 specialisation of these Hecke algebras. We instead take a different approach generalising work by Felix Schremmer, who gave an equivalent formula for the (single) affine Demazure product in terms of the quantum Bruhat graph. We focus on type \(\widehat{SL}_2\) SL ^ 2 , where we prove that the quantum Bruhat graph of this type satisfies some nice properties, which allows us to construct a well-defined associative Demazure product for the double affine Weyl semigroup \(W_\mathcal {T}\) W T (for level greater than one). We give results regarding the Demazure product and Muthiah and Orr’s length function for \(W_\mathcal {T}\) W T , and we verify that our proposal matches specific examples computed by Muthiah and Puskás using the Kac-Moody affine Hecke algebra.