[论文解读] Perverse Sheaves on the Nilpotent Cone and Lusztig's Generalized Springer Correspondence

Laura Rider, Amber Russell|arXiv (Cornell University)|Sep 25, 2014

Algebraic structures and combinatorial models参考文献 13被引用 10

一句话总结

本文建立了亏格锥上等变导出范畴的正交分解，为吕斯蒂格的广义施瓦茨对应提供了范畴框架。它证明了小根局部系统在良好特征下的洁净性，并通过 perverse sheaves 重新诠释了吕斯蒂格–鞘吉算法，关键结果依赖于中心特征标正交性与等变层导出范畴中的 Verdier 对偶。

ABSTRACT

In this note, we consider perverse sheaves on the nilpotent cone. We prove orthogonality relations for the equivariant category of sheaves on the nilpotent cone in a method similar to Lusztig's for character sheaves. We also consider cleanness for cuspidal perverse sheaves and the generalized Lusztig--Shoji algorithm.

研究动机与目标

• 通过亏格锥上的 perverse sheaves，为吕斯蒂格的广义施瓦茨对应提供范畴化重述。
• 通过中心特征标理论，建立等变 perverse sheaves 之间的正交关系。
• 在良好特征下，证明亏格锥上小根局部系统具有洁净性。
• 通过 sheaf-theoretic 方法重新推导吕斯蒂格–鞘吉算法，避免使用有限群上的特征函数。
• 以相对 Weyl 群不变量的形式计算 perverse sheaves 之间的 Ext-群，推进形式性猜想。

提出的方法

• 利用亏格锥 $\mathcal{N}$ 上具有 $\bar{\mathbb{Q}}_\ell$-系数的构造层的等变导出范畴 $\mathrm{D}^\mathrm{b}_G(\mathcal{N})$。
• 通过小根数据的不同中心特征标，应用正交分解 $\mathrm{D}^\mathrm{b}_G(\mathcal{N}) \cong \bigoplus_{\mathbf{c}/\sim} \mathrm{D}^\mathrm{b}_G(\mathcal{N}, \mathbb{A}_\mathbf{c})$。
• 利用 Verdier 对偶与中心特征标理论，证明具有不同中心特征标的层之间无扩展。
• 将广义格林函数重新诠释为 perverse sheaves 的截面，避免依赖群特征标。
• 利用基变换与伴随商映射的平坦性，将等变层与 $G/Z \times X$ 上的局部系统联系起来。
• 通过导出范畴技巧应用吕斯蒂格–鞘吉算法，证明 Ext 计算的形式性。

实验结果

研究问题

• RQ1 吕斯蒂格的广义施瓦茨对应如何用亏格锥上的 perverse sheaves 表述？
• RQ2 通过小根数据分解，等变导出范畴 $\mathrm{D}^\mathrm{b}_G(\mathcal{N})$ 的范畴结构是什么？
• RQ3 为何亏格锥上的小根局部系统在良好特征下是洁净的？
• RQ4 能否通过层论方法重新证明吕斯蒂格–鞘吉算法，而无需使用群论特征函数？
• RQ5 等变 perverse sheaves 之间的 Ext-群结构如何以相对 Weyl 群不变量表示？

主要发现

• 等变导出范畴 $\mathrm{D}^\mathrm{b}_G(\mathcal{N})$ 允许按小根数据 $\mathbf{c}$ 索引的正交分解，每个块由诱导 perverse sheaf $\mathbb{A}_\mathbf{c}$ 的简单分量生成。
• 在良好特征下，亏格锥上的小根局部系统是洁净的，该结论通过正交分解与 Verdier 对偶得到证明。
• 亏格锥上 perverse sheaves 之间的 Ext-群计算为相对 Weyl 群作用下的不变量，如命题 4.7 所示。
• 吕斯蒂格–鞘吉算法通过 perverse sheaf-theoretic 方法重新证明，广义格林函数被解释为 perverse sheaves 的截面。
• 具有不同中心特征标的 perverse sheaves 之间无非平凡扩展，该结论由命题 A.8 通过中心特征标在上推下的不变性确立。
• 正交分解为广义格林函数之间的正交关系提供了范畴解释。