[论文解读] $\ell$-torsion bounds for the class group of number fields with an $\ell$-group as Galois group

Jürgen Klüners, Jiuya Wang|arXiv (Cornell University)|Mar 26, 2020

Algebraic Geometry and Number Theory参考文献 22被引用 4

一句话总结

本文在可解扩张的范畴内，确立了算术统计中三个核心猜想——理想类群的 $\varepsilon$-挠率界、Malle 关于数域扩张计数的猜想，以及判别式重数猜想——的等价性。它证明了 $\varepsilon$-扩张的 $\varepsilon$-挠率猜想，以及幂零群的 Malle 猜想与判别式重数猜想，通过伽罗瓦群与数域复合体的群论与判别式分析。

ABSTRACT

We describe the relations among the $\ell$-torsion conjecture, a conjecture of Malle giving an upper bound for the number of extensions, and the discriminant multiplicity conjecture. We prove that the latter two conjectures are equivalent in some sense. Altogether, the three conjectures are equivalent for the class of solvable groups. We then prove the $\ell$-torsion conjecture for $\ell$-groups and the other two conjectures for nilpotent groups.

研究动机与目标

• 澄清算术统计中 $\varepsilon$-挠率猜想、Malle 猜想与判别式重数猜想之间的相互关系。
• 证明 $\varepsilon$-扩张中 $\varepsilon$-挠率猜想的成立，其中伽罗瓦群为 $\varepsilon$-群。
• 为幂零伽罗瓦群建立 Malle 猜想与判别式重数猜想。
• 通过群论与判别式分析，证明三个猜想在可解扩张下等价。
• 通过伽罗瓦群结构，建立类群挠率、扩张计数与判别式重数之间的统一框架。

提出的方法

• 使用类域论与置换群作用分析 $\varepsilon$-扩张中类群的 $\varepsilon$-挠率。
• 应用希尔伯特分歧理论以控制数域复合体的判别式。
• 在群元素上使用指标函数 $\mathop{\rm ind}(g)$，以关联伽罗瓦群结构与计数函数。
• 分析 $G^k$ 中允许的置换子群，以推导给定判别式下扩张数的界。
• 应用判别式界 $\mathop{\rm Disc}(E/F) \leq C_2 D^{[E:\mathbb{Q}]}$ 以控制计数函数的增长。
• 使用归纳法与群的雅可比积，将结果从 $G$ 推广至 $G^k$，证明 $\sum_D a_D^k$ 的界。

实验结果

研究问题

• RQ1 对于可解扩张，$\varepsilon$-挠率猜想、Malle 猜想与判别式重数猜想是否等价？
• RQ2 $\varepsilon$-挠率猜想是否对所有 $\varepsilon$-扩张成立，其中伽罗瓦群为 $\varepsilon$-群？
• RQ3 Malle 猜想与判别式重数猜想能否对幂零伽罗瓦群成立？
• RQ4 群 $G^k$ 中元素的指标如何与 $G$ 中元素的指标相关？
• RQ5 固定判别式时，$G$-扩张的数量与群 $G$ 的结构之间有何关系？

主要发现

• 所有 $\varepsilon$-扩张中 $\varepsilon$-挠率猜想成立，即对所有 $\epsilon > 0$，有 $h_\ell(E) = O_{\epsilon,n,\ell,F}(D^\epsilon)$，其中 $D$ 为绝对判别式。
• 对幂零群 $G$，Malle 猜想与判别式重数猜想均成立，即 $N(F,G;X) = O_{\epsilon,F}(X^{1/a(G)+\epsilon})$ 与 $a_D = O_{\epsilon,F,n}(D^\epsilon)$。
• 在可解扩张中，三个猜想等价：猜想 B（Malle）蕴含猜想 C（判别式重数），反之亦然。
• 指标函数满足 $\mathop{\rm ind}(\tilde{g}) \geq d \cdot \mathop{\rm ind}(\bar{g})$，其中 $\tilde{g}$ 是 $\bar{g} \in G$ 的提升，该不等式控制了复合体中判别式的增长。
• 对复合体 $E = \prod_{i=1}^k E_i$，若 $\mathop{\rm Disc}(E_i/F) \leq X$，则判别式满足 $\mathop{\rm Disc}(E/F) \leq C_2 X^{[F:\mathbb{Q}] \cdot a(H) \cdot (\deg/\mathop{\rm ind})(G)}$，从而实现对计数函数的控制。
• 常数 $C_1 = [F:\mathbb{Q}] \cdot (\deg/\mathop{\rm ind})(G)$ 确保在猜想 B 成立下，有 $\sum_D a_D^k \ll_{k} X^{C_1 + \epsilon}$，从而证明了从 Malle 猜想到判别式重数猜想的蕴含关系。