[論文レビュー] An Algebraic Proof of Thurston's Rigidity for a Polynomial

Alon Y. Levy|arXiv (Cornell University)|Jan 10, 2012

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

ひとこと要約

本論文は、超吸引的周期軌道をもつ後期的有限（PCF）有理写像におけるターフォンの剛性の代数的証明を提供する。主に、すっきりした分岐を持つ写像に焦点を当て、このような写像が数体上に定義され、モジュライ空間の構成が有限であることを示す。主な結果として、絶対的すっきり分岐下では臨界値が整数的であるが、荒々しい分岐の場合は反例が生じる。

ABSTRACT

We study rational self-maps of $\mathbb{P}^{1}$ whose critical points all have finite forward orbit. Thurston's rigidity theorem states that outside a single well-understood family, there are finitely many such maps over $\mathbb{C}$ of fixed degree and critical orbit length. We provide an algebraic proof of this fact for tamely ramified maps for which at least one of the critical points is periodic. We also produce wildly ramified counterexamples.

研究の動機と目的

• 超吸引的周期軌道をもつ有理写像におけるターフォンの剛性を、解析的手法にとどまらず代数的手法によって確立すること。
• 後期的有限（PCF）写像のモジュライ空間と、特定の分岐条件の下でのその有限性の性質を調査すること。
• PCF構成と還元行動の文脈において、すっきり分岐写像と荒々しい分岐写像の役割を明確にすること。
• 局所体および大域体において、PCF写像が良い還元をもつとき、および臨界値が整数的になる条件を特定すること。
• Lattès族を唯一の例外として除くと、PCF写像のモジュライ空間が有限になる条件を同定すること。

提案手法

• 超吸引的周期軌道をもつすっきり分岐PCF写像の臨界値構成をパラメータ化する有限の $\overline{\mathbb{Q}}$-代数 $M'$ を構成する。
• 代数幾何学的手法を用いて、臨界ポーチェトを定義する方程式が有限スキームで交わることを示し、剛性を証明する。
• 有限群作用とガロア降下の理論を適用して、写像が $\overline{\mathbb{Q}}$ 上に定義されることを保証する。
• モジュライ空間 $\mathrm{M}_d$ 及びその次元 $2d-2$ の構造を活用して、ポーチェト方程式の解の数を分析する。
• 還元行動を制御し、臨界値の整数性を保証するために、絶対的すっきり分岐の概念を導入する。
• すっきり分岐写像が $2d-2$ 個の臨界点をもつことを利用して、$2d-2$ 個の連立方程式系を構築し、その解が有限であることを示す。

実験結果

リサーチクエスチョン

• RQ1 固定された臨界ポーチェトをもつPCF有理写像のモジュライ空間に、有限個の点しか含まない条件は何か？
• RQ2 ターフォンの剛性定理は、解析的または力学的技法に依存せず、純粋に代数的手法によって証明可能か？
• RQ3 超吸引的周期軌道をもつPCF写像について、素数 $p$ を法とする還元における臨界値の振る舞いはいかなるものか？
• RQ4 なぜ荒々しい分岐PCF写像は、ターフォンの剛性の有限性条件を満たさないのか？
• RQ5 正の特性におけるPCF構成は、どの程度まで特徴がゼロの体に持ち上げ可能であり、良い還元をもつか？

主な発見

• 超吸引的周期軌道をもつすっきり分岐PCF写像について、そのモジュライ空間は $\overline{\mathbb{Q}}$ 上で有限であり、ターフォンの剛性が代数的に確認された。
• このような写像の臨界値は、写像が絶対的すっきり分岐である任意の局所体の整数環上で整数的である。
• 絶対的すっきり分岐PCF多項式の $p$ を法とする還元は良い還元をもつが、荒々しい分岐の場合には成り立たない。
• 5-adically 吸引的固定点をもつ荒々しい分岐PCF写像（例）は、臨界ポーチェト解の有限性の反例を示す。
• 特性 $p$ において、PCF写像の数は特性ゼロにおけるものより厳密に少ない。これは、持ち上げにおける悪い還元の障害による。
• 臨界値の構成が悪い還元をもつ場合、写像がすっきり分岐であっても、特性 $p$ における構成は特性ゼロに持ち上げられないことがある。