[論文レビュー] Dynamics of Rational Surface Automorphisms: Linear Fractional Recurrences

Eric Bedford, Kyounghee Kim|arXiv (Cornell University)|Nov 9, 2006

Mathematical Dynamics and Fractals被引用数 9

ひとこと要約

本稿は、形式 $ f_{a,b}:(x,y) \mapsto \left(y, \frac{y+a}{x+b}\right) $ における線形分数型再帰で定義される有理被覆自己同型を調査し、特定のパラメータ値 $ (a,b) \in \mathcal{V}_n $ に対して、これらの写像が $ \mathbb{P}^2 $ の blown-up 上で正エントロピーをもつ自己同型を誘導することを示している。主な貢献は、正エントロピーをもつが不変曲線をもたない自己同型の構成であり、これはギザトゥリン、ハーバーン、マクマレンの予想を反証するものである。

ABSTRACT

We consider the family $f_{a,b}(x,y)=(y,(y+a)/(x+b))$ of birational maps of the plane and the parameter values $(a,b)$ for which $f_{a,b}$ gives an automorphism of a rational surface. In particular, we find values for which $f_{a,b}$ is an automorphism of positive entropy but no invariant curve. The Main Theorem: If $f_{a,b}$ is an automorphism with an invariant curve and positive entropy, then either (1) $(a,b)$ is real, and the restriction of $f$ to the real points has maximal entropy, or (2) $f_{a,b}$ has a rotation (Siegel) domain.

研究の動機と目的

• 線形分数型再帰 $ f_{a,b} $ から生じる有理被覆自己同型の力学的性質を調査すること、特に不変曲線の存在に注目すること。
• ギザトゥリン、ハーバーン、マクマレンが提起した、正エントロピー自己同型において不変曲線が必須であるという予想を解決すること。
• 不変曲線が存在する場合の回転領域と実力学の役割を分析すること。
• 自己同型がピカール群に作用するときの特徴多項式とコクセター群論の間の関係を確立すること。
• $ f_{a,b} $ が正エントロピーをもつ有理被覆上で自己同型を誘導するパラメータ値 $ (a,b) $ を特徴づけること。

提案手法

• $ \mathbb{P}^2 $ 上での再帰 $ (x,y) \mapsto \left(y, \frac{y+a}{x+b}\right) $ を用いて、$ f_{a,b} $ の族を定義し、$ \mathbb{P}^2 $ の $ n+3 $ 点における blown-up 上での双有理的同型を自己同型に写すことを研究する。
• パラメータ空間 $ \mathcal{V}_n \subset \mathbb{C}^2 $ を用いて、$ f_{a,b} $ の軌道の周期性（特に $ q = (-a,0) $ の軌道）に基づき、自己同型に同型な写像を分類する。
• $ f_{a,b}^* $ がピカール群 $ \text{Pic}(\mathcal{X}_{a,b}) $ に作用する様子を計算し、その特徴多項式が $ \chi_n(x) = -1 + x^2 + x^3 - x^{1+n} - x^{2+n} + x^{4+n} $ であることを示す。
• $ \chi_n(x) = C_n(x) \psi_n(x) $ と因数分解し、$ C_n $ を円分多項式の積とし、$ \psi_n $ を支配的固有値 $ \lambda_n > 1 $ の最小多項式とする。これによりエントロピーが $ \log \lambda_n $ であることが得られる。
• $ f_{a,b} $ の固定点および周期的周期を分析し、乗数を計算し、$ \eta_1^n \eta_2 = 1 $ のような共鳴条件を同定する。
• コhomology 上の写像の行列表現を用いて、特に $ n \geq 7 $ の場合に、小行列およびブロック行列式展開を用いて特徴多項式を計算する。

実験結果

リサーチクエスチョン

• RQ1 正エントロピーをもつが不変代数的曲線をもたない有理被覆自己同型は存在するか？
• RQ2 不変三次曲線が存在する場合、$ f_{a,b} $ の力学的挙動はいかなるものか。特に回転領域と実力学に関しては？
• RQ3 周期的点における線形化写像の固有値は特徴多項式 $ \chi_n(x) $ の根とどのように関係するか。また、どのような共鳴条件が生じるか？
• RQ4 特徴多項式 $ \chi_n(x) $ とコクセター群構造（特にウェイリ群表現）との正確な関係は何か？
• RQ5 実数パラメータ $ a,b \in \mathbb{R} $ に対して、$ f $ の実数点 $ \mathcal{X}_R $ への制限 $ f_R $ が、複素写像の全エントロピーを保存するのはどのような条件下か？

主な発見

• 本稿は、正エントロピーをもつが不変代数的曲線をもたない有理被覆自己同型の具体的な例を構成し、ギザトゥリン、ハーバーン、マクマレンの予想に対する反例を提供している。
• $ n \geq 7 $ の場合、特徴多項式 $ \chi_n(x) $ は一意の実根 $ \lambda_n > 1 $ をもち、$ f_{a,b} $ の位相的エントロピーは $ \log \lambda_n > 0 $ である。$ \psi_n $ が既約であるとき、$ \lambda_n $ はピゾ数である。
• $ \chi_n(x) $ の円分因子 $ C_n(x) $ を明示的に計算し、それが円分多項式の積であることを示しており、その分解は定理3.3および3.5で与えられている。
• 不変三次曲線が存在する場合、パラメータ $ (a,b) $ はパラメータ空間 $ \mathcal{V} $ 内の3つの特定の曲線 $ \Gamma_1, \Gamma_2, \Gamma_3 $ のいずれか上に位置し、曲線上の固定点の乗数は $ \eta_1^n \eta_2 = 1 $ を満たす。
• 実数パラメータ $ a,b \in \mathbb{R} $ の場合、実制限 $ f_R $ のエントロピーは複素写像と同一であり、最大エントロピー測度は $ \mathcal{X}_R $ の零面積部分集合に台を持つことが定理6.1で示されている。
• $ f_{a,b} $ は特定のウェイリ群のコクセター元を実現しており、定理8.7により、この表現から生じる本質的にすべての自己同型を提供することが確認されている。