Extreme values of derivatives of the Dedekind zeta function of a cyclotomic field

技术摘要：分圆域 Dedekind Zeta 函数导数的极值研究

问题陈述
本文研究了与分圆域 $K = \mathbb{Q}(\omega_d)$（其中 $\omega_d$ 是 $d$ 次单位根，$d \ge 3$）相关的 Dedekind zeta 函数 $\zeta_K^{(\ell)}(s)$ 导数的极值。研究重点在于建立这些导数在临界线（$\Re(s) = 1/2$）以及临界线附近区域（$1/2 \le \sigma \le 1/2 + 1/\log_2 T$）上的最大模值的下界。

虽然 Riemann zeta 函数 $\zeta(s)$ 和 Dirichlet $L$-函数的极值已被广泛研究（利用共振方法和 GCD 和），但将这些结果扩展到 Dedekind zeta 函数的导数时面临着特定的挑战。由于 $\zeta_K(s)$ 的 Dirichlet 级数系数 $a_K(n)$ 不是完全乘性的，这使得直接应用以往 Bondarenko 等人和 Yang 所使用的标准 GCD 和技术变得复杂化。

方法论
作者采用了共振方法（resonance method），这是一种最初由 Voronin 提出并经由 Soundararajan、Aistleitner 和 Bondarenko/Seip 改进的技术。其核心策略是构造一个“共振器”函数 $R(t)$，旨在放大 $\zeta_K^{(\ell)}(s)$ 在特定点的值。

关键方法组成部分包括：

1. 辅助函数构造： 作者定义了一个辅助函数 $G(s) = 1 + a_K(2)2^{-s} + (-1)^\ell \zeta_K^{(\ell)}(s)$，以确保其 Dirichlet 级数的系数满足 $a(n) \ge a_K(n)$。这使得推导导数的下界成为可能。
2. 双版本卷积公式： 为了将共振器对 zeta 函数的积分与算术和联系起来，作者利用了一个双版本卷积公式（引理 2.2）。该公式将 $G(\sigma+it+iy)G(\sigma-it+iy)$ 的积分与涉及系数 $a(n)$ 和核函数 $K(y)$ 的求和项联系起来。
3. 加权 GCD 和： 证明依赖于建立加权 GCD 和 $S_{1/2}(M, a_K)$ 的下界。作者基于模 $d$ 的算术级数中的素数构造了一个特定的整数集 $M$。解决的一个重大技术障碍是 $a_K(n)$ 的非完全乘性特征。为了克服这一点，作者引入了一个修正的乘性函数 $a'_K(n)$ 以便于估计 GCD 和，并指出这一过程与完全乘性函数的情况相比，会产生 $\sqrt{2}$ 倍的因子损失。
4. 核函数： 证明利用了特定的光滑核函数 $K_\eta(u)$ 及其傅里叶变换，以控制积分估计中的误差项，遵循了 Bondarenko、Seip 和 de la Bretèche 的方法。

主要贡献与结果
本文建立了两个关于导数最大值的下界定理：

• 定理 1.1（临界线）： 对于充分大的 $T$ 且对于 $d \ll (\log_2 T)^A$ 均匀成立，作者证明了：
  $$\max_{t \in [0, T]} \left| \zeta_K^{(\ell)}\left(\frac{1}{2} + it\right) \right| \ge \exp\left( \left(\sqrt{\phi(d)} + o(1)\right) \sqrt{\frac{\log T \log_3 T}{\log_2 T}} \right)$$
  该结果表明，导数在临界线上的下界达到了 $\zeta_K(s)$ 本身（即 $\ell=0$ 时）的阶数。指数中包含了 $\sqrt{\phi(d)}$ 因子，反映了域扩张的次数。

• 定理 1.2（临界线附近）： 对于 $\sigma$ 在范围 $1/2 \le \sigma \le 1/2 + 1/\log_2 T$ 内，作者建立如下不等式：
  $$\max_{t \in [0, T]} \left| \zeta_K^{(\ell)}(\sigma + it) \right| \ge \exp\left( \left(\sqrt{\frac{\phi(d)}{e-1}} + o(1)\right) \frac{(\log T)^{1-\sigma} (\log_3 T)^\sigma}{(\log_2 T)^\sigma} \right)$$
  这将其估计扩展到了临界线的邻域。作者指出，由于在估计级数 $\sum p^{-2\sigma}$ 方面存在局限性，定理 1.1 中的指数项的领先项较小。

• 补充结果（定理 5.1 和 5.2）： 论文简要展示了针对特定 $\sigma$ 范围（例如 $\sigma_D = 1/2 + D/\log_2 T$ 和 $1/2 \le \sigma \le 2/3$）的进一步精炼，表明导数达到了与先前文献中 $\zeta(s)$ 相同的数量级的极值。

意义与主张
作者声称其结果推广并完善了现有工作：

1. 推广 Yang 的工作： 这些结果将 Yang (2022) 关于 $\zeta(s)$ 导数极值的发现推广到了 Dedekind zeta 函数（分圆域）的情境中。
2. 精炼 Bondarenko 等人的工作： 定理 1.1 通过提供 $\zeta_K(s)$ 导数在临界线上的下界，精炼了 Bondarenko 等人 (2023) 的结果。
3. 处理非乘性问题： 一个显著的贡献是成功地使共振方法适应了非完全乘性的系数 $a_K(n)$。作者明确承认，这种适应导致在指数上比理想的完全乘性函数情况损失了一个 $\sqrt{2}$ 的因子，他们将此细节归因于使用辅助函数 $a'_K(n)$ 的必要性。
4. 最优性： 论文指出，虽然定理 1.1 的指数与函数本身的阶数匹配，但如果能将优化 GCD 和的方法（如 de la Bretèche 和 Tenenbaum 的方法）完全适配到非完全乘性设置中，特定的常数因子可能会得到改进，尽管当前方法得出了 $\sqrt{\phi(d)}$ 因子。

论文总结道，在临界带内，$\zeta_K(s)$ 的导数表现出的极值与其 Riemann zeta 函数导数的量级相当，其增长率受分圆域的欧拉函数 $\phi(d)$ 的调节。