On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties

本文通过构造反例否定了仿射空间上自同构孤立周期点高度有界的猜想，证明了上同调双曲主导有理自映射在射影簇上存在周期点高度有界的非空扎里斯基开集，并指出预周期点的高度有界性可能不成立。

要点

这篇论文就像是在探索一个**“数学宇宙”中的交通规则**，特别是关于在这个宇宙里，物体（点）在反复运动（迭代）后，会不会跑得太远、太离谱。

作者通过两个主要故事（一个反例，一个正例），告诉我们什么时候这些点会“守规矩”（高度有界），什么时候会“失控”（高度无界）。

为了让你更容易理解，我们把这篇论文的核心内容拆解成几个生动的比喻：

1. 核心概念：什么是“高度”和“周期点”？

想象你在玩一个弹球游戏：

• 地图（代数簇）：就是游戏场地，比如一张无限大的桌子（仿射空间）或者一个球体（射影空间）。
• 规则（自映射）：有一个机器，每次把球弹到新的位置。比如规则是“把球往右移，再往上跳”。
• 周期点（Periodic Points）：有些球非常神奇，弹来弹去，最后回到了起点，开始无限循环。比如：A -> B -> C -> A -> B... 这些点就是周期点。
• 预周期点（Preperiodic Points）：有些球先乱跑一阵子，然后掉进上面的循环里。比如：X -> Y -> A -> B -> C -> A... 这些就是预周期点。
• 高度（Height）：这是衡量点“有多复杂”或“数字有多大”的尺子。
  • 如果点的坐标是简单的整数（如 1, 2），高度就低。
  • 如果坐标是巨大的分数或者复杂的根号（如 $\frac{123456789}{987654321}$ 或 $\sqrt{10^{100}}$），高度就非常高。
  • 高度有界：意味着无论你怎么玩，球上的数字都不会无限膨胀，它们被限制在一个“安全区”内。
  • 高度无界：意味着球越弹越远，数字越来越大，最终冲向无穷大。

2. 故事一：打破规则的“捣蛋鬼”（反例）

背景猜想：
以前的数学家们认为，只要游戏规则（自映射）足够复杂（比如不是简单的直线移动），那么所有能回到起点的球（周期点），它们的坐标数字大小应该是有限的。也就是说，球不会跑得太远。

作者的发现（Theorem 1.3）：
作者 Matsuzawa 和 Sano 在三维空间（$A^3$）里设计了一个特殊的“捣蛋鬼”规则：
$$(x, y, z) \to (y, x + y - y^3, 2z - y)$$

• 前两个坐标 $(x, y)$ 遵循一个经典的“亨农映射”（Hénon map），这本身是个很复杂的混沌系统。
• 第三个坐标 $z$ 的更新规则里藏着一个陷阱：每次迭代，$z$ 都会乘以 2 再减去 $y$。

结果：
他们发现，虽然这个系统里所有的周期点都是孤立的（没有连成一片），但是这些点的高度可以无限大！

• 比喻：想象你在玩一个弹球游戏，前两个维度的球在原地打转，看起来很正常。但是第三个维度（$z$轴）像是一个复利计算器。每次循环，$z$ 的值都会因为某种累积效应变得巨大无比。
• 结论：那个“所有周期点高度都有界”的猜想是错的。在三维空间里，存在一种规则，能让周期点无限膨胀。

3. 故事二：寻找“安全区”（正例）

既然猜想错了，那什么时候是对的？作者引入了一个数学概念叫**“上同调双曲性”（Cohomologically Hyperbolic）**。

• 比喻：这就像是一个**“强力磁铁”**。如果一个系统具有这种性质，它就像磁铁一样，把那些复杂的、混乱的运动“吸”住，或者把那些可能无限膨胀的路径“切断”。
• 定理 1.8：作者证明，如果一个系统具有这种“强力磁铁”性质（上同调双曲性），那么在这个系统的大部分区域（一个很大的开集）里，所有的周期点都是守规矩的，它们的高度是有界的。
• 意义：虽然不能保证整个宇宙都安全，但只要你在“安全区”内，球就不会乱跑。这给数学家们吃了一颗定心丸。

4. 故事三：预周期点的“陷阱”（另一个反例）

作者还研究了“预周期点”（先乱跑再进循环的点）。

• 猜想：也许对于预周期点，只要系统是“强力磁铁”性质的，它们的高度也是有界的？
• 结果（Theorem 1.9）：作者又构造了一个反例。
  • 他们设计了一个规则，有一个固定的点 $P_0$。
  • 然后，他们找到了一个序列 $P_1, P_2, P_3...$，这些点每次被规则“反向”操作一次，就会离 $P_0$ 更远。
  • 虽然这些点最终都会掉进 $P_0$ 的循环里（是预周期点），但它们的高度随着步数增加而无限爆炸。
