BSD予想(4) - 非専門的シンギュラリティー研究所

「現代数学」誌の「BSD予想から深リーマン予想への眺望」の記事を見てみました。「元のBSD予想と今のBSD予想とは違う」ようなことが書かれていたのですがどう違うのかよくわかりませんでした。ChatGPT で調べてみます。

「現代数学」誌の「BSD予想から深リーマン予想への眺望」の記事では、バーチとスウィナートン・ダイヤーの原論文の数値実験について書かれていますが、これと違いはありますか

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

『現代数学』誌の「BSD予想から深リーマン予想への眺望」記事におけるバーチとスウィンナートン＝ダイアーの原論文の数値実験についての記述と、前述のSageMathを用いた現代の数値実験との違いについてご説明いたします。

🧮 原論文における数値実験の特徴

バーチとスウィンナートン＝ダイアーは1960年代初頭、ケンブリッジ大学のEDSAC IIコンピュータを用いて、楕円曲線に関連するL関数の数値的挙動を調査しました。

対象: 特定の楕円曲線に対して、有限体上での点の個数を計算。

目的: L関数の $s=1$ における振る舞いと、楕円曲線の有理点の構造（特にランク）との関係を探ること。

方法: 素数 $p$ ごとに、楕円曲線を $\mathbb{F}_p$ 上で考え、点の数 $\#E(\mathbb{F}_p)$ を計算し、 $a_p = p + 1 - \#E(\mathbb{F}_p)$ を求め、L関数の部分和を近似的に計算。

これらの実験から、L関数の $s=1$ における零点の位数と、楕円曲線のランクとの間に深い関係があることを予想しました。

🧪 現代のSageMathを用いた数値実験の特徴

現代では、SageMathなどの数学ソフトウェアを用いて、より高度で多様な数値実験が可能となっています。

対象: 多様な楕円曲線に対して、L関数、ランク、トーション部分群、シャファレヴィッチ＝テイト群などの算術的不変量を計算。

目的: BSD予想の数値的検証や、関連する未解決問題の探索。

方法: SageMathの組み込み関数を用いて、楕円曲線の定義、L関数の評価、ランクの計算、Selmer群やシャファレヴィッチ＝テイト群の近似などを行う。

これにより、より多くのデータを効率的に収集・分析し、BSD予想の理解を深めることが可能となっています。

🔍 主な違いのまとめ

項目原論文の数値実験現代のSageMathを用いた数値実験

時期 1960年代初頭現代

使用機器 EDSAC IIコンピュータパーソナルコンピュータ、SageMathソフトウェア

計算対象 特定の楕円曲線の有限体上の点の個数多様な楕円曲線の多様な算術的不変量

目的 L関数の $s=1$ における振る舞いとランクの関係の予想 BSD予想の数値的検証や関連問題の探索

方法手動および初期的なプログラムによる計算高度な数学ソフトウェアによる自動計算

『現代数学』誌の記事では、原論文の数値実験の歴史的背景や意義について詳しく述べられており、現代の数値実験との違いを理解する上で非常に参考になります。
ご興味があれば、具体的な楕円曲線を例に取り、SageMathでの数値実験を一緒に行ってみることも可能です。

項目	原論文の数値実験	現代のSageMathを用いた数値実験
時期	1960年代初頭	現代
使用機器	EDSAC IIコンピュータ	パーソナルコンピュータ、SageMathソフトウェア
計算対象	特定の楕円曲線の有限体上の点の個数	多様な楕円曲線の多様な算術的不変量
目的	L関数の $s=1$ における振る舞いとランクの関係の予想	BSD予想の数値的検証や関連問題の探索
方法	手動および初期的なプログラムによる計算	高度な数学ソフトウェアによる自動計算