[论文解读] Overholonomicity of overconvergent $F$-isocrystals over smooth varieties

Daniel Caro, Nobuo Tsuzuki|ArXiv.org|Mar 14, 2008

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

一句话总结

本文证明了在正特征的完美域上的光滑代数簇上，过收敛 $F$-等构层的过全纯性，建立了过全纯性与分解性在过收敛 $F$-等构层中的等价性。该等价性意味着在格罗滕迪克五类上同调运算下保持稳定，从而提供了一个在张量积及其他运算下封闭的稳健 $p$-进上同调理论。

ABSTRACT

We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable under tensor products. So, the overholonomicity gives a $p$-adic cohomology stable under Grothendieck's cohomological operations.

研究动机与目标

• 在正特征的完美域上的光滑代数簇上，建立过收敛 $F$-等构层的过全纯性。
• 证明过收敛 $F$-等构层中过全洁性与分解性的等价性。
• 证明过全洁性在格罗滕迪克五类上同调运算（包括张量积）下保持稳定。
• 提供一个在所有标准上同调运算下稳定的 $p$-进上同调理论，推广贝塞尔特猜想中关于全洁性的结论。

提出的方法

• 利用凯德莱亚的半稳定化简定理，将问题约化为在完备代数簇上具有对数奇点和幂零余值的等构层。
• 应用在一般情形为 étale 的正规下降，将半稳定化简情形下的过全洁性性质下移。
• 利用光滑代数簇上过收敛 $F$-等构层与过共轭 $F$-等构层之间的等价性，将问题转化为算术 $\mathcal{D}$-模的语言。
• 使用通过闭点处的上同调有限性条件及局部化函子刻画过全洁性。
• 应用具有过收敛结构的 $\mathcal{D}^\dagger$-模及其导出函子的理论，特别是 $\mathbb{R}\underline{\Gamma}^\dagger$ 和 $f_+$ 函子。
• 依赖于过共轭性与过全洁性在非常规反像、正像及局部上同调函子下的稳定性。

实验结果

研究问题

• RQ1 在正特征的完美域上的光滑代数簇上，过收敛 $F$-等构层是否为过全洁的？
• RQ2 在过收敛 $F$-等构层中，过全洁性与分解性是否为等价概念？
• RQ3 过全洁性是否意味着在格罗滕迪克五类上同调运算（包括张量积）下保持稳定？
• RQ4 过全洁性 $F$-复形能否通过正规一般 étale 映射下移？
• RQ5 过收敛 $F$-等构层中过全洁性与分解性的等价性是否意味着该范畴在所有标准上同调运算下保持稳定？

主要发现

• 确立了在光滑代数簇上过收敛 $F$-等构层的过全洁性，解决了构建稳定 $p$-进上同调理论的关键一步。
• 在光滑代数簇的背景下，证明了过收敛 $F$-等构层中过全洁性与分解性为等价概念。
• $F$-复形的过全洁性在张量积下保持稳定，这是上同调理论中的关键性质。
• 过全洁 $F$-复形的范畴在格罗滕迪克五类上同调运算（直接像、非常规直接像、反像、非常规反像、张量积）下均保持稳定。
• 证明依赖于凯德莱亚的半稳定化简定理与正规一般 étale 下降，将问题约化为对数等构层且余值幂零的情形。
• 对于曲线情形，本文证实了贝塞尔特关于全洁性在反像下稳定性的猜想，这意味着在此情形下全洁性与过全洁性一致。