[论文解读] Malle's conjecture for nonic Heisenberg extensions

Étienne Fouvry, Peter Koymans|arXiv (Cornell University)|Feb 18, 2021

Advanced Topics in Algebra参考文献 22被引用 6

一句话总结

本文通过建立判别式有界于 X 的此类扩张数量的渐近公式，证明了 ℚ 上九次 Heisenberg 扩张的 Malle 猜想。作者通过特征和分析与振动抵消，推导出明确的主项，表明计数以 c(Heis₃)X¹/⁴ 的形式增长，其中 c(Heis₃) > 0 为精确常数。

ABSTRACT

We prove Malle's conjecture for nonic Heisenberg extensions over $\mathbb{Q}$. Our main algebraic result shows that the number of nonic Heisenberg extensions over $\mathbb{Q}$ with discriminant bounded by $X$ is given by a character sum. We then extract the main term from this sum by exploiting oscillation of characters.

研究动机与目标

• 为 ℚ 上九次 Heisenberg 扩张建立 Malle 猜想，即伽罗瓦扩张，其伽罗瓦群同构于阶为 27 的非交换群。
• 为判别式 ≤ X 的此类扩张提供显式渐近公式，解决先前方法失效的情形。
• 计算渐近公式中的首项常数 c(Heis₃)，其计算具有非平凡性，源于判别式与局部条件的复杂算术约束。
• 将 Malle 猜想的适用范围扩展至非可解、非交换群，超越已知情形如 S₃、S₄、S₅ 和 D₄。
• 通过开发新的特征和方法，克服经典方法（如复合构造）在四次 D₄-扩张中失效的问题。

提出的方法

• 将九次 Heisenberg 扩张的数量表达为基于 Heisenberg 群 Heis₃ 结构的算术数据上的特征和。
• 利用分圆特征作用于共轭类，定义 Malle 猜想中指数 a(G) 与 b(G)，其中 a(Heis₃) = 1/4。
• 应用振动抵消技术，从特征和中提取主项，系统处理判别式与局部条件的求和。
• 引入一种改进的检测方法，利用单位根 (j, j²) 检测在 3 处的非平凡特征值，替代标准的 delta 函数。
• 通过第 §5.3 节的方法统一处理误差项，证明误差为 Oₐ(X¹/⁴(log X)⁻ᴬ)，对所有 A > 0 成立。
• 根据在 3 处的局部条件将计数问题划分为若干情形，利用情形分析 (C4–C7) 分别计算对主项的贡献。

实验结果

研究问题

• RQ1 Malle 猜想是否对 ℚ 上的九次 Heisenberg 扩张成立，特别是渐近增长为 X¹/⁴？
• RQ2 渐近公式中的首项常数 c(Heis₃) 是否可显式计算？
• RQ3 在 3 处的局部条件，特别是判别式中包含 3 的情形，如何影响此类扩张的计数？
• RQ4 能否利用狄利克雷特征的振动性质，从计数数域的特征和中提取主项？
• RQ5 为何用于 D₄-扩张的标准方法（如二次扩张的复合）在九次 Heisenberg 扩张中失效？

主要发现

• ℚ 上判别式 ≤ X 的九次 Heisenberg 扩张数量渐近为 c(Heis₃)X¹/⁴，其中 c(Heis₃) > 0 为显式常数。
• 通过振荡项的抵消，从特征和中提取主项，误差项为 Oₐ(X¹/⁴(log X)⁻ᴬ)，对所有 A > 0 成立。
• 常数 c(Heis₃) 显式计算为涉及 α₃、H₂ 以及 2 和 3 的幂的算术因子的组合。
• 证明区分了四种情形 (C4–C7)，基于在 3 处的局部行为，每种情形对主渐近项贡献独立项。
• 该方法成功克服了经典复合方法的失效，通过特征和分解与单位根的局部检测实现。
• 结果确认了 Malle 猜想对非交换群 Heis₃ 的成立，这是首个针对阶为 27 的非可解、非交换群的此类证明。