One-level densities of large even and odd orthogonal families of automorphic L-functions

技術的概要：大規模な偶数および奇数直交族に属する自己同型 L-関数の 1 次密度

問題提起
本論文は、レベル $q$ と固定された重み $k \geq 4$ を持つ原始尖点形式に付随する L-関数の低位零点の分布を調査する。具体的には、著者らは平方因子を持たないレベル $q$ 上で平均化されたこれらの零点の「1 次密度」を研究する。本研究は、関数等式の符号に基づいて 2 つの部分族を区別する：偶数族（$\varepsilon_{f,q} = 1$）と奇数族（$\varepsilon_{f,q} = -1$）。

この研究を導く中心的な仮説は、カッツ・サナークの哲学であり、これは L-関数の族における零点の統計的分布が、特定の対称性群（この場合は直交群）からのランダム行列の固有値分布を反映すると予測するものである。以前の結果は、固定されたレベルまたはすべてのレベル上で平均化された場合にこの対応関係を確立していたが、本論文は、偶数族と奇数族を分離しながら平方因子を持たないレベル上で平均化するという具体的な課題に取り組む。この分離は決定的に重要である。なぜなら、関数等式の符号は中心点 $s=1/2$ における消滅挙動を決定するからである。奇数形式は $s=1/2$ で消滅するのに対し、偶数形式は非消滅することが予想されている。

手法
著者らは、主に零点の和と素数べきの和を関連付ける明示公式と、クズネツォフ跡公式を組み合わせた解析的数論の手法を採用している。

1. 明示公式と根数: 分析の核心は、族全体で明示公式を平均化することにある。重要な技術的ステップは、平均に根数 $\varepsilon_{f,q}$ を含めることである。平方因子を持たない $q$ に対して、根数は明示的に $\varepsilon_{f,q} = i^k \mu(q) \lambda_f(q) \sqrt{q}$ で与えられる。著者らは、偶数と奇数の寄与を分離するために、根数を含む和と含まない和を別々に扱う。
2. 跡公式: フーリエ係数 $\lambda_f(n)$ に関する和を評価するために、著者らは新形式に対するペトロソン跡公式（特にイワニエック、ルオ、サナークによる版）とクズネツォフ跡公式を利用する。これらの道具により、スペクトル和を、クロスタイン和とベッセル関数を含む算術和に変換することが可能になる。
3. GRH の仮定: 一般化リーマン予想（GRH）は全体を通じて仮定される。この仮定は、素数に関する和を評価し、跡公式の適用に必要な収束性と誤差項の評価を保証するために用いられる。
4. フーリエ解析: 試験関数のフーリエ変換 $\hat{\Phi}$ の台は、重要なパラメータである。著者らは、$\hat{\Phi}$ の許容される台を区間 $(-3, 3)$ に拡張する。この拡張には、特に根数が関与する場合に、跡公式から生じる誤差項の繊細な処理が必要となる。
5. 非消滅のための最適化: 非消滅の結果を導出するために、著者らは試験関数の対称性核に対する積分の比に関する最適化問題を定式化する。再構成核ヒルベルト空間の手法（フリーマンとミラーを参照）を用いて、非消滅形式の割合に関する最適な定数を決定する。

主要な貢献と結果

• 1 次密度のための拡張された台: 主要な結果（定理 1.1）は、平方因子を持たないレベル上で平均化された $GL(2)$自己同型 L-関数の偶数および奇数直交族に対する 1 次密度予想を証明するものである。著者らは、試験関数のフーリエ変換$\hat{\Phi}$の台が$(-3, 3)$ にコンパクトに含まれる場合、この予想が成り立つことを確立する。

  • 偶数族に対して、密度核は $W_{\text{even}}(x) = 1 + \frac{\sin(2\pi x)}{2\pi x}$ である。
  • 奇数族に対して、密度核は $W_{\text{odd}}(x) = 1 - \frac{\sin(2\pi x)}{2\pi x} + \delta_0(x)$ である。
  • 著者らは、最初の 2 人の著者とバラユットによる以前の結果が、完全な直交族に対して $(-4, 4)$ の台を達成したことに言及しつつ、偶数族と奇数族を分離するために根数を含めることが現在の障壁となっており、台を $(-3, 3)$ に制限していることを指摘する。

• 改善された非消滅割合: $(-3, 3)$ の拡張された台を活用して、著者らは中心点における非消滅する L-値およびその導関数の割合に対するより強い下限を導出する（系 1.3）。

  • 偶数族: 偶数族の少なくとも 69.8% の形式は $L(1/2, f) \neq 0$ である。これは、$(-2, 2)$ に制限された台の結果から導かれた $(50-\epsilon)\%$ の上限、または $(-4, 4)$ の結果の非最適化適用を改善するものである。
  • 奇数族: 奇数形式に対しては $L(1/2, f) = 0$ であるため、焦点は導関数にある。著者らは、奇数族の少なくとも 97.8% の形式が $L'(1/2, f) \neq 0$ であることを示す。

• 技術的障壁の特定: 本論文は、分離された族に対して $(-3, 3)$ を超える台を拡張することの困難性を明示的に特定する。著者らは、この制限が本質的に、現在の手法では台がこの範囲を超えると導体が減少しないことに起因すると示唆する。さらなる改善には、$GL(3)$ 上のより強力なバージョンのクズネツォフ跡公式が必要となる可能性があると提唱している。

意義
本論文の意義は、主に中心 L-値の非消滅を理解するという文脈において主張される。これは、バーチ・スウィンナートン＝ダイヤー予想や他の算術的問題への含意を持つ数論の中心的な課題である。偶数族と奇数族を分離し、試験関数の台を $(-3, 3)$ に拡張することで、著者らは GRH に条件付けたこれらの特定の族に対する既知で最も強力な非消滅結果を達成する。

この研究は、数体設定におけるカッツ・サナークの哲学の理解を精緻化し、平方因子を持たないレベル上で平均化し、根数によって分離する場合であっても、零点の統計的挙動がランダム行列理論と整合することを示している。著者らは、$(-3, 3)$ という限界について謙虚であり、それを予想そのものの決定的な限界ではなく、現在の手法における「自然な障壁」として認識している。