Polynomial contractions of $\mathbb C^d$ and degree growth

技术摘要：$\mathbb{C}^d$ 的多项式收缩与次数增长

问题陈述
本文探讨了 Verbitsky 和 Ornea 提出的关于复空间 $\mathbb{C}^d$ 上多项式收缩自同构行为的问题。具体而言，文章研究了是否存在一个多项式收缩 $\gamma$（即一个在原点具有唯一不动点的自同构，且满足对所有 $x$ 有 $\lim_{n\to\infty} \gamma^n(x) = 0$），使得其迭代次数 $\deg(\gamma^n)$ 在 $n \to \infty$ 时无界增长。

本研究置于配备全纯收缩的复流形上的 GAGA 型定理背景之中。代数性质与全纯性质之间存在核心张力：虽然 Poincaré–Dulac 定理保证了某些收缩是全纯线性化的，但尚不清楚它们是否代数线性化。具有有界次数增长这一性质是代数共轭不变量；因此，如果一个映射具有无界次数增长，它就不可能与线性映射代数共轭（线性映射具有常数次数）。

方法论与定义
作者结合了代数群理论与动力系统分析：

1. 严格代数性：文章引入了“严格代数”自同构的概念。一个自同构 $\gamma$ 是严格代数的，当且仅当它属于某个代数群作用。命题 1 确立了 $\gamma$ 是严格代数的当且仅当其次数增长有界（$\sup_n \deg \gamma^n < +\infty$）。
2. 维度分析（$d=2$）：对于二维情形，作者依赖于 $\mathbb{C}^2$ 自同构的分类（Milnor, Friedland）以及熵的结果（Smillie）。论证通过排除法进行：
   • 仿射和初等自同构具有常数次数增长。
   • 双曲型自同构（Hénon 映射的有限复合）表现出指数级次数增长，但具有正拓扑熵。
   • 由于收缩必须具有零拓扑熵（除原点外无周期点），它不可能是双曲型的。
   • $d=2$ 的结论：不存在具有无界次数增长的多项式收缩。
3. $d \ge 3$ 的构造：作者在 $\mathbb{C}^3$（并由此推广至 $\mathbb{C}^d$）上构造了一个特定的仿射 - 三角自同构，定义如下：
   $$\gamma(x, y, z) = (\lambda_1(y + xz), \lambda_2 x, \lambda_3 z)$$
   其中 $0 < \lambda_i < 1/2$。
   • 收缩证明：通过分析迭代的递归关系，作者证明了序列收敛于零，满足收缩定义。
   • 次数增长计算：通过追踪 $\gamma^n$ 的分量多项式 $F_n, G_n, H_n$ 的次数，作者导出了递推关系 $\deg \gamma_{n+1} = \deg \gamma_n + 1$，从而得到线性次数增长（$\deg \gamma_n = n+1$）。

主要结果

1. 二维中的不存在性：$\mathbb{C}^2$ 的任何收缩自同构都具有有界次数增长。
2. 三维及更高维中的存在性：对于任何 $d \ge 3$，都存在具有无界（具体为线性）次数增长的多项式收缩。
3. 全纯与代数线性化：
   • 通过选择代数无关的参数 $\lambda_i$，原点处微分的特征值避免了共振关系。
   • 根据 Poincaré–Dulac 定理，此类映射是全纯线性化的（通过全纯微分同胚共轭于线性映射）。
   • 然而，由于次数增长无界，该映射不是严格代数的，因此不与任何线性映射代数共轭。

意义与主张
本文声称提供了一个简单、明确的反例，证明了在 $d \ge 3$ 维的多项式收缩中，全纯线性化与代数线性化之间存在分歧。

• 代数与全纯：构造出的自同构是全纯线性化的（通过全纯微分同胚共轭于线性映射），但不是代数线性化的（不通过多项式自同构共轭于线性映射）。
• 对 Verbitsky-Ornea 问题的回答：该工作对 $d \ge 3$ 时是否存在具有无界次数增长的多项式收缩给出了肯定回答，而对 $d=2$ 给出了否定回答。
• 范围：结果被呈现为对所提问题的直接回答，利用了代数群理论和复动力系统中的标准工具，未提出进一步的应用或实验扩展。作者指出，该构造通过缩放额外坐标可扩展至更高维度。