2025-11-20T15:13:15.187092

Preperiodic integers for $x^d+c$ in large degree

Doyle, Hindes
Given a number field $K$, we completely classify the preperiodic portraits of the maps $x^d+c$ where $c\in K$ is an algebraic integer and $d$ is sufficiently large depending on the degree of $K$. Specifically, we show that there are exactly thirteen such portraits up to the natural action of roots of unity. In particular, we obtain some of the main results of recent work of the authors unconditionally for algebraic integers by replacing the use of the abc-conjecture with bounds on linear forms in logarithms. We then include applications of this work to several problems in semigroup dynamics, including the construction of irreducible polynomials and the classification of post-critically finite sets.
academic

Preperiodic integers for xd+cx^d+c in large degree

基本信息

  • 论文ID: 2510.14067
  • 标题: Preperiodic integers for xd+cx^d+c in large degree
  • 作者: John R. Doyle, Wade Hindes
  • 分类: math.NT (Number Theory)
  • 发表时间: 2025年10月15日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2510.14067

摘要

给定数域 KK，本文完全分类了映射 xd+cx^d+c 的前周期肖像，其中 c∈Kc\in K 是代数整数，dd 足够大（依赖于 KK 的次数）。具体而言，作者证明了在单位根的自然作用下，恰好存在十三种这样的肖像。特别地，通过用对数线性形式的界代替abc猜想的使用，作者对代数整数无条件地获得了其近期工作的主要结果。随后，本文将这一工作应用于半群动力学中的几个问题，包括不可约多项式的构造和后临界有限集的分类。

研究背景与动机

核心问题

本研究解决的是算术动力学中的一个核心问题：确定数域 KK 上次数至少为2的多项式 f∈K[x]f \in K[x] 的前周期点集合 PrePer(f,K)\text{PrePer}(f,K) 如何依赖于 ff 和 KK。

问题重要性

  1. Morton-Silverman猜想：预测 ∣PrePer(f,K)∣|\text{PrePer}(f,K)| 由仅依赖于 ff 和 KK 次数的常数界定
  2. 算术动力学基础：前周期点的分类是理解多项式动力学性质的关键
  3. Galois理论应用：与动力学Galois群理论密切相关

现有方法局限性

  1. 之前的结果要么条件限制（如 ff 定义在整数环上）
  2. 要么依赖于未证明的abc猜想
  3. 缺乏对一般情况的完整分类

研究动机

本文通过Baker方法中的对数线性形式界，替代abc猜想的使用，为代数整数情况提供无条件的结果，并给出完整的前周期肖像分类。

核心贡献

  1. 完全分类结果：证明了对于足够大的 dd，映射 fd,c(x)=xd+cf_{d,c}(x) = x^d + c（cc 为代数整数）恰好有13种可能的前周期肖像
  2. 无条件证明：用Baker方法替代abc猜想，获得对代数整数的无条件结果
  3. 统一界：建立了独立于次数 dd 的前周期点数量界
  4. 半群动力学应用：
    • 构造不可约多项式的新方法
    • 后临界有限集的分类
    • 有限轨道点的界定

方法详解

任务定义

给定数域 KK，有限位集合 SS（包含所有无穷位），以及 SS-整数环 oK,So_{K,S}，分类映射 fd,c(x)=xd+cf_{d,c}(x) = x^d + c（c∈oK,Sc \in o_{K,S}）在 dd 足够大时的所有可能前周期肖像。

核心技术方法

1. Baker方法替代abc猜想

关键引理 2.4（Baker方法）： 对于数域 KK，非零元素 α1,…,αn∈K\alpha_1, \ldots, \alpha_n \in K 和有理整数 b1,…,bnb_1, \ldots, b_n，如果 α1b1⋯αnbn−1≠0\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1 \neq 0，则存在正常数 c1(t,n)c_1(t,n) 和 V(t)V(t) 使得：

log⁡∣α1b1⋯αnbn−1∣v>−c1(t,n)N(v)log⁡N(v)(∏i=1nmax⁡{h(αi),V(t)})log⁡(max⁡{∣b1∣,…,∣bn∣,3})\log |\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1|_v > -c_1(t,n)\frac{N(v)}{\log N(v)}\left(\prod_{i=1}^n \max\{h(\alpha_i), V(t)\}\right)\log(\max\{|b_1|, \ldots, |b_n|, 3\})

2. 高度界估计

引理 2.2（Schinzel-Zassenhaus改进）： 对于次数为 tt 的数域 KK 和非零非单位根元素 α∈K\alpha \in K： max⁡v∈MK∣α∣v>1+2−(t+4)\max_{v \in M_K} |\alpha|_v > 1 + 2^{-(t+4)}

3. 前周期结构分析

通过分析 fd,cf_{d,c} 的前周期点结构，证明当 dd 足够大时：

  • 如果 h(c)>log⁡(3)h(c) > \log(3) 且存在前周期点，则所有前周期点形如 {ζy:ζ∈μK,d}\{\zeta y : \zeta \in \mu_{K,d}\}
  • 如果 h(c)≤log⁡(3)h(c) \leq \log(3)，则所有前周期点是0或单位根

技术创新点

  1. Baker方法的精细应用：巧妙地将对数线性形式界应用于 ∣αd−βd∣v|\alpha^d - \beta^d|_v 的估计
  2. 高度与位值的结合：利用 SS-house函数 HS(α)H_S(\alpha) 连接高度和位值估计
  3. 统一处理框架：建立了处理不同高度情况的统一方法

主要定理与结果

