[論文レビュー] Secondary terms in the number of vanishings of quadratic twists of elliptic curve L-functions

J. Brian Conrey, Atul Pocharel+2 more|ArXiv.org|Sep 2, 2005

Analytic Number Theory Research参考文献 5被引用数 11

ひとこと要約

この論文は、素数 q を法とする剰余類ごとに分類された楕円曲線 L 関数の二次歪曲の消滅の比の漸近展開における2次項を予想し導出する。L-値のモーメントに関する予想を用いて、予想される極限 R_q への収束が遅い理由を説明する O(1/log X) の補正項を特定し、a_q = 0 の場合に特に高い精度が得られることを示す。

ABSTRACT

We examine the number of vanishings of quadratic twists of the L-function associated to an elliptic curve. Applying a conjecture for the full asymptotics of the moments of critical L-values we obtain a conjecture for the first two terms in the ratio of the number of vanishings of twists sorted according to arithmetic progressions.

研究の動機と目的

• Twisted L 関数の消滅の比 R_q(X) が予想される極限 R_q へ収束が遅い理由を理解すること。
• R_q(X) の漸近展開における1番目の非主項（2次項）を導出すること。この項が収束速度を支配する。
• 数値計算では X ≈ 10^9 でも R_q と一致が2桁の小数までしか得られない理由を説明すること。
• 2次項が導出の導体 Q を割る素数を法とする d の算術的条件に敏感であることを示し、制限された判別式集合の使用を正当化すること。
• 特に a_q = 0 の場合に数値データとの一致が向上するように、改良された漸近公式を提供すること。

提案手法

• Conrey ら (2005) の L_E(1, χ_d)^k のモーメントの完全な漸近展開に関する予想を適用し、R_q(X) の次に大きな項を導出する。
• Moment 生成関数 Υ^±_k(x) の k 重留数公式を用い、Barnes 型積分とゼータ関数を含む。
• M^±_E(X,k) ≈ (1/X)∫₀^X Υ^±_k(log t) dt + O(X^{-1/2+ε}) という予想を用いて L-値の分布をモデル化する。
• R_q(X) の2次項を、主項予測 R_q = ((q+1−a_q)/(q+1+a_q))^{1/2} の補正として導出する。
• 導体 Q を割る素数 p に対して χ_d(p) = −a_p を満たすように、基本的判別式 d の集合を S^±(X) に制限し、2次項の安定化を図る。
• 導出の妥当性を、導出数 11 および 307 の楕円曲線に対して、X=10^8 における R_q(X) を1次および2次近似と比較することで数値的に検証する。

実験結果

リサーチクエスチョン

• RQ1 なぜ、Twisted L 関数の消滅の比 R_q(X) が予想される極限 R_q へ収束が極めて遅いのか？
• RQ2 R_q(X) の漸近展開における2次項の関数的形は何か？ そして収束にどのように影響を与えるか？
• RQ3 2次項は、導体 Q を割る素数を法とする d の剰余類といった算術的条件にどのように依存するか？
• RQ4 なぜ a_q = 0 の場合に、数値データと主項予測 R_q の一致が著しく良くなるのか？
• RQ5 2次項を含む改良された漸近公式は、X ≈ 10^9 における数値計算の不一致を説明できるか？

主な発見

• R_q(X) の漸近展開における2次項は O(1/log X) のオーダーであり、極限 R_q への収束が遅い理由を説明する。
• 2次項は導体 Q を割る素数を法とする d の算術的性質に敏感であり、制限された判別式集合 S^±(X) の使用を正当化する。
• a_q = 0 の曲線では、2次項が消えたり著しく小さくなるため、収束が速くなり、数値データとの一致が向上する。
• X = 10^8 における数値結果では、2次近似式 (64) が1次予測 (63) よりも計算された R_q(X) 値を著しくよく適合させる。特に a_q = 0 の場合に顕著である。
• 2次項の公式は、予想されるモーメント漸近展開から導出され、複数の素数 q における R_q(X) の観察された不一致と一致する。
• 改良された漸近公式により、算術的進歩における消滅の分布の予測がより正確になり、長年の数値的不審点が解消された。