[論文レビュー] Semicontinuity properties of Kazhdan-Lusztig cells

Cédric Bonnafé|arXiv (Cornell University)|Aug 26, 2008

Algebraic structures and combinatorial models参考文献 22被引用数 25

ひとこと要約

この論文は、不等価パラメータを伴うコックスeter群におけるカジダン＝ルシュティグ細胞の半連続性に関する性質を調査し、重み関数の同値類に上記の位相的構造を導入することで理論的枠組みを提案する。パラメータが変化する際の細胞分割が半連続的であるという予想を提示し、有理数比の点で離散的遷移を示す。具体的な計算により、二面体群、$F_4$、$B_n$、およびアフィンワイル群の例で裏付けられている。

ABSTRACT

Computations in small Coxeter groups or dihedral groups suggest that the partition into Kazhdan-Lusztig cells with unequal parameters should obey to some semicontinuity phenomenon (as the parameters vary). The aim of this paper is to provide a rigorous theoretical background for supporting this intuition that will allow to state several precise conjectures.

研究の動機と目的

• コックス群におけるパラメータの変化に伴うカジダン＝ルシュティグ細胞分割の観察された半連続性の理論的基盤を確立すること。
• 小規模な群（例：二面体群、$F_4$）からの直感を、任意のコックス群に対して正確な予想的枠組みへと一般化すること。
• パラメータの比を用いて重み関数の同値類を定義し、細胞分割の安定性の位相的解釈を可能にすること。
• 細胞分割と細胞表現構成の整合性に関する予想を提示すること。
• 有限およびアフィンワイル群を含む具体的な例の詳細な解析を通じて、予想の検証を行うこと。

提案手法

• コックス群 $W$ と $S = S_1 \dot{\cup} S_2$ に対して、重み関数 $L_{a,b}(w) = a\ell_1(w) + b\ell_2(w)$ を定義する。ここで $\ell_i$ は $S_i$-長さ関数である。
• 比 $b/a$ を用いて重み関数の同値類を定義し、パラメータ空間を単一の有理数パラメータ $\theta = b/a$ に簡略化する。
• 自由アーベル群 $\mathbb{Z}[\bar{S}]$ の正部分集合を用いて、同値類の空間に位相を導入し、任意の全順序アーベル群へと一般化する。
• 正錐のファセット同士の閉包包含に基づく部分順序 $\preccurlyeq$ をファセットに導入し、細胞分割の細分化をモデル化する。
• 任意のファセット上で定数で、$\preccurlyeq$ に関して非増加である写像 $\xi$ が上半連続であることを証明し、細胞安定性の解析に使える位相的道具を提供する。
• この枠組みを適用し、細胞分割が臨界比 $r_i$ 間の区間で一定であり、遷移点で細分化されることを予想する。

実験結果

リサーチクエスチョン

• RQ1 不等価パラメータの比が変化する際、コックス群の左カジダン＝ルシュティグ細胞への分割はどのように変化するか？
• RQ2 細胞分割の観察された安定性と遷移を、任意のコックス群に対して一般化した予想として形式化できるか？
• RQ3 細胞分割の半連続性を捉えることができる重み関数空間上の位相的構造は存在するか？
• RQ4 臨界パラメータ比における細胞分割は、隣接する分割の最も細かい共通粗化であるか？
• RQ5 細胞表現構成は、提示された半連続性枠組みと整合性を保っているか？

主な発見

• 二面体群では、単一の臨界比 $r_1 = 1$ において、$\theta = 1$ で細胞分割が変化するため、予想は成り立つ。
• $F_4$ 型で $|S_1| = |S_2| = 2$ の場合、臨界比 $r_1 = 1/2$、$r_2 = 1$、$r_3 = 2$ において予想は成り立つ。
• $B_n$ 型で $|S_1| = n-1$、$|S_2| = 1$ の場合、予想は $n-1$ 個の臨界比 $r_i = i$ を予測し、$n \leq 6$ に対して検証済み。
• アフィン型 $\widetilde{G}_2$ では、$r_1 = 1$、$r_2 = 3/2$、$r_3 = 2$ で予想は成り立ち、グイロワが示した。
• $\widetilde{B}_2$ では、グイロワが $S = S_1 \dot{\cup} S_2$ のすべての可能な分割について予想を確認しており、$m = 3$ 個の臨界比を持つ。
• 理論的枠組みにより、任意のファセット上で定数で、$\preccurlyeq$ に関して非増加である写像が上半連続であることが証明され、半連続性の直観を支持する。