[论文解读] Polynomial dynamics

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

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

一句话总结

本文将Ritt关于单变量多项式复合恒等式的定理进一步细化，以描述复数域上多项式动力系统Φ(x₁,…,xₙ) = (f₁(x₁),…,fₙ(xₙ))下的斜不变代数簇，其中Φ(X) = X^σ，σ为域自同构。主要贡献在于对这类代数簇的显式分类，从而推进了Zhang猜想与动力Mordell-Lang猜想的研究，并在ACFA₀模型中确立了诸如莫雷秩为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定理。
• 刻画在多项式映射Φ下满足Φ(X) = X^σ（σ为域自同构）的斜不变代数簇X ⊆ Aⁿ_C。
• 将该分类应用于证明Zhang关于有理点的Zariski稠密正向轨道猜想的变体。
• 为Frobenius提升情形建立动力Mordell-Lang猜想的强化形式。
• 分析ACFA₀模型中系统σ(x) = f(x)的模型论性质，如莫雷秩与范畴性。

提出的方法

• 运用改进的代数技术分析单变量多项式之间的复合关系。
• 应用σ-簇理论研究域自同构σ: C → C作用下的轨道与不变性。
• 通过多项式映射的结构分解，构建斜不变代数簇的显式描述。
• 利用ACFA₀中的模型论工具分析由σ(x) = f(x)定义的可定义集。
• 研究此类可定义集上诱导结构的莫雷秩与范畴性。
• 利用非正交性与族中可定义性分析不同多项式系统之间的关系。

实验结果

研究问题

• RQ1 满足Φ(X) = X^σ的斜不变代数簇X ⊆ Aⁿ_C的完整结构是什么，其中Φ为多项式映射，σ为域自同构？
• RQ2 斜不变代数簇的分类是否能推出存在一个有理点，其正向轨道在Zariski拓扑下稠密？
• RQ3 能否利用该分类强化并证明Frobenius提升情形下的动力Mordell-Lang猜想？
• RQ4 在ACFA₀模型中，当f为多项式时，由σ(x) = f(x)定义的集合的莫雷秩是多少？
• RQ5 在何种条件下，σ(x) = f(x)集合上的诱导结构是ℵ₀-范畴的？或此类集合之间的非正交性是否可在族中可定义？

主要发现

• 对于多项式映射Φ(x₁,…,xₙ) = (f₁(x₁),…,fₙ(xₙ))，其斜不变代数簇通过改进的Ritt型分解定理得到完全分类。
• 在所得分类基础上，证明了Zhang猜想关于有理点具有Zariski稠密正向轨道的变体。
• 利用斜不变代数簇结构，为Frobenius提升情形建立了动力Mordell-Lang猜想的强化形式。
• 在ACFA₀模型中，由σ(x) = f(x)（f为多项式）定义的集合具有莫雷秩1，且通常为强极小集。
• 该集合上的诱导结构是ℵ₀-范畴的，除非f定义在σ的某次幂的固定域上。
• 若f定义在σ的某次幂的固定域上，则两个此类集合之间的非正交性可在族中可定义。