[論文レビュー] Hyperbolicity is dense in the real quadratic family

Grzegorz Świątek|arXiv (Cornell University)|Jul 6, 1992

Mathematical Dynamics and Fractals参考文献 8被引用数 22

ひとこと要約

この論文は、非双曲的実二次多項式が有界な臨界軌道と非周期的キーニング系列を持つ場合、位相的同相性が擬似コンformal同相性を意味することを示すことにより、実二次族 $ f_a(x) = ax(1-x) $ における双曲的写像の稠密性を証明している。主な結果は、このような同相性類がパrameter空間においてシングルトンであるということであり、これに擬似コンフォーマル剛性を組み合わせることで、実二次族における双曲的稠密性が示される。

ABSTRACT

It is shown that for non-hyperbolic real quadratic polynomials topological and quasisymmetric conjugacy classes are the same. By quasiconformal rigidity, each class has only one representative in the quadratic family, which proves that hyperbolic maps are dense.

研究の動機と目的

• 非双曲的実二次多項式が有界な前向き臨界軌道と非周期的キーニング系列を持つ場合、その位相的同相性が擬似コンフォーマル同相性を意味することを確立すること。
• 擬似コンフォーマル剛性を活用して、二次族における擬似コンフォーマル同相性類が単一の点または開集合であることを証明すること。
• 非周期的キーニング系列を持つパrameterの集合が閉かつ局所的有限であることを示し、各キーニング系列に対して高々1つの写像が存在することを示すこと。
• 非双曲的写像が吸引的または中立的周期軌道を持たない区間が存在しないことを排除することで、Dense Hyperbolicity Conjecture を解決すること。
• ミルナーとターレソンの予想、すなわちキーニング不変量の単調増加性を、双曲的パrameterがパrameter空間に稠密であることを示すことにより確認すること。

提案手法

• 同じ非周期的キーニング系列と有界な臨界軌道を持つ2つの実二次多項式間の実直線上の擬対称同相性を示すことで、主問題を帰着させること。
• [17]および[18]の技術を用いて、実直線上の擬対称同相性を複素平面における擬コンフォーマル同相性に引きずり上げること。
• 実直線上の誘導過程を用いて力学を解析し、制御されたコンフォーマルモジュラスを持つアニュラスを構成すること。
• 正規化された記号と、コンフォーラルモジュラス $ s_i $, $ \lambda_i $、および分離インデックス $ \beta $ の推定値を用いて、引き戻し過程における歪みを制御すること。
• コンフォーラルモジュラスの超加法性を適用し、モジュラスが少なくとも $ \beta_0/2 $ であるアニュラスが存在し、それが引き戻されるとモジュラス $ \geq \beta_0/4 $ を持つアニュラスになることを保証することで、歪みの制御を維持すること。
• 帰納法を用いて、非近接帰還でさえも含めて、繰り返しの引き戻しにおいても分離インデックス $ \beta_0 $ が有効であることを示し、擬コンフォーマル制御を保つこと。

実験結果

リサーチクエスチョン

• RQ1 非周期的キーニング系列と有界な臨界軌道を持つ非双曲的実二次多項式の間で、位相的同相性が擬似コンフォーマル同相性を意味するか？
• RQ2 擬似コンフォーマル剛性を用いて、このような同相性類が実二次族に高々1つの写像しか含まないことを示せるか？
• RQ3 実二次多項式に吸引的または中立的周期軌道がない場合、位相的同相性が擬似コンフォーマル同相性を意味するか？
• RQ4 パrameter空間の区間が周期的キーニング系列を持つ非双曲的写像で満たされており、かつ吸引的周期軌道がないことは可能か？
• RQ5 非双曲的状況において位相的同相性と擬似コンフォーマル同相性の類が等価であるならば、実二次族における双曲的写像の稠密性が導かれるか？

主な発見

• 有界な前向き臨界軌道と非周期的キーニング系列を持つ2つの非双曲的実二次多項式の間で、位相的同相性が擬似コンフォーマル同相性を意味する。
• 擬似コンフォーマル剛性により、二次族における各擬似コンフォーマル同相性類は高々1つの代表元しか含まない。
• 与えられた非周期的キーニング系列を持つパrameterの集合は閉かつ局所的有限であるため、高々1つのこのような写像が存在する。
• 実二次多項式に吸引的または中立的周期軌道がない場合、その位相的同相性類はシングルトンまたはパrameter空間で開集合である。
• Dense Hyperbolicity Theorem が成立する：双曲的写像は実二次族 $ f_a(x) = ax(1-x) $ において稠密であり、吸引的周期軌道のない非双曲的写像の区間は存在しない。
• この結果により、ミルナーとターレソンの予想、すなわちキーニング系列が周期的でない限り厳密に増加する、が確認される。なぜなら、さもなければ非周期的キーニング系列の区間が存在し、それによって定理と矛盾するからである。