[论文解读] p-adic logarithms for polynomial dynamics

Dragos Ghioca, Thomas J. Tucker|ArXiv.org|May 28, 2007

Algebraic Geometry and Number Theory参考文献 11被引用 4

一句话总结

本文通过使用 p-进对数函数和受 Chabauty 与 Coleman 启发的解析方法，建立了 p-进域上多项式作用于仿射空间时的 Mordell-Lang conjecture 的动力系统版本。证明了若一个仿射子概形不包含在多项式作用下不变的正维子概形，则其与任意轨道的交集是有限的——这是迈向算术动力系统中更广泛猜想的关键一步。

ABSTRACT

We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of the affine space A^g over a p-adic field, endowed with polynomial actions on each coordinate of A^g. We use analytic methods similar to the ones employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

研究动机与目标

• 建立仿射空间上多项式作用的 p-进动力系统版本的 Mordell-Lang 猜想。
• 解决猜想 1.2，该猜想提出：若子概形不包含不变子概形，则其与轨道的交点为有限多个。
• 将丢番图几何中的解析技术——特别是 Chabauty–Coleman 方法——推广至多项式动力系统。
• 证明：若轨道点在子概形中无限多，则必存在一个正维不变子概形。

提出的方法

• 利用每个坐标多项式关联的 p-进对数与指数映射，在吸引不动点附近线性化动力系统。
• 应用 p-进对数将轨道转化为 p-进向量空间中的一条直线，从而应用解析函数理论。
• 通过将子概形的零化理想与对数映射的逆及轨道上的指数映射复合，构造一个幂级数 F(u)。
• 应用解析函数的恒等定理：若 F 在具有极限点的集合上恒为零，则 F ≡ 0 恒成立。
• 证明：若 F 在某邻域上恒为零，则轨道的 Zariski 闭包必包含一个在映射下不变的正维子概形。
• 由此得出结论：若交集无限，则子概形必包含一个不变子概形，与假设矛盾。

实验结果

研究问题

• RQ1 在何种条件下，仿射空间的子概形与多项式轨道相交于有限多个点？
• RQ2 p-进解析方法能否被调整以证明多项式动力系统中的有限性结果？
• RQ3 若子概形中存在无限多个轨道点，是否意味着存在一个正维不变子概形？
• RQ4 如何利用 p-进对数函数线性化并分析多项式动力系统中吸引不动点附近的轨道？

主要发现

• 若 C_p 上 A^g 的子概形 V 不包含在坐标多项式作用下不变的正维子概形，则 A^g 中任意点的轨道与 V 的交集是有限的。
• 该证明依赖于在 p-进圆盘上构造一个在无限多个轨道点上恒为零的解析函数 F(u)，根据恒等定理迫使 F ≡ 0。
• 这意味着轨道位于由对数与指数映射的线性参数化所定义的子概形中，而该子概形必在动力系统下不变。
• 轨道的 Zariski 闭包包含一个在映射下不变的正维子概形，若交集无限，则与假设矛盾。
• 该结果在每个多项式满足 |a1| < 1 且系数在 p-赋值范数下有界时成立，确保收敛于吸引不动点。
• 推论 4.3 确认了当多项式定义在 C_p 上且 |a1| < 1、高阶系数有界时，从 p-进整数出发的轨道与子概形的交集是有限的。