[論文レビュー] Modular representations of Hecke algebras

Meinolf Geck|ArXiv.org|Nov 22, 2005

Advanced Algebra and Geometry参考文献 58被引用数 19

ひとこと要約

この論文は、カジワラ＝ルスティグ細胞と量子群の標準基底を用いて、非単純なモジュラー設定におけるイワハリ–リースト代数の既約表現の正規化パラメトライゼーションを確立する。不等パラメータ設定への理論の拡張、分解行列のユニトリァングル性の証明、および古典的タイプ（$D_n$および$B_n$を含む）におけるキリスタル図による標準的基底集合の明示的組合的記述を行い、長年の予想を特別な場合に解決する。

ABSTRACT

These notes are based on a course given at the EPFL in May 2005. It is concerned with the representation theory of Hecke algebras in the non-semisimple case. We explain the role that these algebras play in the modular representation theory of finite groups of Lie type and survey the recent results which complete the classification of the simple modules. These results rely on the theory of Kazhdan--Lusztig cells in finite Weyl groups (with respect to possibly unequal parameters) and the theory of canonical bases for representations of quantum groups.

研究の動機と目的

• イワハリ–リースト代数の単純モジュールの分類を等パラメータの場合から不等パラメータの場合へ拡張すること。
• 標準的基底集合を用いた既約表現の自然なパラメトライゼーションを確立すること。
• 有限型リーモジュール表現理論における分解行列のユニトリァングル性を証明すること。
• 量子群のキリスタル図を用いて、標準的基底集合の明示的組合的記述を提供すること。
• タイプ$B_n$および$D_n$における標準基底と細胞理論の漸近的ケースに関する予想を解決すること。

提案手法

• 等パラメータの場合の先行結果を一般化し、不等パラメータを伴う有限ワイル群におけるカジワラ＝ルスティグ細胞の理論を用いる。
• $U_v(\hat{\mathfrak{sl}}_l)$の量子群の標準基底理論を応用して、標準的基底集合を構成する。
• ハリシュ＝チャンドラ系列と誘導表現の自己準同型代数を用いて、ヘッケ代数と有限型リーモジュール群を関連付ける。
• $B_n$から$D_n$への制限技術を用い、既知の$B_n$の結果に基づいて$D_n$の標準的基底集合を導出する。
• ジャコブとアリキのLLT予想およびキリスタル基底理論の研究を活用して、明示的なパラメトライゼーションを達成する。
• 漸近的ケースの枠組み（ルスティグ、ボナフェ、イアンク、ゲーク）を適用し、カジワラ＝ルスティグ基底の予想的性質が特定の設定で検証可能であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 イワハリ–リースト代数の単純モジュールの分類を不等パラメータの場合にどのように拡張できるか。
• RQ2 非単純なモジュラー設定における既約表現のパラメトライゼーションにおいて、標準的基底集合の役割は何か。
• RQ3 カジワラ＝ルスティグ細胞と量子群の標準基底が、単純モジュールの自然なインデックス付けをどのように得るか。
• RQ4 カジワラ＝ルスティグ基底の予想的性質が成立する場合とは何か。また、漸近的手法を用いてそれらを検証できるか。
• RQ5 キリスタル図を用いて、タイプ$B_n$および$D_n$における標準的基底集合の明示的組合的記述はどのように与えられるか。

主な発見

• イワハリ–リースト代数の分解行列は、標準的基底集合においてユニトリァングルであることが確認され、重要な構造的性質が裏付けられた。
• タイプ$B_n$では、$U_v(\hat{\mathfrak{sl}}_l)$の最高重量モジュールのキリスタル基底によって既約表現が自然にラベル付けされ、正規化パラメトライゼーションが得られた。
• タイプ$B_n$の漸近的ケースにおいて、標準的基底集合は${\mathbf{u}} = (0, l/2)$の下で$\Lambda_{2,n}^{({\mathbf{u}})}$として明示的に記述され、例6.9で新たな結果が得られた。
• タイプ$D_n$では、標準的基底集合が$\{E^{[\lambda,\mu]} \mid \lambda \neq \mu\} \cup \{E^{[\lambda,\pm]} \mid n \text{ が偶数で、} \lambda \vdash n/2 \text{ が } l/2\text{-正則} one\}$として与えられ、定理8.7で証明された。
• $D_3$の標準的基底集合は、表3で$b$の異なる値に対して明示的に計算され、$b=0$では標準的パラメトライゼーションが得られ、$b=4$（漸近的ケース）ではキリスタル図に基づくインデックス集合$\Lambda_{2,3}^\circ$が得られた。
• ルスティグの予想的性質が成立しない場合であっても、量子群のキリスタル理論により標準的基底集合の存在が保証され、すべてのパラメータ選択に対して堅牢なパラメトライゼーションが実現された。