定理 1.1（主要结果）

设 K/QK/\mathbb{Q} 是数域，SS 是包含无穷位的有限位集合，oK,So_{K,S} 是 SS-整数环。存在常数 D(q,t)D(q,t)（仅依赖于 t=[K:Q]t = [K:\mathbb{Q}] 和 SS 中非无穷位的最大素数 qq），使得当 d≥D(q,t)d \geq D(q,t) 时，对所有 c∈oK,Sc \in o_{K,S}：

  1. 若 cc 非零，则 fd,cf_{d,c} 没有周期大于3的 KK-有理点
  2. 若 h(c)>log⁡(3)h(c) > \log(3) 且 PrePer(fd,c,K)\text{PrePer}(f_{d,c},K) 非空，则 c=y−yd 且 PrePer(fd,c,K)={ζy:ζ∈μK,d}c = y - y^d \text{ 且 } \text{PrePer}(f_{d,c},K) = \{\zeta y : \zeta \in \mu_{K,d}\} 对某个唯一的 y∈oK,Sy \in o_{K,S}
  3. 若 h(c)≤log⁡(3)h(c) \leq \log(3)，则所有 KK-有理前周期点是0或单位根

推论 1.2（统一界）

存在常数 B(q,t)B(q,t) 使得对所有 d≥2d \geq 2 和 c∈oK,Sc \in o_{K,S}： ∣PrePer(xd+c,K)∣≤B(q,t)|\text{PrePer}(x^d + c, K)| \leq B(q,t)

推论 1.3（肖像分类）

当 d>D(q,t)d > D(q,t) 且 c∈oK,Sc \in o_{K,S} 非零时，骨架 S(xd+c,K)S(x^d + c, K) 同构于空图或表1中的12个图之一。

半群动力学应用

定理 1.5（不可约多项式构造）

设 G=⟨xd+c1,…,xd+cs⟩G = \langle x^d + c_1, \ldots, x^d + c_s \rangle，如果满足：

  1. h(ci)>log⁡(3)h(c_i) > \log(3) 对所有 ii
  2. dd 的每个素因子 p>M(q,t)p > M(q,t)
  3. 生成元个数 s>2∣μK,d∣s > 2|\mu_{K,d}|

则 GG 包含正比例的不可约多项式当且仅当它包含至少一个不可约多项式。

推论 1.8（后临界有限性）

设 G=⟨xd+c1,…,xd+cs⟩G = \langle x^d + c_1, \ldots, x^d + c_s \rangle，若0的轨道包含有限轨道点，则存在仅依赖于 [Q(c1,…,cs):Q][\mathbb{Q}(c_1,\ldots,c_s):\mathbb{Q}] 的常数 s(t)s(t) 使得 s≤s(t)s \leq s(t)。

证明技术要点

1. 高度控制

利用典范高度函数 h^fd,c\hat{h}_{f_{d,c}} 和标准高度 hh 的关系： ∣h(α)−h^fd,c(α)∣≤1d−1(h(c)+log⁡2)|h(\alpha) - \hat{h}_{f_{d,c}}(\alpha)| \leq \frac{1}{d-1}(h(c) + \log 2)

2. Baker方法应用

对于 β/α\beta/\alpha 不是 dd 次单位根的情况，应用Baker方法得到： log⁡∣1−(β/α)d∣v>−C1(q,t)max⁡{h(α/β),V(t)}log⁡(d)\log |1 - (\beta/\alpha)^d|_v > -C_1(q,t)\max\{h(\alpha/\beta), V(t)\}\log(d)

3. 矛盾论证

通过精细的高度估计，证明当 dd 足够大时，某些配置导致矛盾，从而确定前周期结构。

相关工作

  1. Morton-Silverman猜想：关于前周期点数量的基础猜想
  2. Benedetto等人的工作：整数环上多项式的前周期点研究
  3. 作者之前的工作：基于abc猜想的条件性结果
  4. Baker理论：对数线性形式的下界理论

结论与讨论

主要结论

  1. 完全解决了大次数单临界多项式的前周期肖像分类问题
  2. 提供了无条件的、仅依赖于数域次数和分母的统一界
  3. 建立了前周期理论与半群动力学之间的深刻联系

局限性

  1. 结果仅适用于"足够大"的次数 dd
  2. 常数 D(q,t)D(q,t) 的具体值可能很大
  3. 方法主要适用于单临界多项式族

未来方向

  1. 将方法推广到更一般的多项式族
  2. 改进常数 D(q,t)D(q,t) 的估计
  3. 研究小次数情况的完整分类

深度评价

优点

  1. 理论突破：首次给出无条件的完整分类结果
  2. 方法创新：巧妙地用Baker方法替代abc猜想
  3. 应用广泛：在半群动力学中有重要应用
  4. 技术精湛：证明技术复杂且严谨

不足

  1. 常数依赖：关键常数可能非常大，限制实际应用
  2. 特殊情况：主要结果限于单临界多项式
  3. 计算复杂性：实际计算前周期肖像仍然困难

影响力

  1. 理论贡献：为算术动力学提供了重要的结构性结果
  2. 方法价值：Baker方法的应用为相关问题提供了新思路
  3. 应用潜力：在密码学和计算数论中可能有应用

适用场景

  1. 算术动力学的理论研究
  2. 多项式不可约性的构造性证明
  3. 动力学Galois群理论
  4. 半群动力学的分析

参考文献

论文引用了24篇重要文献，涵盖了算术动力学、Baker理论、高度理论等多个领域的经典和前沿工作，体现了研究的深度和广度。