[论文解读] 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-稳定子空间（内导幂零理想）所关联的旗流形上的向量丛替代余切丛，推广了Springer的解析。它证明了这些推广解析上的常层的导出推出仅分解为Springer对应中的交集上同调层，并建立了尼尔波滕特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-稳定子空间（内导幂零理想）所关联的向量丛替代余切丛，推广Springer解析。
• 研究这些推广解析上常层的导出推出，并确定其分解中出现的交集上同调层。
• 为作为这些映射纤维的尼尔波滕特Hessenberg流形的上同调建立几何模律。
• 将A型中的几何模律与Guay-Paquet定义的对称函数的组合模律相联系。
• 通过这些推广映射的上同调性质，证明Brosnan关于Grothendieck–Springer解析的猜想。

提出的方法

• 构造推广的Springer型映射 μ^I: G ×^B I → O̅_I，其中 I 是极小根系 𝔤 中的B-稳定子空间，O_I 是某个幂零轨道的闭包。
• 对 G ×^B I 上的平移常层 ℤ[N_I]_C 的导出推出 Rμ^I_*(ℤ[N_I]_C) 应用分解定理。
• 利用De Concini、Lusztig 和 Procesi 的技术分析尼尔波滕特Hessenberg流形的几何结构，这些流形是 μ^I 的纤维。
• 证明这些Hessenberg流形的上同调在奇数度上消失，意味着导出推出集中在偶数度。
• 通过分析Hessenberg理想包含关系下上同调的行为，并利用抛物子群的归纳法，建立几何模律。
• 利用正则半单Hessenberg流形的上同调与点作用及LLT表示之间的联系，将几何模律与A型中的组合模律相联系。

实验结果

研究问题

• RQ1 在与B-稳定子空间相关的推广Springer解析上，常层的导出推出的分解中，哪些交集上同调层会出现？
• RQ2 尼尔波滕特Hessenberg流形的上同调群行为如何，特别是奇数度上同调是否消失？
• RQ3 这些Hessenberg流形的上同调所满足的模律的本质是什么，它与已知的组合模律有何关系？
• RQ4 几何模律能否用于证明关于Grothendieck–Springer解析的猜想，如Brosnan的猜想？
• RQ5 正则半单Hessenberg流形的上同调如何与点作用和LLT表示相关联，这对A型中的模律意味着什么？

主要发现

• 导出推出 Rμ^I_*(ℤ[N_I]_C) 仅分解为在Springer对应中出现的交集上同调层 IC(𝒪̅, ℒ)，即仅对属于 Θ_sp 的对 (𝒪, ℒ) 成立。
• 这些推广Springer映射的纤维（即尼尔波滕特Hessenberg流形）在奇数度上同调消失，意味着导出推出集中在偶数度。
• 尼尔波滕特Hessenberg流形的上同调满足一个几何模律，该关系推广了De Concini、Lusztig 和 Procesi 工作中的模律。
• 在A型中，几何模律对应于Guay-Paquet定义的某些对称函数所满足的组合模律。
• 几何模律意味着当流形不连通时，正则半单Hessenberg流形的上同调同构于从抛物子群诱导的表示。
• 这些结果通过推广映射的上同调性质及其与模律的关系，导致了Brosnan关于Grothendieck–Springer解析猜想的证明。