[论文解读] On the distribution of class groups of number fields

Gunter Malle|arXiv (Cornell University)|Dec 8, 2009

Advanced Mathematical Identities参考文献 5被引用 4

一句话总结

本文提出了在基域包含 $p$ 次单位根时（特别是 $p=2,3,5$），对数域类群的 Cohen–Lenstra 启发性方法的修改版本。作者基于单位秩 $u$ 和类群的 $p$-秩提出了一种新的概率公式，并通过 $C_2$、$C_3$、$D_5$ 和 $S_3$ 扩张的大量计算数据进行了验证，结果与预测高度一致，尤其在原始启发性方法失效的情况下表现更优。

ABSTRACT

We propose a modification of the predictions of the Cohen--Lenstra heuristic for class groups of number fields in the case where roots of unity are present in the base field. As evidence for this modified formula we provide a large set of computational data which show close agreement.

研究动机与目标

• 为解决经典 Cohen–Lenstra 启发性方法在基域包含 $p$ 次单位根（特别是 $p=2$）时预测类群分布失败的问题。
• 基于单位秩 $u$ 和群的 $p$-秩，提出一种修正后的概率公式，用于预测此类情况下相对类群 $p$-部分的分布。
• 通过多个数域族（$C_2$、$C_3$、$D_5$、$S_3$）的广泛计算证据，支持新猜想。
• 建立新公式与正特征函数域中已知结果之间的一致性，增强其理论合理性。

提出的方法

• 本文提出一种修改后的概率公式，用于有限 $p$-群 $H$ 作为相对类群的 Sylow $p$-子群出现的概率，其概率与 $\frac{c}{|H|^u \cdot |\operatorname{Aut}_{\mathcal{O}}(H)|}$ 成正比，其中 $u$ 为单位秩，$\mathcal{O}$ 为不可约特征标非平凡部分的值域域的整数环。
• 该方法依赖于伽罗瓦群 $G$ 作用于伽罗瓦闭包的单位群的假设，并利用该作用的特征标 $\chi_E$ 计算 $u = \langle \chi_E, \varphi \rangle$，即与非平凡部分中某个不可约特征标 $\varphi$ 的内积。
• 通过使用特定多项式（例如 $D_5$-扩张）和判别式界，对数域进行计算枚举，以生成具有受控伽罗瓦类型和符号的大量域集合。
• 将预测分布与多个家族中类群 $p$-秩的经验频率进行比较，包括 $\mathbb{Q}(\sqrt{-1})$ 上的 $C_3$-扩张、$\mathbb{Q}$ 上的 $D_5$-扩张，以及 $\mathbb{Q}(\sqrt{-3})$ 上的 $C_2$-扩张，结果按不同判别式范围列出表格。
• 当 $u=1$ 时，预测分布与 $C_3$-和 $D_5$-扩张（复符号）的数据高度一致；当 $u=2$ 时，预测与完全实 $D_5$-扩张一致。
• 该方法包括通过矩（均值、方差、偏度）和 $p$-秩频率表进行统计比较，显示随着判别式界增大，预测与观测分布趋于收敛。

实验结果

研究问题

• RQ1 当基域包含 $p$ 次单位根（特别是 $p=2$）时，经典 Cohen–Lenstra 启发性方法是否能准确预测类群 $p$-部分的分布？
• RQ2 为在存在 $p$ 次单位根时正确预测类群分布，Cohen–Lenstra 启发性方法需要进行何种修正？
• RQ3 基于单位秩 $u$ 的预测分布与具有指定伽罗瓦群和符号的数域大规模计算的实证数据相比如何？
• RQ4 该修改后的启发性方法是否与正特征函数域中的已知结果一致，特别是在基域包含适当单位根的情况下？
• RQ5 新公式能否再现 $C_3$、$D_5$ 和 $C_2$ 扩张中在含 $p$ 次单位根的域上观测到的 $p$-秩分布？

主要发现

• 在 $\mathbb{Q}(\sqrt{-1})$ 上的 $C_3$-扩张中，$p=2$ 且 $u=1$ 时，预测概率分布（公式~\eqref{eq:Z32u=1}）与实证数据高度吻合，高判别式界下 $r=0$ 的 2-秩类群频率稳定在约 0.853。
• 在 $\mathbb{Q}$ 上的 $D_5$-扩张中，复符号且 $u=1$ 时，预测分布（公式~\eqref{eq:Z32u=1r}}）与数据高度一致，判别式界 $\geq 10^{21}$ 时 $r=0$ 的频率达到 0.8992，接近预测值 0.8530。
• 在完全实 $D_5$-扩张中，$u=2$ 时，预测分布（公式~\eqref{eq:Z32u=2r}}）与实证数据一致，判别式界 $\geq 10^{21}$ 时 $r=0$ 的频率达到 0.9721，与预测值 0.9597 接近。
• 先前的计算数据已证实，原始 Cohen–Lenstra 启发性方法在存在 $p$ 次单位根（$p=2$）时失效，而新公式通过引入单位秩 $u$ 修正了这一问题。
• 该修改后的公式也与正特征函数域中的已知结果一致，其中在辛群中具有给定特征子空间（特征值为 1）的元素分布与预测的 $p$-群分布一致。
• 预测的更高阶矩（均值、方差、偏度）随判别式界增大而趋近理论值，支持新启发性方法的稳健性。