[论文解读] Images directes II: F-isocristaux convergents

Jean-Yves Étesse|arXiv (Cornell University)|Oct 23, 2009

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

一句话总结

本文在正特征的完美域 k 上，建立了在可提升的光滑射影态射下，收敛 F-等距复形的直接像的收敛性。通过利用泰希缪勒提升并比较专化映射，证明了这些直接像上的弗罗贝尼乌斯态射是同构，将经典刚性上同调结果推广至具有弗罗贝尼乌斯结构的收敛 F-等距复形设定。

ABSTRACT

This article is the second one of a series of three articles devoted to direct images of isocrystals: here we consider convergent isocrystals with Frobenius structure. Let V be a complete discrete valuation ring, with residue field k = V/m of characteristic p > 0 and fraction field K of characteristic 0. Firstly we characterize convergent F-isocrystals on a smooth affine k-scheme. Secondly, for perfect k and after a detailed exposition of the Teichmûller liftings, especially for the affine rigid line, we derive the existence of Frobenius isomorphisms on the direct images of convergent F-isocrystals under a proper smooth and liftable k-morphism.

研究动机与目标

• 对光滑仿射 k-概形上的收敛 F-等距复形进行刻画。
• 在刚性解析几何背景下研究泰希缪勒提升，特别是对仿射直线的情形。
• 建立在可提升的光滑射影态射下，收敛 F-等距复形的直接像的收敛性。
• 证明此类直接像上的弗罗贝尼乌斯态射是同构。
• 为研究与这些直接像相关的 L-函数奠定基础。

提出的方法

• 使用类似 Monsky-Washnitzer 的描述，刻画光滑仿射 k-概形上的收敛 F-等距复形。
• 为形式概形构造泰希缪勒提升，并将其与专化映射和约化映射联系起来。
• 利用泰希缪勒提升是专化映射的截面这一事实，将问题约化至刚性上同调。
• 借助刚性上同调中弗罗贝尼乌斯同构的已知结果，推导出直接像的相应结论。
• 应用 Bosch-Güntzer-Remmert 的判别法：若一个态射在纤维上是同构，则其本身是同构。
• 利用直接像与基变换及纤维函子在弗罗贝尼乌斯结构下的相容性。

实验结果

研究问题

• RQ1 在何种条件下，收敛 F-等距复形在光滑射影态射下的直接像仍是收敛 F-等距复形？
• RQ2 在刚性解析设定下，泰希缪勒提升如何与专化映射和约化映射相互作用？
• RQ3 能否通过纤维层面的分析，证明收敛 F-等距复形的直接像上的弗罗贝尼乌斯态射是同构？
• RQ4 泰希缪勒提升在实现纤维函子并与弗罗贝尼乌斯交换中起什么作用？
• RQ5 直接像的收敛性与态射及基概形的上同调性质有何关联？

主要发现

• 光滑仿射 k-概形上的收敛 F-等距复形可通过类似 Monsky-Washnitzer 的描述加以刻画。
• 当 k 为完美域时，泰希缪勒提升提供了专化映射的典范截面，并与弗罗贝尼乌斯交换。
• 在可提升的光滑 k-态射下，收敛 F-等距复形的直接像仍是收敛 F-等距复形。
• 通过泰希缪勒提升将问题约化至刚性上同调，证明了此类直接像上的弗罗贝尼乌斯态射是同构。
• 直接像构造与基变换及纤维函子相容，保持了弗罗贝尼乌斯结构。
• 结果可推广至射影态射及相对完全交态射，不仅限于有限 étale 态射。