[论文解读] Mixed $\ell$-adic complexes for schemes over number fields

Sophie Morel|arXiv (Cornell University)|Jun 8, 2018

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

一句话总结

本论文通过构建一个具有权重过滤的 perverse sheaf 的导出范畴，解决了在数域上概形上的混合 $\pi$-adic perverse sheaf 缺乏权重过滤的问题。利用 Deligne 的权重-单值定理与交叉函子形式化，该论文在该范畴上建立了完整的六则运算（包括张量积与内 Hom），从而将 Beilinson 的中间扩张公式推广至任意有限生成域。

ABSTRACT

If $X$ is a variety over a number field, Annette Huber has defined a category of "horizontal" (or "almost everywhere unramified") $\ell$-adic complexes and $\ell$-adic perverse sheaves on $X$. For such objects, the notion of weights makes sense (in the sense of Deligne), just as in the case of varieties over finite fields. However, contrary to what happens in that last case, mixed perverse sheaves (or mixed locally constant sheaves) on $X$ do not have a weight filtration in general, even when $X$ is a point. The goal of this paper is to show how to avoid this problem by working directly in the derived category of the abelian category of perverse sheaves that do admit a weight filtration. As an application, the methods of a previous paper of the author to calculate the intermediate extension of a pure perverse sheaf apply over any finitely generated field, and not just over a finite field.

研究动机与目标

• 解决在数域上概形上的混合 perverse sheaf 即使在点上也缺乏权重过滤的问题。
• 构建一个在六则运算下封闭且具有权重过滤的 perverse sheaf 的范畴。
• 将 Beilinson 的中间扩张公式从有限域推广至任意有限生成域。
• 利用 Deligne 的权重-单值定理，建立与权重兼容的层运算形式化。
• 通过稳定 t-结构与 Ext 范数消失，为从有限域推广结果至数域提供框架。

提出的方法

• 定义 $\operatorname{Perv}_{mf}(X)$：在 $X$ 上所有具有权重过滤的水平混合 perverse sheaf 的全全纯子范畴。
• 利用 Deligne 的权重-单值定理证明 perverse 直接像保持 $\operatorname{Perv}_{mf}(X)$，从而确保在关键运算下的稳定性。
• 采用交叉函子形式化（受 Deligne、Voevodsky 和 Ayoub 启发）系统处理层运算的兼容性。
• 通过 perverse sheaf 层级的构造，在 $D^b\operatorname{Perv}_{mf}(X)$ 上构造四则运算（$f^*, f_*, f_!, f^{!}$）与张量积/内 Hom。
• 证明范畴 ${}^w\!D^{\leq a}(X)$ 与 ${}^w\!D^{\geq a+1}(X)$ 构成 $D^b\operatorname{Perv}_{mf}(X)$ 上的 t-结构，从而将权重过滤推广至导出范畴。
• 利用 Yoneda 对 Ext 群的描述，证明当 $K$ 的权重 $\leq a$，$L$ 的权重 $\geq a+1$ 时，有 $\operatorname{Ext}^i(K,L) = 0$，从而确保权重分量之间的正交性。

实验结果

研究问题

• RQ1 能否在数域上概形的具有权重过滤的 perverse sheaf 的导出范畴上定义六则运算？
• RQ2 当 $X$ 定义在数域上时，范畴 $\operatorname{Perv}_{mf}(X)$ 是否在 perverse 直接像下保持稳定？
• RQ3 Beilinson 对纯 perverse sheaf 的中间扩张公式能否推广至有限域之外？
• RQ4 $D^b\operatorname{Perv}_{mf}(X)$ 上与权重过滤对应的 t-结构是什么？它如何与层运算相互作用？
• RQ5 在不假设纯对象的半单性前提下，如何建立不同权重层之间 Ext 范数消失的性质？

主要发现

• 通过 Deligne 的权重-单值定理，已证明范畴 $\operatorname{Perv}_{mf}(X)$ 在 perverse 直接像下保持稳定。
• 对 $D^b\operatorname{Perv}_{mf}(X)$，对 $( {}^w\!D^{\leq a}, {}^w\!D^{\geq a+1} )$ 构成 t-结构，将权重过滤推广至导出范畴。
• 在不假设半单性的情况下，具有不相交权重的 perverse sheaf 之间 Ext 群消失：当 $K$ 的权重 $\leq a$，$L$ 的权重 $\geq a+1$ 时，有 $\operatorname{Ext}^i(K,L) = 0$。
• 对权重为 $a$ 的纯 $K$，有 canonical morphisms $w_{\geq a}j_!K \to j_{!*}K \to w_{\leq a}j_*K$ 为同构，将 Beilinson 的结果推广至数域。
• $D^b\operatorname{Perv}_{mf}(X)$ 支持所有六则运算（包括张量积与内 Hom），其构造基于交叉函子形式化。
• 该构造使得文献 [21] 中的中间扩张公式可推广至任意有限生成域上的概形，而不仅限于有限域。