[论文解读] Preperiodic points for quadratic polynomials over quadratic fields

John R. Doyle, Xander Faber+1 more|arXiv (Cornell University)|Sep 25, 2013

Algebraic Geometry and Number Theory参考文献 34被引用 12

一句话总结

本文利用一种新颖的算法计算有界高度点，对二次数域上二次多项式的前周期点可能的图结构进行了分类。研究提供了此类图的125个同构类的完整列表，支持了Morton-Silverman统一有界性猜想在二次情形下的成立，并为存在有限且完整的分类提供了强有力的实证与理论依据。

ABSTRACT

To each quadratic number field $K$ and each quadratic polynomial $f$ with $K$-coefficients, one can associate a finite directed graph $G(f,K)$ whose vertices are the $K$-rational preperiodic points for $f$, and whose edges reflect the action of $f$ on these points. This paper has two main goals. (1) For an abstract directed graph $G$, classify the pairs $(K,f)$ such that the isomorphism class of $G$ is realized by $G(f,K)$. We succeed completely for many graphs $G$ by applying a variety of dynamical and Diophantine techniques. (2) Give a complete description of the set of isomorphism classes of graphs that can be realized by some $G(f,K)$. A conjecture of Morton and Silverman implies that this set is finite. Based on our theoretical considerations and a wealth of empirical evidence derived from an algorithm that is developed in this paper, we speculate on a complete list of isomorphism classes of graphs that arise from quadratic polynomials over quadratic fields.

研究动机与目标

• 对所有满足前周期图 G(f, K) 同构于给定抽象有向图 G 的配对 (K, f) 进行分类。
• 确定在二次数域 K 上，二次多项式 f 的 G(f, K) 可实现图的同构类的完整集合。
• 为Morton-Silverman统一有界性猜想在二次映射作用于二次数域的情形，提供理论与计算上的证据。
• 开发并实现一种算法，用于计算数域 K 上二次多项式 f 的所有 K-有理前周期点，采用有界高度技术。

提出的方法

• 基于数域中有界高度点的枚举，开发一种新算法，利用Doyle与Krumm（2013）提出的技术，高效计算前周期点。
• 应用动力系统与丢番图技术，包括高度函数与算术几何，以限制可能的图结构。
• 利用典型高度理论与Northcott的有限性定理，确保前周期集是有限且可计算的。
• 使用计算代数系统，在多个二次数域上系统性地搜索并验证每种图结构的实现。
• 分析 f 在前周期点上的作用，构造以点为顶点、边为 P → f(P) 的有向图 G(f, K)。
• 在多个二次数域与多项式上进行广泛的计算搜索，以收集图列表完整性的实证证据。

实验结果

研究问题

• RQ1 哪些抽象有向图 G 可以作为某个二次数域 K 上的二次多项式 f 的 G(f, K)？
• RQ2 可实现为二次 f 与二次数域 K 的 G(f, K) 的图的同构类的完整集合是什么？
• RQ3 在二次数域上，二次多项式的 K-有理前周期点集合最大可能有多大？
• RQ4 Morton-Silverman统一有界性猜想是否对二次数域上的二次多项式成立？若成立，PrePer(f, K) 的最大大小是多少？
• RQ5 能否基于理论与计算证据，构建一个有限且完整的此类可实现图结构列表？

主要发现

• 本文识别出总共125个同构类的图，这些图可作为二次数域 K 上二次多项式 f 的 G(f, K) 实现。
• 对于许多图，作者通过结合丢番图与动力系统技术，实现了对所有实现该图的配对 (K, f) 的完整分类。
• 在任意二次数域上，前周期点的最大数量为14，由如 14(2,1,1)、14(3,1,1) 和 14(3,2) 等图实现。
• 作者提供了实现每张图的多项式与域的显式例子，包括在 Q(√5)、Q(√−7)、Q(√17) 等域上的情形，附带特定系数与前周期点集合。
• 计算证据强烈支持仅存在有限多个此类图的猜想，与Morton-Silverman统一有界性猜想一致。
• 该算法通过利用有界高度枚举，成功计算出给定 f 与 K 的所有前周期点，从而实现了在数域上的全面搜索。