[论文解读] Complex Hénon maps and discrete groups

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

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

一句话总结

本文将复 Hénon 映射中逃逸集的群作用扩展至边界 $J^+$，将 $J^+$ 表示为 $\mathbb{S}^1 \times \mathbb{C}$ 关于离散群 $\Gamma \cong \mathbb{Z}[1/2]/\mathbb{Z}$ 的商，建立了 Hénon 映射与商流形上模型动力系统之间的半共轭关系。对于双曲或半抛物多项式的小扰动，$J^+$ 被证明是拓扑流形或此类流形的商，其显式等价关系与由上链 $\alpha$ 编码的分形不变量共同构成。其核心贡献是 Hénon 映射的二维 Carathéodory 圈的类比。

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^+$ 的拓扑与动力学描述。
• 将 $J^+$ 的结构表征为 $\mathbb{S}^1 \times \mathbb{C}$ 关于群 $\Gamma \cong \mathbb{Z}[1/2]/\mathbb{Z}$ 的商，推广已知的 $U^+$ 结构。
• 在 $J^+$ 上的 Hénon 映射与商流形 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ 上的模型动力系统之间建立半共轭关系。
• 分析上链 $\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^+$ 的层化结构的平凡化，分析群作用向圆边界扩展的机制。
• 引入上链 $\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 当 Hénon 映射是具有连通 Julia 集的双曲多项式的微小扰动时，$J^+$ 的拓扑结构是什么？
• RQ3 能否将 $J^+$ 上的动力系统与商流形 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ 上的模型动力系统建立半共轭关系？
• RQ4 上链 $\alpha: \mathbb{S}^1 \to \mathbb{C}^*$ 在编码 Hénon 家族的动力与不变量方面起什么作用？
• RQ5 对于半抛物 Hénon 映射的小雅可比行列式扰动，群 $\Gamma_{c,a}$ 如何作用于 $\mathbb{S}^1 \times \mathbb{C}$？

主要发现

• 对于具有连通 Julia 集的双曲多项式的小扰动，群 $\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 所形式化。
• 上链 $\alpha$ 被证明是小雅可比行列式下家族 $\mathcal{P}_\lambda$ 的完整不变量，且 $\alpha(1) = \mu$，即半抛物不动点的特征值。
• $\alpha$ 的像为分形集，其结构通过第 7 节开发的自定义绘图算法得以可视化。
• 对于满足 $0 < |a| < a_0$ 的半抛物 Hénon 映射，主临界分量 $\mathcal{C}_0$ 的边界 $\partial\mathcal{C}_0$ 同胚于抛物多项式 $p$ 的 Julia 集 $J_p$，且定理 10.4 将群作用与商结构扩展至该情形。