Sharp Bounds for Moments of the Dedekind Zeta Function

技術要約：デデキント・ゼータ関数のモーメントに関する鋭い上界

問題提起
本論文が扱う中心的な問題は、有限ガロア拡大 $K/\mathbb{Q}$ に随伴するデデキント・ゼータ関数 $\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$$
これは一般化リーマン仮説（GRH）を仮定したものである。

これ以前の先行研究では、非シフトの場合（$a_j=1, b_j=0$）のこれらのモーメントの漸近的挙動は $T(\log T)^{[K:\mathbb{Q}]k^2}$ のオーダーになると予想されていた。Soundararajan はリーマン・ゼータ関数（$K=\mathbb{Q}$）に対してほぼ鋭い上界を確立し、Harper はそれを予想されるオーダーへと精緻化した。しかし、デデキント・ゼータ関数への拡張には限界があった。Milinovich と Turnage-Butterbaugh は、一般的なガロア拡大に対して、対数の指数に $\epsilon$ が余分に含まれる境界を証明した。Hagen は最近、有限の可解ガロア拡大に対してはこの $\epsilon$ を取り除いたが、任意の有限ガロア拡大において、鋭い上界は依然として未知のままであった。

手法
著者らは、リーマン・ゼータ関数に対して導入された Harper の手法を適応・精緻化している。この手法は、ゼータ関数の対数を短いディリクレ多項式によって近似すること、および積分区間の「長・短（long-short）」分解に基づいている。本論文における核心的な技術的革新は、この枠組みをチェボタレフ密度定理を通じて、デデキント・ゼータ関数の算術構造へと適応させることにある。

主要な手法のステップは以下の通りである：

1. 近似: GRH を用いて、$\log |\zeta_K(1/2 + it)|$ を素イデアル上の和、特に $K$ において完全に分解する有理素数の寄与に焦点を当てて近似する。
2. 分解: 区間 $[T, 2T]$ を、ディリクレ多項式が小さい「良（good）」集合 $\mathcal{T}$ と、それらが特定の閾値を超える「悪（bad）」集合 $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)$ に適用すると、指数は $[K:\mathbb{Q}]^2 k^2$ となる。素数の分解挙動を利用することで、著者らは素数和の実効的な寄与を減少させ、指数を $[K:\mathbb{Q}]^2 k^2$ から予想される最適値である $[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$ のイデアルの数）の分散の研究に応用する。彼らは、$r_K(n)$ の平均値推定における誤差項の分散に関する条件付き推定を提供し、ガロア拡大に対する従来の境界を改善している。

意義
本論文は、広範なクラスの有限ガロア拡大に対するデデキント・ゼータ関数のモーメントの、予想される最適上界を確立することにより、$L$ 関数論における重要な空白を埋めるものであると主張している。その意義は二重である：

1. 一般化: 可解性の制約（Hagen の最近の研究で必要とされたもの）を取り除き、鋭い上界が任意の有限ガロア拡大に対して成立することを示した。
2. 手法の精緻化: 著者らは、Harper の手法を素直に適用するよりも優れた結果が得られた鍵は、素数の分解挙動を考慮するためにチェボタレフ密度定理を用いたことにあると明示している。これにより、対数因子の指数を $[K:\mathbb{Q}]^2 k^2$ から $[K:\mathbb{Q}] k^2$ へと減少させることが可能となった。

著者らは、彼らの手法がガロア構造に強く依存している一方で、これらの鋭い境界を任意の（非ガロア）数体へと拡張するには、新たなアイデアが必要であり、依然として未解決の問題であることを注記している。