[論文レビュー] The Dynamical Andre-Oort Conjecture for cubic polynomials

Dragos Ghioca, Hexi Ye|arXiv (Cornell University)|Mar 16, 2016

Advanced Combinatorial Mathematics参考文献 23被引用数 4

ひとこと要約

本稿は、3次多項式のモジュライ空間において、動的アンドレ＝オールポート予想の最初の非自明な場合を証明し、特徴づけられるのは、臨界軌道関係によって定義される部分多様体であることを示している。証明は、動的高さの議論、関数体上の多項式力学、および不確実な交差の理論を組み合わせており、このような部分多様体が2つの臨界点の軌道間の関係によって切り出されることを確立している。

ABSTRACT

In the moduli space of degree d polynomials, the special subvarieties are those cut out by critical orbit relations, and then the special points are the post-critically finite polynomials. It was conjectured that in the moduli space of degree d polynomials, the subvarieties containing a Zariski-dense set of special points are exactly these special subvarieties. In this article, we prove the first non-trivial case for this conjecture: the case of cubic polynomials.

研究の動機と目的

• 3次多項式のモジュライ空間における動的アンドレ＝オールポート予想の最初の非自明な場合を解決すること。
• ザリスキ・DNAなPost-Critically Finite (PCF) パrameterを含む既約部分多様体が、臨界軌道関係によって定義されるものに限ることを確立すること。
• Bogomolov型の主張を証明し、無限に多くの小さい臨界高さの点が存在することは、同じ幾何的構造を意味することを示すこと。
• 動的不確実な交差の枠組みを、3次多項式のモジュライ空間内の任意の曲線へと拡張し、パラメータ曲線に $ \mathbb{P}^1 $ への制限や退化の要件をなくすこと。

提案手法

• 臨界高さ不変量 $ \hat{h}_{\mathrm{crit}}(f) = \sum_{i=1}^{d-1} \hat{h}_f(c_i) $ を用いて、PCF写像を臨界高さが0であるものとして特徴づける。
• 関数体版のBogomolov予想を適用し、無限に多くの小さい高さの点が存在することは、臨界軌道関係の存在を示す。
• パラメータ曲線 $ C $ に対し、関数体 $ K(C) $ 上の多項式力学を用いて、2つの臨界点 $ \pm a $ の軌道を分析する。
• 十分大きな $ n $ に対して $ P_+(c_n^+) = P_-(c_n^-) $ を満たす多項式 $ P_{\pm}(z) \in K(C)[z] $ を構成し、軌道間の関数的関係を導く。
• 複素数体上での可換な多項式は、共通の写像の反復である必要があるという事実を用い、[MS14] および [SS95] の結果を応用して、$ g = f^r $ となることを導く。
• ジュリア集合の対称性を分析し、軌道関係から生じない非自明な可換写像は除外できることを示し、$ f^n(a) = f^m(-a) $ が $ C $ 上で恒等的に成り立つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 3次多項式のモジュライ空間内の既約曲線が、ザリスキ・DNAなPost-Critically Finiteパラメータを含む条件は何か？
• RQ2 パラメータ曲線を $ \mathbb{P}^1 $ に制限したり、退化を要件としなくても、3次多項式における動的アンドレ＝オールポート予想を証明できるか？
• RQ3 動的不確実な交差の文脈において、臨界高さに関するBogomolov型の主張は存在するか？
• RQ4 3次多項式の2つの臨界点の軌道が、いつ動的に関連づけられ、その関係がパラメータ空間上で関数方程式を導くのか？
• RQ5 PCFパラメータを無限に含む $ \mathrm{MP}_3 $ 内の部分多様体の正確な幾何的構造は何か？

主な発見

• 動的アンドレ＝オールポート予想は3次多項式のモジュライ空間において成立する：ザリスキ・DNAなPCFパラメータを含む任意の既約部分多様体は、臨界軌道関係によって切り出される。
• $ C \subset \mathrm{MP}_3 $ 上に無限に多くのPCF点が存在することは、$ C $ が $ \overline{\mathbb{Q}} $ 上に定義されており、$ C $ 上で臨界高さが恒等的に0であることを意味する。
• 曲線 $ C $ に無限に多くの小さい臨界高さの点が存在するならば、$ C $ は臨界軌道関係によって定義される部分多様体に含まれる必要がある。
• $ C $ 上に無限に多くのPCF点が存在することは、臨界点 $ \pm a $ のいずれかが $ C $ 上で恒常的に予期的であるか、または $ f^n(a) = f^m(-a) $ が $ C $ 上で恒等的に成り立つ $ n, m \geq 0 $ が存在することを意味する。
• 十分大きな $ n $ に対して $ P_+(c_n^+) = P_-(c_n^-) $ が成り立つことは、$ f^\ell $ と可換な多項式 $ g $ の存在を導き、それが $ f $ の反復である必要があるため、臨界軌道関係を強制する。
• この結論は、$ C $ が任意の曲線（$ \mathbb{P}^1 $ に限らない）であっても成り立つため、動的不確実な交差における主要な未解決事項が解決された。