[論文レビュー] Soergel calculus and Schubert calculus

Xuhua He, Geordie Williamson|arXiv (Cornell University)|Feb 17, 2015

Algebraic structures and combinatorial models参考文献 11被引用数 8

ひとこと要約

本稿は、nil Hecke環を通じて、Soergelホモロジー計算—Soergel双モジュール間の準同型を計算するために用いられる—とシューベルト計算の直接的な関係を確立する。これにより、複雑な双モジュール合成計算が、nil Hecke代数内のより単純な公式に還元される。主な貢献は、デマズール積と装飾付き列を用いて交差形式の項を計算する公式（定理5.1）であり、これにより、非分解的Soergel双モジュールの特性のアルゴリズム的計算が可能になり、既知の例の再導出も容易になる。

ABSTRACT

We reduce some key calculations of compositions of morphisms between Soergel bimodules ("Soergel calculus") to calculations in the nil Hecke ring ("Schubert calculus"). This formula has several applications in modular representation theory.

研究の動機と目的

• Soergel双モジュールの圏における準同型合成の計算が、極めて困難であるという事実を軽減すること。
• Soergel計算における本質的な計算を、シューベルト計算の中心的構造たるnil Hecke環内の取り扱いやすい公式に還元すること。
• Soergel双モジュールの交差形式の項を、明示的かつアルゴリズム的に計算する公式を提供すること。
• Kashiwara-SaitoおよびBradenの既知の例を再導出することで、公式の有用性を示し、モジュラー表現理論への広範な応用可能性を示唆すること。

提案手法

• 著者らは、ペア $(\underline{w}, \underline{e})$ から装飾付き列 $(d_i e_i)$ を定義し、ここで $d_i$ は部分表現における $i$ 番目の段階がブリュア順序を増加させるか減少させるかを示す。
• nil Hecke代数からその商 $NH_{\leq x}/NH_{<x}$ への写像 $p$ を導入し、これは $x$ によってインデックス付けされた成分へ射影する。
• 鍵となる公式（定理5.1）は、交差形式の項 $\langle LL_{\underline{e}^1}, LL_{\underline{e}^2} \rangle$ を、ある特定の元 $F$ の $p$ による像として表現する。この像は、部分表現が還元的かつ欠陥ゼロのとき $D_x$ に等しく、それ以外の場合はゼロである。
• この手法は、デマズール積とnil Hecke代数の構造、特に分岐差分作用素 $D_s$ の作用と単純な反転による乗法の性質に依存する。
• 証明では、$F$ の $p$ による像が、部分表現 $\underline{w}_{\underline{\gamma}}'$ が還元的かつ $x$ を表す場合にのみ非ゼロであり、そのとき $D_x$ に等しいことを利用している。
• この公式は既知の例に適用され、nil Hecke環の計算が正しい交差数を回復することが示され、重複度2のケースを含む。

実験結果

リサーチクエスチョン

• RQ1 Soergel双モジュールの圏における準同型合成は、nil Hecke環内の計算に還元可能か？
• RQ2 Soergel計算における装飾付き列とnil Hecke代数の要素との間の明確な関係は何か？
• RQ3 シューベルト計算を用いて、Soergel双モジュールの構造を支配する交差形式の項をどのようにアルゴリズム的に計算できるか？
• RQ4 この公式は、Kashiwara-SaitoおよびBradenの非自明な既知の例を再構築できるか？
• RQ5 この公式は、代数群および対称群の表現理論における新たな構造的洞察を明らかにするか？

主な発見

• 定理5.1の公式により、射影 $p$ によるnil Hecke代数の元の像として、交差形式の項 $\langle LL_{\underline{e}^1}, LL_{\underline{e}^2} \rangle$ の計算が可能となり、これは部分表現が還元的かつ欠陥ゼロである場合にのみ非ゼロである。
• 例6.1では、$f(\underline{e}, \underline{e}) = 2D_x$ が得られ、特性2におけるHecke代数における $b_w$ の特性がKazhdan-Lusztigの予測から逸脱していることが示された。
• 例6.2.1では、$x = s_2s_3s_2s_5s_6s_5$ に対して $f(\underline{e}, \underline{e}) = 2D_x$ が再構成され、重複度2の既知の例が確認された。
• 例6.2.2（$D_4$ 上）では、交差形式の行列が $\begin{pmatrix} 0 & -1 & -1 \\ -1 & 0 & -1 \\ -1 & -1 & 0 \end{pmatrix}$ として計算され、3つの欠陥ゼロ部分表現間に非自明な関係があることが示された。
• 例6.3では、$x = s_1s_2s_1s_3s_2s_1s_5s_6s_5s_4s_3s_7s_6s_5s_4s_3s_8s_7s_9s_8s_7s_b$ に対して $f(\underline{e}, \underline{e}) = 2D_x$ が得られ、これはタイプ$A$において $\underline{w}_\bullet$ と $x$ が同じ二面体セルに属する最初の例である可能性がある。
• 著者らは、公式が文献に既に存在する複雑な例を再導出できることを示し、モジュラー表現理論における体系的計算の強力なツールである可能性を示唆した。