バーチ・スウィンナートン＝ダイアー予想とは？詳しく解説

はじめに

未解決の数学的難問として知られる「ミレニアム懸賞問題」の一つ、バーチ・スウィンナートン＝ダイアー予想（以下、BSD予想）をご存知でしょうか。この予想は、整数論の分野において極めて重要な位置を占めており、現代数学における未解明の領域を象徴する問題として広く認識されています。クレイ数学研究所が2000年に設定した7つのミレニアム懸賞問題のうちの一つに選ばれたこの予想は、その解決が数学の多様な分野に深い影響を及ぼすと期待されています。

本記事では、BSD予想の基本的な内容から、その背後にある楕円曲線やL関数の理論、そして現在の研究状況に至るまで、体系的に説明いたします。数学に詳しくない読者の方にも理解しやすいように、専門用語を丁寧に解説しながら進めます。また、BSD予想が持つ数学的意義や、それが解決された場合に予想される影響についても触れ、読者の皆様にこの問題の魅力をお伝えできれば幸いです。

1. バーチ・スウィンナートン＝ダイアー予想とは？

バーチ・スウィンナートン＝ダイアー予想は、整数論の中心的な研究対象である楕円曲線と、その性質を記述する解析的な道具であるL関数を結びつけるものです。この予想は、1960年代にイギリスの数学者ブライアン・バーチ（Bryan Birch）とピーター・スウィンナートン＝ダイアー（Peter Swinnerton-Dyer）によって提唱されました。彼らは、コンピュータを用いた数値実験を通じて、楕円曲線の有理点の個数とL関数の振る舞いの間に驚くべき関係があることを発見し、それを予想として定式化しました。

具体的には、BSD予想は以下のような主張をしています。「ある楕円曲線の有理点の個数（より正確には、そのランクと呼ばれる指標）は、その楕円曲線に対応するL関数が複素数平面の特定の点（s = 1）でどのように振る舞うかによって決定される」というものです。この主張は、数論という代数的構造を扱う分野と、解析学という連続的な手法を用いる分野を結びつけるものであり、その深遠さが多くの数学者を引きつけています。

BSD予想が解決されれば、有理点のランクをL関数と結びつける一般原理が確立され、数論全体の発展に革命的な影響を与えると考えられています。そのため、クレイ数学研究所は、この問題の解決に対して100万ドルの懸賞金を設定し、世界中の数学者に挑戦を呼びかけているのです。

2. 楕円曲線とは？

BSD予想を深く理解するためには、まずその主役である「楕円曲線」について知る必要があります。楕円曲線とは、数学において特定の形をした曲線を指し、特に整数論や代数幾何学の分野で重要な役割を果たします。以下にその定義と性質を詳しく説明いたします。

2.1 楕円曲線の定義

楕円曲線は、次のような3次方程式で表される曲線として定義されます。

$E : y^{2} = x^{3} + a x + b$

ここで、

$a$

と

$b$

は実数や有理数などの係数であり、曲線が滑らかであるためには、次の量がゼロでないことが条件となります。以下の式のΔは非特異性を判定するための量であり、楕円曲線の標準的な判別式はこの量の−16倍です。

$Δ = 4 a^{3} + 27 b^{2} \neq 0$

この条件が満たされると、曲線は特異点（尖った点や交差点）を持たず、滑らかな形状を描きます。たとえば、

$y^2 = x^3 – x$

や

$y^2 = x^3 – x + 1$

などが具体的な楕円曲線の例として挙げられます。これらの曲線は、グラフに描くとx軸に関して対称ですが、一般に楕円形ではありません。名前が似ていても「楕円」とは異なる数学的対象です。

2.2 点を足すとはどういうことか

ここでの足し算は、座標どうしを足す操作ではありません。通常の位置にある2点P、Qを直線で結び、曲線との3つ目の交点をx軸に関して反転した点をP＋Qと定めます。P＝Qなら直線の代わりに接線を使います。

無限遠点Oを加え、P＋O＝Pとします。P＝(x,y)の逆元は−P＝(x,−y)で、これらを結ぶ垂直線の場合はP＋(−P)＝Oです。この規則は実数の図で理解できますが、係数と出発点が有理数なら計算結果も有理点になります。

例えばy²＝x³−x上のP＝(0,0)は−P＝Pなので、2P＝Oです。点を繰り返し足せば必ず無限個の異なる点ができるわけではありません。この例が、次節の「ねじれ点」と「無限階の点」の違いにつながります。

2.3 有理点の重要性

楕円曲線を研究する際、特に注目されるのは「有理点」です。有理点とは、座標

$(x, y)$

がともに有理数（分数で表される数）である点のことを指します。たとえば、方程式

$y^2 = x^3 – x$

において、点

$(0, 0)$

