[论文解读] A note on convergent isocrystals on simply connected varieties

Atsushi Shiho|arXiv (Cornell University)|Nov 3, 2014

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

一句话总结

该论文在某些稳定性条件下，证明了在正特征下，若代数闭域上射影光滑单连通概形可提升至特征零，则其上的收敛等距晶体是平凡的。通过形变理论、弗罗贝尼乌斯拉回和半稳定层的模空间，论文建立了秩1等距晶体以及模统一化子具有强半稳定约化之等距晶体的平凡性。

ABSTRACT

It is conjectured by de Jong that, if $X$ is a connected projective smooth variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial etale fundamental group, any convergent isocrystal $\mathcal{E}$ on $X$ is trivial. We discuss this conjecture when $X$ is liftable to characteristic zero, and prove the triviality of $\mathcal{E}$ in this case under certain conditions on (semi)stability.

研究动机与目标

• 研究德容猜想：在正特征下，射影单连通概形上的收敛等距晶体是平凡的。
• 将特征零下关于具有联络的相干模（coherent modules with connection）和正特征下关于分层丛（stratified bundles）的已知平凡性结果，推广至 $p$-进设置下的收敛等距晶体。
• 在概形可提升至特征零且等距晶体具有良好模 $p$ 约化的情况下，验证该猜想。
• 证明秩1等距晶体以及模统一化子具有强半稳定约化之等距晶体的平凡性。
• 利用形变理论和模空间，将模 $p$ 上的平凡性提升至完整的等距晶体。

提出的方法

• 利用概形在混合特征离散赋值环上的射影光滑概形的提升存在性。
• 应用兰格构造的半稳定层模空间，以参数化等距晶体模统一化子各幂次的约化。
• 采用贝尔托莱特提出的层级提升弗罗贝尼乌斯拉回函子，分析等距晶体模更高次统一化子幂次的形变。
• 利用约当-霍尔德滤子和稳定性条件，控制约化结构并确保各层级间的一致性。
• 应用朗顿定理，通过有界形变理论将模 $p$ 约化的平凡性提升至完整等距晶体。
• 比较由等距晶体和平凡丛诱导的半稳定层模空间的 $V$-有理点，证明唯一性，从而在一般纤维中推出平凡性。

实验结果

研究问题

• RQ1 在正特征下，对单连通概形上的收敛等距晶体，其平凡性的条件是什么？
• RQ2 德容关于收敛等距晶体平凡性的猜想，是否可在概形可提升至特征零时得到验证？
• RQ3 若等距晶体模统一化子具有强半稳定约化，是否意味着其平凡性？
• RQ4 弗罗贝尼乌斯拉回下形变类的行为如何约束等距晶体的结构？
• RQ5 能否通过比较 $V$-点，利用半稳定层的模空间来证明等距晶体的平凡性？

主要发现

• 在代数闭域上特征 $p>0$ 的射影光滑单连通概形上，若该概形可提升至特征零，且等距晶体具有 $\tfrac{\text{mod } \nu}{\text{mod } \nu}$-半稳定的 $\tfrac{\text{mod } \nu}{\text{mod } \nu}$ 约化，则其收敛等距晶体是平凡的。
• 德容猜想在该类概形上的秩1收敛等距晶体上得到验证。
• 在相同提升和稳定性假设下，对模统一化子具有强半稳定约化的收敛 $F$-等距晶体，其平凡性得以确立。
• 通过层级提升弗罗贝尼乌斯拉回和形变理论，证明了等距晶体模 $\nu^N$ 对所有 $N$ 均为平凡。
• 与等距晶体相关的半稳定层模空间的 $V$-有理点与平凡丛的 $V$-有理点重合，从而在一般纤维中推出平凡性。
• 由于 $H^1(\bar{\bbX}, \tcal{O})$ 的消失，等距晶体的几何一般纤维同构于结构层的直和。