Local height arguments toward the dynamical Mordell-Lang conjecture

技术摘要：朝向动力学 Mordell–Lang 猜想的局部高度论证

问题陈述
本文研究了复仿射空间 $\mathbb{A}^N_{\mathbb{C}}$ 的正则自同态的动力学 Mordell–Lang (DML) 猜想。DML 猜想断言：对于拟射影簇 $X$ 的自同态 $f$，点 $x$ 返回到闭子簇 $V$ 的返回集 $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ 是有限个算术级数的并集。虽然该猜想在某些特定情形下（例如平展自同态或 $\mathbb{A}^2$）已知成立，但本文聚焦于 $V$ 为曲线的情形（即 DML(1) 性质），针对具有“度间隙”的特定一类正则自同态进行研究。

作者考虑可延拓至 $\mathbb{P}^N$ 的正则自同态 $f: \mathbb{A}^N \to \mathbb{A}^N$。此类映射具有形式 $f(x) = (f_1+g_1, \dots, f_N+g_N)$，其中 $f_i$ 为无公共零点的 $d$ 次齐次多项式，而 $g_i$ 为次数 $\le d-k$ 的多项式。整数 $k$ 即为“度间隙”。诱导映射 $f_\infty$ 在无穷远超平面 $H_\infty$ 上的行为至关重要。核心问题在于确定关于 $k$ 和 $f_\infty$ 的分歧在何种条件下 DML(1) 性质成立，并刻画周期曲线。

方法论
作者采用了一种“局部高度论证”，这是一种区别于以往工作（如 Ghioca、Tucker 和 Xie 的工作）中使用的“全局高度论证”的技术；后者依赖于系统以某种方式被“极化”，从而允许两种不同的增长速度。由于此处研究的系统是极化的，全局高度论证失效。相反，作者利用了以下方法：

1. 算术函数域的 Arakelov 理论：为了在 $\mathbb{C}$ 上工作，作者将问题下降至一个算术函数域 $K$（$\mathbb{Q}$ 的有限生成扩张），其中所有数据均有定义。他们利用了由 Vojta 和 Moriwaki 发展的 Arakelov 理论，该理论提供了积公式以及绝对值测度空间 $M_K$。
2. 局部高度（Weil 函数）：他们在赋值集 $S$ 上为点定义了 Weil 函数 $\lambda_P$，并为无穷远超平面定义了 $\lambda_{H_\infty}$。这些函数度量了点与特定子簇的接近程度。
3. Roth 定理：核心工具是算术函数域上的 Roth 定理（由 Vojta 建立）。作者利用该定理控制曲线上点的分布。具体而言，他们证明：如果一条曲线是“足够垂直”的（意味着曲线上的点相对于其投影以特定方式趋近于无穷远超平面），则该曲线必须是一条直线。
4. Northcott 有限性性质：该性质用于确立有界高度的周期点的有限性，从而确保无穷远点的向后轨道是有限个周期点的集合。
5. 三角不等式与迭代：证明涉及构造曲线 $C$ 的一系列原像（记为 $C_{-n}$），并表明在度间隙条件下，这些曲线在其与 $H_\infty$ 的交点处变得越来越“垂直”。

主要贡献与结果

• 主定理（定理 1.3）：设 $f$ 为具有度间隙 $k$ 的 $\mathbb{A}^N$ 正则自同态。若 $C$ 是一条不可约闭子曲线，且与 $f$ 的某轨道有无限交点，并且若 $k > 2 \max_{P \in I_0} e_{f_\infty}(P)$（其中 $I_0$ 是交点集 $C \cap H_\infty$ 的前向轨道，$e_{f_\infty}(P)$ 是 $f_\infty$ 在 $P$ 处的重数），则：

  1. 交集 $C \cap H_\infty$ 由 1 个或 2 个点组成，这些点在 $f_\infty$ 下是周期的。
  2. $C$ 是一条“垂直线”（即经过原点的直线）。

• DML(1) 性质（定理 1.7）：在相同条件（$k > 2 \max_{P \in \text{Per}(f_\infty)} e_{f_\infty}(P)$）下，映射 $f$ 满足 DML(1) 性质。此外，每条不可约的 $f$-周期曲线都是一条垂直线。

• 实例的存在性（命题 1.6）：作者证明，对于 $H_\infty \cong \mathbb{P}^{N-1}$ 上的一般 $d$ 次自同态 $f_\infty$，最大重数被 $(N-1)! \cdot 2^{N-1}$ 所界定。因此，如果选择度间隙 $k$ 为 $(N-1)! \cdot 2^N + 1$，则对于一般的 $f_\infty$，主定理的条件得以满足。

• 最优性（例 1.8）：本文提供了示例，证明条件 $k > 2 \max e_{f_\infty}(P)$ 是最优的。具体而言，如果不等式放宽为 $\ge$，则存在非垂直线的不变曲线。

• 周期曲线的刻画：作为副产品，作者完全刻画了此类映射的周期曲线：它们严格为垂直线。如果这些直线的并集是 Zariski 稠密的，则低次项 $g_i$ 必须为零。

意义与主张
本文声称通过引入一种针对具有可见度间隙的极化系统的“局部高度论证”，推进了对高维情形下 DML 猜想的理解。其意义在于：

1. 打破各向同性：关于度间隙和分歧的条件被解释为一种“打破系统各向同性”的机制，使得作者能够找到两种不同的局部高度增长速度，这对于应用 Roth 定理是必要的。
2. 完全分类：与以往可能仅确立 DML 性质的工作不同，这种方法允许作为证明的直接推论，显式地确定所有周期曲线（将其识别为垂直线）。
3. 最优性：作者明确处理了其条件的尖锐性，表明严格不等式对于迫使周期曲线的几何刚性是必要的。
4. 正特征下的局限性：本文指出，其方法严重依赖于 Siegel 定理和 Roth 定理，而这些定理在正特征下不具有相同的形式。他们提供了一个正特征下的反例，其中不变曲线并非垂直线，这表明该情形需要新的方法。

这项工作被呈现为先前基于高度的论证（特别是引用 [XYb]）的继承者，但针对具有度间隙的正则自同态的特定约束进行了调整，并利用算术函数域设定来处理复情形。