BSD予想(2)

「現代数学」にBSD予想の数値実験について書かれているようなので、こちらも見てみることにします。

BSD予想の数値実験はどのようなものですか

と ChatGPT で入力すると以下のような結果が返されました。

BSD予想（バーチ・スウィンナートン＝ダイアー予想）の数値実験とは、1960年代初頭に ブライアン・バーチ（Bryan Birch） と ピーター・スウィンナートン＝ダイアー（Peter Swinnerton-Dyer） が行った、コンピュータを使った楕円曲線に関する数値計算のことで、この予想の出発点となった重要なアイディアです。

🔍 実験の概要

彼らは当時の大型コンピュータ（ケンブリッジ大学の EDSAC II）を使い、多くの楕円曲線についてL関数の近似値を計算し、その挙動と有理点の構造（特にランク）の関係を調べました。

🔢 実験のステップ

1. 楕円曲線を選ぶ

たとえば：

の形を持つ楕円曲線をいくつか選びます（, は整数）。

2. 有限体上の点の個数を数える

素数 に対して、曲線 を 上で考え、点の数 を計算します。

を求める。

3. L関数の部分和を計算する

楕円曲線 に対するディリクレ級数の形で書かれたL関数：

をある程度の項（たとえば 1000 項など）まで計算し、特に 近傍での振る舞いを調べます。

4. での振る舞いを調べる

• L関数が で非ゼロなら、ランク0であることが多い。
• L関数が で 0 に近づくなら、ランクが 1、2、…と増えるように見える。

実際に彼らは、次のような発見をしました：

楕円曲線のランクが のとき、 は において 次の零点を持つように見える。

🧮 具体例（イメージ）

以下のような曲線について、

これはランク 1 の楕円曲線であることが知られています。L関数を計算すると、

• 
• しかし

つまり一次の零点 → ランク1

💡 なぜ画期的だったか？

• 当時、数論でコンピュータを使って実験するという発想自体が新しかった。
• 単なる計算ではなく、L関数と群構造を結びつける仮説に至ったのが非常に革新的だった。

📈 現代の数値実験

現代では、PARI/GP, SageMath, Magma, Mathematica などを使って、より精密に：

• Selmer群やシャファレヴィッチ＝テイト群の近似
• L関数の高精度評価（Dokchitser のアルゴリズムなど）
• BSD予想の数値的確認（e.g., 有限項から導関数の値を近似）

といった計算が行われています。

🧠 まとめ

項目	内容
誰が？	バーチとスウィンナートン＝ダイアー
何を？	L関数と楕円曲線の有理点構造を比較
方法は？	素数ごとの点の数を数え、L関数を構成し、$s=1$ 付近で調査
結果は？	零点の階数と有理点群のランクが一致するらしい、という予想

もし希望があれば、実際にSageMathやPythonで簡単な数値例を一緒に試してみることもできますよ。やってみたいですか？

現代数学 2025年 04 月号 [雑誌]

現代数学 2025年 05 月号 [雑誌]

数学21世紀の7大難問―数学の未来をのぞいてみよう (ブルーバックス)

興奮する数学 ―世界を沸かせる7つの未解決問題―

数学セミナー増刊 ミレニアム賞問題 2010年 07月号 [雑誌]