[论文解读] Rational points in periodic analytic sets and the Manin-Mumford conjecture

Jonathan Pila, Umberto Zannier|ArXiv.org|Feb 27, 2008

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

一句话总结

本文提出了一种新颖的阿基米德型证明，用于证明曼因-穆尔福斯猜想，采用了一种结合皮拉-威尔基在o-极小结构中对有理点计数的方法与马萨尔对扭点度数的下界估计的混合方法。通过将扭点视为复环面上的有理点，并将解析几何中的上界与算术度估计中的下界进行比较，作者证明：若一个阿贝尔簇的子簇不是由一个扭点平移一个阿贝尔子簇所得，则其仅包含有限多个扭点。

ABSTRACT

We present a new proof of the Manin-Mumford conjecture about torsion points on algebraic subvarieties of abelian varieties. Our principle, which admits other applications, is to view torsion points as rational points on a complex torus and then compare (i) upper bounds for the number of rational points on a transcendental analytic variety (Bombieri-Pila-Wilkie) and (ii) lower bounds for the degree of a torsion point (Masser), after taking conjugates. In order to be able to deal with (i), we discuss (Thm. 2.1) the semi-algebraic curves contained in an analytic variety supposed invariant for translations by a full lattice, which is a topic with some independent motivation.

研究动机与目标

• 使用不同于现有上同调或模型论方法的解析与算术方法，为曼因-穆尔福斯猜想提供一种新证明。
• 在雷纳多原始定理的基础上，建立阿贝尔簇子簇上扭点的统一有穷性结果。
• 展示o-极小几何（通过皮拉-威尔基）与算术度估计（通过马萨尔）在丢番图问题中的适用性。
• 为未来将此方法应用于其他算术几何问题（如安德烈-奥尔特猜想或族中扭点的有穷性）奠定基础。
• 在周期解析集上的有理点及其与代数几何相互作用的背景下，统一并重构经典结果。

提出的方法

• 通过一个统一的单位化同构 $\beta: \mathbb{C}^g / \Lambda \to A$，将阿贝尔簇上的扭点表示为复环面上的有理点。
• 将代数子簇 $X \subset A$ 提升为在 $\mathbb{Z}^{2g}$ 作用下不变的解析子簇 $Z \subset \mathbb{R}^{2g}$，使得 $X$ 上的扭点对应于 $Z$ 上的有理点。
• 应用皮拉-威尔基定理，对 $Z$ 上分母有界的有理点数量进行限制，排除位于半代数曲线上的点。
• 利用马萨尔的结果，建立一个下界 $\gg T^{\rho}$，表示阶为 $T$ 的扭点的度数，从而说明其伽罗瓦共轭会生成大量不同的扭点。
• 通过比较皮拉-威尔基的上界 $\ll T^{\epsilon}$ 与马萨尔的下界 $\gg T^{\rho}$，在 $T$ 足够大时导出矛盾，从而证明扭点的阶必须有界。
• 通过在维数上进行归纳并利用阿贝尔簇中陪集的结构，将复数域上的一般情形约化为数域情形。

实验结果

研究问题

• RQ1 是否可以使用阿基米德方法而非 $p$-进或模型论技术来证明曼因-穆尔福斯猜想？
• RQ2 皮拉-威尔基定理在o-极小结构中对有理点的限制，与算术度估计相结合，能在多大程度上导出有穷性结果？
• RQ3 何种条件可确保一个周期解析集不包含半代数曲线，这与阿贝尔簇中子簇的结构有何关联？
• RQ4 此方法能否推广至固定维数与度数的子簇族中，实现统一的有穷性结果？
• RQ5 是否可将此策略应用于曼因-穆尔福斯猜想的乘法类比，利用阿克斯关于幂级数的施南德尔猜想结果？

主要发现

• 根据皮拉-威尔基定理，若一个周期解析集 $Z$ 避免半代数曲线，则其分母为 $T$ 的有理点数量被限制为 $\ll T^{\epsilon}$，其中任意 $\epsilon > 0$。
• 对于维数为 $g$ 的阿贝尔簇中阶为 $T$ 的扭点，其在定义数域上的度数下界为 $\gg T^{\rho}$，其中 $\rho > 0$ 仅依赖于 $g$，此结果由马萨尔建立。
• 若子簇 $X \subset A$ 包含一个阶为 $T$ 的扭点，则由于伽罗瓦共轭，其至少包含 $\gg T^{\rho}$ 个此类点，这与 $T^{\epsilon}$ 的上界在 $T$ 足够大时产生矛盾。
• 若一个子簇 $X \subset A$ 不是通过一个扭点平移一个阿贝尔子簇所得，则其上任何扭点的阶均有上界，从而得出 $X$ 上仅有有限多个扭点。
• 该方法可给出统一的上界，即覆盖 $X$ 中所有扭点所需的阿贝尔子簇陪集数量，前提是 $X$ 的维数与度数固定。
• 该方法具有可推广性：该策略已被成功应用于证明：仅存在有限多个复数 $l$，使得椭圆曲线 $E_l: y^2 = x(x-1)(x-l)$ 上的点 $P_l = (2, y)$ 与 $Q_l = (3, y)$ 均为扭点。