Dynamical Mordell-Lang conjecture for split self-maps of affine curve times projective curve

论文技术总结

作者：谢俊毅 (Junyi Xie), 杨舍 (She Yang), 郑傲阳 (Aoyang Zheng)
核心主题：算术动力学中的动力学 Mordell-Lang 猜想 (DML Conjecture)

1. 研究问题 (Problem)

背景：
动力学 Mordell-Lang 猜想是算术动力学领域的核心问题之一，由 Ghioca 和 Tucker 提出。该猜想断言：设 $f: X \to X$ 是特征为 0 的域 $K$ 上拟射影簇 $X$ 的自同态，$V$ 是 $X$ 的闭子簇。对于任意点 $x \in X(K)$，其返回集（return set）$\{n \in \mathbb{N} \mid f^n(x) \in V(K)\}$ 是有限个算术级数的并集。

已知结果与缺口：

• 当 $X$ 是复数域上的拟射影簇且 $f$ 是 étale 自同态时，猜想成立。
• 当 $X = \mathbb{A}^2_{\mathbb{C}}$ 且 $f$ 是任意自同态时，猜想成立。
• 本文目标：解决一类特殊的分裂自映射（split self-maps）情形，即 $X \times Y$ 上的映射 $f \times g$，其中 $X$ 是仿射曲线，$Y$ 是射影曲线，且定义在 $\mathbb{Q}$ 上。

2. 主要结果 (Key Results)

定理 1.1 (主定理)：
设 $X$ 是 $\mathbb{Q}$ 上的仿射曲线，$Y$ 是 $\mathbb{Q}$ 上的射影曲线。若 $f: X \to X$ 和 $g: Y \to Y$ 是自同态，则动力学 Mordell-Lang 猜想对 $(X \times Y, f \times g)$ 成立。

命题 1.2 (核心情形)：
设 $f: \mathbb{A}^1 \to \mathbb{A}^1$ 和 $g: \mathbb{P}^1 \to \mathbb{P}^1$ 是 $\mathbb{Q}$ 上的自同态。则 DML 猜想对 $(\mathbb{A}^1 \times \mathbb{P}^1, f \times g)$ 成立。
注：这是定理 1.1 证明中的核心难点，其他情形（如曲线亏格大于 1）可通过已知结果或简化归约到此情形。

推论 1.3 (推广)：
设 $X$ 是仿射簇，$Y$ 是射影簇，$f, g$ 为主自同态。若 $(X, f)$ 和 $(Y, g)$ 均满足 DML(1) 性质（即对任意曲线 $C$ 和点 $x$，返回集是有限个算术级数的并），则 $(X \times Y, f \times g)$ 也满足 DML(1) 性质。

3. 方法论与证明策略 (Methodology)

证明过程主要分为归约、局部高度分析和矛盾推导三个步骤：

A. 归约与简化 (Reductions)

1. 次数归约：利用已知文献（[BGT10], [Xie17]），只需考虑 $\deg(f) = \deg(g) = d > 1$ 的情形。
2. 多项式归约：若 $g$ 共轭于多项式映射，则问题可归约为 $\mathbb{A}^2$ 的情形（已知成立）。因此，假设 $g$ 的任何迭代均不共轭于多项式映射。
3. 轨道与曲线假设：假设起点 $(x_0, y_0)$ 不是预周期点，且目标曲线 $C$ 不是水平或垂直纤维。目标是证明 $C$ 与轨道的交点有限。

B. 关键引理：局部高度与速度分析 (Local Height & Speed Analysis)
这是证明的核心技术突破。

• 引理 2.1 (Silbermann 等)：对于 $\mathbb{P}^1$ 上非 exceptional 点 $p$ 和非预周期点 $x$，在任意赋值 $v$ 下，轨道点 $f^n(x)$ 趋近 $p$ 的速度不能达到最大速度 $d^n$。即 $\lim_{n \to \infty} \frac{-\log \min\{|f^n(x)-p|_v, 1\}}{d^n} = 0$。
• 引理 2.2 (仿射坐标的爆炸性增长)：若 $x_0 \in \mathbb{A}^1$ 非预周期，则存在一个赋值 $v$ 和常数 $c_1, c_2$，使得 $|f^n(x_0)|_v$ 以 $d^n$ 的速度趋向无穷大（即 $c_1 d^n < \log |f^n(x_0)|_v < c_2 d^n$）。

