The existence of infinitely many cubic fields with class group of exact 2-rank 1

技术摘要：具有精确 2-秩为 1 的三次域存在无穷多个

问题陈述
本文探讨了关于三次域中类群分布的 Cohen–Lenstra–Martinet–Malle 启发式猜想的一个特定情形。虽然该启发式猜想预测，对于任何素数 $p \neq 3$ 和有限阿贝尔 $p$-群 $A$，存在无穷多个三次域 $K$，使得其类群的 $p$-部分 $\text{Cl}_K[p^\infty]$ 同构于 $A$，但这在很大程度上仍未得到证明。具体而言，关于 $p$-秩 $r_p \text{Cl}_K$（即 $p$-部分中非平凡循环因子个数）取每个值 $r = 0, 1, 2, \dots$ 无穷多次的预测，目前仅在 $(p, r) = (2, 0)$ 的情况下得到了证明。

在此项工作之前，是否存在具有精确 2-秩为 1 的类群的无穷多个三次域尚属未知。构造具有大 2-秩的域是一个已知研究领域（已有结果显示秩 $\ge 6, 8, 11$），但建立“精确”的秩要困难得多，因为必须确保产生大秩的具体结构条件不会无意中产生更高的秩。

方法论
作者为主要定理提供了两种不同的证明，两者都依赖于前人的工作（[SSS25b] 和 [BSS25]），但采用了不同的策略来分析 2-秩的分布：

1. 异常法（通过 [SSS25b]）：

   • 策略： 该方法利用了被称为“单位单盖”（unit-monogenised）的三次域（其整数环为 $\mathbb{Z}[\alpha]$，其中 $\alpha$ 是一个单位）这一“稀薄”族系中的“异常”类群行为。
   • 特定族系： 作者关注子族系 $+B^2_{1,1}$，由多项式 $f(x) = x^3 + ax^2 + bx + 1$ 定义，其中 $(a, b) \pmod 4 \in \{(4, 4), (1, 2), (2, 1)\}$ 且 $a, b > 0$。
   • 机制： 在该族系中，可以证明对于几乎所有的成员都有 $|\text{Cl}[2]| \ge 2$。至关重要的是，作者确立了该族系中 $|\text{Cl}[2]|$ 平均值的上界，证明其 $\le 3$。
   • 技术创新： 由于该族系是稀薄的，标准的几何数论方法（Davenport 引理）并不适用。相反，作者采用有效动力学 [BO12] 来推导出平均值为 3 的上界。
   • 推导： 由于平均值被限制在 3 以内，且最小非平凡值为 2，因此必然存在正比例的域满足 $|\text{Cl}[2]| = 2$（对应于精确 2-秩 1）。一个引理确保了每个三次域在该多项式族系中最多出现有限次，从而保证了无穷性。

2. 矩方法（通过 [BSS25]）：

   • 策略： 该方法利用了全实单盖三次域族系（$F_{1,+}$）中 2-挠子群大小 $|\text{Cl}[2]|$ 的一阶和二阶矩。
   • 数据： 先前的结果已经确定平均 $|\text{Cl}[2]|$ 为 $3/2$，且平均 $|\text{Cl}[2]|^2$ 的上界为 3。
   • 几何论证： 作者分析了可能矩向量集合 $\{(2^n, 2^{2n}) : n \in \mathbb{N}\}$ 的闭凸包。他们证明了观测到的矩向量 $(3/2, \beta)$，其中 $\beta \le 3$，位于排除点 $(2, 4)$ 后的集合的凸包之外。
   • 推导： 这种几何上的不可能意味着 $|\text{Cl}[2]| = 2$ 的比例不可能为零。因此，正比例的全实单盖三次域具有精确 2-秩 1。

关键结果

• 定理 1： 存在无穷多个类群具有精确 2-秩 1 的三次域。
• 定理 2： 判别式 $|D_K| < X$ 的此类域的数量满足下界 $\gg X^{5/6}$。该界限是通过矩方法得出的。异常法得到的界限较弱，为 $X^{1/2}$。
• 定理 3： 无穷多个复三次域具有 2-秩为 1 或 2 的类群。（复三次域的矩向量允许存在一种二分情况，即秩为 1 的比例可能为零，但秩为 1 或 2 的比例是正的）。

意义与主张
本文声称解决了三次域中 $(p, r) = (2, 1)$ 的情形，这是除了平凡的秩 0 情况之外此前一直悬而未决的问题。其意义在于两方面：

1. 概念性的转向： “异常法”代表了对主流策略的偏离。它表明，仅通过对一阶矩（平均大小）的上界，就可以实现建立特定秩存在的证明，而矩方法则需要一阶矩的下界和二阶矩的上界。
2. 定量进展： 本文给出了这些域计数的显式渐近下界（$X^{5/6}$ 和 $X^{1/2}$），尽管作者指出这些目前仍低于 Cohen–Lenstra–Martinet–Malle 启发式猜想所预测的 $X$。

作者谦虚地指出，虽然异常法对于秩 1 非常强大，但若要将其推广到更高的精确秩（例如秩 2），则需要对更高阶矩建立更强的界限，他们预见到这一点但尚未证明。这项工作高度依赖于 [SSS25b] 和 [BSS25] 中建立的结构性见解和界限，利用它们来弥合平均行为与特定秩配置存在性之间的差距。