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

技術的概要：$\mathbb{C}^d$ の多項式縮小写像と次数の増大

問題提起
本論文は、複素空間 $\mathbb{C}^d$ 上の多項式縮小自己同型写像の挙動に関する Verbitsky と Ornea による問いに答えるものである。具体的には、原点に唯一の不動点を持ち、すべての $x$ に対して $\lim_{n\to\infty} \gamma^n(x) = 0$ となる多項式縮小写像 $\gamma$（自己同型写像）のうち、反復写像の次数 $\deg(\gamma^n)$ が $n \to \infty$ とともに無界に増大するものが存在するかどうかを調査する。

本研究は、全純縮小写像を備えた複素多様体に対する GAGA 型の定理の文脈に位置づけられる。代数的性質と全純的性質の間には緊張関係が存在する。すなわち、Poincaré–Dulac 定理は特定の縮小写像が全純的に線形化可能であることを保証するが、それらが代数的に線形化可能かどうかは直ちには明らかではない。次数増大が有界であるという性質は、代数的共役不変量である。したがって、ある写像が次数増大の無界性を持つならば、それは（定数次数を持つ）線形写像と代数的に共役であり得ない。

手法と定義
著者は、代数的群論と力学系解析の組み合わせを採用する。

1. 厳密な代数的性質：本論文は「厳密に代数的な」自己同型写像の概念を導入する。自己同型写像 $\gamma$ が、ある代数的群作用に属する場合、それを厳密に代数的であるという。命題 1 は、$\gamma$ が厳密に代数的であることと、その次数増大有界性（$\sup_n \deg \gamma^n < +\infty$）が同値であることを示す。
2. 次元解析（$d=2$）：2 次元の場合、著者は $\mathbb{C}^2$ の自己同型写像の分類（Milnor, Friedland）とエントロピーの結果（Smillie）に依存する。議論は排除法によって進められる。
   • アフィンおよび初等的な自己同型写像は、定数次数増大を示す。
   • ロゾドロミックな自己同型写像（ヘノン写像の有限合成）は、指数関数的な次数増大を示すが、正の位相エントロピーを有する。
   • 縮小写像は（原点以外の周期点を持たないため）位相エントロピーがゼロでなければならないため、ロゾドロミックであり得ない。
   • $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. 2 次元における非存在：$\mathbb{C}^2$ の任意の縮小自己同型写像は、次数増大有界性を有する。
2. 3 次元以上における存在：任意の $d \ge 3$ に対して、無界（具体的には線形）な次数増大を持つ多項式縮小写像が存在する。
3. 全純的線形化と代数的線形化：
   • パラメータ $\lambda_i$ を代数的に独立に選ぶことで、原点における微分の固有値は共鳴関係を持たない。
   • Poincaré–Dulac 定理によれば、そのような写像は全純的に線形写像と共役である。
   • しかし、次数増大が無界であるため、その写像は厳密に代数的ではなく、したがっていかなる線形写像とも代数的に共役ではない。

意義と主張
本論文は、$d \ge 3$ における多項式縮小写像について、全純的線形化と代数的線形化の間に乖離が生じることを示す、単純で明示的な反例を提供すると主張する。

• 代数的対全純的：構成された自己同型写像は、全純微分同相写像による線形写像への共役を通じて全純的に線形化可能であるが、多項式自己同型写像による線形写像への共役を通じて代数的に線形化可能ではない。
• Verbitsky-Ornea への回答：この研究は、$d \ge 3$ では無界な次数増大を持つ多項式縮小写像の存在について肯定的に、$d=2$ については否定的に、特定の問いに答えるものである。
• 範囲：結果は、代数的群論と複素力学系の標準的な道具を用いて提示された問いへの直接的な回答として示されており、さらなる応用や実験的な拡張を提案するものではない。著者は、この構成が追加の座標をスケーリングすることで高次元へ拡張可能であると指摘している。