[論文レビュー] Perverse sheaves, nilpotent Hessenberg varieties, and the modular law

Martha Precup, Eric Sommers|arXiv (Cornell University)|Jan 31, 2022

Advanced Algebra and Geometry被引用数 5

ひとこと要約

この論文は、Borel部分代数の極小部分代数内のB-安定部分空間（ad-零性イデアル）に付随する旗多様体上のベクトル束に余接束を置き換えることで、スプリンガー解体を一般化する。導来押し出しの定数層がスプリンガー対応に現れる交差特異ホモロジー層にのみ分解されることを証明し、零ベクトルHessenberg多様体のコホモロジーに対して幾何的モジュラ律を確立。これは型Aにおける組合せ的モジュラ律と関連している。

ABSTRACT

We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This leads to several implications for the dual picture, where we consider maps that generalize the Grothendieck-Springer resolution of the whole Lie algebra. In particular we are able to prove a conjecture of Brosnan. As we vary the maps, the cohomology of the corresponding nilpotent Hessenberg varieties often satisfy a relation we call the geometric modular law, which also has origins in the work on De Concini, Lusztig, and Procesi. We connect this relation in type $A$ with a combinatorial modular law defined by Guay-Paquet that is satisfied by certain symmetric functions and deduce some consequences of that connection.

研究の動機と目的

• Borel部分代数の極小部分代数内のB-安定部分空間（ad-零性イデアル）に付随する旗多様体上のベクトル束に余接束を置き換えることで、スプリンガー解体を一般化すること。
• これらの一般化されたスプリンガー解体上の定数層の導来押し出しを研究し、その分解に現れる交差特異ホモロジー層を特定すること。
• これらの写像のファイバーとして得られる零ベクトルHessenberg多様体のコホモロジーに対して、幾何的モジュラ律を確立すること。
• 型Aにおける幾何的モジュラ律を、Guay-Paquetが定義した対称関数に関する組合せ的モジュラ律と結びつけること。
• これらの一般化された写像のコホモロジカル性質を用いて、BrosnanのGrothendieck–Springer解体に関する予想を証明すること。

提案手法

• I をBorel部分代数の極小部分代数内のB-安定部分空間とする。写像 μ^I: G ×^B I → O̅_I を構成する。ここで O_I は零ベクトル軌道の閉包である。
• G ×^B I 上のシフトされた定数層 ℤ[N_I]_C の導来押し出し Rμ^I_*(ℤ[N_I]_C) に分解定理を適用する。
• De Concini, Lusztig, および Procesi の技術を用いて、μ^I のファイバーである零ベクトルHessenberg多様体の幾何を分析する。
• これらのHessenberg多様体のコホモロジーが奇数次元で消えることを証明し、導来押し出しが偶数次元に集中することを示す。
• Hessenbergイデアルの包含関係の下でのコホモロジーの振る舞いを分析し、パラボリック部分群からの帰納法を用いて幾何的モジュラ律を確立する。
• 正則半単純Hessenberg多様体のコホモロジーとドット作用およびLLT表現との関係を活用し、型Aにおける幾何的および組合せ的モジュラ律を結びつける。

実験結果

リサーチクエスチョン

• RQ1 B-安定部分空間に付随する一般化されたスプリンガー解体に関連する定数層の導来押し出しの分解に現れる交差特異ホモロジー層はどれか？
• RQ2 零ベクトルHessenberg多様体のコホモロジー群は、特に奇数次元で消えるか？
• RQ3 これらのHessenberg多様体のコホモロジーが満たすモジュラ律の性質は何か？ そして、既知の組合せ的モジュラ律とどのように関係するか？
• RQ4 幾何的モジュラ律を用いて、Grothendieck–Springer解体に関する予想（例えばBrosnanの予想）を証明できるか？
• RQ5 正則半単純Hessenberg多様体のコホモロジーはドット作用およびLLT表現とどのように関係するか？ そして、型Aにおけるモジュラ律にどのような含意をもたらすか？

主な発見

• 導来押し出し Rμ^I_*(ℤ[N_I]_C) は、スプリンガー対応に現れる交差特異ホモロジー層 IC(𝒪̅, ℒ) にのみ分解され、すなわち Θ_sp に属するペア (𝒪, ℒ) のみが現れる。
• 一般化されたスプリンガー写像のファイバー（すなわち零ベクトルHessenberg多様体）は、奇数次元コホモロジーが消えるため、導来押し出しは偶数次元に集中する。
• 零ベクトルHessenberg多様体のコホモロジーは、De Concini, Lusztig, および Procesi の研究におけるモジュラ律を一般化する幾何的モジュラ律を満たす。
• 型Aでは、幾何的モジュラ律はGuay-Paquetが定義した特定の対称関数が満たす組合せ的モジュラ律に対応する。
• 幾何的モジュラ律により、正則半単純Hessenberg多様体のコホモロジーは、多様体が非連結である場合、パラボリック部分群からの誘導表現と同型であることが示される。
• これらの結果により、一般化された写像のコホモロジカル性質とモジュラ律との関係を用いて、BrosnanのGrothendieck–Springer解体に関する予想が証明される。