[论文解读] Sur l'holonomie de D-modules arithmétiques associés à des F-isocristaux surconvergents sur des courbes lisses

Christine Huyghe, Fabien Trihan|ArXiv.org|May 3, 2007

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

一句话总结

本文提供了关于光滑曲线上过收敛 $F$-等纯层的算术 $π$-模为正则性的新证明。利用幂零 $F$-等纯层源自对数 $F$-等纯层的事实，并通过 Matsuda-Trihan 的半稳定约化结合 $p$-进单值定理，作者建立了对一般过收敛 $F$-等纯层的正则性，从而完成了算术 $π$-模在曲线上关于 Grothendieck 六个操作的稳定性。

ABSTRACT

We show that the arithmetic D-module associated to an overconvergent F-isocrystal over a smooth curve is holonomic. We first prove that unipotent F-isocrystals are holonomic D-module by using the fact that such F-isocrystals come from logarithmic F-isocrystals. We deduce the general case from the semi-stable theorem for F-isocrystals over curves of Matsuda-Trihan which relies on the p-adic monodromy theorem independently proved by André, Kedlaya and Mebkhout. The main result has already been proved by D. Caro.

研究动机与目标

• 为 Caro 关于光滑曲线上过收敛 $F$-等纯层所关联的算术 $π$-模正则性的结果提供一个替代证明。
• 避免依赖 Berthelot 对过收敛 $F$-等纯层的刻画，转而使用对数结构与幂零 $F$-等纯层。
• 通过应用 Matsuda-Trihan 对曲线上 $F$-等纯层的半稳定约化定理，建立正则性的普遍情形。
• 完成算术 $π$-模在光滑曲线上关于 Grothendieck 六个操作的稳定性的证明，从而确认了猜想 A 与 D。

提出的方法

• 通过证明幂零 $F$-等纯层可从对数 $F$-等纯层提升，从而证明其正则性，而这些对数 $F$-等纯层自然带有弗罗贝尼乌斯结构。
• 将 $p$-进单值定理（André、Kedlaya 与 Mebkhout 独立证明）作为基础工具使用。
• 应用 Matsuda-Trihan 对曲线上 $F$-等纯层的半稳定约化定理，将一般情形约化为幂零情形。
• 在凝聚过收敛 $π$-模的框架下构造迹态射，推广 Tsuzuki 对 étale 态射的结果。
• 利用 Berthelot 对过收敛 $F$-等纯层的全局与局部刻画，验证 Berthelot 的猜想 D，从而推出猜想 A。
• 在带有弗罗贝尼乌斯结构的对数概形形式框架下工作，使用 $π$-模与形式概形上的过收敛微分算子。

实验结果

研究问题

• RQ1 光滑曲线上过收敛 $F$-等纯层所关联的算术 $π$-模是否总是正则的？
• RQ2 能否在不依赖 Berthelot 对过收敛 $F$-等纯层刻画的前提下，建立此类 $π$-模的正则性？
• RQ3 Matsuda-Trihan 对曲线上 $F$-等纯层的半稳定约化定理是否蕴含其关联 $π$-模的正则性？
• RQ4 对数 $F$-等纯层上的弗罗贝尼乌斯结构相较于以往方法，如何简化正则性证明？
• RQ5 能否利用局部与全局刻画验证 Berthelot 对过收敛 $F$-等纯层的猜想 D，从而完成 $π$-模在 Grothendieck 六个操作下的稳定性？

主要发现

• 任意光滑曲线上过收敛 $F$-等纯层所关联的算术 $π$-模均为正则模。
• 通过从对数 $F$-等纯层提升，证明了幂零 $F$-等纯层为正则 $π$-模。
• 正则性的普遍情形由 Matsuda-Trihan 的半稳定约化定理推导得出，而该定理依赖于 $p$-进单值定理。
• 证明过程避免了 Berthelot 对过收敛 $F$-等纯层的刻画，提供了一条更结构化的全新路径。
• 利用 $F$-等纯层的全局与局部刻画，验证了 Berthelot 的猜想 D，从而完整证明了 $π$-模在 Grothendieck 六个操作下的稳定性。
• 结果确认了光滑曲线上有界正则算术 $π$-模的范畴在 Grothendieck 六个操作下是稳定的。