[论文解读] Parity sheaves on the affine Grassmannian and the Mirković-Vilonen conjecture

Pramod N. Achar, Laura Rider|arXiv (Cornell University)|May 8, 2013

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

一句话总结

本文通过证明当 $p$ 为 JMW 质数（即属于一个小型显式定义集合之外的质数）时，仿射格拉斯曼流形上球对称施鲁德曼簇的积分局部交线上同调无 $p$-挠，从而证明了 Mirković–Vilonen 猜想。利用 Juteau–Mautner–Williamson 的奇偶性层理论，作者将拓扑问题转化为对偶幂零锥上的代数问题，证明了在这些情形下倾斜层为奇偶性层。

ABSTRACT

We prove the Mirković-Vilonen conjecture: the integral local intersection cohomology groups of spherical Schubert varieties on the affine Grassmannian have no p-torsion, as long as p is outside a certain small and explicitly given set of prime numbers. (Juteau has exhibited counterexamples when p is a bad prime.) The main idea is to convert this topological question into an algebraic question about perverse-coherent sheaves on the dual nilpotent cone using the Juteau-Mautner-Williamson theory of parity sheaves.

研究动机与目标

• 解决 Mirković–Vilonen 关于仿射格拉斯曼流形上球对称施鲁德曼簇的积分局部交线上同调群无挠性的猜想。
• 通过识别一个精确的质数集合——JMW 质数——阐明坏质数在挠现象中的作用，使得在这些质数下挠性不发生。
• 通过 Juteau–Mautner–Williamson 的奇偶性层理论，建立仿射格拉斯曼流形上 perverse 层与幂零锥上凝聚层之间的几何-结构联系。
• 通过证明当 $p$ 为 JMW 质数时，标准 perverse 层的模 $p$ 稳定性与域无关，为模表示理论提供基础结果。

提出的方法

• 利用 Juteau–Mautner–Williamson 的奇偶性层理论，将关于积分交线上同调中挠性的拓扑问题转化为代数问题。
• 利用几何 Satake 对偶性，将 Langlands 对偶群 $G^\vee$ 的表示与仿射格拉斯曼流形 $\mathcal{G}r$ 上的球对称 perverse 层联系起来。
• 应用 Ginzburg 的同构，将 $G^\vee$-等变层的导出范畴与幂零锥 $\mathcal{N}$ 上的凝聚层的导出范畴联系起来。
• 证明当 $\Bbbk$ 的特征为 $p$ 且 $p$ 为 JMW 质数时，$\mathcal{G}r$ 上的倾斜层 $\mathcal{T}(\lambda,\Bbbk)$ 为奇偶性层。
• 利用 $h^!$-函子与基变换及导出函子的相容性，将 $\mathcal{G}r$ 上层的上同调与 $\mathcal{N}$ 上凝聚层的上同调联系起来。
• 利用 $h^{!}$ 是 $h_!$ 的右伴随且满足基变换同构的事实，通过导出范畴技巧建立所需的无挠性。

实验结果

研究问题

• RQ1 当 $p$ 属于某个小型集合之外时，仿射格拉斯曼流形上球对称施鲁德曼簇的积分局部交线上同调是否具有 $p$-挠？
• RQ2 当 $\Bbbk$ 的特征为 $p$ 时，仿射格拉斯曼流形上的倾斜层 $\mathcal{T}(\lambda,\Bbbk)$ 是否为奇偶性层？
• RQ3 能否通过将拓扑问题约化为幂零锥上的凝聚层理论问题，来证明 Mirković–Vilonen 猜想关于无挠性的结论？
• RQ4 JMW 质数的精确集合是什么？即 $\mathcal{I}_!(\lambda,\mathbb{Z})$ 的 stalks 无挠的质数集合？
• RQ5 Juteau–Mautner–Williamson 的奇偶性层理论如何促进几何 Satake 框架下无挠性的证明？

主要发现

• 若 $p$ 为 $G^\vee$ 的 JMW 质数，则 $\mathcal{I}_!(\lambda,\mathbb{Z})$ 的 stalks 无 $p$-挠，从而在该情形下确认了 Mirković–Vilonen 猜想。
• 当 $p$ 为 JMW 质数时，$\mathcal{G}r$ 上的倾斜层 $\mathcal{T}(\lambda,\Bbbk)$ 在 $\Bbbk$ 特征为 $p$ 时为奇偶性层，这意味着其 stalks 具有奇偶性消失性质。
• JMW 质数的界限被显式给出：类型 $B_n, D_n$ 时 $p > 2$；$C_n$ 时 $p > n$；$E_6, F_4, G_2$ 时 $p > 3$；$E_7$ 时 $p > 19$；$E_8$ 时 $p > 31$；$A_n$ 类型则允许任意 $p$。
• 该证明建立了幂零锥上 $G^\vee \times \mathbb{G}_m$-等变凝聚层的导出范畴与仿射格拉斯曼流形上 $G_O$-等变 perverse 层的导出范畴之间的导出等价。
• 作者确认，Juteau–Mautner–Williamson 猜想在所有良质数意义下成立：当 $p$ 为良质数时，$\mathcal{T}(\lambda,\Bbbk)$ 为奇偶性层，尽管该猜想的完整形式仍为开放问题。
• 该结果为 [ABG, 定理 9.4.3] 中的导出等价性提供了一个模形式的推广，将其适用范围扩展至正特征情形。