[论文解读] Holomorphic Removability of Julia Sets

Jeremy Kahn|ArXiv.org|Dec 31, 1998

Mathematical Dynamics and Fractals参考文献 10被引用 18

一句话总结

本文证明了当两个不动点均为排斥性且 $ f $ 不可重整化时，二次多项式 $ f(z) = z^2 + c $ 的 Julia 集 $ J_f $ 是全纯可移除的。作者利用 Yoccoz 拼图与拟共形畸变界，证明了任何在 $ J_f $ 外部全纯的黎曼球面上的同胚必在整个球面上全纯，从而推出此类 $ c $ 处 Mandelbrot 集的局部连通性。

ABSTRACT

Let $f(z) = z^2 + c$ be a quadratic polynomial, with c in the Mandelbrot set. Assume further that both fixed points of f are repelling, and that f is not renormalizable. Then we prove that the Julia set J of f is holomorphically removable in the sense that every homeomorphism of the complex plane to itself that is conformal off of J is in fact conformal on the entire complex plane. As a corollary, we deduce that the Mandelbrot Set is locally connected at such c.

研究动机与目标

• 建立满足特定动力条件的二次多项式 Julia 集的全纯可移除性。
• 通过证明更强的可移除性条件，扩展已知的关于 Julia 集局部连通性与零测度性质的结果。
• 通过全纯可移除性，为 Mandelbrot 集在某些参数处的局部连通性提供新证明。
• 将拟共形动力系统与 Yoccoz 拼图的技术推广至非平凡动力设定下的可移除性问题。

提出的方法

• 利用 Yoccoz 划分构造嵌套的拼图块，其直径一致趋于零。
• 应用拟共形畸变界以控制 Julia 集外部同胚的行为。
• 采用铺砌引理，并在有限重整化情形下使用非紧交集的铺砌引理改进版本。
• 引入关于边界局部全纯可移除性的新引理，以处理重整化设定下的非紧交集。
• 在重整化过程中，利用 $ J_f $ 与 $ J_{\hat{f}} $ 之间组合射线对的组合对应关系。
• 依赖于全纯可移除性与 $ K $-拟共形映射可移除性之间的等价性，基于 Lehto-Virtanen 类理论。

实验结果

研究问题

• RQ1 在何种动力条件下，二次多项式 Julia 集是全纯可移除的？
• RQ2 Julia 集的全纯可移除性是否能推出对应参数处 Mandelbrot 集的局部连通性？
• RQ3 如何为 Yoccoz 划分中嵌套拼图块建立拟共形畸变界？
• RQ4 该可移除性结果能否推广至有限重整化二次多项式？
• RQ5 是否可能将该技术推广至其他 Julia 集类，包括无限重整化或高次多项式映射的情形？

主要发现

• 当两个不动点均为排斥性且 $ f $ 不可重整化时，Julia 集 $ J_f $ 是全纯可移除的。
• 证明表明，任何在 $ J_f $ 外部全纯的复平面同胚必在整个平面上全纯，从而确认了全纯可移除性。
• 作为推论，Mandelbrot 集 $ M $ 在此类参数 $ c $ 处是局部连通的，扩展了 Yoccoz 的结果。
• 通过引入关于边界局部可移除性的新引理，该方法可推广至有限重整化映射。
• 该技术为证明 Mandelbrot 集边界本身的全纯可移除性提供了潜在路径。
• 结果表明，全纯可移除性可能对高次多项式 Julia 集以及某些无限重整化情形也成立。