On the dynamical degree of surjective endomorphisms

这是一份关于 Ilya Karzhemanov 论文《ON THE DYNAMICAL DEGREE OF SURJECTIVE ENDOMORPHISMS》（关于满射自同态的动力学度）的详细技术总结。

1. 研究背景与问题 (Problem)

本文主要研究光滑射影复曲面 $X$ 上的满射有理映射（surjective rational maps）$f: X \dashrightarrow X$ 的动力学性质。

• 核心对象：特别是当 $X$ 为德拉佩诺曲面（del Pezzo surface，即反典范除子 $-K_X$ 是 ample 的曲面）时的情形。
• 关键概念：
  • 动力学度 (Dynamical Degree, $\lambda(f)$)：定义为 $\lambda(f) := \lim_{n\to\infty} \sqrt[n]{((f^n)^*(H) \cdot H)}$，其中 $H$ 是 ample 除子。它衡量了代数循环在迭代下的体积增长率。
  • 拓扑度 (Topological Degree, $\deg f$)：映射的代数次数。
  • 正则性 (Regularity)：映射 $f$ 是正则的（regular morphism）还是仅是有理映射（rational map，存在不定点）。
• 研究动机：虽然对于一般的有理主导映射，动力学度可以是超越数，但在满射自同态且 $X$ 为德拉佩诺曲面的特定设定下，作者旨在揭示 $\lambda(f)$ 与 $\deg f$ 之间的数值关系，并以此刻画映射的正则性。

2. 方法论 (Methodology)

作者结合了代数几何、线性算子理论和动力系统理论的方法：

1. Néron-Severi 群与线性算子：

   • 利用 $f$ 诱导的 Néron-Severi 群 $N^1(X) = \text{Pic}(X) \otimes \mathbb{R}$ 上的线性算子 $f^*$。
   • 应用 Krein-Rutman 定理（Perron-Frobenius 定理的推广）：由于 $f^*$ 保持 nef 锥（nef cone）不变，其谱半径 $\rho(f^*)$ 是一个特征值，且存在对应的 nef 特征向量 $v$。

2. 代数几何工具：

   • Hodge 指数定理 (Hodge Index Theorem)：用于建立相交数之间的不等式关系。
   • 解析图 (Resolution of Indeterminacy)：通过引入双有理收缩 $g: Y \to X$ 和正则态射 $h: Y \to X$ 来分解有理映射 $f$，利用例外曲线（exceptional curves）的相交性质进行分析。
   • 德拉佩诺曲面的性质：利用德拉佩诺曲面的 Mori 锥是有理多面体（rational polyhedral）且面可收缩的特性。

3. 构造性反例与家族变形：

   • 通过构造具体的多项式映射（如 $\mathbb{P}^2$ 和 $\mathbb{P}^1 \times \mathbb{P}^1$ 上的映射）来展示 $\lambda(f)$ 与 $\deg f$ 的具体数值。
   • 引入参数 $\varepsilon$ 构造映射族 $f_\varepsilon$，利用平坦族（flat family）性质和不变性分析，证明某些满射映射不能分解为通过 $\mathbb{P}^2$ 的复合映射。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 动力学度的谱解释 (Spectral Interpretation)

• 命题 1.2：证明了对于满射映射 $f$，动力学度等于诱导线性算子的谱半径，即 $\lambda(f) = \rho(f^*)$。
• 存在一个 nef 类 $v \in N^1(X)$ 使得 $f^*(v) = \lambda(f)v$。
• 指出在满射且 $q(X)=0$（如德拉佩诺曲面）的情况下，$\lambda(f)$ 是代数整数。

3.2 动力学度与拓扑度的不等式关系

• 定理 1.5 (核心结果)：建立了 $\lambda(f)$ 与 $\deg f$ 之间的精确数值关系，并给出了正则性的数值刻画：
  $$\lambda(f)^2 \ge \deg f$$
  且 $f$ 是正则映射（regular）当且仅当 $\lambda(f)^2 = \deg f$。
