[论文解读] Enumeration of totally real number fields of bounded root discriminant

John Voight|ArXiv.org|Feb 1, 2008

Mathematical Dynamics and Fractals被引用 8

一句话总结

本文完整枚举了所有根判别式 ≤ 14 的完全实数域，共识别出 1229 个此类域，且所有域的次数均不超过 9。作者基于闵可夫斯基数的几何理论与奥德利兹科界，采用先进的计算算法，系统生成并验证了本原域与非本原域，构建了一个全面的在线数据库，包含次数为 8 和 9 的完整表格。

ABSTRACT

We enumerate all totally real number fields F with root discriminant delta_F <= 14. There are 1229 such fields, each with degree [F:QQ] <= 9.

研究动机与目标

• 解决完全实数域根判别式 ≤ 14 的枚举问题（模同构）这一开放问题。
• 通过计算所有次数 ≤ 9 的此类域，扩展现有完全实数域表格，填补计算数论中的关键空白。
• 为算术几何、斯托尔克猜想以及数域塔的构造提供一个可证明完备且公开可访问的数据库。
• 验证并改进基于闵可夫斯基范数与格约化技术的数域枚举计算方法。

提出的方法

• 作者利用闵可夫斯基数的几何理论，对完全实域整数环中最小向量进行界定，利用闵可夫斯基范数 T₂(α) = ∑|σ_i(α)|²（其中 σ_i 为嵌入到 ℂ 的映射）。
• 应用无条件及 GRH 条件下的奥德利兹科界，将搜索范围限制在次数 n ≤ 10 且根判别式 δ_F ≤ 14 的域。
• 本原域通过搜索具有小判别式的首一不可约多项式生成，并利用根隔离与斯图尔姆序列验证所有根均为实数。
• 非本原域通过更小域的复合与扩张技术构建，经仔细过滤以避免重复，并确保同构类的唯一性。
• 计算通过 SageMath 系统实现，采用并行化的根隔离与判别式因式分解，并通过多次独立验证确保正确性。
• 最终列表通过与已知表格对比验证，确保未遗漏任何域，尤其在次数 8 和 9 时，此前数据不完整。

实验结果

研究问题

• RQ1 根判别式 ≤ 14 的完全实数域共有多少个？其次数与判别式分别是什么？
• RQ2 根判别式 ≤ 14 的次数为 8 和 9 的完全实数域的完整集合是什么？与现有数据库相比有何异同？
• RQ3 能否构建一个可证明完备且高效的算法，用于枚举所有根判别式不超过给定边界的完全实数域？
• RQ4 根判别式 ≤ 14 的完全实数域的最大次数是多少？该边界 δ_F ≤ 14 是否排除了所有次数为 10 或更高的域？
• RQ5 与以往方法相比，本文所用计算技术在速度、完备性与可扩展性方面有何改进？

主要发现

• 共有 1229 个根判别式 ≤ 14 的完全实数域，且所有域的次数均不超过 9。
• 不存在次数为 10 的完全实数域满足根判别式 ≤ 14，因为此类域的最小根判别式超过 14.083。
• 这 1229 个域的完整列表已在线提供，其中次数为 8 和 9 的域在表 3–4 中提供了详细表格。
• 数据库包含 1014 个次数 ≤ 7 的域，142 个次数为 8 的域，以及 73 个次数为 9 的域，所有域的根判别式均 ≤ 14。
• 该方法成功识别出 14 个根判别式为 14.000 的域，其中包括 13 个判别式为 1405817381 的域和 1 个判别式为 1410894053 的域。
• 计算共耗时约 100 个 CPU 小时，使用 SageMath 实现，并通过多次独立验证完成完整验证。