[論文レビュー] Hermitian forms for affine Hecke algebras

Dan Barbasch, Dan Ciubotaru|arXiv (Cornell University)|Dec 11, 2013

Advanced Algebra and Geometry参考文献 20被引用数 7

ひとこと要約

本稿では、$\bullet$-不変ヘルミート形式を研究することで、アフィンヘッケ代数に対するユニタリティアルゴリズムを構築する。すべての中心的特徴が実数である非可約モジュールが非退化な$\bullet$-不変ヘルミート形式を持つことを証明し、古典的KL多項式と予想的に関係するヘルミート化されたカジマント・ルシュティグ多項式$P^h_{\bullet} = P(-q)$を導入する。本研究は、アダムズ＝リウーウェン＝トゥーラ＝ヴォーガンの$(\frak{g},K)$-モジュール枠組みを、ヘッケ代数の類似によって$p$-進設定に拡張する。

ABSTRACT

We study star operations for Iwahori-Hecke algebras and invariant hermitian forms for finite dimensional modules over (graded) affine Hecke algebras with a view towards a unitarity algorithm.

研究の動機と目的

• アフィンヘッケ代数におけるユニタリティアルゴリズムを、実再帰的群設定における$(\frak{g},K)$-モジュールのそれと類似させる。
• 有限次元モジュールにおける$\bullet$-不変ヘルミート形式の分類を行い、特に最低$W$-型と${\bb A}$-重みとの関係においてその符号を特定する。
• アダムズ＝リウーウェン＝トゥーラ＝ヴォーガンのアルゴリズムにインspiredされたジャントゼン層化を用いて、ヘルミート化されたカジマント・ルシュティグ多項式を定義・研究する。
• サブレギュラー軌道における$G_2$の場合に、ヘルミート化KL多項式と古典的KL多項式との間の予想的関係を検証する。

提案手法

• アーベル部分代数${\bb A} = S(V_{\bb C})$を保存する反自己同型$\bullet$としてのスター作用を用い、有限次元${\bb H}$-モジュール上の$\bullet$-不変ヘルミート形式を定義する。
• ラングランズ分類と単純・標準的モジュールの幾何的分類を適用し、最低$W$-型の同型成分における$\bullet$-形式の符号を分析する。
• 標準的モジュールのジャントゼン層化を用いて、ヘルミート化されたカジマント・ルシュティグ多項式$P^h_{\bullet}$を定義し、正規化された長間隔の相互作用作用素を用いて符号を計算する。
• $A$-特徴の線形独立性（定理4.4.2）と、主な${\bb A}$-パラメータの明示的公式（系3.9.3）を用いて、予想を裏付ける。
• $B_2$および$G_2$における正則およびサブレギュラー中心的特徴について、明示的計算を行い、ジャントゼン層化と$W$-型における相互作用作用素の固有値を分析する。
• サブレギュラーの場合の$G_2$において、すべての$P^h$多項式を計算し、それらが$P(-q)$と一致することを確認することで、予想$P^h_{\bullet} = P(-q)$を検証する。

実験結果

リサーチクエスチョン

• RQ1 中心的特徴が実数であるすべての非可約アフィンヘッケ代数モジュールが非退化な$\bullet$-不変ヘルミート形式を持つだろうか？
• RQ2 幾何的型代数において、最低$W$-型の各同型成分において、$\bullet$-不変ヘルミート形式を自然に正定値に正規化できるだろうか？
• RQ3 ヘルミート化されたカジマント・ルシュティグ多項式$P^h_{\bullet}$と古典的カジマント・ルシュティグ多項式$P$との間の関係は何か？
• RQ4 特に複数の$W$-型が存在する場合に、$\bullet$-不変形式の符号はジャントゼン層化においてどのように振る舞うか？
• RQ5 予想$P^h_{\bullet} = P(-q)$はすべてのアフィンヘッケ代数において成り立つだろうか、特に$G_2$のサブレギュラー軌道の場合に成り立つか？

主な発見

• 中心的特徴が実数であるすべての非可約${\bb H}$-モジュールが非退化な$\bullet$-不変ヘルミート形式を持つことが、系5.1.3で示された。
• 幾何的型代数において、最低$W$-型の各同型成分において、$\bullet$-不変ヘルミート形式を自然に正定値に正規化できることが、系5.3.3で述べられている。
• 正則中心的特徴の場合、ヘルミート化KL多項式は$P^h_{(A_1^s), (G_2(a_1),{\frak L}_{\triv})}(q) = P^h_{(A_1^s), (G_2(a_1),{\frak L}_{\refl})}(q) = 1$を満たし、$P(-q)$と一致する。
• サブレギュラー軌道における$G_2$の場合、ヘルミート化KL多項式は$P^h_{(0),(A_1^l)} = 1$、$P^h_{(0),(A_1^s)} = 1 - q$、$P^h_{(0),(G_2(a_1),{\frak L}_{\triv})} = 1$、および$P^h_{(0),(G_2(a_1),{\frak L}_{\refl})} = -q$であり、これらは$P(-q)$と一致し、予想6.3.2が検証された。
• $G_2$の最小主系列における$W$-型$2_2$は、ジャントゼン層化のレベル1と3にわたり分裂し、1つの$A_1^s$のコピーがレベル1に、もう1つのコピーがレベル3に現れる。これは相互作用作用素の固有値によって特定された。