[论文解读] Combinatorics and topology of straightening maps II: Discontinuity

Hiroyuki Inou|arXiv (Cornell University)|Mar 25, 2009

Mathematical Dynamics and Fractals参考文献 16被引用 15

一句话总结

该论文证明了对于次数 $ d \geq 3 $ 的多项式族，与非不相交型重正则化相关的拉直映射在连续性上存在间断，甚至在 Misiurewicz 参数处也是如此。通过利用拟共形刚性与杂交共轭下的乘子保持性，作者表明当存在非平凡的 Fatou 临界关系时，间断性即会显现，从而推广了此前对三次类族的研究结果，并将分析扩展至有理函数与超越整函数映射。

ABSTRACT

We continue the study of straightening maps for the family of polynomials of degree $d \ge 3$. The notion of straightening map is originally introduced by Douady and Hubbard to study relationship between polynomial-like renormalizations and self-similarity of the Mandelbrot set. In the quadratic case, straightening maps are always continuous, and this is one of the critical steps to prove the Mandelbrot set has small copies in itself. On the other hand, for higher degree case, we do not have such a nice self-similar property: As expected from an example of a cubic-like family with discontinuous straightening map by Douady and Hubbard, we prove that the straightening map is discontinuous unless it is of disjoint type.

研究动机与目标

• 建立多项式族中拉直映射在何种条件下不连续的条件。
• 解决长期以来关于拉直映射在二次情形之外是否连续的疑问。
• 通过映射模式与杂交共轭技术，将间断性分析扩展至有理函数与超越整函数映射。
• 阐明非平凡 Fatou 临界关系在破坏拉直映射连续性中的作用。

提出的方法

• 作者使用映射模式与有理叶状结构来描述 $ \lambda_0 $-可重正则化多项式的组合结构。
• 他们定义了一个从 $ \lambda_0 $-组合重正则化集合到基于映射模式的多项式族纤维连通性全集的拉直映射 $ \chi_{\lambda_0} $。
• 通过利用 Misiurewicz 映射的拟共形刚性，构造出收敛于某个 Misiurewicz 映射的参数序列，使得拉直映射在此序列上不收敛。
• 他们应用定理 2.2（关于全纯对应下乘子保持性）来推导出在假设连续性时的矛盾。
• 该论证依赖于：在杂交共轭下乘子保持性意味着通过不可约全纯对应实现共轭，而当存在非平凡临界关系时，这与次数界产生矛盾。
• 该方法通过分析拉直映射的连续截面的存在性，可推广至有理函数与超越整函数映射。

实验结果

研究问题

• RQ1 在何种条件下，次数 $ d \geq 3 $ 的多项式族中拉直映射是间断的？
• RQ2 为何间断性仅在非平凡 Fatou 临界关系存在时发生？
• RQ3 能否利用拟共形刚性与乘子保持性来证明高次族中拉直映射的间断性？
• RQ4 拉直映射的连续性是否依赖于临界关系的类型（例如，不相交型与非不相交型）？
• RQ5 该间断性结果能否推广至有理函数或超越整函数族？

主要发现

• 若 $ \lambda_0 $ 具有非平凡的 Fatou 临界关系，则在任意 Misiurewicz $ \lambda_0 $-可重正则化多项式处，拉直映射 $ \chi_{\lambda_0} $ 均为间断。
• 间断性出现在此类 Misiurewicz 参数的每个邻域中，意味着该映射在与分岔测度支集相交的任意开集上均不连续。
• 间断性源于假设连续性时出现的次数界矛盾：拉直映射本应具有次数 $ (\deg \tilde{f})^p $，但实际次数严格更小。
• 该结果可推广至有理函数与超越整函数映射：除非族在仿射共轭下等价于满足对所有 $ v $ 有 $ \delta(v) = d $ 的多项式族，否则在 Misiurewicz 参数附近不存在拉直映射的连续截面。
• 对于超越整函数映射，由于次数无限，无法通过次数比较推导矛盾，但共轭的存在性意味着对涉及映射的结构施加了约束。
• 本文提供了完整分类：$ \chi_{\lambda_0} $ 连续当且仅当 $ \lambda_0 $ 为不相交型，即所有 Fatou 临界点均为单重且位于不同轨道中。