Consecutive pure fields of the form $\mathbb{Q}\left(\sqrt[l]{a}\right)$ with large class numbers

技术摘要：具有大类数的形如 $\mathbb{Q}(\sqrt[l]{a})$ 的连续纯域

问题陈述
本文研究了建立具有任意大类数的连续纯数域存在性的问题。虽然之前的研究已成功证明了对于二次域（$l=2$）和纯三次域（$l=3$），分别存在至少 $x^{1/2-o(1)}$ 和 $x^{1/3-o(1)}$ 个整数 $d \le x$，但将这一结论推广到素数次数 $l \ge 3$ 的纯域仍是一个开放问题。作者旨在证明，对于固定的正整数 $k$ 和有理素数 $l \ge 3$，至少存在 $x^{1/l-o(1)}$ 个整数 $1 \le d \le x$，使得连续纯域 $\mathbb{Q}(\sqrt[l]{d+1}), \dots, \mathbb{Q}(\sqrt[l]{d+k}]$ 具有任意大的类数。

方法论与假设
证明依赖于解析数论、朗兰兹纲领（Langlands program）以及关于正则量（regulator）大小的特定假设的结合。

1. 朗兰兹猜想（Langlands Conjecture）： 作者调用朗兰兹猜想（具体为 [Bum97, Conjecture 1.8.1]），将阿廷 $L$-函数（Artin $L$-functions）与自守表示联系起来。这使得他们能够根据 $L(1, \tilde{\pi}_{d_K})$ 来表达类数公式，其中 $\tilde{\pi}$ 是与该纯域的伽罗瓦闭包相关的自守表示。
2. 假设 1（正则量界限）： 方法论中的一个关键组成部分是假设 1，该假设对形式为 $a = n^l + r$（其中 $r | l n^{l-1}$）的域的正则量 $R_{\mathbb{Q}(\sqrt[l]{a})}$ 提出了上界。假设为：
   $$R_{\mathbb{Q}(\sqrt[l]{a})} = o\left(\sqrt{D_{\mathbb{Q}(\sqrt[l]{a})} \log \log D_{\mathbb{Q}(\sqrt[l]{a})}}\right)$$
   作者指出，虽然兰道（Landau）的界限提供了一个较大的估计值（$O(\sqrt{D} \log^{l-1} D)$），但对于证明 $l > 3$ 时具有任意大的类数是不够的。作者提供了 $l=5$ 时支持假设 1 的计算证据，但也承认证明该界限的严格证明仍是一个开放问题。
3. 无零区域（Zero-Free Regions）： 利用 Duke 和 Daileda 结果的类似物，作者建立了相关 $L$-函数的无零区域，从而允许通过在 $(\log D)^\epsilon$ 处截断的狄利克雷级数来逼近 $\log L(1, \tilde{\pi})$。
4. 筛法与剩余类： 证明通过筛法构造特定的整数 $d$。通过在模乘积 $q$ 的特定剩余类中选择 $d$，作者确保对于生成的场，判别式 $D_j$ 满足特定的分裂条件（即 $D_j$ 是某些素数的 $l$ 次幂剩余）。这迫使 $L$-函数展开式中的特征和（character sums）变得很大。

主要贡献与结果
论文提出了作为主要结果的定理 2。在假设朗兰兹猜想和假设 1 的条件下，作者证明：

• 对于固定的整数 $k$ 和素数 $l \ge 3$，至少存在 $x^{1/l-o(1)}$ 个整数 $1 \le d \le x$，使得连续纯域 $\mathbb{Q}(\sqrt[l]{d+1}), \dots, \mathbb{Q}(\sqrt[l]{d+k}]$ 具有任意大的类数。
• 具体而言，类数满足如下形式的下界：
  $$h_{\mathbb{Q}(\sqrt[l]{d+j})} \gg_k \frac{\sqrt{d} \log \log d}{R_{\mathbb{Q}(\sqrt[l]{d+j})}}$$
  在假设 1 下，当 $d \to \infty$ 时，该比值趋于无穷大。

论文还提供了命题 2.1，即 $L(1, \tilde{\pi}_{d_K})$ 的一个逼近，其例外情况至多为 $O(x^{1/4})$，以及引理 3.1 和 3.2，它们确立了存在合适的剩余类以确保纯域中素数所需的分裂行为。

意义与主张
作者将这项工作定位为对 Byeon 和 Yhee (2024) 关于纯三次域以及 Cherubini 等人 (2023) 关于二次域早期研究的推广。其意义在于将密度结果（$x^{1/l-o(1)}$）扩展到任意素数次数 $l \ge 3$。

论文对其结果的非条件性性质持谨慎态度。作者明确指出，其证明依赖于：

1. 相关自守表示的朗兰兹猜想。
2. 假设 1，即一个关于形如 $\mathbb{Q}(\sqrt[l]{n^l+r})$ 的纯域正则量上界的特定猜想。

作者强调，如果没有假设 1，已知的兰道正则量界限对于保证 $l > 3$ 时具有任意大的类数来说太弱了。他们建议，证明假设 1（或其更尖锐的版本）是使该结果变为无条件结果的必要步骤。论文包含了 $l=5$ 时的计算证据以支持假设 1 的合理性，并指出在测试案例中，正则量与猜想界限的比值显著小于 1。