• 比喻：这就像是一个**“滑梯”**。虽然滑梯底部有一个固定的终点（周期点），但你可以从无限高的地方滑下来。只要起点足够高，你在滑下来的过程中，高度就是无界的。
• 结论：对于预周期点，即使系统看起来很“安全”（上同调双曲），也不能保证所有点的高度都有界。

5. 总结：这篇论文讲了什么？

这篇论文就像是在绘制一张**“数学宇宙的地图”**：

1. 打破了旧梦：以前以为所有复杂的周期运动都会把数字限制在一定范围内，作者证明在三维空间里，这是不可能的（存在高度无界的周期点）。
2. 找到了新规则：如果系统具有特殊的“双曲”性质（像强力磁铁），那么在大部分区域，周期点是安全的（高度有界）。
3. 揭示了新风险：对于“预周期点”（先乱跑再循环），即使系统有“强力磁铁”性质，也可能存在从无限高处滑下来的路径，导致高度无界。

一句话总结：
在数学的弹球游戏中，作者告诉我们：不要盲目相信“所有循环点都很小”的直觉，有些系统会让数字无限膨胀；但在特定的“强力磁铁”规则下，大部分区域还是安全的，只是要小心那些从无限高处滑下来的“预周期点”。

这篇论文通过构造精妙的反例和证明新的定理，修正了我们对动态系统中点分布规律的理解，就像是在复杂的迷宫里，既指出了死胡同，也标出了安全通道。

技术摘要

这篇论文《关于射影簇上主导有理自映射的周期点和预周期点的高度有界性》（On the Height Boundedness of Periodic and Preperiodic Points of Dominant Rational Self-Maps on Projective Varieties）由 Yohsuke Matsuzawa 和 Kaoru Sano 撰写。文章主要研究了算术动力学中周期点和预周期点的高度有界性问题，通过构造反例和证明正定理，澄清了“上同调双曲性”（cohomological hyperbolicity）在高度有界性中的关键作用。

以下是该论文的详细技术总结：

1. 研究背景与问题

在算术动力学中，对于射影空间 $\mathbb{P}^N$ 上的非同构满射态射 $f$，其预周期点集的高度是有界的（由 Northcott 性质和典范高度函数 $\hat{h}_f$ 的性质保证）。然而，对于更一般的自映射，特别是仿射空间 $\mathbb{A}^N$ 上的自同构，情况更为复杂。

核心猜想（Conjecture 1.1）：
设 $f: \mathbb{A}^N_{\mathbb{Q}} \to \mathbb{A}^N_{\mathbb{Q}}$ 是一个自同构，且其坐标函数的最大次数至少为 2。那么，$f$ 的孤立周期点集是高度有界的。
注：孤立周期点指不在任何 $n$-周期点集（除去自身）的 Zariski 闭包中的点。

该猜想在 $N=2$ 时已知成立，但在高维情况下的状态未知。此外，对于预周期点，在何种条件下高度有界也是一个开放问题。

2. 主要贡献与结果

A. 对猜想 1.1 的反例（三维情形）

作者构造了一个三维仿射空间 $\mathbb{A}^3$ 上的自同构，证明了猜想 1.1 在 $N=3$ 时不成立。

• 构造的映射：
  $$f: \mathbb{A}^3_{\mathbb{Q}} \to \mathbb{A}^3_{\mathbb{Q}}, \quad (x, y, z) \mapsto (y, x + y - y^3, 2z - y)$$
• 主要定理 (Theorem 1.3 & 2.1)：
  1. 对于任意 $n \ge 1$，$f$ 的 $n$-周期点集是有限的（即所有周期点都是孤立的）。
  2. $f$ 的所有周期点构成的集合是高度无界的。
  3. 存在一个周期点序列，该序列在 $\mathbb{A}^3_{\mathbb{Q}}$ 中是 Zariski 稠密的，且其高度趋于无穷大。
• 技术细节：
  • 该映射的前两个坐标 $(x, y)$ 构成一个 Hénon 映射 $g$。
  • $f$ 的周期点与 $g$ 的周期点通过投影一一对应。
  • $z$ 坐标由 $g$ 的周期点坐标显式表达：$z_0 = \frac{1}{2^n-1} \sum_{i=0}^{n-1} 2^{n-1-i} y_i$。
  • 关键构造： 作者选择特定的周期数 $n$（形如 $2 \cdot 3^r$），使得在模 3 约化下，$g$表现为线性映射。利用$2^n-1$在 3-adic 赋值下的高阶整除性，证明了$z$坐标的高度会随$n$ 增大而趋于无穷。
  • 动力学性质： 该映射不是上同调双曲的（cohomologically hyperbolic），因为其一阶和二阶动力学度（dynamical degrees）相等：$d_1(f) = d_2(f) = 3$。

