論文「Kazhdan-Lusztig 多項式の行列の因数分解」の技術的サマリー

1. 概要と背景

本論文は、対称化可能な Kac-Moody 代数の Weyl 群 $W$ に関連するヘッケ代数 $H = H(W, S)$ におけるKazhdan-Lusztig 多項式の行列の構造に関する新たな結果を提示しています。

Kazhdan と Lusztig は 1979 年に、標準基底から Kazhdan-Lusztig 基底への変換係数として Kazhdan-Lusztig 多項式を定義し、有限およびアフィン Weyl 群に対してこれらの係数が非負であることを示しました。その後、Elias と Williamson によって任意の Coxeter 系に対する非負性が証明されました。

本論文の焦点は、Kazhdan-Lusztig 基底要素との積における係数の正性（positivity）を研究する Grojnowski と Haiman が導入したハイブリッド基底（hybrid basis）の枠組みにあります。著者らは、ハイブリッド基底間の基底変換係数の正性を示すことで、Kazhdan-Lusztig 多項式の行列が、非負係数を持つ多項式を成分とする行列の積に因数分解されることを証明しました。

2. 主要な問題設定

• 対象: 対称化可能な Kac-Moody 代数の Weyl 群 $W$ とそのヘッケ代数 $H$。
• 問題:
  1. 部分集合 $J \subseteq S$ に対する制限写像 $|_J: H \to H_J$（$H_J$ はパラボリック部分群 $W_J$ に対応するヘッケ代数）を適用した際、Kazhdan-Lusztig 基底要素 $C_w$ の像 $(T_u^{-1}C_w)|_J$ が、$H_J$ の Kazhdan-Lusztig 基底で展開されたときの係数が非負多項式となるか？
  2. 一般の $I \subseteq J \subseteq S$ に対して、ハイブリッド基底 $T^{C_J}$ から $T^{C_I}$ への基底変換係数が非負か？
  3. これらの結果を用いて、Kazhdan-Lusztig 多項式の行列をどのように因数分解できるか？

3. 手法とアプローチ

著者らは以下の 3 つの主要な手法を組み合わせています。

3.1. ハイブリッド基底と制限写像の関連付け

Grojnowski と Haiman が定義したハイブリッド基底 $T^{C_J} = \{T^{C_J}_w\}_{w \in W}$ を用います。これは $J=\emptyset$ のとき標準基底、$J=S$ のとき Kazhdan-Lusztig 基底となります。
重要な洞察として、制限写像 $|_J$ とハイブリッド基底の係数の関係を確立しました（Proposition 4.2）。具体的には、$h \in H$ の $T^{C_J}$ 展開における係数は、$(T_u^{-1}h)|_J$ の Kazhdan-Lusztig 展開における係数と一致します。これにより、基底変換係数の正性の問題は、制限写像による像の係数の正性の問題に帰着されます。

3.2. 代数的証明（Theorem B の証明）

ハイブリッド基底間の展開係数 $h^{I,J}_{x,w}(q)$ の非負性を証明するために、以下のステップを踏みます。

1. Kazhdan-Lusztig 基底 $C_w$ がハイブリッド基底 $T^{C_J}$ に対して正に展開されること（Grojnowski-Haiman の定理 4.3）を利用します。
2. パラボリック分解 $w = uv$（$u \in W^J, v \in W_J$）を用いて、$T^{C_J}_w = T_u C_v$ と表現します。
3. $C_v$ を $T^{C_I}$ 基底で展開し、$T_u$ を作用させる操作が、$I \subseteq J$ の条件下で $T^{C_I}$ 基底の非負係数線形結合を保持することを示します（Lemma 5.5, 5.6）。
4. これにより、任意の $I \subseteq J$ に対して、$T^{C_J}$ から $T^{C_I}$ への遷移行列の成分が非負多項式であることが示されます。

3.3. 幾何学的証明（Theorem A の証明）

有限 Weyl 群（および対称化可能な Kac-Moody 代数の Weyl 群）に対して、** perverse sheaves（歪曲層）と混合 Hodge モジュール**の理論を用いた幾何学的証明を提供しています（Section 8）。

• ヘッケ代数を旗多様体 $G/B$ 上の半単純な perverse sheaves の圏の分裂グロトエンドイク群として実現します（カテゴライゼーション）。
• 制限写像と $T_u^{-1}$ の乗法に対応する関手を、旗多様体からパラボリック旗多様体への写像の導来圏における操作（$j^*, \pi_!, \phi^*$）として構成します。
• Braden の双曲局所化（hyperbolic localization）の定理を用いて、これらの操作が純粋性（purity）を保存し、したがって半単純性を保存することを示します。
• 半単純性は、Kazhdan-Lusztig 基底における非負係数展開に対応するため、係数の正性が保証されます。

4. 主要な結果

定理 A（制限係数の正性）

任意の $u \in W^J$（左剰余類代表元）と $w \in W$ に対して、$(T_u^{-1}C_w)|_J$ を $H_J$ の Kazhdan-Lusztig 基底で展開したときの係数は、非負係数を持つ $q$ の多項式です。
$$(T_u^{-1}C_w)|_J = \sum_{v \in W_J} h^J_{uv,w}(q) C_v, \quad h^J_{uv,w}(q) \in \mathbb{Z}_{\geq 0}[q]$$

定理 B（ハイブリッド基底間の正性）

任意の $I \subseteq J \subseteq S$ に対して、ハイブリッド基底 $T^{C_J}$ から $T^{C_I}$ への基底変換係数は非負多項式です。
$$T^{C_J}_w = \sum_{x \in W} h^{I,J}_{x,w}(q) T^{C_I}_x, \quad h^{I,J}_{x,w}(q) \in \mathbb{Z}_{\geq 0}[q]$$

定理 C（Kazhdan-Lusztig 行列の因数分解）

部分集合の鎖 $\emptyset = J_0 \subset J_1 \subset \dots \subset J_k = S$ に対して、Kazhdan-Lusztig 多項式の行列は、$k$ 個の行列の積に因数分解されます。各因子行列の成分は非負係数を持つ $q$ の多項式です。
特に、$|S|$ 個の要素からなる鎖をとることで、Kazhdan-Lusztig 行列を $|S|$ 個の非負行列の積として表現できます。

追加の知見

• パラボリック Kazhdan-Lusztig 多項式: 符号表現（sign representation）に関連するパラボリック Kazhdan-Lusztig 多項式は、上記の制限係数の特殊な場合として現れることが示されました（Section 6）。
• 具体例: 型 $A_n$ や二面体群（dihedral groups）における制限係数の具体的な計算が行われ、正性が確認されています（Section 7）。

5. 意義と今後の展望

• 理論的意義: 従来の Kazhdan-Lusztig 多項式の正性（Elias-Williamson）を、より一般的な「ハイブリッド基底間の遷移」という文脈で一般化し、その構造を「因数分解」という形で明確にしました。これは、ヘッケ代数の構造理解において重要な進展です。
• 手法の融合: 代数的な帰納法と、幾何学的な perverse sheaves の理論を組み合わせることで、結果の堅牢性を高めています。
• 未解決問題: 現在の証明は対称化可能な Kac-Moody 代数の Weyl 群に限定されています。一般の Coxeter 群に対する正性は、Soergel bimodules の理論を用いて今後研究されるべき課題として残されています。

本論文は、Kazhdan-Lusztig 理論の正性問題に対する新しい視点を提供し、ヘッケ代数の表現論と幾何学の深い結びつきを浮き彫りにした重要な業績です。