[論文レビュー] Iwahori-Hecke Algebras

Thomas J. Haines, Robert Kottwitz+1 more|arXiv (Cornell University)|Sep 9, 2003

Advanced Algebra and Geometry参考文献 21被引用数 52

ひとこと要約

この論文は、$p$-進代数群のIwahori-Hecke代数について、自己完備な代数的展開を提供する。中心的な道具として、普遍的非分岐標準系列モジュール $M = C_c(A_{/mathcal{O}}N \backslash G/I)$ を用いる。相互作用作用素を代数的に構築し、Bernsteinの表示、Macdonaldの公式、Casselman-Shalikaの公式、Lusztig-Katoの公式といった主要な結果を、拡張されたアフィンワイル群とSatake同型写像に基づく統一的枠組みを通じて導出する。Lusztig-Katoの公式は、最高重み表現のキャラクターをKazhdan-Lusztig多項式とHecke代数の元で表すものである。

ABSTRACT

This article gives a fairly self-contained treatment of the basic facts about the Iwahori-Hecke algebra of a split p-adic group, including Bernstein's presentation, Macdonald's formula, the Casselman-Shalika formula, and the Lusztig-Kato formula.

研究の動機と目的

• スプリット $p$-進再編的群に対するIwahori-Hecke代数の自己完備的かつ代数的な取り扱いを提供すること。
• 普遍的非分岐標準系列モジュール $M$ を用いた純代数的枠組みにおいて、相互作用作用素の理論を発展させること。
• Bernsteinの表示、Macdonaldの公式、Casselman-Shalikaの公式といった古典的結果の効率的証明を与えること。
• Langlands双対群 $G^\vee$ の最高重み表現のキャラクターをKazhdan-Lusztig多項式とHecke代数の元で表すLusztig-Katoの公式を確立すること。
• $p$-進群の表現論において、Satake同型写像とKazhdan-Lusztig対合の役割を統一的かつ明確にすること。

提案手法

• モジュール $M = C_c(A_{\text{•}}N \backslash G/I)$ を右 $H$-加群および左 $R = \mathbb{C}[X_*]$-加群とみなす。作用は $\pi^\mu \cdot v_x = q^{-\langle\rho,\mu\rangle} v_{\pi^\mu x}$ で定義される。
• 拡張されたアフィンワイル群 $\widetilde{W}$ を $N_{G(F)}(A)/A_{\mathcal{O}}$ として実現し、Iwasawa分解およびBruhat分解を用いて $G$ を分解し、$A_{\mathcal{O}}N \backslash G/I \cong \widetilde{W}$ を同定する。
• Haar測度を $I$ に1を与えるように正規化した畳み込みを用いて、$H = C_c(I \backslash G/I)$ を、$x \in \widetilde{W}$ に対して基底 $T_x = 1_{IxI}$ を持つIwahori-Hecke代数として構成する。
• Satake同型写像を用いて $H$ をLanglands双対群 $G^\vee$ の表現環と関連づけ、写像 $b: \mathcal{H}_0 \to \mathcal{R}'$ を用いる。
• Kazhdan-Lusztig対合とSatake同型写像の整合性を用いて、双対性と多項式性の議論を通じてLusztig-Katoの公式を導出する。
• 関数-層の辞書とVerdier双対性を用いて、Kazhdan-Lusztig対合を層上の自己双対作用素として解釈する。

実験結果

リサーチクエスチョン

• RQ1 Iwahori-Hecke代数およびその中心は、普遍的非分岐標準系列モジュール $M$ を用いてどのように記述できるか？
• RQ2 この設定における誘導表現間の相互作用作用素の代数的構造は何か？
• RQ3 モジュール $M$ とSatake同型写像を用いて、Macdonaldの公式とCasselman-Shalikaの公式をどのように効率的に導出できるか？
• RQ4 Lusztig-Katoの公式の明確な代数的表現は何か？また、Kazhdan-Lusztig多項式とどのように関係するか？
• RQ5 Kazhdan-Lusztig対合はSatake同型写像とどのように作用するか？また、これはHecke代数における双対性にどのような意味を持つのか？

主な発見

• Lusztig-Katoの公式は $E_\mu = \sum_{\lambda \preceq \mu} q^{-l(t_\mu)/2} P_{w_\lambda,w_\mu}(q) \, (h_\lambda)^\vee$ として確立され、$E_\mu$ は $G^\vee$ の最高重みモジュールのキャラクターである。
• この公式は、$q$-変形キャラクターにKazhdan-Lusztig対合を適用し、Satake同型写像を用いることで証明され、$q$ および $q^{-1}$ における多項式性により等式が成立する。
• Lusztig-Katoの公式の定数項は $\sum_{w \in W} t_{w\mu} \prod_{\alpha > 0} (1 - t_{-w\alpha^\vee})^{-1} = E_\mu$ であり、キャラクターの恒等式を確認する。
• 証明は、$W_\lambda(q^{-1})^{-1} \sum_{w \in W} t_{w\lambda} \prod_{\alpha > 0} \frac{1 - q^{-1} t_{-w\alpha^\vee}}{1 - t_{-w\alpha^\vee}} \in \mathbb{Z}[q^{-1}][X_*]^W$ であることに依存しており、収束性と整数性を保証する。
• Satake同型写像はKazhdan-Lusztig対合と写像 $z \mapsto z^\vee$ を intertwine し、この整合性が双対性の議論の鍵となる。
• $q = 1$ とするとLusztigの元の公式が回復され、$E_\mu = \sum_{\lambda \preceq \mu} P_{w_\lambda,w_\mu}(1) \sum_{w \in W/W_\lambda} t_{w\lambda}$ となる。これは古典的ケースと一貫していることを確認する。