[論文レビュー] The Hodge theory of Soergel bimodules

Ben Elias, Geordie Williamson|arXiv (Cornell University)|Dec 4, 2012

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、任意のコクセター系における分解不能ソルゲル代数的双モジュールの特性に関するザーゲルの予想を、代数的ソルゲル双モジュールの設定において、ハード・リーマンの定理とホッジ＝ライマン双線形関係を確立することによって証明する。主な結果は、カジマント・ルシュツィグ多項式の正値性の証明と、幾何的実現に依存しないカジマント・ルシュツィグ予想の代数的導出であり、ホッジ理論的手法を用いたゾーゲルのプログラムを完成させる。

ABSTRACT

We prove Soergel's conjecture on the characters of indecomposable Soergel bimodules. We deduce that Kazhdan-Lusztig polynomials have positive coefficients for arbitrary Coxeter systems. Using results of Soergel one may deduce an algebraic proof of the Kazhdan-Lusztig conjecture.

研究の動機と目的

• 任意のコクセター系における分解不能ソルゲル双モジュールの特性に関するゾーゲルの予想を証明すること。
• ソルゲル双モジュールに対して、代数的設定におけるハード・リーマン定理およびホッジ＝ライマン双線形関係を確立すること。
• 幾何的実現に依存しない、カジマント・ルシュツィグ予想の代数的証明を提供すること。
• デ・カタロ・トとミリョルーニのホッジ理論的アプローチを、リーマン作用素と perverse 分割を用いてソルゲル双モジュールへ拡張すること。
• カジマント・ルシュツィグ多項式がすべてのコクセター系に対して正の係数を持つことを示し、長年の予想を解決すること。

提案手法

• 代数幾何学におけるホッジ理論的技法、特にハード・リーマン定理およびホッジ＝ライマン関係を、ソルゲル双モジュールの圏へ適応する。
• ルオキエール複体と perverse 分割を用いて定義される、ソルゲル双モジュールのグロテンディーク群上のリーマン作用素 ρ を導入する。
• 複体および最小複体における perverse 分割を用いて、ソルゲル双モジュールの圏にホッジ構造を定義する。
• リーマン作用素を適用して、双モジュールの各次数成分における ρ^k の単射性を証明し、ハード・リーマン定理を確立する。
• 双モジュールを上向き成分 (B↑) と下向き成分 (B↓) に分解することにより、複体内の微分を解析し、単射性を検証する。
• リーマン作用素が微分および誘導された形式と整合することに依存し、d(b) ≠ 0 のとき ρ^k(b) ≠ 0 であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 幾何的実現に依存せずに、任意のコクセター系におけるソルゲル双モジュールに対してハード・リーマン定理が成り立つか。
• RQ2 ソルゲル双モジュールに対して、ホッジ＝ライマン双線形関係を代数的に確立できるか。
• RQ3 カジマント・ルシュツィグが予想したように、すべてのコクセター系に対してカジマント・ルシュツィグ多項式の係数が正であるか。
• RQ4 D-加群やリーマン＝ヒルベルト対応に依存せずに、ソルゲル双モジュールを用いてカジマント・ルシュツィグ予想を代数的に証明できるか。
• RQ5 ソルゲル双モジュールのグロテンディーク群上のリーマン作用素 ρ は、必要な代数的性質を満たす真のリーマン作用素であるか。

主な発見

• 任意のコクセター系におけるソルゲル双モジュールに対して、リーマン作用素 ρ が左乗法により作用するというハード・リーマン定理が成り立つ。
• ソルゲル双モジュールの次数成分はホッジ＝ライマン双線形関係を満たし、双線形形式の正値性を保証する。
• すべてのコクセター系に対してカジマント・ルシュツィグ多項式の係数が正であることが確認され、長年の予想が解決された。
• 分解不能ソルゲル双モジュールは、グロテンディーク群におけるカジマント・ルシュツィグ基底に正確に対応しており、ゾーゲルの予想が証明された。
• リーマン作用素 ρ は、双モジュールの次数成分に単射写像 ρ^k を誘導し、これはハード・リーマン定理の成立に不可欠である。
• 複体 F_x F_s を B↑, B↓, および B_x B_s に分解することで、微分の単射性と ρ との整合性の検証に問題を還元できる。