退化轨迹如何限制阿贝尔概型中的非概然相交？

有限性结论在一个例外轨迹之外成立

论文的主要结果涉及定义在数域 K 上的正规拟射影簇 S 上的阿贝尔概型 A，以及 A 中定义在 K 上的正维数子簇 X。对每个整数 t>0，论文证明集合（X 去掉 Xdeg(t)）与 A<t 的交是有限的，其中 A<t 是所有相对维数小于 t 的平坦群子概型 H 之并。

例外集 Xdeg(t) 是 X 的 t-退化轨迹。它由 X 中垂直亏格小于 t 的正维数不可约子簇 Y 构成，而垂直亏格等于 Y 的相对弱特殊闭包的相对维数减去 Y 的维数。当 Xdeg(t) 不等于整个 X 时，论文称 X 是 t-非退化的。

直接推论是一个非稠密性陈述：若 X 是 t-非退化的，则 X 与 A<t 的交在 X 中不是 Zariski 稠密的。该定理不要求 A 在 S 上满足单性或变化性假设，并且允许群子概型 H 在整个族中变化，而不是固定其中一个。

被移除的正是正维数相交部分

如果不删除退化轨迹，有限性陈述将不成立。论文指出，X 与相对维数小于 t 的平坦群子概型 H 相交的每个正维数不可约分支 Y 都满足垂直亏格界：Y 的弱特殊闭包的相对维数减去 Y 的维数，至多等于 H 的相对维数减去 Y 的维数，而后者小于 t。

因此这样的分支按构造落在 Xdeg(t) 内。这正是定理针对 Xdeg(t) 的补集而非整个 X 陈述的原因，也解释了为什么该结果是一个关于孤立点而非高维部分的有限性陈述。

论文还区分了 A<t 与更大的轨迹 A(<t)，后者是几何纤维中所有维数小于 t 的代数子群之并。由于 A<t 包含于 A(<t)，该定理具体针对平坦群子概型，作者将其呈现为 Pink 猜想所预测余维范围内的平坦子群部分。

仅有有界高度不足以得到有限性

证明从第三位作者的有界高度定理出发。对于定义在 K 上的 t-非退化子簇 X，X 去掉 Xdeg(t) 后与 A≤t 的交具有有界总高度，其中总高度是纤维方向的 Neron-Tate 高度与底空间上 Weil 高度之和。论文以此界作为算术起点。

有界高度本身并不能给出有限性，因为所涉及的点在 K 上的次数可能任意大。因此作者将点的域次数与其满足的子群关系的复杂度联系起来。对于纤维中的点 x，他们将其 Gamma-特殊闭包定义为 Gamma 中零化 x 的自同态的公共核，并用该闭包的次数 Delta_Gamma(x) 度量其复杂度。

定理 5.8 用域次数、高度和自同态格给出了该复杂度的显式上界，结合了数的几何与 Gaudron-Remond 的估计。对于固定的族和固定的总高度界，这给出形式为 [K(x):Q] 至少为 c 乘以 Delta_Gamma(x) 的 epsilon 次幂的大 Galois 轨道估计，其中常数 c 和 epsilon 大于零。

计数与 Ax-Schanuel 把高复杂度点推入轨迹

证明遵循 Pila-Zannier 策略，将 o-极小点计数与丢番图估计结合。在 Betti 坐标中，子群关系可由有理数据编码，其高度按 Delta_Gamma(x) 的多项式界增长。如果交集中的某个点具有大复杂度，其 Galois 轨道将提供足够多的此类数据，以应用 Habegger-Pila 对 Pila-Wilkie 计数定理的改进，并产生一条具有所需半代数性质的非恒定解析弧。

论文中命题 4.3 形式的混合 Ax-Schanuel 随后推出该弧位于退化轨迹内。这与该点的选取矛盾，因为该点取自 Xdeg(t) 之外。

这一矛盾给出了相关交集中每个点的复杂度界。复杂度有界后，只需考虑有限多个平坦群子概型，而它们与 X 的正维数交已包含在退化轨迹中。这正是主定理中有限性的来源。

定理恢复了若干已知情形但并非全部

