On the dynamical Manin-Mumford conjecture for plane polynomial maps

技术摘要：关于平面多项式映射的动力学 Manin-Mumford 猜想

问题陈述
本文研究了定义在特征为零的域 $k$ 上的仿射平面 $\mathbb{A}^2$ 上正则多项式自同态的动力学 Manin-Mumford 猜想。该猜想最初由 S.-W. Zhang 提出，其内容是：如果一个极化动力系统中的子簇 $Z$ 包含一个 Zariski 稠密的预周期点集，那么 $Z$ 必须是预周期的，或者属于“特殊”情况（即包含在由一个交换的极化自同态所不变的子簇中）。

前人的工作已经解决了阿贝尔簇（Raynaud）以及 $(\mathbb{P}^1)^k$ 上的积映射（Ghioca, Nguyen, Ye）的情况。然而，对于真正的更高维动力学——特别是并非积类型的 $\mathbb{A}^2$ 上正则多项式映射的情况——该猜想仍处于开放状态。作者指出，虽然在椭圆曲线乘积的原始表述中存在反例（通过 Lattès 构造），但在与之双有理等价的模型 $\mathbb{P}^2$ 上的正则映射中，尚未发现此类反例。该猜想在此背景下的潜在障碍在于，是否存在一个对于映射 $\psi$ 是预周期的曲线 $C$，而 $C$ 对于 $f$ 却不是预周期的。作者认为，已有的交换对分类研究表明，此类障碍在正则多项式映射中并不会出现，因此可以预期该猜 demikian 成立。

主要结果
作者证明了以下定理（定理 A）：
设 $f$ 是定义在任意特征为零的域 $k$ 上的次数为 $d \ge 2$ 的正则多项式自同态。设 $C \subset \mathbb{A}^2$ 为一条包含无穷多个 $f$ 的预周期点的不可约代数曲线。若 $C$ 在 $\mathbb{P}^2$ 中的闭包包含一个在 $L_\infty$ 上的点 $p$，且该点对于 $f_\infty$ 的限制不是最终超吸引的，则 $C$ 在 $f$ 下是预周期的。

一个推论（推论 B）指出，如果 $f$ 在 $L_\infty$ 上完全没有超吸引点，那么动力学 Manin-Mumford 猜想对 $f$ 是无条件成立的。

方法论
证明过程综合了算术几何与复/非阿基米德动力学。策略分为两个主要阶段：

1. 数域情况（$k$ 为数域）：

   • 正则高度（Canonical Heights）： 作者利用了与 $f$ 相关的正则高度函数 $h_f$。根据 Zhang 不等式，如果曲线 $C$ 包含无穷多个预周期点，则其正则高度 $h_f(C)$ 必须为零。这意味着动力学格林函数 $g_v$ 在 $C$ 的解析化上的限制在 $g_v > 0$ 的集合上是调和的。
   • 无穷远处的局部分析： 证明重点在于一个不在 $f_\infty$ 处是超吸引的点 $p \in C \cap L_\infty$。根据 $p$ 处的乘子 $\lambda$ 的不同，分为两种情况进行分析：
     • 排斥/抛物型（$|\lambda|_v > 1$ 或 $\lambda$ 是单位根）： 作者构造了局部超稳定流形 $W^s_{loc}(p)$。在排斥情况下，使用重缩放论证；在抛物型情况（$\lambda=1$）下，采用借鉴自 Hakim 关于抛物型点研究的图变换技术。
     • 通过正规性导出矛盾： 假设 $C$ 在局部不与 $W^s_{loc}(p)$ 重合，作者证明 $C$ 在 $f$ 的迭代下的拉回将与稳定流形横截相交。这将导致一个矛盾：由于倾斜引理（Inclination Lemma），迭代序列将无法构成正规族，同时又因为 $h_f(C)=0$ 导出的格林函数的调和性而必须是正规族。
   • 非阿基米德扩展： 构造超稳定流形和图变换估计的方法被扩展到了非阿基米德设置（Berkovich 空间），以处理 $|\lambda|_v > 1$ 的情形。

2. 任意域情况（特化）：

   • 为了将结果从数域扩展到任何特征为零的域，作者使用了特化论证。他们将映射 $f$ 和曲线 $C$ 看作是由簇 $S$ 参数化的代数族的一部分。
   • 控制预周期点： 一个关键的技术挑战是确保泛性纤维上的无穷个预周期点集不会在特定纤维上塌缩为有限集。作者通过改编 Shub-Sullivan 定理来控制周期点的重数，并分析超吸引循环的局部原像的分裂情况（参考 Chio 和 Roeder 的工作）。
   • 归约： 他们证明，如果猜想对泛性纤维（数域情况）成立，则它对特定纤维也成立，前提是关于非超吸引点的无穷远处的条件得以保持。

核心贡献

• 解决了正则映射的猜想： 本文为一类二维动力系统（$\mathbb{A}^2$ 上的正则多项式映射）建立了动力学 Manin-Mumford 猜想，这些系统的动力学是真正的更高维度的，区别于此前已解决的积类型情况。
• 非阿基米德环境下的局部超稳定流形： 作者为解析映射提供了一种统一的局部超稳定流形的构造方法，涵盖了固定点在特定方向上为抛物型或超吸引型的情况。
• 图变换估计： 开发了在存在抛物型点时的图变换新估计，借鉴了 Hakim 的工作，但将其适配到了格林函数的动力学语境中。
• 预周期集的特化论证： 本文改进了处理无穷预周期点集的特化技术，解决了在处理周期点时前人工作中未完全解决的集合“收缩”问题。

意义与范围
作者声称，其结果证实了对于正则多项式映射（在 $\mathbb{A}^2$ 上），动力学 Manin-Mumford 猜想成立这一预期，因为已知的障碍（诱导特殊曲线的交换自同态）在这一设定下并不存在。证明依赖于曲线在无穷远处的交点不是最终超吸引点的假设。作者明确指出，当所有无穷远处的点都是超吸引点时，由于涉及 $f_\infty$ 的 Julia 集的关键步骤失效，该情况仍是一个开放问题。

这项工作被视为算术动力学领域的重要进展，它架起了一维（积类型）情况与更高维动力学之间的桥梁，利用了 Arakelov 几何（正则高度）与复/非阿基米德分析的结合。作者承认存在使用 Moriwaki 高度理论的其他方法，但强调了他们对全局算术性质与局部动力学行为之间相互作用的依赖。