The Period-Three Secondary Term in the Mean Value of $L(1/2,\chi_D)$ in the Hyperelliptic Ensemble

テクニカル・サマリー：「ハイパー楕円アンサンブルにおける $L(1/2, \chi_D)$ の平均値における周期3の二次項」

問題設定
本論文は、奇数次ハイパー楕円アンサンブル $\mathcal{H}_{2g+1}$（$\mathbb{F}_q[T]$ における $q$ を奇素数冪とする）における、中心点での二次Dirichlet $L$ 関数に関する第1モーメントを調査するものである。対象となる量は以下の通りである：
$$M_1(g) := \sum_{D \in \mathcal{H}_{2g+1}} L\left(\frac{1}{2}, \chi_D\right)$$
ここで、$g \to \infty$ かつ $q$ は固定されている。AndradeとKeatingが主項を決定した一方で、Floreaは以前、大きさ $g q^{2g/3}$ の二次項を確立した。しかし、Floreaの結果は $q \equiv 1 \pmod 4$ という仮定に依存しており、かつ二次項を、生成関数の正の実極から導かれる単一の $g$ の多項式として特定していた。本論文は、Floreaによる二次項の完全性に異議を唱え、漸近公式の妥当性をすべての奇素数冪 $q$ へと拡張するものである。

手法
著者は、平方フリー・篩（square-free sieve）とポアソン summation を用いて、モーメントをゼロ周波数、平方双対（square-dual）、および非平方双対（nonsquare-dual）の寄与に分解する。主要な手法上の革新は以下の通りである：

1. 位相正規化されたガウス和（Phase-Normalized Gauss Sums）: 任意の奇素数冪 $q$（特に $q \equiv 3 \pmod 4$ のケース）を扱うために、著者は位相正規化された二次ガウス和を導入する。この正規化により、ガウス和の乗法性が回復し、未正規化のガウス和では $q \equiv 3 \pmod 4$ の場合に成立しなくなる局所オイラー積の評価の妥当性が確保される。
2. 複素積分と留数解析: 平方双対の寄与は、二重複素積分によって評価される。著者は、積分路を「二次円（secondary circle）」$|z| = q^{-4/3}$ へと変形する。[3]における解析では、この円上の正の実極のみが考慮されていたが、本論文では分母 $(1 - q^4 z^3)^2$ が、等しい絶対値を持つ3つの二重極 $z_k = q^{-4/3} \omega^k$ （ただし $\omega = e^{2\pi i/3}$）を生じさせることを特定している。
3. 留数の計数（Residue Bookkeeping）：これら3つの極における留数を同時に計算する。複素共役な極（$z_1, z_2$）からの寄与は、実極（$z_0$）と同じオーダーであり、かつ $g \bmod 3$ に依存することが示される。

主な貢献と結果

• 二次項の修正: 本論文は、Floreaの二次項が正の実極（$z_0$）からの寄与のみに対応していることを示す。完全な二次項には、2つの非実共役極（$z_1, z_2$）からの寄与が含まれる。
• 周期3現象: 完全な二次項は以下のように示される：
  $$q^{2g/3} \left( \alpha_{g \bmod 3} g + \beta_{g \bmod 3} \right)$$
  ここで、係数 $\alpha_m, \beta_m$ は $q$ に依存し、$g$ に関して正確に3の最小周期を持つ。この依存性は真正なものであり、係数は単なる平均への微小な摂動ではない。$q=3$ の場合、係数は大きく変動し、ある剰余類は平均とは逆の符号を持つ。
• すべての奇素数冪への一般化: 定理1.1は、すべての奇素数冪 $q$ に対して証明された。これは、未正規化ガウス和の乗法性の欠如により $q \equiv 3 \pmod 4$ のケースを扱えなかった[3]の空白を埋めるものである。位相正規化されたガウス和を用いることで、議論を一様に進めることが可能となった。
• 有限アンサンブルによる厳密な検証: $q=3$ の場合について、著者は $g=15$ までの種数（genus）に対する厳密なモーメントを計算した。数値データは理論的予測を裏付けている。すなわち、データを $g \bmod 3$ で分離したとき、それらは単一の線形トレンドではなく、3つの異なる線形トレンドに沿って整列する。

意義と主張
本論文は、これらの $L$ 関数の平均値における二次項は、単一の $g$ の多項式ではなく、周期3を持つ $g$ の周期関数であると主張している。「周期3現象」は、二次円が等しい絶対値を持つ3つの二重極を保持しているために生じる。

著者は、本結果が単なる再正規化ではなく、Floreaの計算の**完成（completion）**であると断言している。Floreasの多項式は、剰余類にわたる3つの周期依存項の平均として特定される。非実極は、少なくとも2つの剰余類において $g q^{2g/3}$ のオーダーの項を寄与しており、その大きさは誤差項 $O(q^{g(1+\epsilon)/2})$ を超えており、誤差項に吸収することはできない。

本論文は、主項（AndradeとKeatingによって決定されたもの）を変更することや、ハイパー楕円アンサンブルにおける第1モーメントの漸近公式の精緻化を超えた新たな応用を提案するものではない。主要な貢献は、周期的な二次項の厳密な特定と、位相正規化を通じたすべての奇素数冪への証明の拡張である。