当 S 是一个点时，该定理恢复了 Habegger-Pila 的有限性陈述及其非稠密性推论。论文明确指出，对于固定阿贝尔簇中的曲线，其非退化假设要求曲线不包含在任何真阿贝尔子簇的平移中，这比早先结果的假设更强，因此该定理并未完全恢复那一结果。

当 g 至少为 2 且 X 是曲线时，取 t 等于 g 减 1，可得到与相对维数至多 g 减 2 的平坦群子概型之交的有限性，前提是 X 是 (g 减 1)-非退化的。若 S 是曲线，X 支配 S，且 A 在 S 上没有固定部分，则 X 即使在有限基变换后也不包含在真群子概型中这一几何假设蕴含非退化性，因此该定理在该情形下恢复了早先的曲线结果。

当 t 等于 1 时，轨迹 A<1 是纤维方向的挠轨迹。定理此时给出 Xdeg(1) 之外的挠点的有限性，这蕴含 Gao-Habegger 中通用族的退化陈述。结合归纳论证以及到通用族的通常归约，这给出了 Q 上的相对 Manin-Mumford 猜想。

相对 Mordell-Lang 猜想可由 Pink 猜想推出

第一个应用涉及截面群 A(S) 的有限生成子群 Lambda。论文定义了 Lambda 在每个纤维中特殊化的可除包，并提出了一个相对 Mordell-Lang 猜想，用以控制当底点变化时落在该可除包中的 X(K-bar) 点的轨迹。

该猜想假设 X 支配 S，具有几何不可约的一般纤维，并满足横截性条件：X 的几何一般纤维不包含在真阿贝尔子簇被 Lambda 在一般点处的可除包中某点平移后的任何平移中。在这些条件下，当 X 的维数小于 A 的相对维数时，猜想预测非稠密性。

命题 7.2 表明 Pink 的猜想 1.1 蕴含该相对 Mordell-Lang 猜想。命题 7.4 随后在额外假设下证明了该猜想对某些阿贝尔概型的幂中的截面像成立：几何一般纤维的每个非平凡单阿贝尔子簇都具有极大变化，即其模映射到其像上是生成有限的，并且满足维数条件 dim S 小于 n 乘以 g。

特殊化在真闭子集之外是单射

第二个应用研究 Lambda 特殊化的单射性。论文将 Sigma(Lambda) 定义为 S(K) 中使从 Lambda 到纤维 A_s 的特殊化映射非单射的底点 s 的集合，并证明 Sigma(Lambda) 在 S 中不是 Zariski 稠密的。

假设条件是几何一般纤维的每个非平凡单阿贝尔子簇都具有极大变化且维数大于 dim S。论文指出，当 S 是曲线时，单分支上的极大变化假设等价于 A 没有固定部分，而维数假设正是使相交成为非概然的原因。

证明将单射性失效归约为某个截面的点落在阿贝尔子概型之间非零同态的核中，然后应用主有限性定理。论文将此呈现为在适当的变化性和维数假设下建立 Zariski 非稠密性，从而补充了特殊化的有界高度结果。在曲线上，这些假设下例外集是有限的。

t-非退化性是决定性的条件

本文中最关键的条件是 X 的 t-非退化性，因为它将有限性结论与交集已经正维数这一平凡情形区分开来。定理的有限性陈述针对 Xdeg(t) 的补集，而只有当 Xdeg(t) 是 X 的真闭子集时，非稠密性推论才适用。

第二个需要留意的条件是 A<t 与 A(<t) 之间的区别。定理控制的是相对维数小于 t 的平坦群子概型，而不是几何纤维中所有维数小于 t 的代数子群，因此读者在将该结果与 Pink 猜想比较时，应始终注意平坦子群这一限制。

对于应用而言，决定性条件有所不同：关于截面像的相对 Mordell-Lang 结果要求几何一般纤维的每个非平凡单因子都具有极大变化，并满足不等式 dim S 小于 n 乘以 g；而单射性结果要求极大变化，同时每个此类因子的维数超过 dim S。这些就是决定论文结论是否适用于给定族的阈值。

本文引用的文献