<p>The Kac-Moody affine Hecke algebra <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> was first constructed as the Iwahori-Hecke algebra of a <i>p</i>-adic Kac-Moody group by work of Braverman, Kazhdan, and Patnaik, and by work of Bardy-Panse, Gaussent, and Rousseau. Since <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> has a Bernstein presentation, for affine types it is a positive-level variation of Cherednik’s double affine Hecke algebra. Moreover, as <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> is realized as a convolution algebra, it has an additional “<i>T</i>-basis” corresponding to indicator functions of double cosets. For classical affine Hecke algebras, this <i>T</i>-basis reflects the Coxeter group structure of the affine Weyl group. In the Kac-Moody affine context, the indexing set <InlineEquation ID="IEq4"> <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 the <i>T</i>-basis is no longer a Coxeter group. Nonetheless, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(W_{\mathcal {T}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>W</mi> <mi mathvariant="script">T</mi> </msub> </math></EquationSource> </InlineEquation> carries some Coxeter-like structures: a Bruhat order, a length function, and a notion of inversion sets. This paper contains the first steps toward a Coxeter theory for Kac-Moody affine Hecke algebras. We prove three results. The first is a construction of the length function via a representation of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>. The second concerns the support of products in classical affine Hecke algebras. The third is a characterization of length deficits in the Kac-Moody affine setting via inversion sets. Using this characterization, we phrase our support theorem as a precise conjecture for Kac-Moody affine Hecke algebras. Lastly, we give a conjectural definition of a Kac-Moody affine Demazure product via the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(q=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> specialization of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>.</p>

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

Pursuing Coxeter theory for Kac-Moody affine Hecke algebras

  • Dinakar Muthiah,
  • Anna Puskás

摘要

The Kac-Moody affine Hecke algebra \(\mathcal {H}\) H was first constructed as the Iwahori-Hecke algebra of a p-adic Kac-Moody group by work of Braverman, Kazhdan, and Patnaik, and by work of Bardy-Panse, Gaussent, and Rousseau. Since \(\mathcal {H}\) H has a Bernstein presentation, for affine types it is a positive-level variation of Cherednik’s double affine Hecke algebra. Moreover, as \(\mathcal {H}\) H is realized as a convolution algebra, it has an additional “T-basis” corresponding to indicator functions of double cosets. For classical affine Hecke algebras, this T-basis reflects the Coxeter group structure of the affine Weyl group. In the Kac-Moody affine context, the indexing set \(W_{\mathcal {T}}\) W T for the T-basis is no longer a Coxeter group. Nonetheless, \(W_{\mathcal {T}}\) W T carries some Coxeter-like structures: a Bruhat order, a length function, and a notion of inversion sets. This paper contains the first steps toward a Coxeter theory for Kac-Moody affine Hecke algebras. We prove three results. The first is a construction of the length function via a representation of \(\mathcal {H}\) H . The second concerns the support of products in classical affine Hecke algebras. The third is a characterization of length deficits in the Kac-Moody affine setting via inversion sets. Using this characterization, we phrase our support theorem as a precise conjecture for Kac-Moody affine Hecke algebras. Lastly, we give a conjectural definition of a Kac-Moody affine Demazure product via the \(q=0\) q = 0 specialization of \(\mathcal {H}\) H .