[論文レビュー] Polynomial dynamics

Alice Medvedev, Thomas Scanlon|arXiv (Cornell University)|Jan 15, 2009

Advanced Differential Equations and Dynamical Systems参考文献 6被引用数 5

ひとこと要約

この論文は、体自己同型 σ に対して Φ(X) = X^σ を満たす多項式力学系 Φ(x₁,…,xₙ) = (f₁(x₁),…,fₙ(xₙ)) における偏平不変代数的多様体 X ⊆ Aⁿ_C の記述を、C 上の多項式の合成的恒等式に関するRittの定理を精緻化することによって行っている。主な貢献は、このような多様体の明示的分類であり、これにより張の予想および力学的Manin-Mumford予想に関する新規な結果が得られ、ACFA₀モデルにおけるMorley次元1およびℵ₀-分類可能性といったモデル理論的性質の確立もなされた。

ABSTRACT

We study algebraic dynamical systems (and, more generally, σ-varieties) Φ: An C → An C given by coordinatewise univariate polynomials, Φ(x1,..., xn) = (f1(x1),..., fn(xn)) by refining an old theorem of Ritt on compositional identities amongst polynomials. Our main result is an explicit description of the skew-invariant varieties, that is, those algebraic varieties X ⊆ An C for which there is a field automorphism σ: C → C with Φ(X) = Xσ. As consequences, we deduce a variant of a conjecture of Zhang on the existence of rational points with Zariski dense forward orbits and a strong form of the dynamical Manin-Mumford conjecture for liftings of the Frobenius. We also show that in models of ACFA0, a trivial set defined by σ(x) = f(x) for f a polynomial has Morley rank 1 and is usually strongly minimal, that the induced structure on this set is ℵ0-categorical unless f is defined over a fixed field of a power of σ, and that nonorthogonality between two such sets is definable in families if f is defined over a fixed field of a power of σ. 1.

研究の動機と目的

• 一変数多項式間の合成的恒等式に関するRittの定理の精緻化を目的とする。
• 体自己同型 σ: C → C に対して Φ(X) = X^σ を満たす多項式写像 Φ による偏平不変代数的多様体 X ⊆ Aⁿ_C の特徴づけを目的とする。
• 偏平不変多様体の分類を応用し、有理点のZariski稠密な前軌道を持つという張の予想の変種を証明することを目的とする。
• Frobeniusの上昇写像に対して、力学的Manin-Mumford予想の強い形を確立することを目的とする。
• σ(x) = f(x) で定義される系について、Morley次元や分類可能性といったモデル理論的性質を解析することを目的とする。

提案手法

• 一変数多項式間の合成的関係を分析するための精緻化された代数的技法の使用。
• 体自己同型 σ: C → C による軌道と不変性を研究するための σ-多様体論の応用。
• 多項式写像の構造的分解を用いた偏平不変多様体の明示的記述の構成。
• ACFA₀におけるモデル理論的道具を用いて、σ(x) = f(x) で定義される定義可能集合を解析。
• このような定義可能集合におけるMorley次元および分類可能性の解析。
• 非直交性および家族における定義可能性を用いた、異なる多項式系間の関係の分析。

実験結果

リサーチクエスチョン

• RQ1 多項式写像 Φ および体自己同型 σ に対して、Φ(X) = X^σ を満たす偏平不変多様体 X ⊆ Aⁿ_C の完全な構造は何か？
• RQ2 偏平不変多様体の分類から、Zariski稠密な前軌道を持つ有理点の存在が導かれるか？
• RQ3 この分類を用いて、Frobeniusの上昇写像に対して力学的Manin-Mumford予想を強化し、証明可能か？
• RQ4 f が多項式であるとき、ACFA₀のモデルにおいて σ(x) = f(x) で定義される集合のMorley次元は何か？
• RQ5 f が σ のあるべき乗の固定体上に定義されているとき、σ(x) = f(x) で定義される集合の誘導構造が ℵ₀-分類可能であるか、あるいはこのような集合間の非直交性が家族において定義可能であるか、どのような条件下で成立するか？

主な発見

• 多項式写像 Φ(x₁,…,xₙ) = (f₁(x₁),…,fₙ(xₙ)) に対する偏平不変多様体は、精緻化されたRitt型分解定理を用いて完全に分類された。
• 得られた分類をもとに、有理点のZariski稠密な前軌道を持つという張の予想の変種が証明された。
• Frobeniusの上昇写像に対して、偏平不変多様体構造を用いて力学的Manin-Mumford予想の強い形が確立された。
• ACFA₀のモデルにおいて、多項式 f に対して σ(x) = f(x) で定義される集合はMorley次元1であり、通常は強く極小的である。
• この集合の誘導構造は、f が σ のべき乗の固定体上に定義されていない限り、ℵ₀-分類可能である。
• f が σ のべき乗の固定体上に定義されているとき、2つのこのような集合間の非直交性は家族において定義可能である。