2025-11-23T17:22:17.255019

The number of rational iterated preimages of the origin under unicritical polynomial maps

Sano
We study rational iterated preimages of the origin under unicritical maps $f_{d,c}(x)=x^d+c$. Earlier works of Faber--Hutz--Stoll and Hutz--Hyde--Krause established finiteness and conditional bounds in the quadratic case. Building on this, we prove that for $d=2$ and $c \in \mathbb Q\setminus\{0,-1\}$ there are no rational fourth preimages of the origin, and for all $d \geq 3$ there are no rational second preimages outside trivial cases. The proof relies on geometric analysis of preimage curves, the elliptic Chabauty method, and Diophantine reduction. As a result, we determine the number of rational iterated preimages of $0$ under $f_{d,c}$ for all $d\geq 2$.
academic

The number of rational iterated preimages of the origin under unicritical polynomial maps

基本信息

  • 论文ID: 2510.14397
  • 标题: The number of rational iterated preimages of the origin under unicritical polynomial maps
  • 作者: Kaoru Sano (NTT Institute for Fundamental Mathematics)
  • 分类: math.NT (数论), math.AG (代数几何), math.DS (动力系统)
  • 发表时间: 2025年10月17日
  • 论文链接: https://arxiv.org/abs/2510.14397v1

摘要

本文研究单临界映射 fd,c(x)=xd+cf_{d,c}(x) = x^d + c 下原点的有理迭代原像。在 Faber-Hutz-Stoll 和 Hutz-Hyde-Krause 早期工作建立的二次情况有限性和条件界的基础上，我们证明了对于 d=2d=2 且 c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}，原点不存在有理四次原像；对于所有 d≥3d \geq 3，除平凡情况外不存在有理二次原像。证明依赖于原像曲线的几何分析、椭圆Chabauty方法和丢番图约化。因此，我们确定了所有 d≥2d \geq 2 情况下 fd,cf_{d,c} 的原点有理迭代原像的数量。

研究背景与动机

问题描述

本文研究的核心问题是确定单临界多项式映射 fd,c:x↦xd+cf_{d,c}: x \mapsto x^d + c 下原点的有理迭代原像的数量。具体来说，对于给定的数域 LL，我们关心集合 ⋃N≥1fd,c−N(a)(L)={x∈A1(L)∣fd,c∘N(x)=a for some N≥1}\bigcup_{N \geq 1} f_{d,c}^{-N}(a)(L) = \{x \in A^1(L) | f_{d,c}^{\circ N}(x) = a \text{ for some } N \geq 1\} 的大小，其中 fd,c∘Nf_{d,c}^{\circ N} 表示 fd,cf_{d,c} 的 NN 次迭代。

研究重要性

  1. 动力系统理论: 这个问题与多项式动力系统的有理点分布密切相关，是代数动力系统中的基本问题
  2. 算术几何: 涉及到高次代数曲线上有理点的分布，连接了数论和代数几何
  3. Galois表示理论: 从树状表示的角度，这与绝对Galois群的作用相关

现有工作的局限性

  • Faber-Hutz-Stoll 等人的工作主要集中在二次情况 (d=2d=2)
  • 对于四次原像的不存在性，之前的结果依赖于Birch-Swinnerton-Dyer猜想
  • 对于 d≥3d \geq 3 的情况缺乏系统性研究

核心贡献

  1. 无条件证明: 证明了对于 d=2d=2 且 c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}，f2,cf_{2,c} 不存在原点的有理四次原像，去除了之前结果对BSD猜想的依赖
  2. 高次情况的完整解决: 证明了对于 d≥3d \geq 3，除平凡情况外不存在原点的有理二次原像
  3. 完整的分类结果: 给出了所有 d≥2d \geq 2 情况下有理迭代原像数量的精确公式
  4. 方法创新: 结合了椭圆Chabauty方法、几何分析和丢番图约化的综合技术

方法详解