• 证明思路：
  • 不等式方向：利用 Hodge 指数定理和解析图中的例外曲线 $E$ 的负定性证明 $\lambda(f)^2 \ge \deg f$。
  • 等式方向（正则性判定）：假设 $\lambda(f)^2 = \deg f$ 但 $f$ 非正则，导出矛盾。
    • 若特征向量 $v$ 是大除子（big），利用 $E \neq 0$ 导致 $(f^*v)^2 > (\deg f)(v^2)$ 产生矛盾。
    • 若 $(v^2)=0$，利用德拉佩诺曲面 Mori 锥的面可收缩性，构造到 $\mathbb{P}^1$ 的映射，同样导出矛盾。
• 注记：该结论不适用于一般的有理主导映射（如 $\mathbb{P}^2$ 上的单项式映射），体现了德拉佩诺曲面满射自同态的特殊性。

3.3 秩 1 映射 (Rank 1 Maps) 的结构分析

• 定义 4.5：若 $f^*$ 的秩为 1，则称 $f$ 为秩 1 映射。
• 性质：对于秩 1 满射映射，$\lambda(f)$ 等于 $f^*$ 的迹，因此 $\lambda(f)$ 必为整数。
• 反直觉发现：
  • 虽然 $\lambda(f) \in \mathbb{Z}$ 是秩 1 映射的必要条件，但不是充分条件（存在非秩 1 映射其动力学度也是整数）。
  • 命题 4.8：并非所有秩 1 满射映射都能分解为 $f = \phi \circ \psi$（其中 $\phi: \mathbb{P}^2 \dashrightarrow X, \psi: X \to \mathbb{P}^2$）。作者通过构造参数化族 $f_\varepsilon$ 证明了这一点，表明即使对于简单的曲面（如 $\mathbb{P}^1 \times \mathbb{P}^1$），其满射自同态的结构也比预期的复杂。

3.4 熵 (Entropy) 的计算

• 讨论了拓扑熵 $h(f)$ 的上界：$h(f) \le \max\{\log \lambda(f), \log \deg f\}$。
• 提供了多个具体例子（如 $\mathbb{P}^2$ 上的二次和三次映射，以及 $\mathbb{P}^1 \times \mathbb{P}^1$ 上的映射），计算了具体的 $\lambda(f)$ 和 $\deg f$ 值，展示了 $\lambda(f)^2$ 与 $\deg f$ 之间的差异。

4. 意义与影响 (Significance)

1. 数值刻画正则性：该论文提供了一个强有力的数值判据（$\lambda(f)^2 = \deg f$），用于在不显式检查不定点的情况下，判断德拉佩诺曲面上的满射有理映射是否为正则态射。这在代数动力系统中是一个重要的理论工具。
2. 揭示满射自同态的复杂性：通过秩 1 映射的研究，作者展示了满射自同态的结构比一般有理映射更为丰富和微妙。特别是证明了某些看似简单的满射映射无法通过标准投影分解，挑战了关于此类映射结构的直观猜想。
3. 连接代数与拓扑：文章清晰地建立了代数不变量（动力学度、拓扑度）与几何性质（正则性、Mori 锥结构）之间的联系，丰富了德拉佩诺曲面动力学的理论框架。
4. 为后续研究提供基础：文中提到的关于 $\lambda(f)/\deg f$ 的“统计”分布问题，为未来研究满射自同态的模空间或分类问题提供了新的视角。

总结：Ilya Karzhemanov 的这篇论文通过严谨的代数几何论证，确立了德拉佩诺曲面上满射自同态的动力学度与拓扑度之间的不等式关系，并以此给出了映射正则性的充要条件。同时，通过构造反例和具体计算，揭示了此类映射结构的非平凡性，深化了对代数表面有理动力学的理解。