One-level density of zeros of $\Gamma_1(q)$ $L$-functions

技術的概要：$\Gamma_1(q)$ L-関数の零点の 1 次密度

問題の定義
本論文は、自己同型 L-関数の零点の統計的分布を調査し、特に合同部分群 $\Gamma_1(q)$ に付随する $GL_2$ L-関数の大規模なユニタリ族の 1 次密度に焦点を当てている。中心的な問題は、Katz–Sarnak の哲学による予測と一致する 1 次密度を得るために、テスト関数のフーリエ変換 $\hat{\phi}$ が許容されるサポート（定義域）を決定することである。

Katz–Sarnak の予想は、自然な族における零点の局所統計が、特定の対称性群（この場合はユニタリ群 $U$）からのランダム行列の固有値に対応すると予測しているが、ユニタリ族に関する過去の結果は、$\text{supp } \hat{\phi} \subset (-2, 2)$ というサポートに制限されていた。このサポートを「対角」範囲を超えて拡張することは、明示的公式における非対角項をより高い精度で制御する必要があるため、解析的数論における重大な課題である。本論文は、L-関数族の構造的性質（具体的には $GL_2$ 構造）が、対称性群のみによって規定されるものよりも大きなサポートを可能にするかどうかを明らかにすることを目的としている。

手法
著者は明示的公式を用いて、L-関数の零点に対するテスト関数の和を素数べきに関する和に関連付けている。核心的な技術的作業は、$S_k(\Gamma_1(q))$ における尖点形式の族に適用された Petersson 跡公式から生じる非対角項の寄与を評価することである。

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

1. 明示的公式と跡公式：1 次密度は、フーリエ係数 $\lambda_f(n)$ を含む素数べきに関する和を含む積分として表される。族に関する和は、Petersson 型の公式を用いて評価され、その和は主項を与える対角項と、ベッセル関数および指数和を含む非対角項に分解される。
2. 非対角項の分解：非対角和は、跡公式から生じる素数 $p$ と法 $s, t$ の関係に基づいて分割される。さらに、和は自明な指標と非自明なディリクレ指標からの寄与に分解される。
3. ダイアディック分解とメルリン変換：和は、ベッセル関数 $J_{k-1}$ と指数項の振る舞いによって定義される 3 つの異なる遷移領域で分析される：
   • ケース 1：$P/q \ll ST$（ここで $P$ は素数の大きさ、$S, T$ は $s, t$ の大きさ）。
   • ケース 2：$\sqrt{P}/q \ll ST \ll P/q$。
   • ケース 3：$\sqrt{P}/q \gg ST$。
     これらの領域において、著者はダイアディック分解、指数関数およびベッセル関数のメルリン変換表現、および積分経路のシフト技術を利用する。
4. GRH の仮定：一般化されたリーマン予想（GRH）が、L-関数の導関数を評価し、積分経路を右にシフトして誤差項の収束性と微小性を保証するために、全体を通じて仮定されている。
5. 指標和：非自明な指標に対しては、著者はコーシー・シュワルツの不等式とディリクレ指標の直交関係を用いて和を評価し、誤差項を制御するために補題 2.4（指標でねじれた素数和の評価）を利用する。

主要な貢献と結果
主要な結果は定理 1.1であり、これは GRH の下で（重み $k \ge 3$ が奇数、$q$ が素数である）$\Gamma_1(q)$ L-関数の族に対する 1 次密度を確立する。

• 拡張されたサポート：本論文は、Katz–Sarnak の予測が、フーリエ変換のサポートが区間 $\text{supp } \hat{\phi} \subset (-8/3, 8/3)$ 内にあるテスト関数に対して成り立つことを証明している。これは、ユニタリ族に対して既知であった $(-2, 2)$ の境界を拡張したものである。
• 非消滅の割合：直接的な応用として（系 1.2）、中心点 $s=1/2$ で消滅しない形式の族内における割合の下限が導き出される。結果は、族内の形式の少なくとも $5/8$（62.5%）が中心点で非消滅であることを示している。
• 構造的洞察：本論文は、サポートを拡張する決定的な要因が対称性群そのものではなく、族の $GL_2$ 構造であることを実証している。これは、帯域幅の限界が対称性群（ユニタリ対直交）のみによって決定されるとする考え方に挑戦するものであり、特定の構造的性質（ここでは $GL_2$ 族）を持つ大規模な族は、直交族と同等かそれ以上のサポートを達成し得ることを示している。

意義
本論文は、62.5% という非消滅の割合が、ユニタリ群に関連する任意の族における最高記録であると主張している。この研究の意義は、主に 2 つの領域にある：

1. 精緻化された算術情報：テスト関数のサポートを $(-8/3, 8/3)$ に拡張することにより、特に中心 L-値の非消滅割合に関するより強力な評価を含む、より精緻な算術情報が得られる。
2. 構造的理解：フーリエ変換サポートの「帯域幅の限界」は、対称性群（ユニタリ対直交）のみによって決定されるのではなく、L-関数族のより微細な構造的性質に大きく影響されることを示している。以前のユニタリ $GL_1$ の結果が 2（または追加の仮定のもとでわずかにそれ以上）に制限されていたのに対し、ユニタリ $GL_2$ 族においてサポートを $8/3$ まで押し上げられる能力は、非対角項を制御する上で $GL_2$ 構造が持つ力を浮き彫りにしている。

著者は、開発された手法を、同じサポートを持つ同じ族のより高次の密度の研究に拡張できることを指摘しており、これは現在調査されている方向性である。本論文は新しい実験的応用を提案するものではなく、解析的数論の枠組みにおける 1 次密度予想の理論的進展に焦点を当てている。