[論文レビュー] Bounded hyperbolic components of bicritical rational maps

Hongming Nie, Kevin M. Pilgrim|arXiv (Cornell University)|Mar 21, 2019

Mathematical Dynamics and Fractals参考文献 14被引用数 4

ひとこと要約

本稿は、2つの異なる吸引的周期の周期が2以上の周期的軌道をもつ双臨界有理写像の双曲的成分が、モジュライ空間内で有界であることを証明する。非アーベル的動的系における算術的手法、特にベルコヴィッチ空間の動的系と精密化されたファトウ＝志寿久不等式を用いて、有界性の仮定から矛盾を導出し、このような成分のコンパクトな閉包を確立する。

ABSTRACT

We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods.

研究の動機と目的

• 2つの異なる周期が2以上の吸引的周期をもつ双臨界有理写像の双曲的成分が、モジュライ空間内で有界であるかどうかを特定すること。
• 2次の厳密型D成分におけるエプスタインの有界性結果を、より高次の双臨界写像へと拡張すること。
• 算術的および非アーベル的動的系の手法を用いて、このような双曲的成分のコンパクトな閉包を確立すること。
• ベルコヴィッチ空間における正則族とリスケーリング極限を用いて、崩壊する列を分析すること。

提案手法

• 退化をモデル化するため、$ t \to 0 $ における正則1パラメータ族 $ f_t $ を用い、双曲的成分の半代数的構造を活用する。
• ベルコヴィッチ空間の動的系を用いて、$ f_t $ の $ t \to 0 $ における漸近的挙動を研究し、タイプIIの反発的周期点を介してリスケーリング極限を同定する。
• リベラ＝レテリエの非アーベル的動的系における臨界軌道の振る舞いに関する算術的結果を用いて、極限写像 $ g $ の動的挙動を制約する。
• 精密化されたファトウ＝志寿久不等式を用いて、ユニクリティカル多項式に複数の非反発的周期点が存在しないことを排除する。
• ベルコヴィッチ動的系における周期的ファトウ成分の構造とその境界を分析し、有界性の仮定のもとで矛盾を導く。
• 極限周期点 $ \tilde{z} $ と $ \tilde{w} $ に対するケース解析を実施し、それらがジュリア集合や一意のリベラ固定領域の境界と交差するか否かに基づいて場合分けを行う。

実験結果

リサーチクエスチョン

• RQ1 双臨界有理写像の双曲的成分が、モジュライ空間内でいつ有界となるのか。
• RQ2 エプスタインの2次の場合における解析的有界性アプローチを、算術的手法を用いてより高次の双臨界写像へと拡張できるか。
• RQ3 2つの有界な倍率を持つ異なる吸引的周期が、非アーベル的動的系におけるリスケーリング極限の動的挙動にどのような制約をもたらすか。
• RQ4 崩壊する正則族から得られるリスケーリング極限 $ g $ の動的挙動は、極限における臨界点の挙動にどのような制約をもたらすか。
• RQ5 2つの異なる非固定の吸引的周期をもつ双臨界写像が、依然として有界でない双曲的成分に属することは可能か。

主な発見

• 2つの異なる周期が2以上の吸引的周期をもつ双臨界有理写像の双曲的成分 $ \newcommand{\bH}{\mathcal{H}} \mathcal{H} \subset \mathcal{M}_d $ は、$ \mathcal{M}_d $ においてコンパクトな閉包をもつ。
• 異なる周期に対して2つの有界な倍率が存在することは、リスケーリング極限 $ g $ がその臨界点に関して過剰に制約された動的系を満たすことを強制する。
• すべての崩壊のケースにおいて、極限写像 $ g $ の動的挙動は、ユニクリティカル多項式には高々1つの非反発的周期点しか許されないという精密化されたファトウ＝志寿久不等式と矛盾する。
• 解析により、極限に2つの異なる非反発的周期点が共存することは、ユニクリティカル多項式における非反発的周期点の一意性に反する。
• 両周期点が同じパラボリック点に極限する場合、その点は重複度3をもつため、精密化されたFSLにおける数え上げに反するという矛盾が生じる。
• 証明は、ベルコヴィッチ動的系、算術的制約、および精密化されたファトウ＝志寿久不等式の相乗作用を通じて、$ \mathcal{H} $ が有界であることを示している。