Sharp Bounds for Moments of the Dedekind Zeta Function

技术摘要：Dedekind Zeta 函数矩的锐利上界

问题陈述
本文解决的核心问题是，在假设广义黎曼假设（GRH）的前提下，建立与有限伽罗瓦扩张 $K/\mathbb{Q}$ 相关联的 Dedekind zeta 函数 $\zeta_K(s)$ 在临界线 $\Re(s) = 1/2$ 上的矩的锐利上界。具体而言，作者研究了如下移位矩：
$$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt$$

在此项工作之前，对于非移位情况（即 $a_j=1, b_j=0$），这些矩的渐近行为被猜想为 $T(\log T)^{[K:\mathbb{Q}]k^2}$ 的阶。虽然 Soundararajan 已经为黎曼 zeta 函数（$K=\mathbb{Q}$）建立了接近锐利的界，且 Harper 将其精炼到了猜想的阶，但将此方法推广到 Dedekind zeta 函数时面临局限性。Milinovich 和 Turnage-Butterbaugh 证明了对于一般的伽罗瓦扩张，其对数指数中存在一个 $\epsilon$ 的偏差。Hagen 最近移除了这个 $\epsilon$，但仅限于有限可解伽罗瓦扩张。对于任意有限伽罗瓦扩张，由于锐利界仍然未知，这一差距依然存在。

方法论
作者改编并改进了 Harper 为黎曼 zeta 函数引入的方法，该方法依赖于用短狄利克雷多项式来逼近 zeta 函数的对数，并利用积分区间的“长-短”分解。本文的核心技术创新在于通过**切博塔列夫密度定理（Chebotarev Density Theorem）**将该框架适配到 Dedekind zeta 函数的算术结构中。

关键方法步骤包括：

1. 逼近： 利用 GRH，作者通过素理想之和来逼近 $\log |\zeta_K(1/2 + it)|$，特别关注在 $K$ 中完全分裂的有理素数的贡献。
2. 分解： 将区间 $[T, 2T]$ 分解为一个“良好”集合 $\mathcal{T}$（其中狄利克雷多项式较小）以及若干个“坏”集合 $S(j)$ 的并集（其中多项式超过特定阈值）。
3. 切博塔列夫应用： 一个关键步骤是计算形式为 $\sum_{p \le x, p \text{ splits}} \frac{\cos(\alpha \log p)}{p}$ 的和。通过对单位共轭类应用切博塔列夫密度定理，作者表明在 $K$ 中完全分裂的素数密度占总素数密度的 $1/[K:\mathbb{Q}]$。
4. 指数改进： 若不利用伽罗瓦结构而直接应用 Harper 的方法于 $\zeta_K(s)$，将会得到一个带有 $[\text{K}:\mathbb{Q}]^2 k^2$ 指数的界。通过利用素数的分裂行为，作者减少了素数和的有效贡献，从而将指数从 $[\text{K}:\mathbb{Q}]^2 k^2$ 降低到了猜想的最优阶 $[\text{K}:\mathbb{Q}] k^2$。

主要贡献与结果

• 定理 1.1（主要结果）： 在假设 GRH 的条件下，作者为任何有限伽罗瓦扩张 $K/\mathbb{Q}$ 建立了 $\zeta_K(s)$ 移位矩的上界。该界为：
  $$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt \ll T (\log T)^{[K:\mathbb{Q}](\sum a_j^2)/4} \prod_{1 \le i < j \le 2k} g(|b_i - b_j|)^{[K:\mathbb{Q}] a_i a_j / 2}$$
  其中 $g(x)$ 是一个基于分离度 $|b_i - b_j|$ 分段定义的关联函数。该结果适用于任意有限伽罗瓦扩张，而非仅限于可解扩张。

• 推论 1.2： 通过令 $a_j=1$ 且 $b_j=0$，作者恢复了非移位矩的锐利上界：
  $$\int_0^T \left| \zeta_K\left(\frac{1}{2} + it\right) \right|^{2k} dt \ll_{K,k} T (\log T)^{[K:\mathbb{Q}]k^2}$$
  这把 Hagen 的结果从可解扩张推广到了所有有限伽罗瓦扩张。

• 推论 1.3（大偏差）： 本文推导了当 $\log |\zeta_K(1/2 + it)|$ 超过阈值 $V \asymp \sqrt{\log \log T}$ 时，该集合测度的上界。在假设 GRH 的情况下，该测度以 $e^{-V^2/2}$ 的速度衰减，符合随机矩阵理论预测的高斯启发式结论。

• 推论 1.4（短区间）： 作者将这些矩界应用于研究短区间内系数 $r_K(n)$（即范数为 $n$ 的理想个数）的方差。他们为误差项在均值估计中的方差提供了一个条件估计，从而改进了以往针对伽罗瓦扩张的界。

意义
本文声称填补了 $L$-函数解析理论中的一个重要空白，即为广泛的有限伽罗瓦扩张类建立了猜想中的最优矩上界。其意义体现在两个方面：

1. 泛化性： 它移除了 Hagen 最近工作中存在的“可解性”限制，证明了锐利界对于任何有限伽罗瓦扩张均成立。
2. 方法论精炼： 作者明确指出，相比于对 Harper 方法的朴素应用，其改进的关键在于利用切博塔列夫密度定理来解释素数的分裂行为。这使得他们能够将对数因子的指数从 $[K:\mathbb{Q}]^2 k^2$ 降低到 $[K:\mathbb{Q}] k^2$。

作者指出，尽管其方法高度依赖于伽罗瓦结构，但如何将这些锐利界扩展到任意（非伽罗瓦）代数数域仍是一个需要新思路的开放性问题。