[論文レビュー] On Bernstein's presentation of Iwahori-Hecke algebras and representations of split reductive groups over non-Archimedean local fields

Amritanshu Prasad|ArXiv.org|Apr 20, 2005

Advanced Algebra and Geometry参考文献 7被引用数 8

ひとこと要約

本稿は、非アーチメデス的局所体上の分かれ再代数的群の表現およびそれに対応する Iwahori-Hecke 代数に関して、Bernstein の表現を介して放物的誘導とJacquet関手の間の概念的関係を確立する。放物的誘導は、放物的部分代数上の Hecke 代数へのテンソル積に対応し、Jacquet 関手は制限に対応することを示し、左モジュール構造と右モジュール構造を統合する放物的双対性公式を用いる。

ABSTRACT

This article gives conceptual statements and proofs relating parabolic induction and Jacquet functors on split reductive groups over a non-Archimedean local field to the associated Iwahori-Hecke algebra as tensoring from and restricting to parabolic subalgebras. The main tool is Bernstein's presentation of the Iwahori-Hecke algebra.

研究の動機と目的

• Iwahori-Hecke 代数上のモジュールのテンソル積と制限の観点から、G(F) の表現論における放物的誘導とJacquet 関手の概念的で代数的な解釈を提供すること。
• Reeder と Jantzen の先行結果を Bernstein の Iwahori-Hecke 代数の表現を用いて統一的かつ一般化すること。
• Hecke 代数モジュール上の左モジュール構造と右モジュール構造の関係を、特に双対写像を用いて明確化すること。
• 放物的部分代数内の要素の逆元が全代数に写される仕組みを正しく記述する放物的双対性公式を確立すること。
• ユニバーサル非分岐標準系列が Hecke 代数上でのランク1の自由モジュールであることを示し、誘導と制限の明確な代数的定式化を可能にすること。

提案手法

• Iwahori-Hecke 代数 $ H $ の Bernstein の表現を用い、これは群代数上の多項式環の局域化の商として記述される。
• [CKM98] に従い、ユニバーサル非分岐標準系列を $ H $-モジュールとしてランク1の自由モジュールとして特定し、誘導表現の標準的実現を可能にする。
• 放物的誘導を、$ H_M $ を $ H $ の放物的部分代数とするとき、函手 $ V \to V \bigotimes_{H_M} H $ として定義し、これが $ G(F) $ の表現論における放物的誘導に対応することを示す。
• Jacquet 関手を、リーヴィ部分群のワイル群における最長元 $ w_0' $ の共役作用を用いて、放物的部分代数への制限として定義する。
• 放物的双対性公式 $ \rho^* = T_{w_0'}^{-1}({}^{w_0'^{-1}}\rho^{\text{op}})T_{w_0'} $ を導入し、放物的部分代数内の要素の逆元が全代数に写される仕組みを関係づける。
• この双対性公式を適用して、Reeder と Jantzen の誘導モジュールとテンソル積の間の同型が、正しいモジュール構造の規約に従えば等価であることを示す。

実験結果

リサーチクエスチョン

• RQ1 G(F) の表現論における放物的誘導は、Iwahori-Hecke 代数を用いてどのように代数的に解釈できるか？
• RQ2 Jacquet 関手と Hecke 代数モジュール上の制限函手の間の正確な代数的対応関係は何か？
• RQ3 Hecke 代数上の双対写像は、リーヴィ部分群上の逆写像とどのように関係し、放物的部分代数ではどのような補正が必要か？
• RQ4 Reeder の誘導表現と Hecke 代数上でのテンソル積の間の同型は、Bernstein の表現を用いた一般原理から導出可能か？
• RQ5 最長元 $ w_0' $ は、放物的誘導および Jacquet 関手の文脈において、左モジュール構造と右モジュール構造を結ぶ役割を果たすか？

主な発見

• 放物的部分群 $ P $ からの誘導 $ G(F) $ への放物的誘導は、Iwahori-Hecke 代数 $ H $ の放物的部分代数 $ H_M $ に関する函手 $ V \to V \bigotimes_{H_M} H $ に対応し、概念的で代数的な実現が確立される。
• 放物的部分群 $ P' $ に関するJacquet 関手は、放物的部分代数 $ H_{M'} $ への制限に対応し、$ M' $ のワイル群における最長元 $ w_0' $ による共役作用によって正しいモジュール構造が与えられる。
• 放物的双対性公式 $ \rho^* = T_{w_0'}^{-1}({}^{w_0'^{-1}}\rho^{\text{op}})T_{w_0'} $ は、$ H_{M'} $ 内の要素の逆元が $ H $ に写される際の正しい補正を与える。これにより、モジュール規約に関する不整合が解消される。
• Reeder の同型 $ H \bigotimes_R \bold{C}_{\bar{\rho}^{w_0}} \to (i_B^G \rho)^I $ は、同型 $ H \bigotimes_R \bold{C}_{\bar{\rho}^{w_0}} \to \bold{C}_{\rho^{-1}} \bigotimes_R H $ と等価であり、後者は逆作用を用いた左 $ H $-モジュールとして定義される。
• Jantzen の Reeder の同型の一般化は、同型 $ H \bigotimes_{H_{M'}} {}^{w_0'}V^{\text{op}} \to V \bigotimes_{H_M} H $ として回復され、写像 $ h \bigotimes \bold{v} \to \bold{v} \bigotimes T_{w_0'} h^* $ が定義可能である。これは放物的双対性公式のおかげで正当化される。
• ユニバーサル非分岐標準系列は、ランク1の自由 $ H $-モジュールである。これにより、$ G(F) $ の非分岐標準系列表現の標準的な代数的モデルが得られる。