[論文レビュー] Combinatorial rigidity for unicritical polynomials

Artur Avila, Jeremy Kahn+2 more|ArXiv.org|Jul 12, 2005

Mathematical Dynamics and Fractals参考文献 7被引用数 4

ひとこと要約

本論文は、少なくとも有限回の再帰的再正規化であり、すべての周期的点が排除的であるようなunicritical多項式 $f_c: z \mapsto z^d + c$ に対して、組合せ的剛性を確立する。与えられたスケールまで同一の組合せ構造を持つ写像の間で、均一な擬等角準同型写像を構築し、複素解析的境界とテイヒミュラー理論を用いることで、このような写像が等角的に同型であることを示している。これにより、これらのパラメータにおけるMultibrot集合の局所的連結性が示され、Yoccozの定理が高次多項式へ一般化される。

ABSTRACT

We prove that any unicritical polynomial $f_c:z\mapsto z^d+c$ which is at most finitely renormalizable and has only repelling periodic points is combinatorially rigid. It implies that the connectedness locus (the ``Multibrot set'') is locally connected at the corresponding parameter values. It generalizes Yoccoz's Theorem for quadratics to the higher degree case.

研究の動機と目的

• degree $d \geq 2$ のunicritical多項式について、有限再正規化および排除的周期的軌道の下で組合せ的剛性を確立すること。
• Mandelbrot集合の局所的連結性に関するYoccozの定理を、高次元のMultibrot集合へ一般化すること。
• 与えられた条件下で、組合せ的に同値な写像が等角的に同型であることを示すこと。
• 強い動的幾何的制御を必要としない、擬同型写像とテイヒミュラー理論に基づく手法を開発すること。

提案手法

• unicritical多項式の力学に適した「お気に入りのネスト」であるパズルピースの族を構成する。
• 先行研究 [KL2] からのa priori 界を、このお気に入りのネストへと移行させ、すべてのスケールでの幾何的制御を達成する。
• テイヒミュラー理論を用いて、組合せ的に同値な写像のパズルピースが、テイヒミュラー距離において一様に有界であることを示す。
• 与えられた深さまで同じ組合せ構造を持つ写像の間で、均一な擬等角擬同型写像を確立する。
• プルバックの議論を用いて、擬同型写像を全動的平面へ拡張する。
• ネストされた小さなMultibrot集合のコピーにおけるストレートニング写像を用いて、一般の場合を非再正規化の場合へ還元する。

実験結果

リサーチクエスチョン

• RQ1 degree $d \geq 2$ のunicritical多項式について、有限再正規化および排除的周期的点の下で、組合せ的剛性を確立できるか？
• RQ2 均一に有界な擬等角擬同型写像が存在することは、このような写像について等角的同型写像を示すか？
• RQ3 二次の場合に用いられた証明手法を、高次元のunicritical多項式へ一般化できるか？
• RQ4 すべての周期的点が排除的である有限再正規化可能なunicritical写像に対応するパラメータにおけるMultibrot集合は、局所的に連結か？
• RQ5 これらの条件下で、パrameter空間（Multibrot集合）の構造は、組合せ的同値類とどのように関係するか？

主な発見

• 任意のdegree $d \geq 2$ のunicritical多項式 $f_c$ について、少なくとも有限回の再正規化であり、すべての周期的点が排除的である限り、組合せ的剛性が成立する。
• Multibrot集合 $\mathcal{M}_d$ は、このようなパrameter値 $c$ において局所的に連結である。
• 与えられた深さまで同じ組合せ構造を持つ写像の間には、均一な擬等角擬同型写像が存在し、その歪みの上限は初期データにのみ依存する。
• 証明は、動的な強い幾何的仮定を避け、代わりに複素解析的境界とテイヒミュラー理論に依存している。
• この結果により、Mandelbrot集合の局所的連結性に関するYoccozの定理が高次多項式へ一般化される。
• この手法は多臨界の場合へも拡張可能であるが、本論文では明確さのため、unicritical設定に焦点を当てる。