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

技術要約：円分体のデデキント・ゼータ関数の導関数の極値

問題提起
本論文は、円分体 $K = \mathbb{Q}(\omega_d)$（ここで $\omega_d$ は $d$ 乗根、$d \ge 3$）に付随するデデキント・ゼータ関数 $\zeta_K^{(\ell)}(s)$ の導関数の極値を調査するものである。本研究は、クリティカル・ライン（$\Re(s) = 1/2$）およびその直近の領域（$1/2 \le \sigma \le 1/2 + 1/\log_2 T$）における導関数の最大絶対量の下限を確立することに焦点を当てている。

リーマン・ゼータ関数 $\zeta(s)$ やディリクレ・エルテ関数（Dirichlet $L$-functions）の極値については、レゾナンス法（共鳴法）やGCD和を用いて広範に研究されてきたが、デデキンド・ゼータ関数の導関数へとこれらの結果を拡張することには特有の課題が存在する。$\zeta(s)$ とは異異なり、$\zeta_K(s)$ のディリクレ級数の係数 $a_K(n)$ は完全乗法的ではない。この非完全乗法的な性質が、BondarenkoらやYangによる先行研究で使用された標準的なGCD和の手法を直接適用することを困難にしている。

手法
著者らは、Voroninによって提案され、Soundararajan、Aistleitner、およびBondarenko/Seipによって洗練された手法である**レゾナンス法（共 резоnance method）**を採用している。核心となる戦略は、$\zeta_K^{(\ell)}(s)$ の値を特定の点において増幅するように設計された「レゾネーター（共鳴器）」関数 $R(t)$ を構成することである。

主要な手法構成要素は以下の通りである：

1. 補助関数の構成： 著者らは、補助関数 $G(s) = 1 + a_K(2)2^{-s} + (-1)^\ell \zeta_K^{(\ell)}(s)$ を定義し、これにより $G(s)$ のディリクレ級数の係数が $a(n) \ge a_K(n)$ を満たすようにしている。これにより、導関数の下限の導出が可能となる。
2. 二重版畳み込み公式： レゾネーターとゼータ関数の積分を算術和へと結びつけるために、著者らは二重版畳み込み公式（補題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の研究の一般化： 本結果は、$\zeta(s)$ の導関数の極値に関するYang (2022) の知見を、円分体のデデキント・ゼータ関数の文脈へと拡張するものである。
2. Bondarenkoらによる研究の洗練： 定理 1.1 は、クリティカル・ライン上における $\zeta_K(s)$ の導関数に特化した下限を提供することで、Bondarenkoら (2023) の結果を洗練させている。
3. 非完全乗法性の処理： 係数 $a_K(n)$ が完全乗法的ではない状況において、レゾナンス法を適応させることに成功したことは、重要な貢献である。著者らは、この適応によって、理想的な完全乗法的関数のケースと比較して指数において $\sqrt{2}$ の因子の損失が生じることを明示的に認めており、これは補助関数 $a'_K(n)$ を使用する必要性に起因すると述べている。
4. 最適性： 定理 1.1 において指数は関数自体のオーダーと一致しているものの、非完全乗法的な設定に（de la Bretèche や Tenenbaum によるような）GCD和を最適化する手法を完全に適応させることができれば、特定の定数因子は改善可能である可能性を示唆している。ただし、現在の手法では $\sqrt{\phi(d)}$ という因子が得られている。

本論文は、クリティカル・ストリップ内において、$\zeta_K(s)$ の導関数は、リーマン・ゼータ関数の導関数と同等の大きさの極値を示すことを結論付けており、その成長率は円分体の生成元 $d$ のオイラーのファイ関数 $\phi(d)$ によって調整される。