[論文レビュー] The Birch-Swinnerton-Dyer Conjecture

Jae-Hyun Yang|ArXiv.org|Nov 14, 2006

Algebraic Geometry and Number Theory参考文献 27被引用数 3

ひとこと要約

この論文は、楕円曲線の代数的ランクとそのL関数を介した解析的ランクを結びつける、ミレニアム問題の一つであるBirch-Swinnerton-Dyer（BSD）予想について包括的な概説を提供する。予想の定式化を説明し、Taniyama-Shimura定理によるモジュラリティと結びつけ、Heegner点の高さとジャコビ形式のフーリエ係数を結ぶGross-ZagierおよびGross-Kohnen-Zagierの定理を詳述し、算術的不変量と解析的不変量の間の深い構造的関係を示す。

ABSTRACT

We give a brief description of the Birch and Swinnerton-Dyer Conjecture which is one of the seven Clay problems.

研究の動機と目的

• クレイ数学研究所のミレニアム賞問題の一つとしてのBirch-Swinnerton-Dyer予想を説明すること。
• 有理数体 ℚ 上の楕円曲線の代数的ランクとそのL関数を介した解析的ランクとの関係を明確にすること。
• モジュラー形式、Heegner点、およびSkoruppa-Zagier対応がBSD予想の進展に果たす役割を説明すること。
• Gross-ZagierおよびGross-Kohnen-Zagierの定理を、Heegner点の高さとジャコビ形式のフーリエ係数を結ぶ主要な道具として提示すること。

提案手法

• 有理数体 ℚ 上の楕円曲線に対して、代数的ランクと解析的ランクの等しいこととしてBSD予想を形式化すること。
• Mordell-Weilの定理を適用して、E(ℚ) の有限生成性を確立し、ねじれ部分と自由部分を分離すること。
• Taniyama-Shimura定理（BCDTによって証明済み）を用いて、ℚ 上のすべての楕円曲線がモジュラーであることを確立すること。
• CM点を介したX₀(N) 上のHeegner点を定義し、それらをモジュラーパラメトライゼーション φ_E による像として定義すること。
• Skoruppa-Zagier対応を用いて、重み2、指数N のジャコビ形式と、重み2のΓ₀(N) 上のモジュラー形式を関係づけること。
• Gross-Zagierの公式を適用して、s=1 におけるL関数の微分とHeegner点の標準的高さとの関係を導出すること。

実験結果

リサーチクエスチョン

• RQ1 有理数体 ℚ 上の楕円曲線の代数的ランクは、そのL関数を介して解析的ランクとどのように関係するか？
• RQ2 モジュラリティ（Taniyama-Shimura）はBSD予想の進展にどのように寄与するか？
• RQ3 モジュラー曲線 X₀(N) 上のHeegner点は、ジャコビ形式のフーリエ係数とどのように関係するか？
• RQ4 Heegner点の標準的高さとs=1におけるL関数の微分との正確な関係は何か？
• RQ5 Gross-Kohnen-Zagierの定理を用いて、Heegner点を用いてE(ℚ) ⊗ ℝ の構造を特徴づけられるか？

主な発見

• BSD予想は、有理数体 ℚ 上の楕円曲線 E の代数的ランク r が、s=1 におけるL関数 L(E,s) の零点の位数として定義される解析的ランクに等しいと述べている。
• Taniyama-Shimura定理により、ℚ 上のすべての楕円曲線はモジュラーであることが示され、L(E,s) はΓ₀(N) 上の重み2の尖点形式のL関数に等しい。
• Gross-Zagierの定理により、L′(E,1) はHeegner点 P_D,r の標準的高さに比例し、比例定数はEにのみ依存する。
• Gross-Kohnen-Zagierの定理により、2つの異なるHeegner点の高さペアリングは、対応するジャコビ形式のフーリエ係数の積に比例する。
• 系として、関数方程式の符号が -1 で r=1 である限り、すべてのHeegner点 P_D,r はE(ℚ) ⊗ ℝ 内の単一の点 P₀ の有理数倍に等しい。
• Heegner点 P_D,r は、虚二次体 K のヒルベルト類体 E(H(K)) に属し、ガロア作用に関して不変である。