バーチ・スウィンナートン=ダイアー予想とは?未解決の数学ミレニアム問題を徹底解説

数理物理
バーチ・スウィンナートン=ダイアー予想

はじめに

未解決の数学的難問として知られる「ミレニアム懸賞問題」の一つ、バーチ・スウィンナートン=ダイアー予想(以下、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:y2=x3+ax+b

記号意味(物理単位はありません)
E考える楕円曲線
x、y曲線上の点の座標
a、b曲線を定める係数。BSD予想では有理数を考える
Δこの記事では4a³+27b²。標準的な判別式は−16Δ

有理数上では、この形の方程式に無限遠点を加え、次の非特異性の条件を満たすものを考えます。

Δ=4a3+27b2≠0

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

y2=x3−xy^2 = x^3 – x

や

y2=x3−x+1y^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²=x³−xに(0,0)を代入すると、左辺も右辺も0になり、有理点だと確かめられます。(1,0)、(−1,0)も同様です。

一方、実数のグラフの上にあるからといって有理点とは限りません。同じ曲線でx=2ならy²=6なので、y=±√6です。これらのyは有理数ではありません。グラフに連続した線が見えることと、有理点が無限個あることは別の話です。

有理点が有限か無限か、どのような点から生成できるかを調べるのが次のランクの話です。無限遠点も、有理点の群の一員として含めます。

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

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

E(Q)≅Zr×T

記号意味(物理単位はありません)
E(ℚ)無限遠点を含めた、楕円曲線E上の有理点の群
ℚ有理数全体
ℤ整数全体
ℤʳr個の整数で表す自由部分
r代数的ランク。自由部分の独立な生成元の数
T有限アーベル群であるねじれ部分
≅群として同型。足し算の構造が対応すること
×二つの群の直積

3.1 ランクは「点の総数」ではない

ランク0なら有理点の群は有限なねじれ部分だけです。ランク1以上なら、無限階の点の整数倍から無限個の有理点が得られます。ランク1でも2でも総数は無限ですが、自由部分を生成するのに必要な独立な点の数が異なります。

ランク1の場合、自由部分の生成元Pを選ぶと、任意の有理点はnP+Qと表せます。P、2P、3Pと足すだけでは、ねじれ部分を伴う点をすべて書き出したことにはならないため、Qを含めるのがポイントです。

記号意味(物理単位はありません)
P自由部分の生成元として選んだ無限階の点
n任意の整数。負の値や0も含む
nP群の演算による整数倍。座標を単純にn倍する意味ではない
Qねじれ部分Tの点
O無限遠点。点の足し算の単位元

3.2 ねじれ点では、正の整数倍がOになる

点Qがねじれ点であるとは、ある正の整数nについてnQ=Oとなることです。n=0を許すと、どの点でも0Q=Oとなってしまうので、定義で正の整数とすることが重要です。

先ほどの曲線のQ=(0,0)では2Q=Oでした。Q、2Q、3Q、4Qと足すとQ、O、Q、Oと繰り返し、異なる点が無限に増えません。この例ではn=2です。群E(ℚ)のねじれ部分Tは有限ですが、必ず一つの点だけから生成される巡回群とは限りません。

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を調べます。

xx³−xの余り条件を満たすy
000
100
211、4
342、3
400

例えば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という数で直接置き換えるわけではありません。

記号意味(物理単位はありません)
p考える素数
Nₚ法pで数える点の個数。無限遠点も1個含む
aₚp+1−Nₚで定義する整数。曲線の係数aとは別の記号
sL関数の複素変数
Re(s)sの実部。流体力学のレイノルズ数とは無関係
L(E,s)楕円曲線Eに対応するL関数

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

(1 − aₚp−s + p1−2s)−1

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

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

4.2 BSD予想の主張

BSD予想のランクについての主張は、代数的ランクrが、s=1でのL(E,s)の零点の次数に等しいというものです。

r=ords=1L(E,s)

記号意味(物理単位はありません)
r有理点の群から定まる代数的ランク
ords=1L(E,s)s=1での零点の次数(解析的ランク)。値が非ゼロなら0
L(E,1)s=1を代入したL関数の値
L′(E,1)、L″(E,1)sについて1回、2回微分し、s=1を代入した値

L(E,1)≠0なら解析的ランクは0です。L(E,1)=0でもL′(E,1)≠0なら1、L(E,1)=L′(E,1)=0でもL″(E,1)≠0なら2になります。単に「ゼロになるか」だけでは、1と2を区別できません。

関数の形で言えば、s=1の近くで最初に現れる非ゼロの項が、(s−1)の何乗かを見ています。この次数が、有理点の足し算から定まるrに一致するというのが予想の核心です。解析的ランクが正なら有理点は無限個になると予想されますが、一般の場合の主張を証明済みの事実として扱わないようにします。

4.3 関数全体の性質と、特定の点での値

有理数体上の楕円曲線のL関数は、モジュラー性を通じて解析接続や関数等式と結びつきます。しかし、関数全体に対称性があることと、ある曲線のランクが具体的にいくつか分かることは同じではありません。

例えば、ある精度まで計算した値がゼロに近いというだけでは、最初の非ゼロの導関数の次数は確定しません。収束や誤差を扱う解析の手法と、有理点の独立性を扱う代数の手法を橋渡しする必要があります。

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関数の関係です。同じ楕円曲線という名前でも、扱う体と求めたい情報が異なります。

記号意味(物理単位はありません)
P(暗号の例)有限体上で選んだ基準の点。有理数上の例とは別の設定
k点Pを何回足すかを表す整数。通常はPの位数を法として扱う
kP有限体上の群の演算で求める整数倍の点

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

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

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

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

参考資料

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

ほかの難問・パラドックスから数学を楽しむ

未解決問題の研究と、解答が分かっていても直感に反する問題を比べると、数学の幅広さが見えてきます。

タイトルとURLをコピーしました