[論文レビュー] Julia and John revisited

N Mihalache|Mar 27, 2008

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

ひとこと要約

本稿は、多項式力学におけるジョン領域に関する古典的カルソン＝ジョーンズ＝ヨコーズの定理を有理型写像へ拡張し、半双曲的有理型写像のファトウ成分がジョン領域であることを証明する。ただし、逆は成り立たない。さらに、新しい収縮条件（SumShrink）を用いて、非一様双曲的有理型写像の広いクラスに対してジュリア集合の局所的連結性を確立する。

ABSTRACT

We show that Fatou components of a semi-hyperbolic rational map are John domains and that the converse does not hold. This generalizes a famous result of Carleson, Jones and Yoccoz. We show that a connected Julia set is locally connected for a large class of non-uniformly hyperbolic rational maps. This class is more general than semi-hyperbolicity and includes Collet-Eckmann and Topological Collet-Eckmann maps and maps verifying a summability condition (as considered by Graczyk and Smirnov).

研究の動機と目的

• 多項式から有理型写像へカルソン＝ジョーンズ＝ヨコーズの定理を一般化し、半双曲的性がすべてのファトウ成分のジョン正則性を示すこと。
• 逆—ジョン正則性が半双曲的性を意味する—が有理型写像の文脈では成り立たないことを示すこと。
• コルレット＝エーケルマン、トポロジカル・コルレット＝エーケルマン、および和条件を満たす有理型写像を含む、非一様双曲的有理型写像の広いクラスに対して、ジュリア集合の局所的連結性を確立すること。
• 非一様双曲的性の統一的枠組みとして、成分の和的収縮（Summable Shrinking of Components, SumShrink）条件を導入・分析すること。
• SumShrink を満たす写像の連結ジュリア集合が局所的連結であることを示し、既知の結果を半双曲的ケースを超えて拡張すること。

提案手法

• 半双曲的有理型写像を、包あふれの周期軌道がなく、すべての臨界点がジュリア集合上にあり、そのω極限集合に属さない（非再帰的）ものとして定義する。
• 準双曲的距離を用いてジョン領域を特徴づけ、ジョン正則性と準双曲的測地線の制御の等価性を活用する。
• SumShrink 条件を導入：ある r > 0 と可 summable 列 (ωₙ) に対して、fⁿ による r-球の逆像の直径が ωₙ で有界である。
• SumShrink がパラボリック周期軌道、クレーマー点、回転領域の不在を示し、ジュリア集合が全球的球面か、良い位相的構造を持つことを保証する。
• 準双曲的距離と経路長の推定を用いて歪みを制御し、ジュリア集合内の小さな連結集合が小さな連結集合で結べることを示し、局所的連結性を導出する。
• 半双曲的写像が ExpShrink（指数的収縮）を満たすことは既知であり、これにより SumShrink が導かれるため、連結ファトウ成分に対して一様 ε-ジョン正則性が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 多項式において知られている、ファトウ成分のジョン正則性と半双曲的性の同値性が、一般の有理型写像に対しても成り立つか？
• RQ2 半双曲的クラスを超えて、有理型写像のジュリア集合の局所的連結性を確立できるか？
• RQ3 SumShrink 条件がジュリア集合の幾何的・位相的正則性に果たす役割は何か？
• RQ4 複素数のファトウ成分において、準双曲的距離がジョン領域を特徴づけるのにどのように役立つか？
• RQ5 グラチャック＝スミルノフの和条件は、ジュリア集合の位相的正則性をどの程度保証するのか？

主な発見

• 半双曲的有理型写像のすべてのファトウ成分はジョン領域である。これは多項式の場合の一般化である。
• 逆は成り立たない：ジョンファトウ成分をもつが半双曲的でない有理型写像が存在する。
• SumShrink 条件を満たす有理型写像について、ジュリア集合が連結ならば、局所的連結である。
• SumShrink 条件はパラボリック周期軌道、クレーマー点、回転領域の不在を示し、ジュリア集合の位相的単純性を保証する。
• 半双曲的有理型写像は ExpShrink 条件を満たし、これにより SumShrink が導かれるため、その連結ジュリア集合は局所的連結である。
• 証明では準双曲的幾何と経路長の推定を用いて歪みを制御し、ジュリア集合内の小さな連結集合が小さな連結集合で結べることを示し、局所的連結性を確立した。