Counting metacyclic fields

技术摘要：亚循环域的计数

问题陈述
本文研究了亚循环域（metacyclic fields）的渐近枚举问题。具体而言，作者将亚循环域 $K$ 定义为纯域 $\mathbb{Q}(\sqrt[\ell]{D})$ 的伽罗瓦闭包，其中 $D \in \mathbb{Z}$ 且 $\ell$ 为奇素数。该域的次数为 $[K:\mathbb{Q}] = \ell(\ell-1)$，其伽罗瓦群同构于半直积 $\mathbb{Z}/\ell\mathbb{Z} \rtimes \mathbb{Z}/(\ell-1)\mathbb{Z}$。作者旨在确定计数函数 $N_\ell(X)$ 的渐近行为，该函数表示判别式 $|\Delta_K| \le X$ 的同构类亚循环域的数量。

虽然对于奇素数次纯域的计数定理已经建立（例如 Benli 对 $\ell \ge 5$ 的情况，以及 Cohen–Morra 对 $\ell=3$ 的情况），但本文指出，目前尚不存在针对亚循环域的此类定理。作者强调，亚循环域的计数结果并不能直接从纯域的结果中推导出来，因为从纯域到其伽罗瓦闭包的映射涉及非平凡的多重性（multiplicity）和结构复杂性，这类似于 $S_3$-三次域与 $S_3$-六次域之间的关系。

方法论
证明过程通过根据定义纯域 $\mathbb{Q}(\sqrt[\ell]{D})$ 的整数 $D$ 的算术性质，将问题分解为三个不同的情形：

1. 情形 1： $\ell$ 整除 $D$。
2. 情形 2： $\ell \nmid D$ 且 $D^{\ell-1} \not\equiv 1 \pmod{\ell^2}$。
3. 情形 3： $D^{\ell-1} \equiv 1 \pmod{\ell^2}$（这意味着 $\ell \nmid D$）。

对于每种情形，作者利用代数数论将亚循环域 $K$ 的判别式与扩张 $K/k$ 的分度（conductor）联系起来，其中 $k = \mathbb{Q}(\zeta_\ell)$。他们利用引理 1（源自 Mayer 的工作）将判别式 $\Delta_K$ 表示为分度 $f$ 与 $D$ 的根式（radical）的函数。

计数论证的核心在于将判别式界限转化为对 $D$ 的素因子乘积的界限。这使问题简化为对满足特定条件的平方自由整数 $n$（由不同于 $\ell$ 的素数组成）进行计数，并赋予权重函数 $m(f)$。该权重取决于 $D$ 的素因子 $q_j$ 满足特定模 $\ell^2$ 同余条件的个数。

为了评估这些加权和，作者建立了三个关键引理：

• 引理 3： 关于和式 $\sum_{n \le Y} \mu(n\ell)^2 (\ell-1)^{\omega(n)}$ 的渐近公式，利用了 Wirsing 定理和 Meissel–Mertens 常数的性质。
• 引理 4： 将引理 3 中的常数 $B_\ell$ 改写为所有素数的乘积形式。
• 引理 5： 关于涉及函数 $u(n)$ 的相关和式的上界，其中 $u(n)$ 计算满足 $q^{\ell-1} \equiv 1 \pmod{\ell^2}$ 的素因子个数。该上界被证明是比主项更低阶的，从而确保其不会影响主项的渐近系数。

主要贡献与结果
主要结果是 定理 1，它建立了如下渐近公式：
$$N_\ell(X) \sim A_\ell X^{\frac{1}{(\ell-1)^2}} (\log X)^{\ell-2}$$
常数 $A_\ell$ 被显式地给出为一个有理数乘以一个关于所有素数的欧拉乘积：
$$A_\ell = a_\ell \prod_p \left[ \left(1 + \frac{\ell-1}{p}\right) \left(1 - \frac{1}{p}\right)^{\ell-1} \right]$$
其中 $a_\ell$ 是一个涉及 $\ell$ 的特定有理表达式。

作者通过汇总三种情形的渐近贡献来导出这一结果：

• 命题 1 处理 $\ell \mid D$ 的情形，得出常数 $A^{(1)}_\ell$。
• 命题 2 处理 $\ell \nmid D$ 且 $D^{\ell-1} \not\equiv 1 \pmod{\ell^2}$ 的情形，得出 $A^{(2)}_\ell$。
• 命题 3 处理 $D^{\ell-1} \equiv 1 \pmod{\ell^2}$ 的情形，得出 $A^{(3)}_\ell$。

最终的常数 $A_\ell$ 是 $A^{(1)}_\ell + A^{(2)}_\ell + A^{(3)}_\ell$ 之和。

意义
本文声称提供了第一个关于奇素数次亚循环域的计数定理。通过建立这些域的渐近密度，这项工作将现有的关于纯域和循环扩张的数域计数文献进行了扩展。作者强调，由于纯域的分度与其伽罗瓦闭包的判别式之间存在复杂的联系，其推导过程需要“额外的论证”，而不仅仅是计数底层的纯域。该结果以带有显式常数的确定性渐近计数形式呈现，填补了数域分布分类中的空白。