On density of the zeros of Dedekind zeta-functions

以下は、Wei Zhang 氏による論文「On density of the zeros of Dedekind zeta-functions (Dedekind ゼータ関数の零点の密度について)」の技術的な要約です。

1. 研究の背景と問題設定

対象関数:
代数体 $K$ に関連するデデキント・ゼータ関数 $\zeta_K(s)$ を対象とします。ここで $K$ の次数を $k = [K : \mathbb{Q}]$ とし、$k \ge 2$ とします。

問題:
臨界帯域 $1/2 \le \sigma \le 1$ 内における $\zeta_K(s)$ の零点の個数を評価する「零点密度予想（Zero-Density Estimate）」の問題です。
具体的には、$T > 10$ に対して、実部 $\beta \ge \sigma$ かつ虚部 $|\gamma| \le T$ を満たす零点 $\rho = \beta + i\gamma$ の個数 $N_\zeta(\sigma, K, T)$ の上界を求めます。

既存の結果:

• $k=2$ の場合: Heath-Brown [4] によって、$\sigma$ の範囲に応じて $A(\sigma)$ を用いた評価 $N_\zeta(\sigma, K, T) \ll T^{A(\sigma)(1-\sigma)+\varepsilon}$ が得られています。特に $\sigma \ge 3/4$ の範囲では $A(\sigma)=2$ 程度ですが、$\sigma$ が 1 に近い領域での改善が課題でした。
• $k \ge 3$ の場合: Heath-Brown [4] は $N_\zeta(\sigma, K, T) \ll T^{k(1-\sigma)+\varepsilon}$ を示しました。また、Riemann ゼータ関数の仮説的な評価を用いることで、$k \ge 7$ において $T^{((6+2k)/3)(1-\sigma)+\varepsilon}$ というより良い評価が得られることが知られていました。しかし、$3 \le k \le 6$ の範囲や、$k \ge 7$ におけるより広い $\sigma$ の範囲での改善は残されていました。

2. 主要な貢献と結果

本論文は、$k=2$ と $k \ge 3$ の両ケースにおいて、$\sigma$ が 1 に近い領域での零点密度評価を改善する新しい定理を証明しました。

定理 1.1 ($k=2$ の場合):
任意の指数対 $(\kappa, \lambda)$ に対して、以下の条件を満たす $\sigma$ において、
$$\frac{1 + \lambda - 6\kappa}{2 - 8\kappa} \le \sigma < 1, \quad \kappa < 1/4, \quad \kappa + 1 \le 5\lambda/2$$
次が成り立ちます：
$$N_\zeta(\sigma, K, T) \ll T^{\frac{4}{6\sigma-3}(1-\sigma)+\varepsilon}$$
特に、$(\kappa, \lambda) = (1/14, 11/14)$ を選ぶと、$19/20 < \sigma \le 1$ の範囲でこの評価が得られます。これは Heath-Brown の結果を $\sigma$ が 1 に近い領域で改善するものです。

定理 1.2 ($k \ge 3$ の場合):
$$\frac{2k+3}{2k+6} \le \sigma < 1$$
なる $\sigma$ に対して、次が成り立ちます：
$$N_\zeta(\sigma, K, T) \ll T^{\frac{2k}{6\sigma-3}(1-\sigma)+\varepsilon}$$
この結果は、$3 \le k \le 6$ において Heath-Brown の結果を、$k \ge 7$ において Chen-Debruyne-Vindas [3] の結果をそれぞれ改善します。

3. 手法と証明の概要

証明は、零点検出法（Zero-detecting technique）と指数対（Exponent pairs）の理論を組み合わせることで構成されています。

主要なステップ:

1. 零点検出と逆関数の構成:
   $\zeta_K(s)$ の逆関数 $1/\zeta_K(s)$ の部分和 $M_X(s, K)$ を構成し、$\zeta_K(s)M_X(s, K)$ を考察します。これにより、非自明な零点が存在する場合、特定の指数和が大きいという条件（式 2.2）または $\zeta_K$ の積分が大きいという条件（式 2.3）のいずれかが満たされることが示されます。

2. 零点の分類と分割:
   零点を「クラス 1（式 2.2 を満たすもの）」と「クラス 2（式 2.3 を満たすもの）」に分類し、それぞれ $R_1, R_2$ とします。

   • クラス 2 の排除: Lemma 2.1（$\zeta_K(1/2+it) \ll t^{k/6+\varepsilon}$ という最近の結果 [5] を利用）を用いて、適切な $Y$ を選ぶことでクラス 2 の零点は存在しないことを示します。
   • クラス 1 の評価: 区間 $[-T, T]$ を長さ $T_0$ の部分区間に分割し、Huxley の分割法を用いて $R_1$ を評価します。

3. 指数和の評価と指数対の適用:
   クラス 1 の零点の個数を評価するために、ディリクレ級数の係数 $D_X(n, K)$ の高次モーメントを評価します。

   • 対数区間分割（dyadic interval）を行い、和を $O(\log Y)$ 個のブロックに分割します。
   • 各ブロック内で零点の個数を $R$ と仮定し、$l$ 乗した和の絶対値を評価します。
   • Halász-Montgomery 不等式（Lemma 3.1） を用いて、零点の個数 $R$ と指数和の 2 乗平均を結びつけます。
   • ここで、指数対 $(\kappa, \lambda)$ の理論を適用し、$\zeta_K$ の平均値評価と組み合わせて、$R$ の上界を導出します。

4. パラメータの最適化:
   得られた評価式において、$T_0$ や $Y$ のパラメータを最適化し、最終的に $T$ のべき乗としての指数を最小化することで、定理 1.1 と 1.2 の結果を得ます。特に、$k \ge 3$ の場合、$(\kappa, \lambda) = (1/2, 1/2)$ を用いることで簡潔な評価が得られます。

4. 意義と結論

• 既存結果の改善: 本論文は、デデキント・ゼータ関数の零点密度に関する既知の最良の結果（主に Heath-Brown やその後の研究者たちの成果）を、$\sigma$ が 1 に近い特定の範囲において改善しました。
• 次数 $k$ への対応: $k=2$ の場合と $k \ge 3$ の場合を統一的なアプローチで扱い、特に $3 \le k \le 6$ の中間的な次数における改善を達成しました。
• 手法の革新性: 従来の手法に加え、Dedekind ゼータ関数に対する新しい平均値評価（文献 [5] の結果）と、指数対の理論を巧みに組み合わせることで、より鋭い評価を導出しています。

この研究は、数論におけるゼータ関数の零点分布の理解を深め、特に高次代数体における零点の密度に関する精密な評価に寄与するものです。