$\alpha$-monogeneity of pure number fields: criterion and density

技术摘要：纯数域的 $\alpha$-单性 ( $\alpha$-Monogeneity)

问题陈述
本文研究了在何种条件下，自然阶 $\mathbb{Z}[\alpha]$ 是纯数域 $K = \mathbb{Q}(\alpha)$ 的极大阶（即全整环 $\mathcal{O}_K$），其中 $\alpha$ 是不可约多项式 $X^n - m$ 的根，且 $n \ge 2$，$m \in \mathbb{Z} \setminus \{0\}$。这种性质被称为 $\alpha$-单性。作者将其与一般的域单性（即对于某个生成元 $\theta$，$\mathcal{O}_K = \mathbb{Z}[\theta]$）区分开来，并指出虽然 $\alpha$-单性蕴含了域单性，但对于特定的生成元 $\alpha$ 而言，其逆命题并不一定成立。主要目标是建立 $\alpha$-单性的精确判别准则，并在度为 $n$ 的纯域族中计算满足该条件的参数 $m$ 的自然密度。

研究方法
作者结合了代数数论与解析数论的方法：

1. 通过 Dedekind 指数定理进行局部判别： 核心代数工具是 Dedekind 指数判别法，用于确定素数 $p$ 是否整除指数 $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$。作者将其应用于特定多项式 $f(X) = X^n - m$。
2. 判别式-指数恒等式： 他们利用恒等式 $\text{disc}(f) = [\mathcal{O}_K : \mathbb{Z}[\alpha]]^2 \text{disc}(\mathcal{O}_K)$，将指数的可整除素数集合限定在整除 $mn$ 的素数集中。
3. 估值分析： 通过涉及 $p$-adic 估值 ($\nu_p$) 的初等引理，作者将 $p|n$ 时指数整除性的条件简化为表达式 $m^p - m$ 的行为（具体为 $\nu_p(m^p - m)$）。
4. 密度计算： 解析部分涉及计算满足导出局部条件的整数 $m$ 的自然密度。这利用了用于无平方计数（square-free counting）的 Möbius 函数、用于组合局部约束的中国剩余定理，以及针对整除 $n$ 的素数的包含排除原理。作者还通过对算术级数的精细化处理，将参数计数转化为按判别式排序的域计数。

主要贡献与结果

1. 充分必要判别准则 (定理 1.2 & 2.7)：
   论文提供了一个简短且自洽的证明，证明 $\mathbb{Z}[\alpha] = \mathcal{O}_K$ 当且仅当：

   • $m$ 是无平方因子数（square-free）。
   • 对于每一个整除 $n$ 的素数 $p$，满足 $\nu_p(m^p - m) = 1$。

   这一结果将 Smith 关于根扩张的相对判别准则特化到了纯族 $X^n - m$。作者明确识别了指数 $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$ 的素数支撑集为：
   $$\{p : \nu_p(m) \ge 2\} \cup \{p \mid n : \nu_p(m^p - m) \ge 2\}$$

2. $\alpha$-单性参数的自然密度 (定理 1.1 & 3.6)：
   作者计算了使 $\mathbb{Z}[\alpha]$ 为极大的参数 $m$ 的自然密度 $\delta_n$。对于集合 $M_n^+(T) = \{1 \le m \le T : X^n - m \text{ 不可约}, \mathbb{Z}[\alpha] = \mathcal{O}_K\}$，其渐近计数为：
   $$M_n^+(X) = \delta_n X + O_n(X^{1/2})$$
   其中密度由下式给出：
   $$\delta_n = \frac{6}{\pi^2} \prod_{p \mid n} \frac{p}{p+1}$$
   相对于无平方正整数集，其密度为 $\prod_{p \mid n} \frac{p}{p+1}$。

3. 算术级数精细化 (推论 3.10)：
   论文将密度结果扩展到算术级数 $m \equiv a \pmod q$。它提供了显式的局部因子 $\lambda_p(q, a)$，根据模数 $q$ 的 $p$-adic 估值和剩余类来调整密度。这使得识别那些自动满足局部障碍的级数成为可能（推论 3.12）。

4. 局部障碍的独立性 (命题 3.15)：
   作者证明了整除 $n$ 的不同素数处的局部障碍集相对于无平方整数集是统计独立的。未能满足子集 $T \subseteq \{p : p \mid n\}$ 中特定局部条件的参数密度，等于各单个局部失败密度的乘积。

5. 判别式排序下的域计数 (定理 1.4 & 3.13)：
   通过利用 $\mathbb{Z}[\alpha] = \mathcal{O}_K$ 蕴含域判别式等于多项式判别式的特性，作者将参数计数转化为按判别式 $Y$ 排序的同构类域的计数。
   $$N_n(Y) \sim \begin{cases} \delta_n X & \text{若 } n \text{ 为奇数} \\ 2\delta_n X & \text{若 } n \text{ 为偶数} \end{cases}$$
   其中 $X = (Y/n^n)^{1/(n-1)}$。

6. 与域单性的比较 (推论 1.3)：
   论文阐明了 $\alpha$-单性与一般域单性的关系。对于 $n=2$，两者的条件显著不同（例如 $m \not\equiv 1 \pmod 4$）。对于 $n \ge 3$，在无平方参数集中，虽然域是单性的但 $\mathbb{Z}[\alpha] \neq \mathcal{O}_K$ 的相对密度为零。因此，对于 $n \ge 3$，密度 $\delta_n$ 有效地代表了度为 $n$ 的单纯域的密度。

意义与主张
作者声称，他们的工作仅使用 Dedekind 指数判别法，为该纯族提供了“简短的证明”，避免了在更广泛背景下使用的更复杂的机制。其主要意义在于为一参数族 $X^n - m$ 提供了精确的密度理论。不同于以往可能侧重于特定次数或使用一般根扩张相对准则的工作，本文提供了一个完整的局部-全局判别准则，以及一个仅取决于 $n$ 的根式的精确密度公式。

论文谦逊地指出，虽然其结果是针对纯族的，但它们完整地解决了该类情形下的 $\alpha$-单性问题。此外，通过建立“例外”情况（即域是单性的但不是通过 $\alpha$ 实现的）在 $n \ge 3$ 时相对于无平方整数集的密度为零，作者断言对于 $n \ge 3$ 的情形，其密度 $\delta_n$ 实际上代表了纯族中真正的域单性的绝对正参数密度。这项工作也对局部障碍模式的理解做出了贡献，展示了它们的独立性，并提供了构建保证单性的算术级数的工具。