Unlikely intersections with CM abelian varieties in a family and explicit bounds for canonical heights under endomorphisms

技术摘要：一族 CM 阿贝尔簇中非典型交点以及端映射下正则高度的显式界限

问题陈述
本文研究了关于非典型交集（unlikely intersections）在阿贝尔簇族中的一个特定情形，该问题属于 Zilber–Pink 猜想。设 $S$ 为定义在 $\mathbb{Q}$ 上的光滑不可约曲线，$\pi: A \to S$ 为相对维度 $g \geq 1$ 的阿贝尔方案（abelian scheme）。作者研究了由定义在 $\mathbb{Q}$ 上的不可约曲线 $C \subset A$ 与所有具有复乘（CM）性质的纤维 $A_s$ 的真代数子群之并集的交集。

此前，Barroero 和 Capuano (2020) 已经证明，如果 $C$ 不包含在某个真子群方案中，则其与余维数至少为 2 的平坦（flat）子群方案并集的交集是有限的。本文将该结果扩展到了专门针对 CM 纤维的代数子群的情形。主定理断言：如果 $A \to S$ 不是等变（isotrivial）的，且 $C$ 不包含在某个固定纤维或由常数截面平移的真平坦子群方案中，那么满足以下条件的点集 $\{P \in C(\mathbb{C}) \mid \text{纤维 } A_{\pi(P)} \text{ 具有 CM 且 } P \text{ 位于该纤维的一个真代数子群中}\}$ 是有限的。

方法论
证明过程遵循 Pila–Zannier 策略，结合了函数超越性（o-minimality/序贯性）与算术几何。其方法论分为以下几个阶段：

1. 归约为通用族（Universal Family）： 问题被归约为 $A$ 为定义在曲线 $S \subset \mathcal{A}_g$ 上的主极化阿贝尔簇通用族的情形。这涉及有限的基变换和同构（isogenies），以确保存在主极化和 3 级结构，从而允许使用精细模空间 $\mathcal{A}_{g,1,3}$。
2. 序贯性与可定义性： 利用通用族由 Siegel 上半平面 $\mathbb{H}_g \times \mathbb{C}^g$ 进行的幺正化，作者考虑了曲线 $C$ 的原像。通过限制在 Siegel 基本域内，该原像成为 $\mathbb{R}_{an, \exp}$ 序贯结构中的一个可定义集。
3. 点计数： 作者应用 Habegger 和 Pila 的定理，来限制该可定义集上落在具有有界算术复杂度的代数子簇上的点的数量。这需要建立定义交集的代数关系具有受控的高度。
4. 算术界限： 算术论证的核心在于推导点在 $C$ 上的正则高度（canonical height）相对于纤维 Faltings 高度和定义域次数的显式界限。至关重要的是，这依赖于构造一个在点 $P$ 处消失的非零端映射（endomorphism）。
5. 显式高度控制： 工作的大部分精力用于提供端映射下正则高度的显式界限。作者确定了常数 $\gamma_1, \gamma_2$，使得 $\gamma_1 \hat{h}(P) \leq \hat{h}(f(P)) \leq \gamma_2 \hat{h}(P)$，其中这些常数是由 $f^\dagger f$（其中 $\dagger$ 为 Rosati 对合）的解析表示的特征值导出的。

主要贡献与结果

• 主定理 (Theorem 1.1)： 证明了在非等变阿贝尔方案中，非等变曲线 $C$ 与 CM 纤维的真代数子群的交集是有限的，前提是 $C$ 不包含在固定纤维或由平坦子群方案平移得到的集合中。这推广了 Barroero (2019) 从椭圆方案的纤维幂到一般阿贝尔方案的研究结果。
• 显式正则高度界限 (Theorem 1.4 / Theorem 7.3)： 文中建立了端映射下正则高度的一般不等式：
  $$\alpha_D^-(f) \cdot \hat{h}_{A,D}(P) \leq \hat{h}_{A,D}(f(P)) \leq \alpha_D^+(f) \cdot \hat{h}_{A,D}(P)$$
  这里 $\alpha_D^\pm(f)$ 是 $f^\dagger f$ 的解析表示的最小和最大特征值。作者证明了这些常数是优的，并提供了它们的显式公式。这一结果具有独立的学术价值，推广了经典恒等式 $\hat{h}([n]P) = n^2 \hat{h}(P)$。
• 算术复杂度界限： 作者推导了与交集点 $P$ 相关的周期矩阵和端映射高度的显式界限。具体而言，他们表明在 $P$ 处消失的端映射的 Rosati 范数由 $[k(P):k]$ 的多项式所控制。
• 端映射的矩阵界限 (Section 5)： 论文提供了将端映射的 Rosati 范数与其实有理表示矩阵的 sup-范数联系起来的有效界限，该界限取决于周期矩阵和极化类型。

意义与主张
本文声称解决了在非等变阿贝尔方案中，曲线与 CM 纤维交集的 Zilber–Pink 猜想的具体情形。作者指出，虽然对于椭圆方案的纤维幂，完整的 Zilber–Pink 猜想此前已通过 Barroero、Capuano 等人的工作可知，但本研究将范围扩展到了更一般的阿贝尔方案。

这项工作的意义在于两个方面：

1. 推广： 它超越了椭圆方案的特定设定，进入了任意阿贝尔方案的领域，这需要对端映射和高度进行更复杂的处理。
2. 显式性： 不同于该领域许多依赖于存在性而非具体数值的常数的结论，本文为端映射下的正则高度以及相关代数关系的算术复杂度提供了显式界限。这种显式控制是证明的关键要素，它允许作者将（由端映射的存在性导出的）算术下界与（由 Pila–Zannier 策略导出的）几何上界进行比较，从而得出有限性的结论。

作者承认，该结果是更广泛的 Zilber–Pink 猜想的一个特例，且目前使用的函数超越性工具（特别是 Ax-Schanuel 型结果）限制了证明的形式，特别是在处理非常数截面时。这项工作被视为对理解非典型交集及阿贝尔簇算术性的贡献，并建立在 Masser、Zannier、Pila 等人的基础性工作之上。