[论文解读] Constancy of Newton polygons of $F$-isocrystals on Abelian varieties and isotriviality of families of curves

Nobuo Tsuzuki|arXiv (Cornell University)|Apr 4, 2017

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

一句话总结

本文证明了在有限域上阿贝尔簇上的所有收敛 $F$-等距晶体的牛顿多边形是常数，建立了 $F$-等距晶体的几何与曲线族的等轨性之间的深刻联系。关键结果表明，此类族在阿贝尔簇上必须是等轨的，推广了关于 $p$-进单值性与 $F$-等距晶体不变量的已知结果。

ABSTRACT

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.

研究动机与目标

• 建立在有限域上阿贝尔簇上的所有收敛 $F$-等距晶体的牛顿多边形的常数性。
• 利用牛顿多边形的常数性，证明在阿贝尔簇上投影光滑曲线族的等轨性。
• 对所有收敛 $F$-等距晶体具有常数牛顿多边形的簇进行分类。
• 研究平展基本群与常数 $F$-等距晶体范畴之间的关系。
• 扩展对正特征下 $p$-进单值性与 $F$-等距晶体不变量的理解。

提出的方法

• 使用有限域上带有固定弗罗贝尼乌斯提升 $\sigma$ 的概形上的收敛 $F$-等距晶体理论。
• 应用迪厄东内-曼因分类，通过 $F$-空间 $i_{\overline{x}}^*\mathcal{M}$ 在每一点 $x$ 定义牛顿多边形 $\mathrm{NP}(\mathcal{M},x)$。
• 利用凯茨-克鲁等价性，将 $p$-进伽罗瓦表示与单位根 $F$-等距晶体联系起来，从而将 $\pi_1^{\mathrm{et}}(X_{\overline{k}})$-不变量与 $F$-等距晶体结构联系起来。
• 从 $\mathcal{M}$ 的上同调数据出发，通过 $p$-进完备化与伽罗瓦下降，构造 $\pi_1^{\mathrm{et}}(X)$ 的 $K_\sigma$-表示 $V(\mathcal{M})$。
• 在形式概形 $\mathrm{Spf}\,A_n$ 上使用极限构造，将 $V^0(\mathcal{M})$ 定义为在完备上同调上 $1 - \Phi \otimes \widehat{\varphi}$ 的核。
• 利用 $V(\mathcal{M}) \cong V^0(\mathcal{M})$ 的事实，通过引理 A.7 及局部环 $A_x[1/p]$ 的结构，证明 $V(\mathcal{M})$ 中的平凡表示可提升为 $\mathcal{M}$ 中的平凡子对象。

实验结果

研究问题

• RQ1 在簇上所有 $F$-等距晶体的牛顿多边形的常数性是否意味着其上曲线族的等轨性？
• RQ2 在有限域上的阿贝尔簇上，具有常数牛顿多边形的 $F$-等距晶体范畴是否等于全范畴？
• RQ3 能否通过 $X$ 上 $F$-等距晶体的结构检测平展基本群 $\pi_1^{\mathrm{et}}(X_{\overline{k}})$？
• RQ4 是否存在在阿贝尔簇上具有非恒定牛顿多边形的非等轨曲线族？
• RQ5 何种条件下，可保证一个簇上所有收敛 $F$-等距晶体具有常数牛顿多边形？

主要发现

• 在有限域上阿贝尔簇上的任意收敛 $F$-等距晶体的牛顿多边形在所有几何点上均为常数。
• 在有限域上阿贝尔簇上的任意投影光滑曲线族均为等轨的，即在有限基变换后变为常数。
• 在有限域上阿贝尔簇上，具有常数牛顿多边形的 $F$-等距晶体范畴与全范畴 $F\mbox{-}\mathrm{Isoc}(X/K)$ 一致。
• 若 $V(\mathcal{M})$ 中存在平凡 $\pi_1^{\mathrm{et}}$-表示，则通过引理 A.7，$\mathcal{M}$ 中存在平凡单位根子对象。
• 将 $V^0(\mathcal{M})$ 构造为在完备上同调上 $1 - \Phi \otimes \widehat{\varphi}$ 的核，得到一个与 $V(\mathcal{M})$ 同构的 $K_\sigma$-表示，确认其与克鲁理论的一致性。
• 等式 $A[1/p] = \bigcap_x A_x[1/p]$ 在余维数 1 的点 $x$ 上成立，确保若 $V_0 \subset M \otimes_{A[1/p]} A_x[1/p]$，则 $V_0 \subset M$，从而实现平凡表示的下降。