[论文解读] The Shafarevich conjecture revisited: Finiteness of pointed families of polarized varieties

Ariyan Javanpeykar, Ruiran Sun+1 more|arXiv (Cornell University)|May 12, 2020

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

一句话总结

本文证明了极化代数簇的带点族的有限性结果，建立了在特定条件下，从曲线到模空间且固定目标点的非恒同态射数量有限。核心贡献是为极小极化簇提出了一版新的夏法列维奇猜想，通过双曲几何与形变理论方法得以验证，其应用涵盖模空间上的整点问题与持续性猜想的证明。

ABSTRACT

Motivated by Lang-Vojta's conjectures on hyperbolic varieties, we prove a new version of the Shafarevich conjecture in which we establish the finiteness of pointed families of polarized varieties. We then give an arithmetic application to the finiteness of integral points on moduli spaces of polarized varieties.

研究动机与目标

• 建立极化簇带点族的有限性结果，推广阿莱克谢耶夫-帕尔辛关于曲线的有限性定理。
• 通过适度有界性与双曲性，验证极化簇模空间上的持续性猜想。
• 通过证明有限生成域上极化簇模空间上整点的有限性，提供算术应用。
• 将带点族的有限性与朗-沃伊塔关于双曲簇与整点的猜想联系起来。

提出的方法

• 利用希尔伯特概形理论与松崎大定理，构造参数化具有固定希尔伯特多项式极化簇的有限型德利涅-穆姆福德堆栈。
• 应用形变理论与希格斯丛技术，控制基簇上族的几何结构。
• 运用阿莱克谢耶夫不等式与典范丛半正性，推导从曲线到模空间的态射的有限性条件。
• 通过分类态射的拟有限性，将问题约化为从曲线 $C$ 到簇 $U$ 且固定目标点的非恒同态射的有限性条件。
• 通过证明对任意曲线 $C$ 及足够多的标记点，到 $U$ 的提升数量有限，建立模空间的适度有界性。
• 通过算术双曲簇理论与域扩张，将有限性结果与持续性猜想相结合。

实验结果

研究问题

• RQ1 对于高维模空间，极化簇带点族的有限性是否成立，从而推广经典夏法列维奇猜想？
• RQ2 能否通过有界性性质验证极小极化簇模空间上的持续性猜想？
• RQ3 极化簇模空间的双曲性在多大程度上蕴含了有限生成域上整点的有限性？
• RQ4 从曲线到模空间且固定目标点的非恒同态射的有限性，是否可由典范丛正性与形变理论推出？

主要发现

• 当 $N \nleq \frac{\deg h - 1}{2}(2g(\overline{C}) - 2 + \#(\overline{C} \setminus C))$ 时，满足 $f(c_i) = u_i$ 的非恒同态射 $f: C \to U$ 的集合是有限的，从而证明了夏法列维奇猜想的带点版本。
• 具有希尔伯特多项式 $h$ 的极化簇模空间 $\mathcal{M}_h$ 是适度有界的，即对任意曲线 $C$ 及足够多的标记点，具有固定像的到 $U$ 的态射数量有限。
• 对于任意代数闭域上特征零的域 $k$ 的代数簇 $U$，若存在到 $\mathcal{M} \otimes_{\mathbb{Q}} k$ 的准有限态射，则持续性猜想成立，从而确保在域扩张下具有算术双曲性。
• 该结果通过持续性猜想，将劳伦斯-索恩关于阿贝尔簇中光滑超曲面上整点的有限性结果推广至有限生成域。
• 证明依赖于维赫韦格-佐所建立的极小极化簇模空间的双曲性，以及在固定纤维条件下族的有界性。
• 当 $h(t) = (2g-2)t + (1-g)$ 且 $N=0$ 时，对 $g \geq 2$ 的曲线，经典夏法列维奇猜想作为特例被恢复。