[論文レビュー] Proof of the Branner-Hubbard conjucture on Cantor Julia sets

Weiyuan Qiu, Yongcheng Yin|ArXiv.org|Aug 2, 2006

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

ひとこと要約

この論文は、複素多項式のジュリア集合がカントール集合であるための必要十分条件として、フル・ジュリア集合のすべての臨界成分が非周期的であることのブラナ＝ハバード予想を証明する。臨界パズルピecesの入れ子構造（KSSネスト）とカーン＝リュービッチの被覆補題を用いて、脱進的かつ非周期的な臨界成分がフル・ジュリア集合に点成分をもたらすことを確立し、立方多項式に限らないすべての多項式に対して予想を確認する。

ABSTRACT

By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that the Julia set of a polynomial is a Cantor set if and only if each component of the filled-in Julia set containing critical points is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.

研究の動機と目的

• 多項式のジュリア集合がカントール集合である条件に関するブラナ＝ハバード予想を解決すること。
• 立方多項式に限った既知の結果を、すべての複素多項式（次数 ≥2）に拡張すること。
• 特に臨界点と周期性に関連する成分の構造を同定すること。
• フル・ジュリア集合のすべての脱進的成分が単一の点であることを証明し、主結果を強化すること。

提案手法

• コツォルスキー、シェン、ヴァン・ストリエンの研究に基づく、臨界パズルピecesの入れ子構造（KSSネスト）の構成。
• カーンとリュービッチによる被覆補題を応用し、パズル分解におけるアニュラスのモジュラスを制御すること。
• グリーン関数 G(z) の部分集合に基づくブラナ＝ハバードパズル構造の使用。
• 点と臨界点のダイナミクスをパズルレベルごとに追跡するためのテーブルシステム T(x) の定義。
• テーブルの臨界位置の分析により、周期的・準周期的・非周期的挙動を区別すること。
• グローツヒの不等式を用いて、無限大のモジュラス和が単一成分を示唆することを導出する。

実験結果

リサーチクエスチョン

• RQ1 多項式のジュリア集合がカントール集合である動的条件は何か？
• RQ2 すべての多項式次数において、臨界成分の非周期性がジュリア集合がカントール集合であるための必要十分条件であるか？
• RQ3 フル・ジュリア集合における脱進的成分の構造を完全に特徴づけられるか？
• RQ4 臨界成分に周期的挙動がない場合、その成分が単一の点であることを示せるか？
• RQ5 被覆補題とKSSネスト構成を用いて、複素力学系におけるグローバルな位相的構造を解明できるか？

主な発見

• 多項式のジュリア集合がカントール集合であるための必要十分条件は、フル・ジュリア集合のすべての臨界成分が非周期的であることである。
• KSSネスト構成は、すべての多項式次数にわたる臨界成分の分析に一様な枠組みを提供する。
• カーン＝リュービッチの被覆補題により、アニュラスのモジュラスを制御でき、単一成分の証明に不可欠である。
• フル・ジュリア集合のすべての脱進的成分が単一の点であることが証明された。これは多項式の次数に依存しない。
• ブラナとハバードによる立方多項式の場合の結果が、すべての次数 ≥2 の多項式に一般化された。
• 系として、ジュリア集合が非連結であるとき、フル・ジュリア集合の成分のほとんどすべて（可算個を除く）が単一成分であることが導かれる。