[論文レビュー] Recent developments of the Uniform Mordell-Lang Conjecture

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

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

ひとこと要約

本論文は、Dimitrov–Gao–HabeggerとKühneの結果を統合して、曲線をそのヤコビアンに埋め込んだ場合のUniform Mordell–Lang予想の証明について包括的かつ明示的な合成を提供する。この証明により、$ \#(C(F)-P_0) \cap\Gamma \leq c(g)^{1+\rho}$ の形の均一な上限が得られ、ここで $c(g)$ は genus $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.

研究の動機と目的

• ヤコビアンに埋め込まれた曲線におけるUniform Mordell–Lang予想の完全かつ明示的な証明の合成を提供すること。
• Dimitrov–Gao–HabeggerとKühneの結果の暗黙的な統合を明確にし、[DGH20]でのみ示唆されていたが、形式的な文書化がなされていなかった部分を解消すること。
• 新しいギャップ原理を、大および小のモジュラー高さを持つ曲線の取り扱いを統一する中心的な技術的道具として提示すること。
• 有理点に加えてねじれ点を含む均一な上限を拡張し、Uniform Manin–MumfordおよびUniform Bogomolov予想を特別な場合として回復・強化すること。
• 今後の方向性を提起する。特に、新しいギャップ原理の高次元一般化と、相対Bogomolov予想への影響について。

提案手法

• Vojtaの方法と高さ理論、等分布技法を組み合わせ、特にベッチ写像とベッチ形式を用いて非退化な部分多様体を分析する。
• 新しいギャップ原理（定理4.1）を導入し、アーベル多様体の部分多様体上での小高さ点の数を制御する主要な道具とする。
• 特殊化の議論を用いて、問題を有界なモジュラー高さを持つ曲線に還元する。Masserの結果を用いて $F = \overline{\mathbb{Q}}$ と仮定する。
• 重要なステップとして、Uenoの局所を用いて、周囲のアーベル多様体を生成する部分多様体に問題を還元し、Faltingsの高さを制御する。
• 次元に関する帰納法と標準的なパッキング議論を用いて、有界高さの点の数を、部分多様体の次数と群のランクに依存する形で評価する。
• 予想10.5′は、新しいギャップ原理の高次元一般化として提示され、部分多様体がアーベル多様体を生成するという仮定の下で、完全なUniform Mordell–Lang予想を含意する。

実験結果

リサーチクエスチョン

• RQ1 Dimitrov–Gao–HabeggerとKühneの結果をどのように明示的に統合して、ヤコビアンに埋め込まれた曲線におけるUniform Mordell–Lang予想を証明できるか？
• RQ2 新しいギャップ原理は、大および小のモジュラー高さを持つ曲線の取り扱いを統一するために果たす役割は何か？
• RQ3 genus $g \geq 2$ の曲線上の有理点の数に対する上限を、数体の次数に依存しない形に、$g$ とMordell–Weilランクのみに依存する形にできるか？
• RQ4 上限 $c(g)^{1+\rho}$ の指数 $1+\rho$ は最適であり、ねじれ点はどのように扱われるか？
• RQ5 新しいギャップ原理と高次元における相対Bogomolov予想との関係は何か？

主な発見

• ヤコビアンに埋め込まれた曲線におけるUniform Mordell–Lang予想は、$\#(C(F)-P_0)\cap\Gamma \leq c(g)^{1+\rho}$ の形の上限により完全に解決された。ここで $c(g)$ は genus $g$ のみに依存し、$\rho = \mathrm{rk}\, \Gamma$ である。
• 有理点に対する上限 $\#C(F) \leq c(g)^{1+\mathrm{rk}\, \mathrm{Jac}(C)(F)}$ は、以前の結果を改善し、定数に $[F:\mathbb{Q}]$ の明示的依存性を排除した。
• ねじれ点の場合は、Uniform 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′として提示され、これは任意のアーベル多様体を生成する部分多様体に均一な上限を拡張する。