The first moment of quadratic Dirichlet $L$-functions in the even hyperelliptic ensemble

問題設定
本論文は、固定された奇数の素数冪 $q$ に対する、関数体 $\mathbb{F}_q[x]$ における偶数ハイパー楕円アンサンブル $\mathcal{H}_{2g+2}$ 上の二次ディリクレ $L$ 関数の中心値の第1次モーメントについて調査するものである。具体的には、著者は以下の和の漸近公式を求めることを目的としている：
$$M(g) := \sum_{D \in \mathcal{H}_{2g+2}} L\left(\frac{1}{2}, \chi_D\right)$$
ここで $g \to \infty$ とする。Jung [10] および Andrade–MacMillan [3] によって主項と誤差指数の指数は既に確立されているが、それらの結果には $g \pmod 3$ に依存しない係数を持つ $g q^{2g/3}$ 次の低次項が含まれていた。さらに、先行研究ではしばしば $q \equiv 1 \pmod 4$ といった $q$ に対する合同条件が課されていた。本論文は、これらの制限を取り除き、二次項の解析を精緻化することで、これまで観察されていなかった周期的な依存性を明らかにすることを目的としている。

手法
本解析は、主に以下の2つの点で先行研究の手法から脱却している：

1. 完備化された $L$ 関数（Completed $L$-function）の使用： $L(s, \chi_D)$ を直接扱う代わりに、完備化された $L$ 関数 $L^*(s, \chi_D) = L(s, \chi_D)(1-q^{-s})^{-1}$ を用いる。偶数のアンサンブルにおいて、指標 $\chi_D$ は偶数であるため、$L(s, \chi_D)$ は自明な因子 $(1-q^{-s})$ を持つ。この因子を除去することで得られる $L^*(s, \chi_D)$ は、対称な関数等式を満たし、截断レベル $g$ および $g-1$ を含む正確な2項形式の中心値公式を持つ。このアプローチにより、偶数次数の先行研究で必要とされた $g$ に関する帰納法や原点における留数計算を回避できる。

2. 位相正規化されたガウス和（Phase-Normalized Gauss Sums）： $q \equiv 1 \pmod 4$ という制限なしに任意の奇数の素数冪 $q$ を扱うために、著者は位相正規化されたガウス和を導入する。$\mathbb{F}_q[x]$ 上の標準的な二次ガウス和は、$q \pmod 4$ に依存する1の冪根の位相を持つ。この位相をガウス和の定義の中に吸収させることで、得られるポアソン summation 公式は、すべての奇数 $q$ に対して位相に依存しない（phase-free）ものとなる。これにより、以前は $q \equiv 1 \pmod 4$ の場合に限定されていた手法の適用が可能となる。

証明の核心は、$M^*(g)$（完備化された $L$ 値の和）を、ポアソン summation から生じる双対変数に基づく3つの寄与に分解することにある：

• ゼロの双対変数： 主項をもたらす。
• 平方数の双対変数： 二次項をもたらす。
• 非平方数の双対変数： 誤差項として抑えられる。

重要な技術的ステップは、複素平面における輪郭積分の移動である。著者は、ゼロ双対の寄与から生じる輪郭積分を保持し、それが主平方双対の留数から生じる対応する輪郭積分によって正確に相殺されることを示す。残る二次項は、「3次の点（cubic points）」$z^3 = q^{-4}$ における留数から生じる。

主要な貢献および結果

• 正確な漸近公式： 本論文は、$M(g)$ に関する以下の漸近公式を確立する：
  $$M(g) = M_{\text{prin}}(g) + S(g) + O_\epsilon(q^{g(1+\epsilon)/2})$$
  ここで $M_{\text{prin}}(g)$ は主項であり、二次項は以下の通りである：
  $$S(g) = q^{2g/3+2} (a_g g + b_g)$$

• 周期3の係数： 係数 $a_g$ および $b_g$ は、$g \pmod 3$ に依存する実数である。数列 $m \mapsto (a_m, b_m)$ は、最小周期がちょうど3である。これは、二次係数が $g \pmod 3$ に関して定数であった従来の偶数次数の公式とは対照的である。この周期性は、二次項が実数根だけでなく、3つの立方根（すなわち $z_k = q^{-4/3} e^{2\pi i k/3}$ ただし $k=0,1,2$）における留みの和であることに由来する。

• 任意の奇数 $q$ への一般化： 結果は任意の固定された奇数の素数冪 $q$ に対して成立し、先行文献にあった $q \equiv 1 \pmod 4$ のような合同条件を排除している。

• 数値的検証： 本論文は、小さな $q$ および $g$ に対する数値データを提供し、二次項の符号パターンが周期3で振動することを提示し、理論的予測と一致することを確認している。また、このデータは、二次項のモデルとして周期2の振動などの代替モデルを排除している。

意義
本研究の主要な意義は、偶数ハイパー楕円アンサンブルの第1次モーメントにおける二次項の周期3の挙動を発見したことにあると著者は主張している。この挙動は、以前の手法が実数留数のみを保持し、実質的に複素位相を平均化してしまっていたために、これまで隠されていたものである。完備化された $L$ 関数と位相正規化されたポアソン summation を用いることで、著者は、低次項が $g \pmod 3$ に対して敏感であることを明らかにした。

著者は、完備化された $L$ 関数を用いた正確な2項形式を用いる手法は、偶数アンサンブルにおける高次モーメント（$k \ge 2$）にも拡張可能であり、従来の接近法と比較して組合せ論的な複雑さを軽減できる（$4^k$ 個のブロックを $2^k$ 個に減少させる）と述べている。ただし、本論文は厳密に第1次モーメントに焦点を絞っており、高次モーメントに関する明示的な結果は提供していない。