[论文解读] Hyperbolic components of McMullen maps

Weiyuan Qiu, Pascale Roesch+2 more|arXiv (Cornell University)|Jul 2, 2012

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

一句话总结

本文证明了 McMullen 映射 $ f_\lambda(z) = z^n + \lambda z^{-n} $（其中 $ n \geq 3 $）在参数空间中所有双曲组件的边界均为若尔当曲线，解决了 Devaney 长期提出的问题。作为推论，当无穷远点的立即吸引域边界上存在抛物周期轨道时，此类尖点参数在无界双曲组件的边界上是稠密的，从而为 McMullen 在 Teichmüller 空间边界上关于尖点密度的定理提供了动力系统类比。

ABSTRACT

In this article, we study the hyperbolic components of McMullen maps. We show that the boundaries of all hyperbolic components are Jordan curves. This settles a problem posed by Devaney. As a consequence, we show that cusps are dense on the boundary of the unbounded hyperbolic component. This is a dynamical analogue of McMullen's theorem that cusps are dense on the Bers' boundary of Teichmüller space.

研究动机与目标

• 解决 Devaney 关于 McMullen 映射中双曲组件边界拓扑结构的长期问题。
• 确立参数空间中 $ f_\lambda(z) = z^n + \lambda z^{-n} $ 的所有双曲组件边界均为若尔当曲线。
• 证明在 Julia 集为康托集的无界双曲组件 $ \mathcal{H}_0 $ 的边界上，尖点是稠密的。
• 为 McMullen 关于 Teichmüller 空间边界上尖点密度的定理提供一个动力系统类比。
• 通过动力系统 Yoccoz 拼图与切线射线连续运动的新方法，证明边界局部连通性与若尔当曲线结构。

提出的方法

• 利用由 Devaney 构造的‘切线射线’诱导的 Yoccoz 拼图结构——这些射线是随参数 $ \lambda $ 在 Hausdorff 拓扑下连续变化的若尔当曲线。
• 通过切线射线构造同一参数射线印象内映射之间的拟共形共轭，证明边界局部连通性。
• 应用基于极端长度与面积-模数不等式的‘零测度论证’，证明某类排斥系统的预像集之外的 Julia 集具有零勒贝格测度。
• 在嵌套区域序列 $ \mathbf{V}^d = g^{-d}(\mathbf{V}) $ 上定义一个排斥系统 $ g: \mathbf{U} \to \mathbf{V} $，满足 $ \mathbf{V}^{d+1} \Subset \mathbf{V}^d $，以分析 Julia 集与临界轨道的结构。
• 利用环形区域 $ \mathbf{A}^d(z) = \mathbf{V}^d(z) \setminus \overline{\mathbf{V}^{d+1}} $ 的模 $ \mathbf{m}(A) $，证明 $ \sum_{d \geq 1} \mathbf{m}(\mathbf{A}^d(z)) = \infty $，从而推出 Julia 集为零测度的康托集。
• 应用面积-模数不等式 $ \text{area}(\mathbf{V}^d) \leq \frac{\text{area}(\mathbf{V})}{1 + 4\pi M_d} $，其中 $ M_d \to \infty $，得出 $ \text{area}(\mathbf{V}^d) \to 0 $，支持零测度结果。

实验结果

研究问题

• RQ1 McMullen 映射参数空间中所有双曲组件的边界是否均为拓扑意义上的若尔当曲线？
• RQ2 在 Julia 集为康托集的无界双曲组件 $ \mathcal{H}_0 $ 的边界上，尖点参数集是否稠密？
• RQ3 无界双曲组件的边界能否通过动力学性质（如抛物周期轨道的存在性或自由临界轨道）来刻画？
• RQ4 结合切线射线连续运动的动力系统 Yoccoz 拼图结构，是否足以证明双曲组件边界的局部连通性与若尔当曲线结构？
• RQ5 关联排斥系统 $ g $ 的 Julia 集是否为零勒贝格测度的康托集，从而表明整个 Julia 集为康托集？

主要发现

• 证明了当 $ n \geq 3 $ 时，McMullen 映射 $ f_\lambda(z) = z^n + \lambda z^{-n} $ 的所有双曲组件边界均为若尔当曲线，证实了 Devaney 的一个猜想。
• 无界双曲组件 $ \mathcal{H}_0 $ 的边界 $ \partial\mathcal{H}_0 $ 是一条若尔当曲线，且尖点在其上稠密，其判定条件为：$ \nu(\theta) $ 是尖点当且仅当存在 $ p \geq 1 $ 使得 $ n^p\theta \equiv \theta \mod \mathbb{Z} $。
• 通过外射线的落地点构造了参数化 $ \nu: \mathbb{S} \to \partial\mathcal{H}_0 $，并证明满足 $ n^p\theta \equiv \theta \mod \mathbb{Z} $ 的 $ \theta $ 在 $ \mathbb{S} $ 中稠密，从而推出尖点稠密。
• 当 $ \lambda \in \partial\mathcal{H}_0 $ 时，Julia 集 $ J(f_\lambda) $ 为零勒贝格测度的康托集，该结论通过基于模与面积不等式的零测度论证得以确立。
• 在嵌套区域 $ \mathbf{V}^d $ 上定义的排斥系统 $ g: \mathbf{U} \to \mathbf{V} $ 满足 $ \sum_{d \geq 1} \mathbf{m}(\mathbf{A}^d(z)) = \infty $，从而推出 $ K(g) $ 为康托集。
• 面积-模数不等式表明当 $ d \to \infty $ 时 $ \text{area}(\mathbf{V}^d) \to 0 $，确认集合 $ K(g) $ 具有零勒贝格测度，这是主结论的关键。