[論文レビュー] Nonvanishing of quadratic Dirichlet L-functions at s=1/2

K. Soundararajan|arXiv (Cornell University)|Feb 23, 1999

Analytic Number Theory Research被引用数 45

ひとこと要約

本稿は、実のディリクレ指標 χ₈d に付随する二次のディリクレ L 関数 L(s, χ₈d) に対して、少なくとも 87.5% の奇数で平方因子を持たない整数 d が L(1/2, χ₈d) ≠ 0 を満たすことを確立している。最初のモーメントと第二のモーメントを制御する最適化されたモリフィアを用いて、著者たちはスペクトル理論と調和解析を適用し、s = 1/2 における L 関数の非消滅の割合が 7/8 を上回ることを示した。これは従来の境界を著しく改善し、カッツ＝サルナックのモデルにおけるシンプレクティック対称性によってこの現象を説明している。

ABSTRACT

We show that for a positive proportion of fundamental discriminants d, L(1/2,chi_d) != 0. Here chi_d is the primitive quadratic Dirichlet character of conductor d.

研究の動機と目的

• s = 1/2 における非消滅する二次のディリクレ L 関数の正の下界密度を確立すること。
• 固定された L 関数の二次的ねじれの族において ψ = 1 の場合を解明すること。ここでは、従来の研究が「非対角項」の制御不能さにより失敗していた。
• s = 1/2 における非消滅 L 関数の割合が 7/8 を上回ることを示すこと。これは従来の結果を著しく改善する。
• カッツ＝サルナックの密度予想におけるシンプレクティック対称性によって、高次の非消滅密度を説明すること。

提案手法

• 最初のモーメントと第二のモーメントをバランスさせるために、λ(l) を選ぶことで、M(d) = ∑_{l≤M} λ(l)/√l ⋅ (8d/l) という形のモリフィアを導入する。
• MY(d) と RY(d) を用いた dyadic 分割の単位分解により、和を主項と誤差項に分解する。
• 近似関数等式とヴォロノイ和公式を用いて、L(1/2, χ₈d) のモリフィドモーメントを分析する。
• ポアソン和公式とスペクトル理論を適用して、モーメント展開における主項と補正項を評価する。
• μ, d(n), Λ(n), および乗法的関数を含む算術的和の漸近的解析を慎重に行い、主要項の寄与を抽出する。
• モリフィアパrameter M = X^{1/2−ε} を最適化し、特性関数 (1, 2) の近似に滑らかな切断関数 Φ を選ぶことで、カウチ＝シュバルツによる下界を得る。

実験結果

リサーチクエスチョン

• RQ1 奇数で平方因子を持たない d に対して、L(1/2, χ₈d) が非消滅する割合はどの程度か？
• RQ2 他の L 関数族と比較して、L(s, χ₈d) の族ではなぜ非消滅割合が高いのか？
• RQ3 L 関数族のシンプレクティック対称性は、高次の非消滅密度をどのように説明できるか？
• RQ4 最適化されたモリフィアを用いることで、モーメント法における「非対角」寄与を制御できるか？
• RQ5 この族における第一および第二のモリフィドモーメントの正確な漸近的挙動は何か？

主な発見

• 少なくとも 87.5% の奇数で平方因子を持たない整数 d に対して L(1/2, χ₈d) ≠ 0 が成り立ち、X → ∞ のとき割合は 7/8 に近づく。
• 非消滅 L 関数の割合は 7/8 を上回り、カッツ＝サルナックのシンプレクティックモデルの予測と一致する。
• モリフィアが第一および第二のモリフィドモーメントが漸近的に同等になるように構成されており、カウチ＝シュバルツを用いて正の下界を得ることが可能である。
• 第二のモリフィドモーメントの主項は、漸近的に ∼ (4/81 + 8/27θ + ... + 4/27θ⁵) ⋅ 2ˆΦ(0)/(3ζ(2)) と表され、θ = 1 − ε である。
• RY(d) および k ≠ 0, □ 項からの誤差項は o(X) であることが示され、主項が支配的であることが保証される。
• 結果は、8 で割り切れるものに限らず、任意の基本的判別式の算術的進数列に対しても成立し、堅牢である。