C. 矛盾推导 (Contradiction Argument)

1. 设定场景：假设轨道与曲线 $C$ 有无限交点。曲线 $C$ 在 $\mathbb{P}^1 \times \mathbb{P}^1$ 中的闭包与无穷远线 $l_\infty = \{\infty\} \times \mathbb{P}^1$ 交于有限点集 $\{b_1, \dots, b_k\}$。
2. 仿射坐标行为：由引理 2.2，存在赋值 $v$ 使得 $x$ 坐标 $|x_n|_v \to \infty$（速度为 $d^n$）。
3. 射影坐标行为：考察曲线方程 $\phi(x, y) = 0$。当 $x \to \infty$ 时，为了使方程成立，$y$ 坐标必须趋向于 $C$ 与无穷远线的交点 $b_i$。
   • 通过代数变形，推导出若 $|x_n|_v \to \infty$，则 $\min |y_n - b_i|_v$ 必须趋向于 0，且其衰减速度必须与 $|x_n|_v$ 的增长速度相匹配（即 $|y_n - b_i|_v \sim |x_n|_v^{-1}$）。
   • 这意味着 $y_n$ 以最大速度 $d^n$ 趋近于 $b_i$。
4. 矛盾产生：
   • 根据假设，$g$ 的任何迭代都不共轭于多项式，这意味着 $g$ 没有 exceptional point（例外点）。
   • 因此，$b_i$ 是 $g$ 的非 exceptional 点。
   • 根据引理 2.1，非 exceptional 点的轨道不可能以最大速度 $d^n$ 趋近。
   • 结论：假设不成立，轨道与曲线的交点必须是有限的。

4. 定理 1.1 的完整证明逻辑

作者通过分类讨论曲线 $X$ 和 $Y$ 的亏格（Genus）来覆盖所有情况：

• 亏格 $>1$：自同态的某次迭代为恒等映射，猜想平凡成立。
• 亏格 $=1$：自同态为 étale 映射，利用已知结果 [BGT10] 成立。
• 一者亏格 1，一者亏格 0：利用已知结果 [BZ23] 成立。
• 两者亏格均为 0：此时 $Y \cong \mathbb{P}^1$，$X \cong \mathbb{P}^1 \setminus E$（$E$ 为有限集）。通过迭代可将 $E$ 中的点变为不动点，从而将 $X$ 扩展为 $\mathbb{A}^1$，最终归约为命题 1.2 ($\mathbb{A}^1 \times \mathbb{P}^1$) 的情形。

5. 意义与贡献 (Significance)

1. 解决分裂情形：首次完整证明了仿射曲线与射影曲线乘积空间上的分裂自映射满足 DML 猜想。这填补了从低维（如 $\mathbb{A}^2$）到高维乘积空间研究的重要空白。
2. 方法论创新：
   • 巧妙结合了局部高度理论（Local Height Theory）与代数几何（曲线在无穷远处的行为）。
   • 利用“速度不匹配”原理（Speed Mismatch）：仿射坐标的指数级增长迫使射影坐标以特定速度趋近某点，而这种速度在射影映射的非例外点处是禁止的。这种几何与动力学的精细分析是证明的关键。
3. 推广性：提出的 DML(1) 性质推广（推论 1.3）为处理更一般的乘积空间（高维簇）提供了新的框架和工具。
4. 算术动力学进展：进一步巩固了 DML 猜想在特征 0 域上的有效性，展示了其在不同几何结构（仿射与射影混合）下的鲁棒性。

总结：
该论文通过精细的局部高度分析和对曲线渐近行为的几何刻画，成功解决了仿射曲线与射影曲线乘积上的动力学 Mordell-Lang 猜想。其核心在于揭示了非预周期轨道在乘积空间中，不同分量坐标趋向无穷或特定极限时的“速度竞争”机制，从而排除了无限次返回非平凡子簇的可能性。