[論文レビュー] On the number of simple modules of Iwahori--Hecke algebras of finite Weyl groups

Meinolf Geck|ArXiv.org|May 28, 2004

Advanced Algebra and Geometry参考文献 6被引用数 4

ひとこと要約

本稿では、有限ワイル群に付随するイワハリ–ヘッケ代数の単純加群の数が、$ e $ にのみ依存し、体やパラメータに依存しないことが示されている。ここで $ e $ は、$ 1 + q + \cdots + q^{i-1} = 0 $ を満たす最小の整数 $ i \geq 2 $ として定義される。GAP の CHEVIE パッケージを用いた計算的検証と表現論の既知の結果を組み合わせることで、特異的でない素数を除く特性において、この数が $ e $ 乗根 $ \zeta_e $ をパラメータとする複素数群代数の単純加群の数と一致することが証明されている。

ABSTRACT

Let $H_k(W,q)$ be the Iwahori--Hecke algebra associated with a finite Weyl group $W$, where $k$ is a field and $0 eq q \in k$. Assume that the characteristic of $k$ is not ``bad'' for $W$ and let $e$ be the smallest $i \geq 2$ such that $1+q+q^2+... +q^{i-1}=0$. We show that the number of simple $H_k(H,q)$-modules is ``generic'', i.e., it only depends on $e$. The proof uses some computations in the {\sf CHEVIE} package of {\sf GAP} and known results due to Dipper--James, Ariki--Mathas, Rouquier and the author.

研究の動機と目的

• 有限ワイル群 $ W $ に対して、体の特性に関する条件の下で、イワハリ–ヘッケ代数 $ H_k(W,q) $ の単純加群の数を特定すること。
• この数が体 $ k $ やパラメータ $ q $ に依存せず、$ k^\times $ 内の $ q $ の位数 $ e $ のみに依存することを示すこと。
• 例外的ワイル型 $ E_7, E_8, G_2, F_4, E_6 $ に対して、単純加群の数の一般性が成立することを確認すること。ここでは、以前には完全に一般化されていなかった。
• 計算代数システム（CHEVIE/GAP）を用いて、特に $ e = 2 $ および $ \ell = 5,7 $ のような臨界ケースにおいて、単純加群の数を有限個のケースで確認すること。

提案手法

• $ e $ を、$ \sum_{j=0}^{i-1} q^j = 0 $ を満たす最小の $ i \geq 2 $ として定義する。このような $ i $ が存在しない場合は $ e = \infty $ とする。
• Geck–Rouquier (2000) の還元技術を用い、例外的ワイル型に対して有限個のケースに問題を還元する。
• GAP/CHEVIE プログラムを実装し、ヘッケ代数の特殊化されたキャラクターテーブルのランクを計算することで、単純加群の数を求める。
• パラメータ $ q $ を特性 0 における単位根 $ \zeta_e $ に特殊化し、その際の単純加群の数をモジュラーの場合と比較する。
• 複素数体上でのヘッケ代数の表現論に関する既知の結果（Dipper–James, Ariki–Mathas, Rouquier）を適用する。
• 体の特殊化において、特性 $ \ell $ が $ W $ に対して悪い素数でない限り、単純加群の数が変わらないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 イワハリ–ヘッケ代数 $ H_k(W,q) $ の単純加群の数は、$ 1 + q + \cdots + q^{e-1} = 0 $ を満たすパラメータ $ e $ のみに依存するか？
• RQ2 特性が $ W $ に対して悪い素数でない限り、体 $ k $ やパラメータ $ q $ に依存せず、一般に単純加群の数を計算できるか？
• RQ3 例外的ワイル群 $ E_7, E_8, G_2, F_4, E_6 $ に対して、単純加群の数は、パラメータ $ \zeta_e $ を持つ複素ヘッケ代数のそれと等しいか？
• RQ4 悪い素数は、イワハリ–ヘッケ代数の表現論においてどのような役割を果たし、単純加群の数にどのように影響するか？

主な発見

• 単純 $ H_k(W,q) $-加群の数は、体 $ k $ やパラメータ $ q $ に依存せず、$ k^\times $ 内の $ q $ の位数 $ e $ のみに依存する。
• $ E_7 $ に対して、$ e = 2 $ かつ $ \ell = 5 $ もしくは $ 7 $ のとき、単純加群の数は 12 であり、$ \zeta_2 = -1 $ をパラメータとする複素数の場合と一致する。
• $ E_8 $ に対して、$ e = 2 $ かつ $ \ell = 7 $ のとき、単純加群の数は 23 であり、$ \zeta_2 = -1 $ をパラメータとする複素数の場合と一致する。
• 特性 $ \ell $ が悪い素数である場合には、結果が成り立たない。これは、$ |\text{Irr}(H_k)| < |\text{Irr}(H_F)| $ を満たす反例によって示されている。
• GAP の CHEVIE パッケージは、キャラクターテーブルの特殊化により単純加群の数を正しく計算でき、結果の一般性を確認している。
• 証明は、Geck–Rouquier の理論的還元と、例外型に対する明示的な計算的検証の組み合わせに依存している。