B. 周期点高度有界性的正定理

作者证明了对于上同调双曲的主导有理自映射，周期点的高度在某个 Zariski 开集上是有界的。

• 定义 (Definition 1.4)： 若存在唯一的 $p$ 使得 $d_p(f) > d_i(f)$ ($i \neq p$)，则称 $f$ 为 $p$-上同调双曲。
• 主要定理 (Theorem 1.8)：
  设 $f: X \dashrightarrow X$ 是定义在 $\mathbb{Q}$ 上的射影簇 $X$ 上的上同调双曲主导有理自映射。则存在一个非空 Zariski 开集 $U \subset X$，使得集合
  $$\{P \in X_f(\mathbb{Q}) \mid P \text{ 是 } f\text{-周期点且 } O_f(P) \subset U\}$$
  是高度有界的。
• 推广 (Theorem 3.1)：
  对于上同调双曲映射族，周期点的高度上界可以用映射参数的高度来统一界定。
• 证明思路：
  利用高度沿轨道的递归不等式。通过构造一个“大”（big）的 $\mathbb{R}$-除子，建立高度函数 $h_L$ 满足的不等式：
  $$h_L \circ f^{2m} + \alpha\beta h_L - (\alpha+\beta) h_L \circ f^m \ge C$$
  其中 $\alpha, \beta$ 与动力学度有关。利用周期点轨道的有限性，推导出高度有界。

C. 预周期点高度无界的反例

作者构造了一个上同调双曲映射，其预周期点集是高度无界的，表明“上同调双曲性”本身不足以保证预周期点的高度有界性（需要更强的条件，如 $dim X$-上同调双曲）。

• 构造的映射 (Theorem 1.9 & 4.1)：
  $$f: \mathbb{P}^2_{\mathbb{Q}} \dashrightarrow \mathbb{P}^2_{\mathbb{Q}}, \quad (x:y:z) \mapsto (x^d - \frac{1}{p^{d-3}}y^2 z^{d-2} : xy^2 z^{d-3} : y^2 z^{d-2})$$
  其中 $d \ge 3, p$ 为素数。
• 性质：
  1. $d_1(f) = d, d_2(f) = 2$。因此 $f$ 是 1-上同调双曲的（因为 $d > 2$）。
  2. 当 $d=4, p=2$ 时，存在一个不动点 $P_0$ 及其逆轨道序列 $\{P_n\}$（即 $f(P_n) = P_{n-1}$）。
  3. 该序列 $\{P_n\}$ 在 $\mathbb{P}^2$ 中是 Zariski 稠密的，且 $\lim_{n \to \infty} h(P_n) = \infty$。
  4. 该映射在 $P_0$ 的邻域上是有限的（finite），说明高度无界并非由收缩曲线引起。
• 意义： 这表明对于预周期点，仅凭“上同调双曲”不足以保证高度有界，可能需要 $f$ 是 $dim X$-上同调双曲（即最大动力学度出现在最高阶）。

3. 方法论与关键技术

1. 动力学度（Dynamical Degrees）分析： 利用 $d_i(f)$ 的增长率来刻画映射的复杂性，区分上同调双射与非双射情形。
2. 算术几何构造：
   • 在反例构造中，巧妙利用模 $p$ 约化（特别是 $p=3$）下的线性结构，结合 $p$-进赋值（$p$-adic valuation）分析高度的增长。
   • 利用迹（Trace）映射和 Galois 群的性质来估计代数整数的高度。
3. 除子与高度不等式： 在正定理证明中，利用 $\mathbb{R}$-除子的线性等价和大除子（big divisor）的性质，构造高度函数的递归不等式，这是证明高度有界性的标准但强有力的工具。
4. 逆轨道分析： 在预周期点反例中，通过控制逆轨道上点的 $p$-进赋值和 Archimedean 绝对值，证明高度呈指数级增长。

4. 结论与意义

• 否定猜想： 彻底否定了关于仿射空间自同构周期点高度有界的猜想（在 $N \ge 3$ 时），揭示了高维算术动力学的复杂性。
• 确立条件： 明确了“上同调双曲性”是保证周期点高度有界性的充分条件（在 Zariski 开集上），并给出了具体的上界估计。
• 区分周期与预周期： 指出周期点和预周期点在高度有界性上的本质差异。对于预周期点，即使映射是上同调双曲的，高度也可能无界，除非满足更强的条件（如 $dim X$-上同调双曲）。
• 开放问题： 文章最后提出了关于预周期点高度有界性的进一步问题，特别是是否对于固定的数域，预周期点集是有限的（Northcott 性质的推广）。

综上所述，该论文通过精细的构造和严谨的理论分析，极大地推进了对有理自映射周期点和预周期点算术性质的理解，特别是厘清了动力学度与高度有界性之间的深刻联系。