[论文解读] Degenerate Perverse Sheaves on Abelian Varieties

Rainer Weissauer|arXiv (Cornell University)|Apr 10, 2012

Algebraic Geometry and Number Theory参考文献 13被引用 13

一句话总结

本文证明了在复阿贝尔簇上，欧拉-庞加莱示性数为零的不可约 perverse 丛必在某个正维数子阿贝尔簇上平移不变。通过层论归纳法与 D-模理论、特征 p 方法相结合，将问题约化至单个阿贝尔簇的情形，作者证明此类丛属于可忽略丛类，从而解决了阿贝尔簇上一般性消失定理中的关键步骤。

ABSTRACT

We analyze irreducible perverse sheaves on abelian varieties, defined over the complex numbers or the algebraic closure of a finite field, whose Euler characteristic is zero. We give a description of such perverse sheaves under assumptions for the case of simple abelian varieties.

研究动机与目标

• 刻画复阿贝尔簇上欧拉-庞加莱示性数为零的 perverse 丛。
• 证明此类丛必在某个正维数子阿贝尔簇上平移不变。
• 通过层论归纳法将一般情形约化至单个阿贝尔簇的情形。
• 利用特征 p 方法（待定有限域情形的基情形）将结果推广至正特征情形。
• 为 Chr. Schnell 基于 D-模理论的论证提供一种适用于任意域（包括有限域）的替代证明。

提出的方法

• 在阿贝尔簇分解中简单因子个数上使用层论归纳法。
• 通过分析同源映射与平移作用下 perverse 丛的性质，将问题约化至单个阿贝尔簇。
• 应用 D-模理论与特征簇理论，证明退化拉格朗日支撑蕴含特征簇为零截面（即平凡特征簇）。
• 利用特征扭与同源映射下的直接像函子，保持类 E(X) 与 N(X) 的稳定性。
• 使用投影 $ q: X \to X/A $ 将 $ X $ 上的 perverse 丛与商簇上的丛联系起来，保持支撑与分歧结构。
• 结合特征 $ p > 0 $ 的方法，特别是 [W3] 中的方法，支持正特征情形下的论证，尤其在附录中。

实验结果

研究问题

• RQ1 在何种条件下，复阿贝尔簇上欧拉-庞加莱示性数为零的不可约 perverse 丛必为平移不变？
• RQ2 能否通过层论约化方法将单个阿贝尔簇上无迹 perverse 丛的刻画推广至非单个情形？
• RQ3 在 $ \mathbb{C} $ 上的结果在多大程度上可推广至有限域上的阿贝尔簇？
• RQ4 当无法直接推广单个情形的论证时，D-模技术与特征簇分析在证明平移不变性方面起到何种作用？
• RQ5 特征扭与直接像函子在同源映射下对保持类 $ E(X) $ 与 $ N(X) $ 的作用是什么？

主要发现

• 主要结果，定理 1，证明了任意复阿贝尔簇 $ X $ 上满足 $ \chi(K) = 0 $ 的不可约 perverse 丛 $ K $，必在某个正维数子阿贝尔簇 $ A \subseteq X $ 上平移不变。
• 类 $ F(X) $（即属于 $ E(X) \setminus N(X) $ 的不可约 perverse 丛）为空集，这意味着所有无迹 perverse 丛均为可忽略丛。
• 证明将一般情形约化至单个阿贝尔簇的情形，而该情形此前已通过 D-模理论建立。
• 此处发展的层论归纳法不仅适用于 $ \mathbb{C} $，也适用于有限域，前提是单个阿贝尔簇情形在正特征下成立。
• 论证利用了 $ \wp^{(m)}_* $ 是张量函子的事实，保持自对偶性与卷积结构等性质，当假设存在非平移不变的无迹丛时，由此导出矛盾。
• 矛盾源于直接像 $ Rp_*\tilde{K} $ 的秩必须为 $ \deg(\wp^{(m)}) $，但这导致 $ \#X(\kappa_m) = 1 $，对大 $ m $ 显然不可能，从而证明不存在此类丛。