[論文レビュー] A tale of two Hecke algebras

Gordan Savin|arXiv (Cornell University)|Feb 7, 2012

Advanced Topics in Algebra参考文献 4被引用数 6

ひとこと要約

この論文は、Iwahori-Matsumoto Hecke代数のBernsteinの表現を用いて、Satake同型の簡潔な証明を提供する。Hecke代数 $ H_K $、Iwahori Hecke代数 $ Z_I $ の中心、Weyl不変のローレンツ多項式代数 $ \mathbb{C}[X]^W $ 間の明示的な同型を確立する。主な貢献は、$ C_c(I\backslash G/K) $ 上でのSatake写像の直接的構成であり、これにより $ Z_I \cong \mathbb{C}[X]^W $ が得られる。

ABSTRACT

We use Bernstein's presentation of the Iwahori-Matsumoto Hecke algebra to obtain a simple proof of the Satake isomorphism and, in the same stroke, compute the center of the Iwahori-Matsumoto Hecke algebra.

研究の動機と目的

• Iwahori-Matsumoto Hecke代数のBernsteinの表現を用いて、Satake同型の新しい、洗練された証明を確立すること。
• Satake写像とモジュール構造を活用して、Iwahori Hecke代数 $ H_I $ の中心 $ Z_I $ を明示的に計算すること。
• $ C_c(I\backslash G/K) $ 上でのSatake写像の直接的構成を通じて、$ Z_I \cong H_K \cong \mathbb{C}[X]^W $ の同型を明らかにすること。
• Bernstein基底 $ \theta_x $ が $ H_I $ 内での中心および中心化子構造をどのように実現するかを明らかにすること。
• 表現論、Hecke代数の構造、不変式論の間の概念的かつ計算的ブリッジを、$ \mathbb{C}[X]^W $ を通じて提供すること。

提案手法

• $ x = y - z $ で表される $ y, z $ が支配的であるとき、$ \theta_x = q^{(\ell(z) - \ell(y))/2} T_y T_z^{-1} $ を用いて、Iwahori-Hecke代数 $ H_I $ の元をパラメトライズする Bernstein の基底 $ \theta_x $ を用いる。
• $ C_c(I\backslash G/K) $ の関数に、Satake写像 $ S(f)(t) = \delta^{1/2}(t) \int_N f(tn) \, dn $ を適用し、これが $ \mathbb{C}[X] $-モジュール構造を尊重することを示す。
• Lemma 1 による $ S $ と $ \theta_x $-作用の整合性を用いて、$ C_c(I\backslash G/K) \xrightarrow{\sim} \mathbb{C}[X] $ である $ \mathbb{C}[X] $-モジュール同型が、$ \theta_x * 1_K $ を $ [x] $ に送ることを証明する。
• $ A = \mathbb{C}[X] $ が $ H_I $ 内の中心化子であり、$ Z_I \subseteq A $ であるという事実を用いて、中心を $ A $-不変元に制限する。
• $ z \mapsto z * 1_K $ で定義される写像 $ Z: Z_I \to H_K $ を構成し、$ S \circ Z $ が $ \sum_{w \in W} \theta_{w(x)} $ を $ \sum_{w \in W} [w(x)] $ に送ることを示し、$ Z_I \cong \mathbb{C}[X]^W $ の同型を証明する。
• $ S|_{H_K} $ の単射性を示し、$ A^W \subseteq Z_I \subseteq H_K \subseteq \mathbb{C}[X]^W $ の包含関係の鎖を用いて、すべてが同型であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 Iwahori-Matsumoto Hecke代数のBernsteinの表現を用いて、Satake同型をどのように再証明できるか？
• RQ2 Iwahori Hecke代数 $ H_I $ の中心 $ Z_I $ の明示的な構造は何か？ また、$ \mathbb{C}[X]^W $ とどのように関係するか？
• RQ3 Satake写像は $ C_c(I\backslash G/K) $ 上でどのように作用するか？ また、$ \mathbb{C}[X] $ を $ H_I $-モジュールとして実現するために使用できるか？
• RQ4 中心 $ Z_I $ は $ H_K $ に同型であるか？ もしそうなら、どのような標準的写像を介してか？
• RQ5 Bernstein分解や圏論的道具に依存せずに、同型 $ Z_I \cong \mathbb{C}[X]^W $ を確立できるか？

主な発見

• Satake写像 $ S $ は、$ C_c(I\backslash G/K) $ から $ \mathbb{C}[X] $ への $ \mathbb{C}[X] $-モジュール同型を誘導し、基底元 $ \theta_x * 1_K $ を明示的に $ [x] $ に送る。
• Iwahori-Hecke代数 $ H_I $ の中心 $ Z_I $ は、群代数 $ \mathbb{C}[X] $ のWeyl不変部分代数 $ \mathbb{C}[X]^W $ に同型である。
• $ z \mapsto z * 1_K $ で定義される写像 $ Z: Z_I \to H_K $ は代数的同型であり、$ Z_I \cong H_K $ を確立する。
• Satake写像 $ S $ を $ H_K $ に制限すると単射であり、その像は $ \mathbb{C}[X]^W $ に含まれる。これにより、新しい方法で古典的Satake同型が確認される。
• 中心 $ Z_I $ は、$ x \in X $ に対して $ \sum_{w \in W} \theta_{w(x)} $ の張る空間にちょうど一致する。すなわち、$ Z_I = A^W $ であり、$ A = \mathbb{C}[X] $ は $ \theta_x $ で生成される部分代数である。
• 写像 $ S \circ Z $ の合成を通じて、$ A^W \cong Z_I \cong H_K \cong \mathbb{C}[X]^W $ の同型の鎖が確立され、$ \sum_{w \in W} \theta_{w(x)} $ を $ \sum_{w \in W} [w(x)] $ に送ることで、代数的レベルでの同型が確認される。