[论文解读] Full faithfulness for overconvergent F-isocrystals

Kiran S. Kedlaya|ArXiv.org|Oct 11, 2001

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

一句话总结

本文证明了在正特征域上的光滑代数簇上，从过拟收敛 $F$-等构到收敛 $F$-等构的遗忘函子是完全忠实的，从而确立了一个关键的下降性质。证明依赖于过拟收敛 $F$-等构的拟单值性以及关于过拟收敛幂级数环的 Quillen-Suslin 型定理，将整体问题约化为在仿射空间上利用 Frobenius 和联络不变量进行局部计算。

ABSTRACT

Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the quasi-unipotence theorem for overconvergent F-isocrystals (recently proved independently by Andre, Mebkhout, and the author; see math.AG/0110124), plus arguments of de Jong. In the process, we establish a theorem of Quillen-Suslin type (i.e., every finite projective module is free) over rings of overconvergent power series.

研究动机与目标

• 解决 Tsuzuki 关于从过拟收敛到收敛 $F$-等构的遗忘函子完全忠实性的猜想。
• 通过证明过拟收敛等构构成一个全子范畴，解决由收敛等构引起的刚性上同调中的病态现象。
• 建立关于完备离散赋值环上过拟收敛幂级数环的有限投射模的 Quillen-Suslin 型定理。
• 通过有限 étale 覆盖和上推导构造，将整体完全忠实性问题约化为在仿射空间上的局部计算。

提出的方法

• 利用近期由 André、Mebkhout 和作者独立证明的过拟收敛 $F$-等构的拟单值定理。
• 应用 de Jong 在等特征情形下证明延拓定理的方法，将其适配到 $p$-进情形。
• 利用过拟收敛 $F$-等构范畴对 Hom 封闭的性质，且态射对应于 Frobenius 固定且联络杀灭的截面。
• 通过有限 étale 覆盖，利用过拟收敛和收敛范畴中的上推导，将整体问题约化为仿射空间。
• 应用一个 Quillen-Suslin 型结果：任何完备离散赋值环上过拟收敛幂级数环上的有限投射模都是自由模。
• 通过证明在完备化环中 Frobenius 固定且联络杀灭的截面属于过拟收敛子环，分析两个范畴中 $H^0_F(X,\mathcal{E})$ 的秩。

实验结果

研究问题

• RQ1 在正特征域上的光滑代数簇上，从过拟收敛到收敛 $F$-等构的遗忘函子是否完全忠实？
• RQ2 能否将遗忘函子的整体完全忠实性约化为在仿射空间上的局部陈述？
• RQ3 过拟收敛 $F$-等构是否满足拟单值性，即在有限基变换后其局部单值性为单值？
• RQ4 任何完备离散赋值环上过拟收敛幂级数环上的有限投射模是否都是自由模，如同 Quillen-Suslin 定理所述？
• RQ5 在从过拟收敛到收敛等构的变换中，$H^0_F(X,\mathcal{E})$ 中 Frobenius 固定且联络杀灭的截面空间的秩是否保持不变？

主要发现

• 对于任意正特征域 $k$ 上的光滑分离 $k$-概形 $X$（有限型），遗忘函子 $j^*: \mathit{F^a\text{-}Isoc^\dagger}(X/K) \to \mathit{F^a\text{-}Isoc}(X/K)$ 是完全忠实的，从而解决了 Tsuzuki 的猜想。
• $H^0_F(X,\mathcal{E})$（即 Frobenius 固定且联络杀灭的截面空间）的秩在过拟收敛和收敛范畴中保持不变。
• 任何完备离散赋值环上过拟收敛幂级数环上的有限投射模都是自由模，从而在该背景下确立了 Quillen-Suslin 型定理。
• 证明将整体完全忠实性问题约化为在仿射空间上的局部陈述，其中过拟收敛幂级数的结构与 Frobenius 作用允许对截面进行控制。
• 关键的技术输入是过拟收敛 $F$-等构的拟单值性，它确保了 Frobenius 和联络方程的解是过拟收敛的。
• 在每个变量上，过拟收敛幂级数环的交集性质 $\cap_i R_i = R$ 允许得出结论：任何在完备化环中的解都属于过拟收敛子环。