[論文レビュー] Complex Hénon maps and discrete groups

Raluca Tanase|arXiv (Cornell University)|Mar 12, 2015

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

ひとこと要約

この論文は、複素Hénon写像の脱出集合の境界 $J^+$ における群作用を、脱出集合 $U^+$ からの拡張によって行い、$J^+$ を離散群 $Γ ≅ \mathbb{Z}[1/2]/\mathbb{Z}$ による $Γ$-作用で $Γ$-商 $Γ \cong \mathbb{Z}[1/2]/\mathbb{Z}$ として表現する。これにより、Hénon写像と商多様体上のモデル力学系との間の半共役性が確立される。双曲的または半放物型多項式の小さな摂動に対して、$J^+$ が位相的多様体またはその商であることが示され、明示的な同値関係と、コycle $α$ によって符号化されたフラクタル的不変量を有する。主な貢献は、Hénon写像におけるCarathéodoryのループの2次元版の構築である。

ABSTRACT

Consider the standard family of complex Hénon maps $H(x,y) = (p(x) - ay, x)$, where $p$ is a quadratic polynomial and $a$ is a complex parameter. Let $U^{+}$ be the set of points that escape to infinity under forward iterations. The analytic structure of the escaping set $U^{+}$ is well understood from previous work of J. Hubbard and R. Oberste-Vorth as a quotient of $(\mathbb{C}-\overline{\mathbb{D}}) imes\mathbb{C}$ by a discrete group of automorphisms $Γ$ isomorphic to $\mathbb{Z}[1/2]/\mathbb{Z}$. On the other hand, the boundary $J^{+}$ of $U^{+}$ is a complicated fractal object on which the Hénon map behaves chaotically. We show how to extend the group action to $\mathbb{S}^1 imes\mathbb{C}$, in order to represent the set $J^{+}$ as a quotient of $\mathbb{S}^1 imes \mathbb{C}/\,Γ$ by an equivalence relation. We analyze this extension for Hénon maps that are small perturbations of hyperbolic polynomials with connected Julia sets or polynomials with a parabolic fixed point.

研究の動機と目的

• 脱出集合 $U^+$ における離散群作用をその境界 $J^+$ に拡張し、$J^+$ の位相的および力学的記述を可能にする。
• 群 $\Gamma \cong \mathbb{Z}[1/2]/\mathbb{Z}$ による $Γ$-商 $Γ \cong \mathbb{Z}[1/2]/\mathbb{Z}$ としての $J^+$ の構造を特徴づけること。これは、既知の $U^+$ の構造を一般化する。
• Hénon写像と商多様体 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ 上のモデル力学系との間の半共役性を確立すること。
• コycle $\alpha: \mathbb{S}^1 \to \mathbb{C}^*$ の振る舞いを分析し、動的不変量を符号化しており、放物型多項式の小さなヤコビアン摂動に対して完全不変量であることが示される。
• 群作用と層構造を用いて、特定の力学的条件下で $J^+$ が位相的多様体またはその商であることを示す。

提案手法

• 既知の群作用を $U^+ \cong (\mathbb{C} \setminus \overline{\mathbb{D}}) \times \mathbb{C} / \Gamma$ から $\mathbb{S}^1 \times \mathbb{C}$ に拡張し、$\Gamma \cong \mathbb{Z}[1/2]/\mathbb{Z}$ を用いて境界 $J^+$ を含める。
• 安定乗数条件と $U^+ \cup J^+$ の層の自明化を用いて、群作用が円周境界に拡張されることを分析する。
• 動的性質を捉えるコycle $\alpha: \mathbb{S}^1 \to \mathbb{C}^*$ を導入し、独自のプロットアルゴリズムによりフラクタル的構造を可視化する。
• LyubichおよびRobertsonの臨界集合特徴付けに関する結果を応用し、$\alpha$ の退化と不変量を分析する。
• 群元 $\Gamma_{p,a}$ の成長推定を用いて、$\mathbb{S}^1 \times \mathbb{C}$ 上の作用が固有不連続かつ固定点をもたないことを証明する。
• 商多様体 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ から $J^+$ への半共役性を構成し、双曲的および半放物型写像の場合の明示的同値関係を提示する。

実験結果

リサーチクエスチョン

• RQ1 複素Hénon写像における脱出集合 $U^+$ における離散群作用を、その境界 $J^+$ にどのように拡張できるか。
• RQ2 双曲的多項式で連結なジュリア集合を持つ場合、その小さな摂動における $J^+$ の位相的構造は何か。
• RQ3 $J^+$ 上の力学系が、商多様体 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ 上のモデル力学系と半共役可能か。
• RQ4 コycle $\alpha: \mathbb{S}^1 \to \mathbb{C}^*$ は、Hénon族の力学的性質と不変量をどのように符号化するか。
• RQ5 半放物型Hénon写像の小さなヤコビアン摂動に対して、群 $\Gamma_{c,a}$ は $\mathbb{S}^1 \times \mathbb{C}$ 上にどのように作用するか。

主な発見

• 双曲的多項式で連結なジュリア集合を持つ場合の小さな摂動に対して、群 $\Gamma_{c,a}$ は $\mathbb{S}^1 \times \mathbb{C}$ 上で固有不連続かつ固定点をもたない。これにより、$\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ は位相的多様体であることが保証される。
• 主カルディオイド内部（すなわち吸引的固定点を持つ）の近傍のHénon写像に対して、$J^+$ 自体が位相的多様体であり、半共役性は実際に共役性に退化する。
• 一般には、$J^+$ は多様体 $\mathcal{M}$ の明示的同値関係による商として表され、定理9.11で形式化されている。
• コycle $\alpha$ は、小さなヤコビアンに対して家族 $\mathcal{P}_\lambda$ の完全不変量であることが示され、$\alpha(1) = \mu$（半放物型固定点の固有値）となる。
• コycle $\alpha$ の像はフラクタル的集合であり、第7節で開発された独自のプロットアルゴリズムにより可視化されている。
• 半放物型Hénon写像で $0 < |a| < a_0$ の場合、一次臨界成分 $\mathcal{C}_0$ の境界 $\partial\mathcal{C}_0$ は、放物型多項式 $p$ のジュリア集合 $J_p$ と位相的に同相であり、定理10.4は群作用と商構造をこの場合にまで拡張する。