[論文レビュー] The Henon Family: The Complex Horseshoe Locus and Real Parameter Space

Eric Bedford, John Smillie|ArXiv.org|Jan 26, 2005

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

ひとこと要約

本稿は、複素力学と代数的位相幾何学を用いてヘノン族における複雑な馬蹄型分岐領域を調査し、実馬蹄型パラメータのうち、実動的系は非定常的だが複素ジュリア集合がR²に完全には含まれないタイプ3のパラメータが、複素馬蹄型分岐領域の連結成分内に存在することを提案する。主な貢献は、複素馬蹄型分岐領域の基本群からフルシフトの自己同型群へのホモオモルフィズムの構成であり、モノドロミー写像の非単射性と非自明な位相的構造を示している。

ABSTRACT

We consider the complexification of the Henon family of quadratic diffeomorphisms of the plane, and the region of parameter space corresponding to complex horseshoes. We discuss some conjectures about the global topology of the complex horseshoe locus.

研究の動機と目的

• 複素化を用いてヘノン族の実パラメータ空間と複素パラメータ空間のグローバル構造を調査すること。
• 表面上は関連のない実馬蹄型領域が、複素馬蹄型分岐領域を通じて接続可能であるという予想を検討すること。
• 複素馬蹄型分岐領域の基本群からフルシフト空間の自己同型群へのホモオモルフィズムを確立すること。
• タイプ3パラメータ——複素馬蹄型分岐領域に属する実パラメータで、実ジュリア集合が空でないが複素空間全体に含まれないもの——の位相的・動的意味を分析すること。
• リャプノフ指数関数から導かれるコhomology不変量を用いて、モノドロミー表現が非単射であることを示すこと。

提案手法

• パラメータと力学的変数をC²に拡張することでヘノン写像を複素化し、有界軌道を持つ点の集合$K_{a,b}$を定義する。
• 写像が$K_{a,b}$上に制限されたときに双曲的であり、フル2シフトに共役であるようなパラメータの集合として、複素馬蹄型分岐領域$\mathcal{H}^\mathbf{C}$を定義する。
• タイプ3パラメータの概念を導入する：$\mathcal{H}^\mathbf{C}$に属する実パラメータで、$K_{a,b} \cap \mathbf{R}^2 \neq \emptyset$ だが $K_{a,b} \not\subset \mathbf{R}^2$ であるもの。
• シフト空間への共役を用いて、モノドロミー準同型$\rho: \pi_1(\mathcal{H}_0^\mathbf{C}) \to \mathrm{Aut}(\Sigma_2)$を構成する。
• リャプノフ指数関数$\Lambda(a,b)$が$\mathcal{H}^\mathbf{C}$上で擬超調和的かつ擬調和的であることが示され、閉1形式$d^c\Lambda$とそれに関連するコhomology類$\theta$を定義する。
• HOV内のループ$\gamma(t) = (Re^{2\pi it}, b)$上で$\theta$を評価し、$\theta([\gamma]) = 2\pi$が得られ、$\theta$が非ゼロであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 複素馬蹄型分岐領域$\mathcal{H}^\mathbf{C}$に、実動的系が非定常的だが複素ジュリア集合が$\mathbf{R}^2$に含まれないタイプ3の実パラメータ$(a,b)$が存在するか？
• RQ2 複素馬蹄型分岐領域$\mathcal{H}^\mathbf{C}$の位相的性質は、実馬蹄型分岐領域$\mathcal{H}$のグローバル構造を理解するのに役立つか？
• RQ3 モノドロミー準同型$\rho: \pi_1(\mathcal{H}_0^\mathbf{C}) \to \mathrm{Aut}(\Sigma_2)$は単射か？
• RQ4 リャプノフ指数関数$\Lambda$のコhomology的意義は、馬蹄型分岐領域の文脈でどのようなものか？
• RQ5 $J_{a,b} = K_{a,b}$かつ写像が2シフトに共役であるとされるシフト分岐領域$\mathcal{S}$は、複素馬蹄型分岐領域$\mathcal{H}^\mathbf{C}$と等しいか？

主な発見

• ハバードの予想1は、複素馬蹄型分岐領域のスライス$\mathcal{H}^\mathbf{C} \cap \{b = 0.2\}$における非自明なループの存在によって支持され、タイプ3パラメータの存在を示唆する。
• モノドロミー準同型$\rho: \pi_1(\mathcal{H}_0^\mathbf{C}) \to \mathrm{Aut}(\Sigma_2)$は、無限位数のループが位数2の元にマッピングされることから非単射であることが示された。
• リャプノフ指数関数$\Lambda$に関連するコhomology類$\theta$は非ゼロであり、HOV内の大半径のループ$\gamma$に対して$\theta([\gamma]) = 2\pi$が成り立つ。
• 複素馬蹄型分岐領域$\mathcal{H}^\mathbf{C}$は、領域$HOV = \{(a,b) \in \mathbf{C}^2 : |a| > 2(|b|+1)^2, b \neq 0\}$を含み、開かつおそらく連結である。
• 実馬蹄型分岐領域$\mathcal{H}$は$\mathbf{R}^2 \cap \mathcal{H}^\mathbf{C} = \mathbf{R}^2 \cap \mathcal{S}$に等しく、エントロピーの最大化と拡張性から双曲的であることが従う。
• 複素パラメータが、シフトに共役な不変集合$X \subset \mathbf{C}^2$を持つならば、$X = J_{a,b} = K_{a,b}$となるため、そのようなパラメータはシフト分岐領域$\mathcal{S}$に属する。