[论文解读] Positive characteristic Manin-Mumford theorem

Thomas Scanlon|ArXiv.org|Mar 26, 2003

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

一句话总结

本文使用模型论方法，特别是存在闭合差分域（ACFA）理论，建立了半阿贝尔簇在正特征下的曼宁-墨菲猜想的正特征类比。证明了子簇中扭点的扎里斯基闭包是特殊子簇的有限并——这些特殊子簇通过有限域上代数群的同源定义，从而将雷诺多的定理推广到正特征情形。

ABSTRACT

We prove a version of the Manin-Mumford conjecture for semiabelian varieties over fields of positive characteristic. The proof presented here contains the details of the proof sketched by the author in the article "Diophantine geometry from model theory," BSL 7 (2001) no. 1, 37 - 57; using the model theory of difference fields along the lines of Hrushovski. Algebraic proofs have been presented by Pink & Roessler and Pillay.

研究动机与目标

• 建立半阿贝尔簇在正特征下的曼宁-墨菲猜想的正特征类比。
• 通过引入‘特殊’子簇的改进概念，解决经典曼宁-墨菲陈述在正特征下失效的问题。
• 证明子簇中扭点的扎里斯基闭包是此类特殊子簇的有限并。
• 应用模型论工具，特别是ACFA和差分域的二分定理，以解决该问题。

提出的方法

• 利用存在闭合差分域（ACFA）的模型理论分析正特征下的扭点。
• 构造一个剩余域为有限域的离散赋值环，并在其上建立半阿贝尔模型以提升扭结构。
• 应用赫鲁索夫斯基的ACFA中可定义群的二分定理，对扭点的子群进行分类。
• 利用特殊纤维上的弗罗贝尼乌斯自同态定义一个多项式 $ P(X) \in \mathbb{Z}[X] $，其根不是单位根。
• 将问题约化为分析 $ \ker P(\sigma) $，其中 $ \sigma $ 是域自同构，并将该群分解为模形式部分和本质上代数的部分。
• 应用陪集定理和同源的性质，证明扭点位于定义在 $ \mathbb{F}_p^{\rm alg} $ 上的子簇的陪集之中，因此是特殊的。

实验结果

研究问题

• RQ1 在正特征下，曼宁-墨菲猜想的正确类比是什么？
• RQ2 在正特征域上的半阿贝尔簇中，扭点如何在扎里斯基拓扑下位于有限个子簇的并中？
• RQ3 弗罗贝尼乌斯自同态在定义正特征下扭子群结构中起什么作用？
• RQ4 能否使用ACFA和二分定理等模型论工具证明代数几何中的算术结果？
• RQ5 在正特征下，什么条件定义了一个‘特殊’子簇，它们与扭点有何关联？

主要发现

• 在代数闭正特征域上，半阿贝尔簇 $ G $ 的子簇 $ X \subseteq G $ 中扭点集合的扎里斯基闭包是特殊子簇的有限并。
• 特殊子簇被定义为从定义在 $ \mathbb{F}_p^{\rm alg} $ 上的代数群出发的同源的预像的平移。
• 扭子群 $ G(K)_{\rm tor} $ 同构于 $ G(S')_{\rm tor} $，其中 $ S' $ 是极大无瑕扩张的完美化，从而确保扭点可在有限域上的模型中被捕捉。
• 由特殊纤维上弗罗贝尼乌斯作用构造的多项式 $ P(X) \in \mathbb{Z}[X] $ 没有是单位根的复根，这对二分论证至关重要。
• 可定义子群 $ \ker P(\sigma) $ 要么是模形式的，要么是本质上代数的，后者与有限域上代数群的像共轭。
• 证明得出结论：任何具有扎里斯基稠密扭点的不可约子簇 $ X $ 必须是特殊的，即为定义在 $ \mathbb{F}_p^{\rm alg} $ 上的子簇的预像的平移。