は

$x = 0, y = 0$

を満たすため有理点です。

有理点の個数が有限か無限か、またその構造がどのように決まるのかは、楕円曲線研究の中心的なテーマです。BSD予想は、この有理点の構造をL関数という解析的な道具で説明しようとする試みなのです。

3. 楕円曲線のランクと有理点

楕円曲線上の有理点の集合は、数学者ルイ・モーデル（Louis Mordell）が1920年代に証明した定理によって、次のように分類されます。

$E (Q) ≅ Z^{r} \times T$

ここで、

$E(\mathbb{Q})$

は楕円曲線

$E$

上の有理点の群を表し、

$\mathbb{Z}^r$

は自由部分（整数を係数とする

$r$

次元の格子）、

$T$

は有限アーベル群（ねじれ部分）を意味します。

3.1 ランクとは何か？

この式における

$r$

は「ランク（Rank）」と呼ばれ、楕円曲線の有理点の構造を決定する重要な指標です。

ランク

$r$

は、独立な無限階の有理点の個数を表します。具体的には、次のように解釈されます。

$r = 0$ の場合、有理点は有限個しか存在せず、無限に多くの有理点は生成されません。
$r \geq 1$ の場合、少なくとも
$r$ 個の独立な有理点が存在し、それらを組み合わせることで無限個の有理点が得られます。

たとえば、ランクが1の場合、ある基本的な有理点

$P$

を見つけ、その整数倍（

$2P, 3P, \ldots$

）を計算することで無限に多くの有理点が生成されます。

3.2 ねじれ点とは？

一方、有限アーベル群

$T$

は「ねじれ点（Torsion Points）」を表します。ねじれ点とは、ある整数

$n$

を掛けることで無限遠点（群の単位元）に戻る点のことです。たとえば、

$nP = O$

（

$O$

は無限遠点）を満たす点がねじれ点です。モーデルの定理によれば、ねじれ点の個数は常に有限であり、その構造は楕円曲線ごとに異なります。

3.3 ランクの計算の難しさ

楕円曲線のランクを具体的に求めることは、非常に難しい問題です。現在の数学では、特定の楕円曲線に対してランクを計算するアルゴリズムが存在しますが、一般的な場合に適用できる完全な方法はまだ確立されていません。BSD予想は、このランクをL関数の性質から予測する手がかりを与えるものであり、その証明が待たれている理由の一つです。

4. L関数とBSD予想

BSD予想の核心は、楕円曲線に対応する「L関数」と呼ばれる解析的対象にあります。以下に、L関数の定義と、それがBSD予想でどのように関わってくるのかを説明いたします。

4.1 まず5で割った余りで点を数える

L関数の材料は、素数pごとに数えた点です。例としてE：y²＝x³−xを考え、座標を5で割った余り0〜4に置き換えます。「等しい」の代わりに「5で割った余りが等しい」として、各xに対応するyを調べます。

x	x³−xの余り	条件を満たすy
0	0	0
1	0	0
2	1	1、4
3	4	2、3
4	0	0

例えば4²＝16の余りは1、3²＝9の余りは4です。表の点は1＋1＋2＋2＋1＝7個。さらに無限遠点Oを1個加えるため、N₅＝8となります。ここではNₚに無限遠点を含める約束を使います。

aₚ＝p＋1−Nₚと置くと、a₅＝5＋1−8＝−2です。これは5という素数で見た点の個数が、基準のp＋1からどれだけずれたかを表します。有理数全体での点の個数を、この8という数で直接置き換えるわけではありません。

良い還元を持つ素数では、このaₚから次の因子を作ります。

(1 − aₚp^−s ＋ p^1−2s)⁻¹

5に対応する因子は(1＋2・5^−s＋5^1−2s)⁻¹です。各素数の因子を掛け合わせたものがL関数のオイラー積になります。ただし、法pで曲線に特異点が生じる「悪い還元」の素数では因子が異なります。上の式をそのまますべての素数に適用するのは正しくありません。

この積はまずRe(s)＞3/2で定義し、解析接続した関数をs＝1の近くで調べます。有限個の因子だけを電卓で掛けてs＝1を代入する計算と、BSD予想が述べるL関数の値とは区別が必要です。

4.2 BSD予想の主張

BSD予想は、このL関数の特殊値

$L(E, 1)$

（

$s = 1$

における値）と、楕円曲線のランク

$r$

の間に次のような関係があると主張しています。

$L(E, 1) \neq 0$ のとき、ランク
$r = 0$ であり、有理点は有限個しか存在しません。
$L(E, 1) = 0$ のとき、ランク
$r \geq 1$ であり、無限個の有理点が存在します。
さらに、
$s = 1$ におけるL関数の零点の次数（すなわち、