主要结果

定理 1.3:

  • (i) 对于有理数 c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}，映射 f2,cf_{2,c} 不存在原点的有理四次原像
  • (ii) 对于整数 d≥3d \geq 3 和有理数 c∈Qc \in \mathbb{Q}，在适当条件下，映射 fd,cf_{d,c} 不存在原点的有理二次原像

技术路线

二次情况 (d=2d=2) 的证明策略

  1. 几何约化: 利用度数为2的覆盖映射 π:Xpre(2,4,0)→Xpre(2,3,0)≅E\pi: X^{\text{pre}}(2,4,0) \to X^{\text{pre}}(2,3,0) \cong E 其中 E:v2=u3−u+1E: v^2 = u^3 - u + 1 是椭圆曲线
  2. 分歧分析: 分析在 E[2]E[2] 上的分歧，构造适当的基变换得到有限平坦双重覆盖
  3. 曲线约化: 将问题约化到较低亏格的曲线 CDC_D，其中 DD 由类 [D]∈R×/(R×)2[D] \in R^\times/(R^\times)^2 分类，R=Z[1/2,1/23]R = \mathbb{Z}[1/2, 1/23]

椭圆Chabauty方法的应用

定理 1.5: 对于 D=(−1)ε02ε123ε2D = (-1)^{\varepsilon_0} 2^{\varepsilon_1} 23^{\varepsilon_2} (εi∈{0,1}\varepsilon_i \in \{0,1\})，考虑仿射平面曲线 CD:D2y4=x3−x+1C_D: D^2 y^4 = x^3 - x + 1

证明 CD(Q)C_D(\mathbb{Q}) 非空当且仅当 D=±1D = \pm 1，且 C1(Q)=C−1(Q)={(0,±1),(±1,±1)}C_1(\mathbb{Q}) = C_{-1}(\mathbb{Q}) = \{(0,\pm 1), (\pm 1, \pm 1)\}

高次情况 (d≥3d \geq 3) 的证明

利用Darmon-Merel定理，该定理基于椭圆曲线的模性： 定理 4.1: 当 n≥4n \geq 4 时，方程 xn+yn=z2x^n + y^n = z^2 没有非平凡的本原解。

通过巧妙的代数变换，将有理二次原像的存在性问题转化为此类丢番图方程。

技术创新点

  1. 避免BSD猜想: 通过椭圆Chabauty方法避免了对Birch-Swinnerton-Dyer猜想的依赖
  2. 几何-算术结合: 巧妙结合了代数几何的覆盖理论和数论的有理点问题
  3. 计算可行性: 相比广义n-descent，该方法计算代价较小且不需要额外的猜想

实验设置

计算工具

使用Magma计算代数系统进行：

  1. 椭圆曲线的Mordell-Weil群计算
  2. 有理点的确定
  3. Chabauty方法的实现

关键计算

  1. 椭圆曲线 E:v2=u3−u+1E: v^2 = u^3 - u + 1:
    • Mordell-Weil群: E(Q)≅ZE(\mathbb{Q}) \cong \mathbb{Z}，由 Q0=(1,−1)Q_0 = (1,-1) 生成
    • 已知的10个有理点在 Xpre(2,4,0)X^{\text{pre}}(2,4,0) 中
  2. 数域 K=Q(θ)K = \mathbb{Q}(\theta) (其中 θ3−θ+1=0\theta^3 - \theta + 1 = 0):
    • 判别式: −23-23
    • 类数: 1
    • 单位群: 由 ±1\pm 1 和 θ\theta 生成

实验结果

主要结果

推论 1.4:

  • 对于偶数 d≥3d \geq 3: κ(d,0,Q)=3\kappa(d,0,\mathbb{Q}) = 3
  • 对于奇数 d≥3d \geq 3: κ(d,0,Q)=1\kappa(d,0,\mathbb{Q}) = 1
  • 对于 d=2d = 2: κ(2,0,Q)=6\kappa(2,0,\mathbb{Q}) = 6

