Statistics of the Genus Number of $S_3 \times C_2$ and $D_4$-fields

技术摘要：$S_3 \times C_2$ 与 $D_4$ 域类数统计

问题陈述
本文研究了按判别式排序的各类数域族中类数 $g_K$ 的统计分布。类数定义为类域 $K^*$ 在 $K$ 上的次数，用于衡量分歧对理想类群的贡献。虽然二次域（固定类数以零密度出现）以及某些三次和五次域（特定类数值以正密度出现）的类数分布已得到充分理解，但一般的二分法尚不明确。核心问题在于确定哪些数域族表现出固定类数的“正比例”现象，哪些表现出“零密度”现象。

方法论
作者采用了解析数论技术，特别是针对具有指定局部分歧条件的数域进行渐近计数。关键的方法论组成部分包括：

1. 类域论分解：利用 Ishida、Gauss 和 Fröhlich 的结果分解类域，并将类数表示为分歧素数及其局部行为（例如， tame 与 wild 分歧）的函数。
2. 复合域分析：对于形式为 $L = KF$（其中$K$和$F$线性无关）的域，证明其类域是各个类域的复合域（$L^* = K^F^$），从而允许将类数进行因式分解。
3. 计数公式：本文依赖于具有特定分歧约束的三次域（Taniguchi-Thorne）和 $D_4$ 域（Cohen-Diaz y Diaz-Olivier，经 McGown-Tucker 改进）的渐近公式。
4. 扩张的参数化：对于 $D_4$ 域，作者利用二次基域上二次扩张的参数化，通过 2-Selmer 群和射线类群来计数具有特定相对判别式的域。
5. 启发式论证：在最后部分，作者基于判别式中素因子的分布，使用启发式推理来支持关于零密度族的猜想。

主要贡献与结果

1. $S_3 \times C_2$ 域（六次域）
作者建立了具有固定类数 $g_K = 2^k 3^\ell$ 的 $S_3 \times C_2$ 域数量的精确渐近公式。

• 定理 1.1：对于整数 $k, \ell \ge 0$，判别式 $\le X$ 的此类域的数量由 $|Q^2_{k,\ell}(X)| = A(k)B(\ell)\zeta(2)^{-1}\sqrt{X} + O(X^{8/17+\epsilon})$ 给出。
• 意义：该结果表明，每个允许的类数都由 正比例 的 $S_3 \times C_2$ 域实现。本文提供了显式常数 $A(k)$ 和 $B(\ell)$ 以及数值比例表（例如，约 45% 的此类域具有类数 1）。

2. $S_3 \times C_q$ 域（$q \ge 5$ 为素数）
将分析扩展到 $S_3 \times C_q$ 域，类数取形式 $g_K = 3^\ell q^k$。

• 定理 1.2：作者证明，对于任意素数 $q \ge 5$ 和非负整数 $k, \ell$，此类域的数量为 $|Q^q_{k,\ell}(X)| = C_q(k, \ell) X^{1/q} + O(X^{16/17q})$。
• 意义：与 $q=2$ 的情况类似，这证实了在该族中，正比例 的域实现了任何允许的类数。

3. $D_4$ 域（四次域）
本文分析了伽罗瓦闭包为 $D_4$ 的四次域。

• 定理 1.3：对于每个 $a \in \mathbb{Z}_{\ge 0}$，类数为 $2^a$ 且判别式 $\le X$ 的 $D_4$ 域数量渐近于 $\delta_a X$，其中 $\delta_a > 0$。
• 意义：这确立了与 $S_3 \times C_q$ 族类似，$D_4$ 域族对所有允许的类数均表现出 正比例 现象。

4. 纯四次域
作者研究了 $D_4$ 域的一个子族：纯四次域 $K = \mathbb{Q}(\sqrt[4]{a})$。

• 定理 1.5：与一般的 $D_4$ 族相反，对于任何固定的类数 $2^a$，实现该类数的纯四次域的比例随着 $X \to \infty$ 而趋于零。
• 意义：这识别出了一个特定的族，其中尽管这些域是正密度族的子族，但 零密度 现象仍然发生。

5. 矩与猜想

• 矩：本文推导了 $S_3 \times C_q$ 域上类数的均值和高阶矩公式（第 7 节），表明对于高阶矩，分布严重偏离 1。
• 猜想 1.4：基于观察到的二分法（“非阿贝尔类”扩张具有正密度，而“阿贝尔类”或纯域具有零密度），作者猜想：对于任何有限群 $G$，如果一个域族允许阿贝尔扩张塔，则具有任何固定类数的域的密度为零。
• 启发式支持：第 8 节利用八次 $D_4$ 域和伽罗瓦群为 $C_7 \rtimes C_3$ 的域为该猜想提供了启发式证据，论证了避免特定分歧素数同余类的约束迫使密度为零。

工作意义
本文提供了跨越多个主要数域族的类数统计全景图。其主要贡献是严格证明了此前在三、五次域中观察到的“正比例”现象可推广至 $S_3 \times C_q$ 和一般 $D_4$ 域。反之，它强调了这种行为并非普遍适用，展示了纯四次域中的零密度现象。提出的猜想（1.4）提供了一个潜在的统一原则，将伽罗瓦群的结构（特别是阿贝尔塔的存在）与类数的统计分布联系起来，表明那些“接近阿贝尔”的族是固定类数变得稀少的族。