[论文解读] Overconvergent unit-root F-isocrystals and isotriviality

Teruhisa Koshikawa|arXiv (Cornell University)|Nov 9, 2015

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

一句话总结

本文证明了在有限域上光滑几何连通概形上的半单过收敛单位根F-等距晶状体，在有限平展覆盖后成为常数，推广了无枝Fontaine-Mazur猜想的p进数类比。关键结果表明，在半单性或有限行列式条件下具有等轨性，通过化约到曲线并利用基本群技巧实现。

ABSTRACT

We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.

研究动机与目标

• 将无枝Fontaine-Mazur猜想的p进数类比推广至非射影光滑概形。
• 建立过收敛单位根F-等距晶状体在有限平展基变换后成为常数的条件。
• 通过过收敛F-等距晶状体将曲线情形的结果（命题1.1）推广至高维光滑概形。
• 阐明半单性与有限行列式在确保F-等距晶状体等轨性中的作用。
• 为具有单位根弗罗贝尼乌斯特征值的ℓ进局部系统提供p进数类比结果。

提出的方法

• 通过de Jong的化约定理将问题化约至射影情形，从而获得具有光滑紧化的有限平展覆盖。
• 利用过收敛F-等距晶状体与étale基本群的潜在无枝p进表示之间的对应关系。
• 应用Bertini型定理与Lefschetz型定理，构造映射到紧化基本群上且几何连通的曲线。
• 运用Clifford理论分析具有有限行列式的表示的不可约分量所导出的特征标。
• 利用基本群的阿贝尔化中核的有限性，证明当行列式为有限阶时，作用通过有限商群实现。
• 将ℓ进几何中的论证（如Deligne、Katz-Lang）适配至p进设置，以在单位根条件下建立等轨性。

实验结果

研究问题

• RQ1 在有限域上光滑概形上的半单过收敛单位根F-等距晶状体在何种条件下于有限平展覆盖后成为常数？
• RQ2 不可约分量的行列式为有限阶的条件如何影响过收敛F-等距晶状体的等轨性？
• RQ3 能否通过化约与基本群技巧，将曲线情形的等轨性结果推广至高维光滑概形？
• RQ4 具有单位根弗罗贝尼乌斯特征值的局部系统在有限覆盖后变为平凡的p进数类比为何？
• RQ5 半单性或有限行列式假设在多大程度上可确保单值性作用通过有限商群实现？

主要发现

• 在有限域上光滑几何连通概形上的半单过收敛单位根F-等距晶状体，在有限平展覆盖后成为常数。
• 若任意不可约分量的行列式为有限阶，则F-等距晶状体在有限平展覆盖后变为平凡。
• 通过化约与基本群技巧，将命题1.1从曲线情形推广至高维概形。
• 证明依赖于de Jong的化约定理将问题化约至射影情形，并应用基本群上的Lefschetz型定理。
• 即使在非紧致情形下，通过使用过收敛F-等距晶状体与潜在无枝表示，等轨性结果依然成立。
• 建立了ℓ进数类比，表明所有弗罗贝尼乌斯特征值为p进单位的局部系统在有限平展覆盖后变为平凡。