[論文レビュー] Relative hard Lefschetz for Soergel bimodules

Ben Elias, Geordie Williamson|arXiv (Cornell University)|Jul 12, 2016

Algebraic structures and combinatorial models参考文献 14被引用数 6

ひとこと要約

この論文は、任意のコクセター群におけるソルゲル代数的双モジュールに対して相対的ハード・リーフシェッツ定理を証明し、カジマント・ルシュツィッグ基底の構造定数のユニモダリティを確立する。この結果は、ソルゲル双モジュールの代数的設定に幾何学的ホッジ理論的技法を適応することによって得られ、任意の2-サイドドセルに対応するテンソルカテゴリがリジッドかつピvォタルであることを示唆する。

ABSTRACT

We prove the relative hard Lefschetz theorem for Soergel bimodules. It follows that the structure constants of the Kazhdan-Lusztig basis are unimodal. We explain why the relative hard Lefschetz theorem implies that the tensor category associated by Lusztig to any 2-sided cell in a Coxeter group is rigid and pivotal.

研究の動機と目的

• 任意のコクセター群におけるソルゲル双モジュールの相対的ハード・リーフシェッツ定理を確立すること。
• カジマント・ルシュツィッグ基底における構造定数 μx,y^z のユニモダリティを証明すること、すなわち、量子整数 [m] の非負整数係数の線形結合として表せることを示すこと。
• コクセター群における任意の2-サイドドセルに対応するテンソルカテゴリがリジッドかつピvォタルであることを示すこと。
• 幾何学的ホッジ理論的結果（相対的ハード・リーフシェッツなど）をソルゲル双モジュールの代数的設定に拡張すること。
• 従来、カク・ムーディ群や有限反射群に対して幾何的に知られていたユニモダリティを、代数的証明によって再構築すること。

提案手法

• perverse cohomology ファンクターを用いて、代数的幾何における相対的ハード・リーフシェッツ定理をソルゲル双モジュールの圏に適応すること。
• ソルゲル双モジュールにおける perverse filtration を用いて、pervious cohomology ファンクター H^i: B → pB を定義し、層理論における perverse cohomology に類似させる。
• 支配的正規元 ρ ∈ h* を用いてソルゲル双モジュール上に標準的な極化を構成し、極化要素のべき乗による乗法を用いて相対的ハード・リーフシェッツ同型を定義する。
• 極限の議論と符号解析を用いて、ハード・リーフシェッツ同型をホッジ＝ライマン双線形関係に還元することで証明する。
• この同型を用いて、構造定数 μx,y^z がユニモダルである、すなわち、非負整数係数 a_m を用いて ∑a_m[m] と表せることを示す。
• この結果を応用して、2-サイドドセルに対応するテンソルカテゴリ J が、ハード・リーフシェッツ同型による双対の存在によりリジッドかつピvォタルであることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のコクセター群におけるソルゲル双モジュールに対して、相対的ハード・リーフシェッツ定理は成り立つか？
• RQ2 カジマント・ルシュツィッグ基底の構造定数 μx,y^z はユニモダルであるか、すなわち、量子整数 [m] の非負整数係数の線形結合として表せるか？
• RQ3 相対的ハード・リーフシェッツ同型は、2-サイドドセルに対応するテンソルカテゴリがリジッドかつピvォタルであることを示唆するか？
• RQ4 相対的ハード・リーフシェッツのような幾何学的ホッジ理論的結果は、ソルゲル双モジュールの文脈において代数的に実現可能か？
• RQ5 perverse filtration および perverse cohomology ファンクターは、この代数的設定におけるハード・リーフシェッツの確立にどのような役割を果たすか？

主な発見

• 任意のコクセター群におけるソルゲル双モジュールに対して、相対的ハード・リーフシェッツ定理が成り立つ。これは、BBDの幾何的結果を代数的設定に一般化するものである。
• カジマント・ルシュツィッグ基底の構造定数 μx,y^z はユニモダルである：すなわち、a_m ≥ 0 として ∑a_m[m] と表せる。ここで [m] は量子整数である。
• コクセター群における任意の2-サイドドセルに対応するテンソルカテゴリ J は、相対的ハード・リーフシェッツ同型の結果としてリジッドかつピvォタルである。
• 極化要素 ρ のべき乗による乗法によって誘導される写像 H^{-a}(YZ) → H^a(YZ) が相対的ハード・リーフシェッツ同型を与える。
• 証明は、極限の議論と符号解析を用いて、ハード・リーフシェッツの主張をホッジ＝ライマン双線形関係に還元することに依拠している。
• この結果により、従来はカク・ムーディ群や有限コクセター群に対して幾何的手法のみで知られていたユニモダリティの代数的証明が得られた。