[論文レビュー] Heegner points and Eisenstein series

Nicolas Templier|ArXiv.org|Aug 11, 2008

Analytic Number Theory Research参考文献 17被引用数 3

ひとこと要約

本稿は、ヘーガー点とイーゼンスタイン級数を用いて、虚二次体上の類群L関数のねじれた第二モーメントの新たな簡潔な計算を提供する。sパラメータに関して多項式成長を達成しており、先行研究の指数的境界を改善している。主項はL関数およびガンマ関数の特殊値と微分を用いて完全に明示的に与えられる。

ABSTRACT

We give an alternative computation of the twisted second moment of critival values of class group $L$-functions attached to an imaginary quadratic field. The method avoids long calculations and yields the expected polynomial growth in the $s$-parameter for the remaining term.

研究の動機と目的

• 虚二次体に付随する類群L関数の臨界値のねじれた第二モーメントに対する代替的で簡素化された計算を提供すること。
• ドーキュ＝フリードランダー＝イワニエフ（2004年）の先行研究における誤差項の指数的s成長を、多項式成長に置き換えること。
• L関数およびガンマ関数の特殊値と微分を用いて、主項の完全な明示的表現を導出すること。
• 非ゼロ性問題におけるモリフィケーション技法に不可欠なs = 1/2における主項のより透明で計算に適した公式を提供すること。
• 新しい公式からの直接的検証により、ブローマーによる定数項におけるキャンセル現象の観察と整合性を確認すること。

提案手法

• ハイケ周期公式を用いて、第二モーメントをモジュラー多様体上のヘーガー点に対するイーゼンスタイン級数の周期として解釈する。
• スペクトル理論および自動形式を用いて、ねじれた第二モーメントをL関数および特殊値の和として表現する。
• 完成形リーマンゼータ関数 ξ(s) = π^{-s/2}Γ(s/2)ζ(s) 及びその対数微分を用いて主項を制御する。
• L(1,χ_D)、log|D|、およびΓ(s)とζ(s)の微分を含む明示的表現を導出し、ガンマ関数と特殊値から得られる正確な係数を提示する。
• 全体の式がRe(s) = 1/2で実解析的であることを用いて、s = 1/2における見かけの極が相殺されることを示し、正則性を保証する。
• バーガスの推定を用いて、L_D = ½ log|D| + L′/L(1,χ_D) が少なくとも log|D| の割合で増大することを確認し、これが主項としての役割を果たす根拠を示す。

実験結果

リサーチクエスチョン

• RQ1 虚二次体上の類群キャラクターの臨界L値のねじれた第二モーメントは、sパラメータに関して多項式成長を示すように計算可能か？
• RQ2 複雑な積分を避け、主項の明示的で閉形式の表現を導出することは可能か？
• RQ3 s = 1/2における第二モーメントの正確な漸近的挙動は何か？また、s ≠ 1/2の場合とはどのように異なるか？
• RQ4 新しい手法は、漸近展開の定数項におけるブローマーの観察したキャンセル現象を確認できるか？
• RQ5 主項の構造を、モリフィケーションおよび非ゼロ性問題への応用に適した形にどのように整えることができるか？

主な発見

• 本稿は、誤差項の|s|に関して多項式成長を示す新たな境界を確立し、ドーキュ＝フリードランダー＝イワニエフ（2004年）の指数的成長を改善した。
• 主項は、L(1,χ_D)、log|D|、およびΓ(s)とζ(s)の微分を含む組み合わせとして明示的に与えられ、ガンマ関数と特殊値から得られる正確な係数が導出された。
• s = 1/2では主項に(log|D|)^3 項が現れ、s ≠ 1/2の場合の主項L(1,χ_D) log|D| とは顕著な定性的な違いを示す。
• 公式はブローマーによる定数項c_00におけるキャンセル現象を確認し、新しい明示的表現と整合的であることを示した。
• 自動形式および周期積分を活用することで、長く複雑な計算を回避し、より透明で計算に適した導出が可能になった。
• 形式的表現におけるs = 1/2における三重極が相殺され、右辺全体がRe(s) = 1/2で実解析的であることが保証された。これは左辺が要求する性質である。