Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

技术摘要：任意特征下关于动力学莫德尔 - 朗问题的高度论证

问题陈述
本文探讨了动力学莫德尔 - 朗（DML）猜想，这是算术动力学中的一个核心问题。该猜想断言，对于簇 $X$ 上的有理自映射 $f$ 以及具有良好定义轨道的点 $x$，其返回集 $\{n \in \mathbb{N} \mid f^n(x) \in V\}$（其中 $V$ 为闭子簇）是有限个算术级数的并集。虽然这一"0-DML"猜想在某些特定情形下（例如平展自同态、$\mathbb{A}^2$ 上的自同态）在特征 0 中成立，但在正特征 $p > 0$ 下它并不成立。在正特征中，返回集可能表现出复杂的结构，从而引出了"pDML"问题，旨在刻画这些集合的形式。Corvaja、Ghioca、Scanlon 和 Zannier [6] 以及作者 [37] 的先前工作表明，某些系统的返回集是"p-正规”或“广泛 p-正规”集合。然而，正特征下任意自同态的返回集的一般结构在很大程度上仍是未知的，并且可能比此前猜想的更为复杂。

方法论
作者运用高度论证来研究任意特征下的 DML 问题。核心策略在于识别点在不同线丛下的轨道高度增长的两种不同“速度”。如果轨道无限次地与一个子簇相交，则通过不同线丛计算出的高度增长率必须相容。作者证明，在特定的动力学条件下，这些增长率是不相容的，从而迫使交集为有限集。

关键的技术工具包括：

1. 上同调李雅普诺夫乘子（$\mu_i(f)$）： 由第一作者 [29, 35] 引入，定义为动力学次数之比（$\lambda_i(f)/\lambda_{i-1}(f)$）。它们作为数值类群上拉回映射的特征值。作者利用这些乘子不是单位根（具体而言，不在集合 $\text{Root} = \{a^{1/n} \mid a, n \in \mathbb{Z}^+\}$ 中）这一条件来生成不同的增长率。
2. 伽罗瓦共轭： 为了构建高度论证所需的第二个线丛，作者利用了上同调李雅普诺夫乘子的伽罗瓦共轭。假设 $\mu_i(f) \notin \text{Root}$ 确保了存在一个共轭 $\mu'$ 使得 $|\mu| \neq |\mu'|$，从而产生所需的增长速度差异。
3. 阿尔巴内塞映射（Albanese Maps）： 对于一般的射影簇，作者利用阿尔巴内塞映射将问题归约到极端情形（即皮卡数平凡的情形或簇为阿贝尔簇的情形）。
4. Moriwaki 高度： 虽然主要证明是在正特征下使用 Weil 高度进行的，但作者指出，通过将 Weil 高度机制替换为满足算术函数域 Northcott 性质的 Moriwaki 高度机制 [22]，这些论证可以推广到特征 0。

主要贡献与结果

1. 稠密轨道返回集的有限性（定理 1.1）：
   作者证明，对于射影簇 $X$ 上的满射自同态 $f$，如果所有 $i$ 对应的上同调李雅普诺夫乘子 $\mu_i(f)$ 均不在 $\text{Root}$ 中，则稠密轨道进入任意闭子曲线 $C$ 的返回集是有限的。这一结果将此前关于曲面之上同调双曲自同构 [34] 的发现推广到了任意维数和任意簇。

   • 推论 1.3： 该结论扩展到乘子集与区间 $[1, \deg(f)]$ 交集为空的情形，包括上同调双曲自同构和放大自同构。

2. 分裂自同态与积系统（定理 1.8）：
   本文建立了积空间 $X \times C$ 上分裂自同态的一个结果。如果 $f: X \to X$ 和 $g: C \to C$ 是满射自同态，且 $g$ 的次数大于 $f$ 的第一个动力学次数（$\deg(g) > \lambda_1(f)$），并且 $(X, f)$ 满足类型 $\epsilon$ 的 DML 性质（其中 $\epsilon \in \{0, 1, 2\}$），则积系统 $(X \times C, f \times g)$ 也满足类型 $\epsilon$ 的 DML 性质。

   • 机制： 条件 $\deg(g) > \lambda_1(f)$ 创造了一个“快”因子（$C$）和一个“慢”因子（$X$）。高度论证迫使快因子中的轨道分量成为预周期的，从而将问题归约到慢因子。
   • 推论 1.9： 应用于具有不同次数的曲线之积，这意味着如果因子的次数严格递增（且第一个为 1），则该系统满足 DML2 性质（广泛 p-正规集合）。

3. 反例与返回集的复杂性（第 5 节）：
   作者表明，高度论证不能应用于所有系统，特别是那些熵为零或 int-放大自同态（在增长意义上是“各向同性”）的系统。

   • 命题 1.12： 他们构造了一个具有零熵的线性环面自同构，该自同构不满足 DML1 性质。这推翻了 Ghioca [9] 关于仿射簇的一个猜想。
   • 例 5.5 和 5.6： 作者提供了启发式和严格的例子，表明返回集可能比“广泛 p-正规集合”复杂得多。具体而言，他们构造了这样的系统，其返回集涉及多项式 - 指数方程组的解，产生形如 $\{p^{m_1} + p^{m_2} + p^{m_1+m_2}\}$ 的集合，这些集合超出了先前定义的 p-正规集合的范围。

意义与主张
本文声称通过以下方式推进了对正特征下 DML 问题的理解：

• 提供了一种统一的基于高度的方法，该方法在任意特征下均有效（配合适当的高度机制）。
• 识别了一大类动力学系统（具有非根李雅普诺夫乘子的系统），在这些系统中返回集是有限的，从而将已知结果从曲面推广到更高维。
• 阐明了分裂动力学系统与其因子之间的结构关系，展示了次数差异如何控制返回集的复杂性。
• 挑战了正特征下返回集受“广泛 p-正规”结构束缚的普遍直觉。作者明确指出，他们的例子表明返回集可能“非常复杂——比专家们曾经想象的还要复杂”，即使是环面的零熵自同态也是如此。

作者对 pDML 问题的全貌保持谦逊，指出环面自同态的情形等价于求解困难的丢番图方程 [6]，并且他们的反例表明需要一个涉及半线性集和方程组的修正猜想（问题 5.9）。他们并未声称解决了通用的 pDML 问题，而是划定了高度论证成功的边界以及问题表现出前所未有的复杂性的区域。