$L(E, s)$ の導関数が何階まで消失するか）がランク

$r$ に一致します。

この関係は、数値実験によって初めて示唆され、その後多くの具体例で検証されています。しかし、一般的な楕円曲線に対してこの主張を厳密に証明することは、現代数学の最大の挑戦の一つとされています。

4.3 L関数の解析的性質

L関数の重要性は、その解析的な振る舞いにあります。たとえば、L関数が

$s = 1$

でゼロになる場合、その「消失の程度」（零点の次数）が楕円曲線の複雑さを反映していると考えられます。また、L関数は「関数等式」と呼ばれる対称性を持ち、これがBSD予想の深い背景を形成しています。このような性質は、楕円曲線とモジュラー形式の関係とも結びついており、後述する研究の進展でさらに詳しく触れます。

5. BSD予想の進展と未解決部分

BSD予想は、提唱されてから半世紀以上が経過し、多くの数学者によって研究が進められてきました。以下に、これまでの進展と残された課題について詳しく見ていきます。

5.1 どの範囲が証明されているか

CoatesとWilesの初期の結果は、複素乗法を持つ楕円曲線について、L(E,1)≠0なら有理点が有限になるというものでした。これを一般のランク0・1の場合すべての証明と説明するのは不正確です。

Gross–Zagier、Kolyvaginらの成果と、有理数体上の楕円曲線のモジュラー性を合わせると、解析的ランクが0または1の場合には、代数的ランクとの一致が分かっています。「代数的ランクが低そうだ」という数値実験を、そのままこの定理の仮定にできるわけではありません。

ここで述べたのはランクの一致です。BSD予想の精密な形では、L関数の最初の非ゼロ係数を、ねじれ部分やレギュレーター、周期、Tate–Shafarevich群などの算術的な量で表します。ランクについての部分的解決と、この係数の公式全体を区別して読む必要があります。

5.2 数値計算と一般的な証明の違い

2026年9月16日に確認したクレイ数学研究所の問題一覧では、BSD予想は未解決です。特に解析的ランクが高い場合を含む一般的な一致や、精密な公式には課題が残っています。

計算でL(E,1)が0.000000…と表示されても、それだけでは厳密にゼロだと証明できません。丸め誤差や打ち切り誤差より小さい正の値かもしれないためです。一方、有理点をいくつか見つけても、それらが独立であること、さらに他の独立な点がないことは別に示さなければなりません。

例えば無限階の点Pを見つければランクの下限は1になります。しかし「見つかった点がPだけだからランク1」とは言えません。探索で点を増やす作業と、理論によってランクの上限を押さえる作業の両方が重要です。

6. BSD予想の意義と展望

6.1 「点の多さ」を二つの方法で測る

BSD予想の面白さは、分数で表せる解を足し算で調べる方法と、各素数で点を数えて関数を作る方法が結びつくことです。前者は代数的ランク、後者はs＝1での零点の次数という異なる量を返します。

ランクは解の総数ではありません。ランク1でも2でも有理点は無限個ですが、独立な無限階の点が何個必要かが違います。「無限にある」という結論を、解の生成方法まで掘り下げる指標です。無限の集合を数えるという別の話題は、ヒルベルトの無限ホテルでも解説しています。

6.2 楕円曲線暗号が直ちに破られるわけではない

楕円曲線暗号では通常、有限体上の点の群を使い、PとkPから整数kを求める離散対数問題の難しさを利用します。この記事のBSD予想は有理数体上の点とL関数の関係です。同じ楕円曲線という名前でも、扱う体と求めたい情報が異なります。

したがって、BSD予想の証明を「暗号をすぐ解読できる技術」と受け取るのは飛躍です。有理点の構造への理解が深まることと、暗号の実用的な解読アルゴリズムが得られることは別の主張です。

7. 読み終えたら確認したい三つの区別

有理点と、素数で割った余りの世界の点は異なる。後者の点数がL関数の材料になる。
ランクは点の総数ではなく、自由部分の独立な生成元の数である。ねじれ部分は有限アーベル群で、必ず巡回群とは限らない。
予想は単にL(E,1)がゼロかどうかだけでなく、零点の次数とランクの一致を述べる。数値的な一致と証明は区別する。

例えば零点の次数が2とは、L(E,1)＝L′(E,1)＝0でL″(E,1)≠0という意味です。BSD予想が正しければ、このとき代数的ランクも2になります。この対応こそが、式と解の間にある核心です。

参考資料

クレイ数学研究所：BSD予想の概要と未解決状況
Andrew Wiles：公式問題解説（PDF）。ランク、L関数、既知の結果と精密版の定式化を確認できます。

画像元

:https://ja.m.wikipedia.org/wiki/%E6%A5%95%E5%86%86%E6%9B%B2%E7%B7%9A