具体的有理迭代原像数量

对于不同的参数 cc，给出了精确的有理迭代原像数量：

偶数 d≥3d \geq 3:

3 & \text{if } c = -1 \\ 1 & \text{if } c = 0 \\ 2 & \text{if } c = -r^d \text{ for } r \in \mathbb{Q}\setminus\{0,\pm 1\} \\ 0 & \text{otherwise} \end{cases}$$ **奇数 $d \geq 3$**: $$\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 1 & \text{if } c = -r^d \text{ for some } r \in \mathbb{Q} \\ 0 & \text{otherwise} \end{cases}$$ ### 计算验证 通过Magma代码验证了椭圆Chabauty方法的计算结果，确认了曲线 $C_D$ 的有理点分布。 ## 相关工作 ### 历史发展 1. **Faber-Hutz-Stoll等 (2009)**: 建立了二次情况的有限性 2. **Hutz-Hyde-Krause (2011)**: 给出了条件界 3. **Faber-Hutz-Stoll (2011)**: 在BSD猜想下给出了部分结果 ### 相关理论 1. **树状表示理论**: 从Galois表示的角度理解迭代原像 2. **椭圆曲线的Chabauty方法**: 用于确定代数曲线上的有理点 3. **模形式理论**: Darmon-Merel定理依赖于椭圆曲线的模性 ## 结论与讨论 ### 主要结论 本文完全解决了单临界多项式映射下原点有理迭代原像数量的问题，给出了所有 $d \geq 2$ 情况的精确结果。 ### 理论意义 1. **完善了动力系统的算术理论**: 为多项式动力系统的有理点分布提供了完整图像 2. **展示了方法的有效性**: 椭圆Chabauty方法在此类问题中的成功应用 3. **连接不同数学分支**: 体现了代数几何、数论和动力系统的深度联系 ### 局限性 1. **方法的适用范围**: 主要适用于单临界映射，对更一般的多项式映射需要新的技术 2. **计算复杂性**: 虽然比广义n-descent简单，但对于更高次的情况仍有计算挑战 ### 未来方向 1. **推广到更一般的映射**: 考虑多临界点的情况 2. **其他数域的研究**: 扩展到一般的数域 3. **椭圆除法序列**: 应用到椭圆除法序列中完全幂的研究 ## 深度评价 ### 优点 1. **理论贡献重大**: 完全解决了一个重要的开放问题 2. **方法创新**: 巧妙结合多种数学工具，避免了对未解决猜想的依赖 3. **结果完整**: 给出了所有情况的精确答案 4. **计算可行**: 提供了实际可行的算法和代码 ### 技术亮点 1. **几何约化的精妙性**: 将高亏格曲线问题约化到椭圆曲线 2. **Chabauty方法的有效应用**: 在具体问题中展现了该方法的威力 3. **模性定理的巧妙运用**: 利用现代数论的深刻结果 ### 影响力 1. **对领域的贡献**: 为代数动力系统的算术理论做出了重要贡献 2. **方法论价值**: 展示了椭圆Chabauty方法在丢番图问题中的潜力 3. **实用价值**: 为相关计算问题提供了有效工具 ### 适用场景 1. **动力系统研究**: 多项式映射的有理点分布 2. **丢番图方程**: 高次代数曲线上的有理点问题 3. **算术几何**: 椭圆曲线和高亏格曲线的算术性质研究 ## 参考文献 论文引用了多个重要的数学文献，包括： - Darmon-Merel关于广义费马方程的工作 - Bruin关于椭圆Chabauty方法的研究 - Wiles等人关于椭圆曲线模性的奠基性工作 - 相关的代数动力系统文献 --- 这篇论文代表了现代数论中理论与计算相结合的优秀范例，通过精巧的数学技巧解决了一个具有挑战性的问题，为相关领域的发展做出了重要贡献。