[论文解读] Recent developments of the Uniform Mordell-Lang Conjecture

Ziyang Gao|arXiv (Cornell University)|Apr 7, 2021

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

一句话总结

本文对嵌入其雅可比簇中的曲线的统一Mordell–Lang猜想的证明提供了全面的综述与明确的综合，结合了Dimitrov–Gao–Habegger与Kühne的研究成果。它建立了形如 $\#(C(F)-P_0)\cap\Gamma \leq c(g)^{1+\rho}$ 的统一有界性，其中 $c(g)$ 仅依赖于亏格 $g$，$\rho$ 为子群 $\Gamma$ 的秩，从而解决了Mazur长期以来的猜想。

ABSTRACT

This expository survey is based on my online talk at the ICCM 2020. It aims to sketch key steps of the recent proof of the uniform Mordell-Lang conjecture for curves embedded into Jacobians (a question of Mazur). The full version of this conjecture is proved by combining Dimitrov-Gao-Habegger (https://annals.math.princeton.edu/articles/17715) and Kühne (arXiv:2101.10272). We include in this survey a detailed proof on how to combine these two results, which was implicitly done in another short paper of Dimitrov-Gao-Habegger (arXiv:2009.08505) but not explicitly written in existing literature. At the end of the survey we state some future aspects.

研究动机与目标

• 为嵌入其雅可比簇中的曲线的统一Mordell–Lang猜想提供完整且明确的证明综合，结合两篇近期的重要成果。
• 阐明Dimitrov–Gao–Habegger与Kühne研究成果的隐含结合，此前仅在[DGH20]中有所暗示，但未正式记录。
• 将新的间隙原理作为核心技术工具提出，以统一处理模高度较大与较小的曲线。
• 将统一有界性扩展至包含有理点与扭点，从而作为特例恢复并强化了统一Manin–Mumford猜想与统一Bogomolov猜想。
• 提出未来研究方向，包括新间隙原理的高维推广及其对相对Bogomolov猜想的影响。

提出的方法

• 证明结合了Vojta方法、高度理论与等分布技术，特别是利用Betti映射与Betti形式分析非退化子簇。
• 引入新的间隙原理（定理4.1）作为关键工具，以控制阿贝尔簇子簇上小高度点的数量。
• 通过一个专门化论证将问题约化为有界模高度的曲线，利用Masser的结果假设 $F = \overline{\mathbb{Q}}$。
• 关键步骤涉及使用Ueno子簇，将问题约化为生成整体阿贝尔簇的子簇，从而确保Faltings高度受控。
• 通过维数归纳法与标准打包论证来控制有界高度点的数量，依赖于子簇的次数与群的秩。
• 提出猜想10.5′作为新间隙原理的高维推广，若成立，将在子簇生成阿贝尔簇的假设下蕴含完整的统一Mordell–Lang猜想。

实验结果

研究问题

• RQ1 如何明确结合Dimitrov–Gao–Habegger与Kühne的研究成果，以证明曲线在雅可比簇中的统一Mordell–Lang猜想？
• RQ2 新间隙原理在统一处理模高度较大与较小的曲线中起着怎样的精确作用？
• RQ3 能否使亏格 $g \geq 2$ 的曲线上有理点数的有界性独立于数域的次数，仅依赖于 $g$ 与Mordell–Weil秩？
• RQ4 在有界性 $c(g)^{1+\rho}$ 中，指数 $1+\rho$ 是否最优？它如何处理扭点？
• RQ5 新间隙原理与高维情形下的相对Bogomolov猜想之间存在何种关系？

主要发现

• 对于嵌入其雅可比簇中的曲线，统一Mordell–Lang猜想已完全解决，有界性为 $\#(C(F)-P_0)\cap\Gamma \leq c(g)^{1+\rho}$，其中 $c(g)$ 仅依赖于亏格 $g$，$\rho = \mathrm{rk}\, \Gamma$。
• 有理点的有界性 $\#C(F) \leq c(g)^{1+\mathrm{rk}\, \mathrm{Jac}(C)(F)}$ 优于早期结果，其常数不再显式依赖于 $[F:\mathbb{Q}]$。
• 扭点情形作为统一Manin–Mumford猜想被恢复：$\#(C(\mathbb{C})-P_0)\cap\mathrm{Jac}(C)_{\mathrm{tor}} \leq c(g)$，这是Kühne定理3的推论。
• 新的间隙原理（定理4.1）被确立为核心技术输入，使得通过统一框架处理模高度较大与较小的曲线成为可能。
• 通过明确展示DGH21与Kühne成果的结合方式，完成了证明，填补了文献中此前仅在[DGH20]中隐含提及但未正式记录的空白。
• 提出了新间隙原理的高维推广作为猜想10.5′，若成立，可将统一有界性推广至任意生成阿贝尔簇的子簇。