[論文レビュー] Some computations about Kazhdan-Lusztig cells in affine Weyl groups of rank 2

Jérémie Guilhot|ArXiv.org|Oct 28, 2008

Advanced Algebra and Geometry被引用数 6

ひとこと要約

本稿は、GAPを用いてすべてのパrameter選択肢においてモジュール構造とセル分解を検証することで、ランク2のアフィンワイル群のタイプ$×{G}_2$および$×{B}_2$におけるカジダン＝ルスティグセルの明示的計算的手続きを提供する。特定の部分加群が左イデアルであることを証明し、すべてのパrameter領域における左セルおよびその部分順序を完全に分類する。特に$a > 4b$や$a = 2c$などのパrameter閾値における臨界的遷移も含め、不等価パラメータを伴うランク2アフィンワイル群に対する完全でアルゴリズム的に検証されたセル分割を実現し、先行する理論的結果を明確な計算で解決する。

ABSTRACT

In the last section of the paper "Generalized induction of Kazhdan-Lusztig cells" and in "Kazhdan-Lusztig cells in affine Weyl groups of rank 2" the author described the partition into Kazhdan-Lusztig cells of the affine Weyl groups of rank 2 for all choices of parameters. The proof of these results relies on some explicit computations with GAP. In these notes we give some details of these computations.

研究の動機と目的

• 先行する理論的文献で主張された、タイプ$×{G}_2$および$×{B}_2$のアフィンワイル群のセル分解について、明示的な計算的検証を提供すること。
• ヘッケ代数内の特定の要素によって生成される部分加群が左イデアルをなすことを確立し、セル分解の構造的性質を確認すること。
• 不等価パラメータのすべての可能な選択肢において、ランク2アフィンワイル群のすべての左セルおよびその部分順序を分類すること。
• これらの群におけるカジダン＝ルスティグセルの一般化された誘導法の妥当性を、明示的なGAP計算によって検証すること。
• 特に$a > 4b$、$a = 2c$、$r_1 = r_2 = 1$などのパラメータ空間における未解決事例を解消し、セル構造の変化が生じる臨界閾値での挙動を特定すること。

提案手法

• アフィンワイル群のタイプ$×{G}_2$および$×{B}_2$に対して、GAP計算代数システムを用いて明示的な計算を実行する。
• 各セルごとに最小長代表元$u_i, v_i, v_i'$を定義し、セル要素をパrametrizeするための集合$X_u = \{z \in W \mid zu \in C_i\}$を構成する。
• ヘッケ代数$H$における左イデアル$M = \langle T_x C_u \mid u \in U, x \in X_u \rangle_A$を構築し、$T_s$による左乗法における閉包性を検証する。
• 移動要素の概念を適用し、乗法式における長さの挙動を制御するため、等式$\ell(wz) = \ell(w) + \ell(z)$を用いる。
• カジダン＝ルスティグ基底$\{C_w\}$の構造と乗法規則$T_s C_w = C_{sw} + v^{-1} C_w$を用い、$T_s C_u$を下位項をmoduloで除いた形で計算する。
• 移動性質とGAPによる係数制御を用いて、重要な恒等式$P_{u',u} T_x C_u \equiv T_x C_u \mod H_{<0}$を検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、計算代数を用いてタイプ$×{G}_2$のアフィンワイル群のセル分解を、すべてのパラメータ選択肢に対して明示的に検証できるか？
• RQ2 各セルの最小長代表元に対して生成される左イデアル$T_x C_u$の構造は何か？ それはセル分解の正当性をどのように確認するか？
• RQ3 特に$a > 4b$や$a = 2c$などの臨界的閾値において、パラメータ領域が変化するに従い、左セルの部分順序はどのように変化するか？
• RQ4 移動要素は、カジダン＝ルスティグ多項式およびセル乗法の挙動を制御するために果たす役割は何か？
• RQ5 不等価パラメータ下で、タイプ$×{G}_2$と$×{B}_2$におけるセル分割はどのように異なり、どのような主要な構造的遷移が生じるか？

主な発見

• ヘッケ代数$H$において、すべての$u \in U$および$x \in X_u$に対して$M = \langle T_x C_u \mid u \in U, x \in X_u \rangle_A$が左イデアルであることが確認され、セル分解構造が正当化された。
• タイプ$×{G}_2$のすべてのパラメータ選択肢において、左セルは12個の異なるセルに完全に分割され、それらの最小長代表元および関連する$X_u$集合の詳細な記述がなされた。
• タイプ$×{G}_2$において$a > 4b$の場合、セル分解は12個の左セルから構成され、そのうち6つが$A_i$型、6つが$A_i'$型であり、$C_i$型セルは存在しない。これはGAP計算によって確認された。
• タイプ$×{G}_2$の左セルの部分順序は、すべてのパラメータ領域で完全に特定され、$a = 2c$および$a > 4b$の臨界的閾値で、セルのグラフ構造が顕著に変化することが観察された。
• タイプ$×{B}_2$では、すべてのパラメータ選択肢においてセル分解が12個の左セルに完全に分類され、左順序の明示的記述および$r_1 = r_2 = 1$および$r_1 = r_2 = 1/2$における遷移が示された。
• 臨界パラメータ閾値、たとえば$a = 2c$や$r_1 = r_2 = 1$において、セル構造は位相的変化を示し、セルグラフに新しい辺（図64～75における緑色の辺）が出現する。これは部分順序における新たな優越関係を示している。