楕円曲線の有理点を調べたいとき、最も直接的な方法は、有理数の座標を持つ点を探すことである。しかし、有理数には分子と分母の大きさに上限がない。探索時に分子や分母へ上限を設ければ有限個の候補を調べられるが、その範囲を越えて有理点が存在する可能性は残る。いくつかの点を発見することと、有理点全体の構造を把握することは別の問題になる。
楕円曲線の数論では、この無限の探索問題をそのまま扱う代わりに、二つの方向から構造を取り出す。一つは、有理点に加法を入れて群として捉え、その群がどのような生成元から成るかを調べる方向である。もう一つは、曲線を素数 \(p\) ごとに有限体 \(\mathbf F_p\) へ還元し、有限個の点を数える方向である。後者では一つの素数だけを見るのではなく、各素数で得られる情報を集積して L 関数という一つの解析的対象へまとめる。
Birch–Swinnerton-Dyer 予想、以下 BSD 予想は、この二つの方向を結び付ける。有理点群から得られる大域的な自由度と、各素数で観測した局所情報を集積した L 関数の中心での振る舞いが対応すると予想する。有限体上の点数と有理数上の点は、入口では離れた対象に見えるが、その間にはフロベニウス、L 関数、セルマー群、Tate–Shafarevich 群、Heegner 点、高さといった中間構造がある。
BSD 予想を理解するには、この両端だけを見るより、局所情報がどのように解析的対象へ集約され、代数側では局所条件がどのように有理点群を制約するかを順に追う方が構造を捉えやすい。本稿では、有限な局所観測の集積から、大域的な有理点群の構造を読むという流れを中心に BSD 予想を整理する。
1. 有理点を一つずつ探しても全体像は見えにくい
有理数体 \(\mathbf Q\) 上の楕円曲線 \(E\) を考える。典型的には、変数変換によって
\[
E:\quad y^2=x^3+Ax+B
\]
という Weierstrass 方程式で表せる。ここで \(A,B\) は有理数であり、
\[
4A^3+27B^2\neq0
\]
を満たすものとする。この条件によって右辺の三次式は重根を持たず、曲線に特異点が生じない。\(x,y\) がともに有理数となる点に無限遠点 \(\mathcal O\) を加えた集合を \(E(\mathbf Q)\) と書く。
楕円曲線では、二つの点を通る直線と曲線との交点を利用する弦接線法によって点同士の加法を定義できる。無限遠点 \(\mathcal O\) を単位元とすると、この加法について \(E(\mathbf Q)\) はアーベル群になる。したがって、有理点を調べる問題は、方程式の解を列挙する問題であると同時に、その解が作る群の構造を調べる問題でもある。
直接探索には範囲の問題が残る。たとえば有理数 \(x\) を既約分数 \(a/b\) として表しても、分子 \(a\) と分母 \(b\) の双方がどこまで大きくなるかを方程式だけから一律に決められるわけではない。ある高さまで探索して多数の有理点を発見できても、それより高い位置に新しい点が存在する可能性が残る。探索範囲を拡大するほど計算量は増える一方、有限範囲の探索結果だけから有理点全体の構造を確定するには別の理論が必要になる。
その役割を担うのが Mordell–Weil 定理である。楕円曲線の有理点群 \(E(\mathbf Q)\) は有限生成アーベル群になる[1]。有限生成とは、有理点の個数が有限という意味ではなく、有限個の有理点を生成元として選べば、群の加法と逆元によって全ての有理点を表せるという意味である。
具体的には、有限個の点 \(P_1,\ldots,P_r\) と有限位数の点からなる部分群を選ぶことで、任意の有理点 \(P\) を
\[
P=T+n_1P_1+\cdots+n_rP_r
\]
という形で表せる。ここで \(T\) は有限位数の点、\(n_1,\ldots,n_r\) は整数である。座標そのものは無限に多様であっても、群として見れば、無限に広がる部分は有限個の独立な方向から生成される。
| 観点 | 有理点の直接探索 | 群構造としての把握 |
|---|---|---|
| 調べる対象 | 有理数座標 \((x,y)\) を持つ個々の点を探索する。 | 有理点全体を生成する有限個の点と有限部分を調べる。 |
| 探索範囲 | 分子と分母の大きさを広げるほど候補が増え、有限範囲の探索だけでは全体を確定しにくい。 | Mordell–Weil 定理によって、有理点群全体が有限個の生成元で記述できることが保証される。 |
| 得られる情報 | 探索範囲内で実際に見つかった有理点が分かる。 | 有限位数部分と、無限に広がる独立な方向の数を分離して把握できる。 |
| BSD 予想との接続 | 個々の座標そのものは BSD 予想の中心的な比較量にならない。 | 自由部分の独立な方向の数であるランクが、L 関数の中心での零点次数と対応する。 |
この比較によって、問題の形が変わったことが分かる。有理点を一つずつ探し続ける代わりに、有限部分が何であり、無限に広がる独立な方向がいくつあるかを調べればよい。その独立な方向の数が、次に扱う楕円曲線のランクである。BSD 予想の代数側では、このランクが中心的な量になる。
2. ランクは有理点群の自由度を表す
Mordell–Weil 定理によって \(E(\mathbf Q)\) は有限生成アーベル群である。さらに有限生成アーベル群の構造定理を適用すると、
\[
E(\mathbf Q)\simeq E(\mathbf Q)_{\mathrm{tors}}\oplus \mathbf Z^r
\]
と分解できる。\(E(\mathbf Q)_{\mathrm{tors}}\) は有限位数の点からなる捩れ部分、\(\mathbf Z^r\) は無限位数の点によって生成される自由部分である。整数 \(r\) を楕円曲線 \(E\) のランクと呼ぶ。
この分解によって、有理点群の有限な部分と無限に広がる部分を分離できる。捩れ点 \(T\) は、ある正の整数 \(n\) に対して \(nT=\mathcal O\) となる点であり、有限回加えると単位元へ戻る。一方、自由部分の生成元 \(P_1,\ldots,P_r\) は無限位数を持ち、その整数係数による組み合わせ
\[
n_1P_1+\cdots+n_rP_r
\]
から無限個の有理点が生じる。したがって、ランク \(r\) は有理点の個数そのものではなく、有理点群が無限に広がる独立な方向の数を表している。
ランク \(0\) では自由部分が消え、\(E(\mathbf Q)\) は捩れ部分だけになるため有理点群は有限である。ランク \(1\) では一つの無限位数点 \(P\) を基準として、\(P,2P,3P,\ldots\) のように整数倍から無限個の点が生じる。ランク \(2\) では二つの独立な点 \(P_1,P_2\) が必要になり、\(n_1P_1+n_2P_2\) という二つの整数パラメータによって自由部分が広がる。
| ランク | 有理点群の構造 | 自由部分の意味 |
|---|---|---|
| \(r=0\) | \(E(\mathbf Q)\simeq E(\mathbf Q)_{\mathrm{tors}}\) となり、有理点群は有限になる。 | 独立な無限位数点を持たない。 |
| \(r=1\) | \(E(\mathbf Q)\simeq E(\mathbf Q)_{\mathrm{tors}}\oplus\mathbf Z\) となる。 | 一つの独立な無限位数点が自由部分を生成する。 |
| \(r=2\) | \(E(\mathbf Q)\simeq E(\mathbf Q)_{\mathrm{tors}}\oplus\mathbf Z^2\) となる。 | 二つの独立な無限位数点が二方向の自由部分を生成する。 |
| \(r\ge3\) | 自由部分は \(\mathbf Z^r\) となる。 | \(r\) 個の独立な無限位数点によって高次元の自由部分が生成される。 |
ここで重要なのは、ランクを知ることによって無限個の有理点を一つずつ列挙する必要がなくなる点である。たとえばランクが \(2\) と分かれば、有理点群の無限部分には二つの独立な生成方向があることまで確定する。個々の点の座標を調べる問題が、有限個の生成元と整数 \(r\) を決める問題へ置き換わる。
BSD 予想がまず結び付けるのも、この整数 \(r\) である。代数側では \(r\) が Mordell–Weil 群の自由部分の階数として現れる。一方、解析側では楕円曲線から作る L 関数が中心点 \(s=1\) で何次まで零になるかという整数が現れる。BSD 予想は、この二つの整数が一致すると主張する。
そこで次に、有理点群からいったん離れ、同じ楕円曲線を素数 \(p\) ごとに有限体上で観測する。無限に広がる有理点の問題を、各素数における有限な点の数え上げへ移すことが、L 関数へ進む入口になる。
3. 素数ごとに見ると無限の問題が有限になる
有理点群のランクを直接調べる経路から離れ、同じ楕円曲線を素数 \(p\) ごとに観測する。係数の分母を避け、還元後にも曲線が特異点を持たない素数 \(p\) を選ぶと、楕円曲線の方程式を \(p\) で還元して有限体 \(\mathbf F_p\) 上の楕円曲線を得られる。このような素数では、曲線は良い還元を持つという。
たとえば整数係数の楕円曲線
\[
E:\quad y^2=x^3-x
\]
を考える。これを \(p=5\) で還元すると、\(x\) と \(y\) は \(0,1,2,3,4\) のいずれかであり、方程式
\[
y^2\equiv x^3-x\pmod 5
\]
を満たす組を全て調べられる。有理数上では座標候補が無限に広がっていたのに対し、\(\mathbf F_5\) 上では候補が有限個に閉じる。
| \(x\) | \(x^3-x\bmod 5\) | 条件を満たす \(y\) | 点の数 |
|---|---|---|---|
| \(0\) | \(0\) | \(y=0\) | 1 個。 |
| \(1\) | \(0\) | \(y=0\) | 1 個。 |
| \(2\) | \(1\) | \(y=1,4\) | 2 個。 |
| \(3\) | \(4\) | \(y=2,3\) | 2 個。 |
| \(4\) | \(0\) | \(y=0\) | 1 個。 |
この 7 個の有限座標を持つ点に無限遠点 \(\mathcal O\) を加えるため、
\[
\#E(\mathbf F_5)=8
\]
となる。有限体へ移したことで、曲線全体を実際に数え上げられる対象へ変換できた。
この操作は、単に計算を有限化するためだけに使われるものではない。素数を \(5,7,11,13,\ldots\) と変えれば、それぞれについて \(\#E(\mathbf F_p)\) が得られる。同じ楕円曲線を異なる素数で繰り返し観測することで、その曲線に固有の整数列が現れる。
良い還元を持つ素数 \(p\) について、有限体上の点数は任意の値を取るわけではない。Hasse の定理により、
\[
\left|\#E(\mathbf F_p)-(p+1)\right|\le 2\sqrt p
\]
を満たす。つまり、\(\#E(\mathbf F_p)\) は常に \(p+1\) を中心とする幅 \(4\sqrt p\) 程度の範囲に収まる。先ほどの例では \(p=5\) なので基準値は \(6\) であり、実際の点数は \(8\) だった。差の絶対値は \(2\) であり、Hasse の上限 \(2\sqrt5\) の範囲内にある。
そこで、点数そのものよりも基準値 \(p+1\) からのずれを取り出し、
\[
a_p=p+1-\#E(\mathbf F_p)
\]
と定義する。先ほどの曲線では、
\[
a_5=5+1-8=-2
\]
となる。Hasse の定理は、この量について
\[
|a_p|\le2\sqrt p
\]
という評価を与える。
| 対象 | 有理数体 \(\mathbf Q\) | 有限体 \(\mathbf F_p\) |
|---|---|---|
| 座標候補 | 分子と分母に上限がなく、無限に存在する。 | \(x,y\) はそれぞれ \(p\) 個の値だけを取る。 |
| 点の集合 | \(E(\mathbf Q)\) は有限の場合と無限の場合がある。 | \(E(\mathbf F_p)\) は必ず有限集合になる。 |
| 直接得られる量 | Mordell–Weil 群の生成元やランクを調べる。 | 点数 \(\#E(\mathbf F_p)\) を全て数えられる。 |
| BSD 予想への経路 | ランク \(r\) が代数側の中心量になる。 | \(a_p=p+1-\#E(\mathbf F_p)\) が L 関数を構成する局所データになる。 |
ここで有限体上の点数を調べる目的が明確になる。各素数 \(p\) について得られる \(\#E(\mathbf F_p)\) をそのまま並べる代わりに、基準値からの偏差 \(a_p\) として記録すると、素数ごとの情報を共通の形式で扱える。さらに \(a_p\) は、次に見るフロベニウス作用のトレースとして現れる。
つまり、有限体への還元によって無限の探索問題を有限の数え上げへ変え、その点数から \(a_p\) を取り出すことで、単なる計算結果を楕円曲線の算術的な構造を表す量へ変換する。この \(a_p\) を全ての素数について集積することが、L 関数へ進む次の段階になる。
4. 点数のずれはフロベニウスのトレースになる
前章では、良い還元を持つ素数 \(p\) ごとに有限体上の点数 \(\#E(\mathbf F_p)\) を数え、
\[
a_p=p+1-\#E(\mathbf F_p)
\]
という整数を取り出した。ここまでなら \(a_p\) は、点数を基準値 \(p+1\) からの偏差として書き換えただけに見える。しかし、この整数には別の意味がある。\(a_p\) は、有限体上の楕円曲線に自然に作用するフロベニウスのトレースそのものである。有限体上の点数、フロベニウス、L 関数は、同じ算術情報を異なる形で表している[2]。
有限体 \(\mathbf F_p\) の特徴は、任意の元 \(u\) について \(u^p=u\) が成り立つことである。一方、\(\mathbf F_p\) を含む代数閉包 \(\overline{\mathbf F}_p\) まで座標を広げると、
\[
\pi_p:(x,y)\longmapsto(x^p,y^p)
\]
という写像が非自明な作用を持つ。これを楕円曲線 \(E\) のフロベニウス写像と呼ぶ。係数が \(\mathbf F_p\) に属するため、\((x,y)\) が \(E\) 上の点なら \((x^p,y^p)\) も同じ曲線上の点になる。
ここで \(\mathbf F_p\) 上の点には明確な特徴がある。座標が \(\mathbf F_p\) に属する点では \(x^p=x\)、\(y^p=y\) なので、フロベニウスを作用させても点が動かない。逆に、フロベニウスによって固定される点が \(\mathbf F_p\) 上の点に対応する。したがって、\(\#E(\mathbf F_p)\) を数えることは、フロベニウス作用の固定点を数えることでもある。
このフロベニウス作用を、\(p\) とは異なる素数 \(\ell\) に対する Tate 加群 \(T_\ell(E)\) 上で見ると、2 次元の線形作用として表現できる。その特性多項式は
\[
X^2-a_pX+p
\]
となる。2 次元線形変換の特性多項式が
\[
X^2-(\operatorname{tr}\pi_p)X+\det\pi_p
\]
と書けることと比較すると、
\[
\operatorname{tr}(\pi_p)=a_p,\qquad \det(\pi_p)=p
\]
が得られる。前章で点数から定義した \(a_p\) が、ここではフロベニウスという線形作用のトレースとして現れる。
| 表現 | 式 | 意味 |
|---|---|---|
| 有限体上の点数 | \(\#E(\mathbf F_p)\) | フロベニウスによって固定される楕円曲線上の点を数える。 |
| 基準値からの偏差 | \(a_p=p+1-\#E(\mathbf F_p)\) | 点数が基準値 \(p+1\) からどれだけずれているかを記録する。 |
| フロベニウスのトレース | \(\operatorname{tr}(\pi_p)=a_p\) | 同じ整数 \(a_p\) をフロベニウスの線形作用として解釈する。 |
| 特性多項式 | \(X^2-a_pX+p\) | フロベニウスのトレース \(a_p\) と行列式 \(p\) を一つの多項式にまとめる。 |
点数とトレースの対応は、固定点の数としても確認できる。フロベニウスの固有値を \(\alpha_p,\beta_p\) とすると、
\[
\alpha_p+\beta_p=a_p,\qquad \alpha_p\beta_p=p
\]
であり、有限体上の点数は
\[
\#E(\mathbf F_p)
=1-\alpha_p-\beta_p+\alpha_p\beta_p
=p+1-a_p
\]
と表せる。つまり、\(\#E(\mathbf F_p)\) と \(a_p\) とフロベニウスの固有値は、別々の情報ではなく、同じ局所的な算術情報を三つの方法で記述している。
この対応によって、有限体上の点を数える意味も変わる。各素数 \(p\) について \(\#E(\mathbf F_p)\) を求める操作は、単なる有限集合の数え上げで終わらず、その素数におけるフロベニウス作用を観測することになる。素数を変えるたびに異なる \(a_p\) が得られ、それらの列が楕円曲線の局所的な算術情報を構成する。
既稿では、Frey 曲線からガロア表現を作り、素数 \(\ell\) におけるフロベニウスのトレース \(a_\ell\) を通じて、楕円曲線とモジュラー形式が同じ局所データを持つことを扱った[3]。BSD 予想でも基本構造は共通している。異なるのは、この局所データを全ての素数について集め、次に一つの L 関数へ組み上げる点である。
したがって、前章で導入した \(a_p\) は、点数を扱いやすく書き換えるためだけの補助量ではない。有限体上の点数をフロベニウスという代数的作用へ変換し、さらに L 関数という解析的対象へ渡すための接続点になっている。次章では、この \(a_p\) を素数ごとの局所因子へ埋め込み、全ての素数の情報を一つの関数へ統合する。
5. 素数ごとの観測値を L 関数へ統合する
前章では、良い還元を持つ各素数 \(p\) について、有限体上の点数から
\[
a_p=p+1-\#E(\mathbf F_p)
\]
を取り出し、これがフロベニウス作用のトレースに一致することを見た。ここまでは、素数ごとに一つずつ整数 \(a_p\) が並んでいるだけである。BSD 予想の解析側へ進むには、これらを互いに独立な観測値として残すのではなく、全ての素数の情報を一つの解析的対象へまとめる必要がある。その役割を担うのが楕円曲線の L 関数である。
良い還元を持つ素数 \(p\) について、局所因子を
\[
L_p(E,s)
=
\frac{1}{
1-a_p p^{-s}+p^{1-2s}
}
\]
と定義する。前章でフロベニウスの固有値を \(\alpha_p,\beta_p\) と書いたとき、
\[
\alpha_p+\beta_p=a_p,
\qquad
\alpha_p\beta_p=p
\]
であった。この関係を使うと、分母は
\[
1-a_p p^{-s}+p^{1-2s}
=
(1-\alpha_p p^{-s})(1-\beta_p p^{-s})
\]
と因数分解できる。したがって局所因子は、素数 \(p\) におけるフロベニウスの二つの固有値をそのまま組み込んだ形になっている。前章で得た線形作用の情報が、ここで複素変数 \(s\) を持つ解析関数へ移される。
各素数の局所因子を掛け合わせると、楕円曲線 \(E\) の L 関数を
\[
L(E,s)
=
\prod_p L_p(E,s)
\]
として構成できる。これをオイラー積と呼ぶ。悪い還元を持つ有限個の素数では、局所因子は良い還元の場合とは異なる形を取るが、それらも各素数における局所情報として積の中へ組み込まれる。
オイラー積が持つ意味は、単に無限個の数を一つの式へ並べることではない。素数 \(p\) ごとに得られた \(a_p\) は、互いに異なる局所的な観測結果である。その一つ一つを局所因子 \(L_p(E,s)\) に変換し、全ての素数について積を取ることで、楕円曲線が各素数で示す算術的な振る舞いを一つの関数へ統合する。
| 段階 | 対象 | 保持される情報 | 次の段階への変換 |
|---|---|---|---|
| 有限体への還元 | \(E(\mathbf F_p)\) | 素数 \(p\) における楕円曲線の点を有限集合として観測する。 | 点の総数 \(\#E(\mathbf F_p)\) を求める。 |
| 点数の偏差 | \(a_p=p+1-\#E(\mathbf F_p)\) | 点数の情報をフロベニウスのトレースとして記録する。 | \(a_p\) と \(p\) から局所因子を作る。 |
| 局所因子 | \(L_p(E,s)\) | 素数 \(p\) におけるフロベニウスの固有値を解析関数の形で保持する。 | 全ての素数について局所因子を掛け合わせる。 |
| オイラー積 | \(L(E,s)\) | 各素数で得た局所的な算術情報を一つの大域的解析対象へ集約する。 | \(s=1\) 付近の零点や主要係数を調べる。 |
この構成には、素数ごとの情報を失わずに一つの関数へまとめるという特徴がある。良い還元を持つ \(p\) では、局所因子の係数 \(a_p\) から
\[
\#E(\mathbf F_p)=p+1-a_p
\]
を復元できる。つまり、L 関数を構成する局所因子は、有限体上の点数と切り離された新しい情報ではなく、その点数をフロベニウス作用として読み替えた情報を保持している。
また、オイラー積を展開すると、L 関数は
\[
L(E,s)
=
\sum_{n=1}^{\infty}\frac{a_n}{n^s}
\]
という Dirichlet 級数の形でも表される。ここで一般の \(a_n\) は、素数に対する \(a_p\) から乗法的な関係を通じて定まる。素数ごとの局所情報を基礎として、全ての正整数にわたる係数列が組み立てられることになる。
ここまでの変換を一本につなぐと、
\[
E(\mathbf F_p)
\longrightarrow
\#E(\mathbf F_p)
\longrightarrow
a_p
\longrightarrow
L_p(E,s)
\longrightarrow
L(E,s)
\]
となる。出発点は各素数における有限個の点であり、到達点は複素変数 \(s\) を持つ一つの解析関数である。L 関数は、全ての素数で楕円曲線を観測した結果を、解析的に扱える形へ統合したものと捉えられる。
一方、BSD 予想が知りたいのは有限体上の点数そのものではなく、有理数体上の Mordell–Weil 群のランクである。L 関数の構成過程には \(E(\mathbf Q)\) のランクを直接入力していない。それでも BSD 予想は、この L 関数を \(s=1\) で調べると、有理点群の自由度が現れると主張する。
その主張を述べる前に、一つの解析上の課題がある。オイラー積による定義は、まず実部が十分大きい \(s\) の範囲で収束する。一方、BSD 予想が見る \(s=1\) は、その定義だけから直ちに扱える位置ではない。次章では、楕円曲線のモジュラー性によって L 関数が \(s=1\) まで解析的に延長され、BSD 予想の中心点を調べられるようになる過程を見る。
6. モジュラー性によって中心点を解析できる
前章では、各素数 \(p\) の局所情報をオイラー積として集約し、楕円曲線の L 関数
\[
L(E,s)=\prod_p L_p(E,s)
\]
を構成した。ただし、オイラー積による定義がそのまま収束するのは、複素変数 \(s\) の実部が十分大きい領域である。BSD 予想が調べる \(s=1\) は、その収束領域から外れている。したがって、BSD 予想を述べるためには、まず \(L(E,s)\) を \(s=1\) を含む領域まで解析的に延長する必要がある。
この問題を解決するのが楕円曲線のモジュラー性である。\(\mathbf Q\) 上の楕円曲線 \(E\) には、曲線の導手を \(N_E\) とすると、重さ \(2\)、レベル \(N_E\) の適切な正規化された新形式 \(f\) が対応する。Wiles と Taylor–Wiles が半安定楕円曲線について確立した結果を拡張し、Breuil、Conrad、Diamond、Taylor は全ての \(\mathbf Q\) 上の楕円曲線がモジュラーであることを証明した[4]。
モジュラー形式 \(f\) を Fourier 展開して
\[
f(z)=\sum_{n=1}^{\infty}a_nq^n,
\qquad
q=e^{2\pi iz}
\]
と書くと、その係数 \(a_n\) から
\[
L(f,s)=\sum_{n=1}^{\infty}\frac{a_n}{n^s}
\]
という L 関数を作れる。楕円曲線がモジュラーであるとは、対応する新形式を適切に選ぶと
\[
L(E,s)=L(f,s)
\]
が成立するという形で表せる。特に、良い還元を持つ素数 \(p\) では、モジュラー形式の Fourier 係数 \(a_p\) と、楕円曲線から得た
\[
a_p=p+1-\#E(\mathbf F_p)
\]
が一致する。有限体上の点数から出発した整数列と、モジュラー形式の Fourier 係数が同じになることで、楕円曲線側のオイラー積をモジュラー形式側の解析理論へ移せる。
ここでは、モジュラー性と解析接続の役割を分けて考えると分かりやすい。モジュラー性は楕円曲線の L 関数をモジュラー形式の L 関数と同一視する。一方、モジュラー形式の L 関数については Hecke の理論から解析接続と関数等式が得られる[2]。この二段階を組み合わせることで、オイラー積の収束領域を越えて \(L(E,s)\) を複素平面全体で扱えるようになる。
| 段階 | 対象 | 得られるもの | BSD 予想への役割 |
|---|---|---|---|
| 局所データ | \(a_p=p+1-\#E(\mathbf F_p)\) | 各素数におけるフロベニウスのトレースを得る。 | L 関数を構成する係数を与える。 |
| オイラー積 | \(L(E,s)\) | 全ての素数の局所情報を一つの関数へ集約する。 | 解析側で調べる対象を作る。 |
| モジュラー性 | \(L(E,s)=L(f,s)\) | 楕円曲線の L 関数を重さ \(2\) の新形式の L 関数と同一視する。 | モジュラー形式に対する解析理論を利用可能にする。 |
| 解析接続 | \(L(E,s)\) の複素平面への延長 | オイラー積が直接収束する領域の外でも関数を定義できる。 | 中心点 \(s=1\) の値や微分を扱えるようにする。 |
| 関数等式 | \(\Lambda(E,s)=w_E\Lambda(E,2-s)\) | \(s\) と \(2-s\) の対称性を与える。 | \(s=1\) が L 関数の中心点であることを明確にする。 |
解析接続だけでなく、関数等式も BSD 予想の位置を理解するうえで重要である。導手 \(N_E\) とガンマ関数を用いて完備 L 関数を
\[
\Lambda(E,s)
=
N_E^{s/2}(2\pi)^{-s}\Gamma(s)L(E,s)
\]
と定義すると、
\[
\Lambda(E,s)
=
w_E\Lambda(E,2-s),
\qquad
w_E\in\{+1,-1\}
\]
という関数等式を満たす。\(w_E\) はルート数と呼ばれる符号である。この式では \(s\) と \(2-s\) が入れ替わるため、その対称性の中心は
\[
s=1
\]
になる。BSD 予想が \(s=1\) を特別な点として選んでいるのは、任意の評価点を指定しているためではなく、L 関数そのものの関数等式が持つ中心だからである。
ルート数が \(w_E=-1\) の場合、中心 \(s=1\) を関数等式へ代入すると
\[
\Lambda(E,1)=-\Lambda(E,1)
\]
となるため、
\[
L(E,1)=0
\]
が強制される。さらに関数等式の対称性から、中心における零点の次数の偶奇はルート数と対応する。\(w_E=+1\) なら中心での零点次数は偶数、\(w_E=-1\) なら奇数になる。この時点ですでに、\(s=1\) における L 関数の消え方が、楕円曲線ごとに固有の算術情報を持つことが見えてくる。
解析接続によって \(s=1\) が定義域に入り、関数等式によって \(s=1\) が対称性の中心として指定される。そこで \(L(E,s)\) を \(s=1\) の周囲で Taylor 展開し、
\[
L(E,s)
=
c_r(s-1)^r
+
c_{r+1}(s-1)^{r+1}
+\cdots,
\qquad
c_r\neq0
\]
と書ける。最初に非零となる項の次数 \(r\) は、\(L(E,s)\) が \(s=1\) で何次の零点を持つかを表す。
こうして、有限体上の点数から始まった解析側の経路は、
\[
\#E(\mathbf F_p)
\longrightarrow
a_p
\longrightarrow
L(E,s)
\longrightarrow
\text{モジュラー形式}
\longrightarrow
\operatorname{ord}_{s=1}L(E,s)
\]
まで到達する。第 2 章では、有理点群の無限部分を測る整数としてランク \(r\) が現れた。解析側でも、中心点における零点の次数という別の整数が現れたことになる。次章では BSD 予想の最初の核心として、この二つの整数が一致するという主張を見る。
7. BSD 予想は大域的ランクを中心点の零点次数に対応させる
ここまでで、同じ楕円曲線 \(E\) から二つの整数が現れた。代数側では、有理点群
\[
E(\mathbf Q)\simeq E(\mathbf Q)_{\mathrm{tors}}\oplus\mathbf Z^{r_{\mathrm{alg}}}
\]
の自由部分の階数 \(r_{\mathrm{alg}}\) が現れる。解析側では、各素数における有限体上の点数を L 関数へ集約し、その中心点 \(s=1\) における零点の次数 \(r_{\mathrm{an}}\) が現れる。BSD 予想の第一の主張は、この二つの整数が一致するというものである。
\(L(E,s)\) を \(s=1\) の周囲で Taylor 展開し、最初に非零となる項を
\[
L(E,s)
=
c(s-1)^{r_{\mathrm{an}}}
+
\text{高次の項},
\qquad
c\neq0
\]
と書く。この \(r_{\mathrm{an}}\) を解析的ランクと呼ぶ。別の書き方をすれば、
\[
r_{\mathrm{an}}
=
\operatorname{ord}_{s=1}L(E,s)
\]
である。\(\operatorname{ord}_{s=1}\) は、\(s=1\) で L 関数が何次まで消えるかを表す。値そのものではなく、最初に非零となる Taylor 係数が何階微分で現れるかを数えている。
これに対し、代数的ランクは Mordell–Weil 群の自由部分の階数であり、
\[
r_{\mathrm{alg}}
=
\operatorname{rank}E(\mathbf Q)
\]
と書く。これは、有理点群に独立な無限位数点が何個必要かを表す整数である。
BSD 予想のランク部分は、
\[
\boxed{
r_{\mathrm{alg}}
=
\operatorname{rank}E(\mathbf Q)
=
\operatorname{ord}_{s=1}L(E,s)
=
r_{\mathrm{an}}
}
\]
を主張する。Clay Mathematics Institute も、BSD 予想を有限体 \(\mathbf F_p\) 上の点数から作られる解析的情報と、有理点群のランクを結び付ける問題として位置付けており、2026 年 9 月時点でも未解決の Millennium Prize Problem である[5]。
この等式の両辺は、構成方法が大きく異なる。\(r_{\mathrm{alg}}\) は有理数体 \(\mathbf Q\) 上の点を群として調べて得る。一方、\(r_{\mathrm{an}}\) は各素数 \(p\) で有限体上の点を数え、その情報を L 関数へまとめ、さらに中心点での解析的な消え方を調べて得る。
| 観点 | 代数的ランク \(r_{\mathrm{alg}}\) | 解析的ランク \(r_{\mathrm{an}}\) |
|---|---|---|
| 出発点 | 有理数体上の点 \(E(\mathbf Q)\) を調べる。 | 各素数 \(p\) における有限体上の点 \(E(\mathbf F_p)\) を調べる。 |
| 中間構造 | Mordell–Weil 群を有限部分と自由部分に分解する。 | \(\#E(\mathbf F_p)\) から \(a_p\) を作り、オイラー積として \(L(E,s)\) へ集約する。 |
| 測る量 | 独立な無限位数点の数を測る。 | \(s=1\) における L 関数の零点次数を測る。 |
| 数論上の意味 | 有理点群が無限に広がる自由度を表す。 | 局所データを集積した L 関数が中心でどの程度消えるかを表す。 |
| BSD 予想 | 二つの整数が常に一致すると予想する。 | |
具体的に見ると対応は分かりやすい。代数的ランクが \(0\) なら、BSD 予想は解析的ランクも \(0\) と予測する。その場合、L 関数は中心点で消えず、
\[
L(E,1)\neq0
\]
となる。
代数的ランクが \(1\) なら、中心点で一度だけ消えることが予想される。すなわち、
\[
L(E,1)=0,
\qquad
L'(E,1)\neq0
\]
となる。ランク \(2\) なら、値と一次微分がともに消え、
\[
L(E,1)=0,
\qquad
L'(E,1)=0,
\qquad
L”(E,1)\neq0
\]
となることが予想される。一般にランク \(r\) なら、\(r-1\) 階までの微分が中心で消え、\(r\) 階微分で初めて非零になる。
| 予想されるランク | \(s=1\) における L 関数の振る舞い | 解析的意味 |
|---|---|---|
| \(r=0\) | \(L(E,1)\neq0\) | 中心点は零点にならない。 |
| \(r=1\) | \(L(E,1)=0,\ L'(E,1)\neq0\) | 中心点は 1 次の零点になる。 |
| \(r=2\) | \(L(E,1)=L'(E,1)=0,\ L”(E,1)\neq0\) | 中心点は 2 次の零点になる。 |
| \(r\ge3\) | \(L^{(0)}(E,1)=\cdots=L^{(r-1)}(E,1)=0,\ L^{(r)}(E,1)\neq0\) | 中心点の零点次数が \(r\) になる。 |
第 6 章で見たルート数との関係もここへ接続する。関数等式の符号 \(w_E\) は解析的ランクの偶奇を制約する。\(w_E=+1\) なら \(r_{\mathrm{an}}\) は偶数、\(w_E=-1\) なら奇数になる。BSD 予想が正しければ、これはそのまま代数的ランクの偶奇にも対応する。
ただし、ここで見えているのは BSD 予想の最初の層である。ランク等式は、「L 関数が中心で何次まで消えるか」と「有理点群に独立な自由方向がいくつあるか」を対応させる。さらに精密な BSD 予想は、零点の次数だけでなく、その零点の後に最初に現れる非零係数の大きさまで算術的に記述する。
そのため、次に理解すべき課題は、なぜ局所データから作った L 関数と有理点群の間にこのような対応が生じ得るのかという点である。両者を直接結ぶより、代数側に存在するセルマー群と Tate–Shafarevich 群を見ると、その間を埋める構造が現れる。
8. 局所情報と有理点の間にはセルマー群がある
BSD 予想では、解析側に L 関数、代数側に Mordell–Weil 群が現れる。両者をそのまま並べると、有限体上の点数から作った解析関数と、有理数上の点の群構造が直接対応しているように見える。しかし代数側には、有理点群と各局所体での可解性を結び付ける中間層がある。その代表がセルマー群である。
整数 \(n\ge2\) を固定する。まず有理点群を
\[
\frac{E(\mathbf Q)}{nE(\mathbf Q)}
\]
という有限な商へ落とす。これは、有理点 \(P\) と \(P+nQ\) を同じものとして扱い、有理点群の情報を「\(n\) 倍した点を除いた残り」へ圧縮する操作である。Mordell–Weil 群が
\[
E(\mathbf Q)\simeq E(\mathbf Q)_{\mathrm{tors}}\oplus\mathbf Z^r
\]
と分解されることを使えば、自由部分については
\[
\frac{\mathbf Z^r}{n\mathbf Z^r}
\simeq
(\mathbf Z/n\mathbf Z)^r
\]
となる。したがって \(E(\mathbf Q)/nE(\mathbf Q)\) には、ランク \(r\) の情報が有限群の大きさとして残る。
この有限群を直接求めるためには、どの点が \(n\) 倍点として実現するかを調べる必要がある。そこで使われるのが Kummer 写像である。\(n\)-捩れ点の群 \(E[n]\) を使うと、有理点の商からガロアコホモロジーへ
\[
\delta:
\frac{E(\mathbf Q)}{nE(\mathbf Q)}
\longrightarrow
H^1(\mathbf Q,E[n])
\]
という写像を作れる。ここで \(H^1(\mathbf Q,E[n])\) は、楕円曲線の \(n\)-捩れ点に対するガロア作用を記録する大域的なコホモロジー群である。
ただし、この大域コホモロジー群全体は候補が広すぎる。実際の有理点から生じる類は、各局所体でも同じ Kummer 条件を満たす。そこで、全ての場所 \(v\) に対して有理数体を局所化し、実数体 \(\mathbf R\) や \(p\)-進体 \(\mathbf Q_p\) 上でも
\[
\frac{E(\mathbf Q_v)}{nE(\mathbf Q_v)}
\longrightarrow
H^1(\mathbf Q_v,E[n])
\]
という局所 Kummer 写像を考える。大域コホモロジー類のうち、全ての場所 \(v\) で局所 Kummer 写像の像に入るものだけを残した有限群が \(n\)-セルマー群 \(\mathrm{Sel}^{(n)}(E/\mathbf Q)\) である[6]。
定義を構造として書けば、セルマー群は概略
\[
\mathrm{Sel}^{(n)}(E/\mathbf Q)
=
\left\{
c\in H^1(\mathbf Q,E[n])
\;\middle|\;
c_v\in\operatorname{im}
\left(
\frac{E(\mathbf Q_v)}{nE(\mathbf Q_v)}
\to
H^1(\mathbf Q_v,E[n])
\right)
\text{ for all }v
\right\}
\]
となる。大域的な候補をまず作り、それを全ての局所条件でふるいにかける構造になっている。
| 段階 | 対象 | 役割 | 残る情報 |
|---|---|---|---|
| 有理点群 | \(E(\mathbf Q)\) | 大域的な有理点そのものを扱う。 | 捩れ部分とランク \(r\) を含む完全な群構造を持つ。 |
| \(n\) 倍による商 | \(E(\mathbf Q)/nE(\mathbf Q)\) | 無限群を有限群へ圧縮する。 | 自由部分から \((\mathbf Z/n\mathbf Z)^r\) が残り、ランク情報を保持する。 |
| 大域コホモロジー | \(H^1(\mathbf Q,E[n])\) | \(n\)-捩れ点へのガロア作用を使って、大域的な候補を記述する。 | 実際の有理点から来るものより広い候補集合を持つ。 |
| 局所条件 | \(H^1(\mathbf Q_v,E[n])\) | 各実数体・\(p\)-進体で実現可能な候補だけを残す。 | 場所 \(v\) ごとの可解性条件を反映する。 |
| セルマー群 | \(\mathrm{Sel}^{(n)}(E/\mathbf Q)\) | 全ての局所条件を満たす大域候補を集める。 | 有理点群を含みながら有限であり、ランクの上界を与える。 |
この構造から、セルマー群がなぜランク計算に使えるかが分かる。有理点から生じる類は必ず全ての局所条件を満たすため、
\[
\frac{E(\mathbf Q)}{nE(\mathbf Q)}
\hookrightarrow
\mathrm{Sel}^{(n)}(E/\mathbf Q)
\]
という単射がある。セルマー群は有理点群の有限商を内部に含むため、その大きさを計算すれば自由部分の階数に上限を与えられる。
特に \(n=\ell\) を素数とし、捩れ部分の影響を分離できる状況では、\(\mathbf F_\ell\) 上の次元を使って概略
\[
r
\le
\dim_{\mathbf F_\ell}
\mathrm{Sel}^{(\ell)}(E/\mathbf Q)
\]
という形の上界が得られる。実際の降下法では、2-Selmer 群や \(p\)-Selmer 群を計算し、Mordell–Weil 群のランク候補を有限範囲へ絞る。
ただし、セルマー群に入った全ての類が実際の有理点から生じるとは限らない。その差を正確に記録するのが Tate–Shafarevich 群である。両者の関係は短完全列
\[
0
\longrightarrow
\frac{E(\mathbf Q)}{nE(\mathbf Q)}
\longrightarrow
\mathrm{Sel}^{(n)}(E/\mathbf Q)
\longrightarrow
\operatorname{Sha}(E/\mathbf Q)[n]
\longrightarrow
0
\]
で表される[6]。
左端は実際の大域的有理点から生じる部分である。中央は全ての局所条件を満たした大域候補である。右端の \(\operatorname{Sha}(E/\mathbf Q)[n]\) は、局所条件を全て通過しながら、実際の有理点からは生じなかった残りを表す。
| 短完全列の項 | 意味 | 局所と大域の関係 |
|---|---|---|
| \(E(\mathbf Q)/nE(\mathbf Q)\) | 実際の有理点から得られる有限な情報である。 | 大域的に実現している。 |
| \(\mathrm{Sel}^{(n)}(E/\mathbf Q)\) | 全ての局所条件を満たす候補を集めた有限群である。 | 局所的には実現可能である。 |
| \(\operatorname{Sha}(E/\mathbf Q)[n]\) | セルマー群と実際の有理点との差を記録する。 | 全ての局所条件を満たしながら、大域的な有理点には対応しない。 |
この短完全列は、BSD 予想の代数側を理解するうえで重要な位置を占める。ランクは有理点群の自由部分を測るが、そのランクを調べる過程では、まず局所条件からセルマー群という有限な上界を構成し、そこから \(\operatorname{Sha}\) による差を分離する。大域的な有理点群が、局所条件を組み合わせた有限群を介して研究できる構造になっている。
ここまでを見ると、BSD 予想で「局所から大域へ進む」という構図は解析側だけに現れているわけではない。解析側では、各素数の \(a_p\) を局所因子へ変換し、L 関数へ集約した。代数側では、各局所体 \(\mathbf Q_v\) での条件をセルマー群へ集約し、そこから有理点群と \(\operatorname{Sha}\) を分離する。両側とも、多数の局所情報をまとめて大域的な構造を読むという同型の構成を持っている。
次章では、短完全列の右端に現れた \(\operatorname{Sha}(E/\mathbf Q)\) を詳しく見る。これは、全ての局所体で条件を満たしていても、大域的には有理点へ持ち上がらない現象を記録する群であり、精密 BSD 予想ではその位数そのものが L 関数の主要係数に現れる。
9. \(\operatorname{Sha}\) は局所条件だけでは消えない大域的障害を記録する
前章では、セルマー群と有理点群の差として Tate–Shafarevich 群が現れた。短完全列
\[
0
\longrightarrow
\frac{E(\mathbf Q)}{nE(\mathbf Q)}
\longrightarrow
\mathrm{Sel}^{(n)}(E/\mathbf Q)
\longrightarrow
\operatorname{Sha}(E/\mathbf Q)[n]
\longrightarrow
0
\]
を見ると、セルマー群に含まれる候補のうち、実際の大域的有理点から生じる部分を除いた残りが \(\operatorname{Sha}(E/\mathbf Q)[n]\) になる。したがって \(\operatorname{Sha}\) を理解することは、「全ての局所条件を満たした候補が、なぜ大域的な有理点へ届かないことがあるのか」を理解することに対応する。
Tate–Shafarevich 群は
\[
\operatorname{Sha}(E/\mathbf Q)
=
\ker\left(
H^1(\mathbf Q,E)
\longrightarrow
\prod_v H^1(\mathbf Q_v,E)
\right)
\]
と定義される[6]。ここで \(v\) は \(\mathbf Q\) の全ての場所を走り、有限素数 \(p\) に対応する \(p\)-進体 \(\mathbf Q_p\) と、無限素点に対応する実数体 \(\mathbf R\) を含む。
この定義を読むには、\(H^1(\mathbf Q,E)\) が何を分類しているかを見る必要がある。その元は、楕円曲線 \(E\) を対称性として持つ主等質空間、すなわち \(E\)-トーサーと呼ばれる曲線に対応する。楕円曲線の場合、これは適切な基点を一つ選べば \(E\) と同じ群構造を持つ種数 \(1\) の曲線として理解できる。
違いは、その基点が \(\mathbf Q\) 上に存在するとは限らないことである。種数 \(1\) の曲線 \(C\) が有理点 \(P\in C(\mathbf Q)\) を一つ持てば、その点を原点として選ぶことで \(C\) をその Jacobian である楕円曲線 \(E\) と同一視できる。一方、\(C(\mathbf Q)\) が空なら、局所的には \(E\) と同じ構造を持っていても、大域的な原点を選べない。
\(\operatorname{Sha}(E/\mathbf Q)\) に入る元は、さらに強い条件を満たす。その元に対応する曲線 \(C\) は、全ての場所 \(v\) について
\[
C(\mathbf Q_v)\neq\varnothing
\]
を満たす。つまり、実数上でも、全ての \(p\)-進数上でも解を持つ。それでも
\[
C(\mathbf Q)=\varnothing
\]
となる場合がある。\(\operatorname{Sha}\) は、この局所可解性と大域可解性のずれを集めた群である。
| 状態 | 局所体 \(\mathbf Q_v\) 上 | 有理数体 \(\mathbf Q\) 上 | 意味 |
|---|---|---|---|
| 大域点を持つトーサー | 全ての場所で点を持つ。 | 有理点を持つ。 | 基点を選んで楕円曲線 \(E\) と同一視でき、\(\operatorname{Sha}\) では自明な元に対応する。 |
| 局所条件で失敗するトーサー | 少なくとも一つの場所で点を持たない。 | 有理点も持たない。 | 局所検査の段階で排除されるため、\(\operatorname{Sha}\) には入らない。 |
| \(\operatorname{Sha}\) の非自明な元 | 全ての場所で点を持つ。 | 有理点を持たない。 | 全ての局所条件を通過しながら、大域的には実現しない局所大域原理の障害を表す。 |
この現象は局所大域原理の破れとして理解できる。方程式を有理数上で解きたいとき、その方程式が実数上で解けること、さらに全ての \(p\)-進数上で解けることは、大域的な有理解が存在するための必要条件である。各局所体で解けなければ、有理数上でも解けない。ところが種数 \(1\) の曲線では、その必要条件を全て満たしても有理点が存在しない場合がある。
ここで「局所」という言葉は、有限体 \(\mathbf F_p\) と \(p\)-進体 \(\mathbf Q_p\) を区別して読む必要がある。L 関数を構成するときには、良い素数 \(p\) で有限体 \(\mathbf F_p\) 上の点数を数え、フロベニウスの情報を取り出した。一方、セルマー群や \(\operatorname{Sha}\) で使う局所条件は、有理数体 \(\mathbf Q\) を各場所で完備化した \(\mathbf Q_p\) や \(\mathbf R\) 上で調べる。どちらも素数ごとの局所情報を利用するが、観測している対象と役割は異なる。
| 局所情報 | 使う体 | 調べる対象 | BSD 予想での役割 |
|---|---|---|---|
| L 関数側 | 有限体 \(\mathbf F_p\) | \(\#E(\mathbf F_p)\) とフロベニウスのトレース \(a_p\) を調べる。 | 局所因子を作り、全素数の情報を \(L(E,s)\) へ集約する。 |
| セルマー群側 | \(p\)-進体 \(\mathbf Q_p\) と \(\mathbf R\) | 大域コホモロジー類が各局所体で Kummer 条件を満たすかを調べる。 | 大域的有理点の候補を局所可解性によって絞り込む。 |
| \(\operatorname{Sha}\) 側 | 全ての \(\mathbf Q_v\) | 全局所条件を満たした後にも残る大域的な障害を調べる。 | 局所可解性と大域可解性の差を記録する。 |
この区別を置くと、BSD 予想に現れる局所と大域の関係がより具体的になる。解析側では、有限体上の局所データを全素数について統合すると L 関数ができる。代数側では、全ての完備化 \(\mathbf Q_v\) における局所条件を統合するとセルマー群ができる。そして、セルマー群から実際の有理点を差し引いたところに \(\operatorname{Sha}\) が残る。
\(\operatorname{Sha}\) が精密 BSD 予想に現れる理由もここにある。L 関数の中心での振る舞いが有理点群だけを反映すると考えると、全ての局所条件を満たしながら大域点へ対応しなかった情報が式から抜け落ちる。精密 BSD では、この欠損を \(\#\operatorname{Sha}(E/\mathbf Q)\) という因子として明示的に組み込む。
ただし、その式で位数 \(\#\operatorname{Sha}(E/\mathbf Q)\) を使うためには、\(\operatorname{Sha}(E/\mathbf Q)\) が有限である必要がある。楕円曲線の Tate–Shafarevich 群は有限であると予想されているが、一般の場合の有限性は未解決である。精密 BSD 予想は、この有限性も含めて大域的な算術構造を記述する。
ここまでで、代数側では
\[
E(\mathbf Q)
\longrightarrow
\mathrm{Sel}^{(n)}(E/\mathbf Q)
\longrightarrow
\operatorname{Sha}(E/\mathbf Q)
\]
という局所と大域を結ぶ構造が見えた。次に必要なのは、この代数側の構造と L 関数側が実際に接触する場所である。解析的ランク \(1\) の場合、その接点を具体的な公式として与えるのが Gross–Zagier 公式であり、L 関数の中心微分と Heegner 点の高さを直接結び付ける。
10. Gross–Zagier は L 関数の微分値を有理点の高さへ結ぶ
解析的ランクが \(1\) の場合、BSD 予想は
\[
L(E,1)=0,
\qquad
L'(E,1)\neq0
\]
と、Mordell–Weil 群が一つの独立な無限位数方向を持つことを対応させる。しかし、ランク等式だけを見ると、なぜ複素解析で定義された \(L'(E,1)\) が具体的な有理点の存在へつながるのかは見えにくい。その間に実際の数学的対象を置くのが Gross–Zagier 公式である。
Gross と Zagier は、適切な Heegner 仮定を満たす虚二次体 \(K\) に対して、基底変換した L 関数 \(L(E/K,s)\) の中心微分と、Heegner 点 \(P_K\) の Néron–Tate 高さを結ぶ公式を証明した[7]。概念的には、
\[
L'(E/K,1)
\quad\longleftrightarrow\quad
\hat h(P_K)
\]
という対応が現れる。さらに \(L(E/K,s)=L(E,s)L(E^{(D)},s)\) という因数分解と、適切な二次捩り \(E^{(D)}\) の中心値が非零であることを組み合わせることで、解析的ランク \(1\) の \(E/\mathbf Q\) に対する \(L'(E,1)\) と Heegner 点の高さの関係へ移る。
Heegner 点は、虚二次体の複素乗法を持つ楕円曲線とモジュラー曲線上の特殊点を利用して構成される。楕円曲線 \(E/\mathbf Q\) がモジュラーであれば、モジュラー曲線から \(E\) への写像を使い、モジュラー曲線上の Heegner 点を \(E\) 上の点へ移せる。こうして得られる点が、L 関数の中心微分と接続する。
ここで Néron–Tate 高さ \(\hat h(P)\) が重要になる。通常の座標の大きさは、楕円曲線の加法に対して扱いやすい形で振る舞うとは限らない。Néron–Tate 高さは、通常の高さを群構造に適合するよう正規化したもので、
\[
\hat h(nP)=n^2\hat h(P)
\]
を満たす。点を \(n\) 倍すると高さが \(n^2\) 倍になるため、自由部分に対する二次形式として機能する。
正確な公式には周期、導手、虚二次体に付随する係数などが入るため、一般形は単純な等式ではない。解析的ランク \(1\) へ適用する際には、基底変換した L 関数と二次捩りの因数分解を経て、非零の中心微分と Heegner 点の非零な高さを結び付ける。
Néron–Tate 高さには、捩れ点に対して
\[
\hat h(P)=0
\]
となり、非捩れ点に対して正になるという性質がある。したがって、
\[
L'(E,1)\neq0
\]
から
\[
\hat h(P)>0
\]
が導かれる状況では、Heegner 点 \(P\) は無限位数を持つ。これは、有理点群の自由部分に具体的な非零の方向が存在することを意味する。
解析的ランク \(1\) へ適用したときの因果関係を並べると、
\[
L'(E,1)\neq0
\longrightarrow
\hat h(P)>0
\longrightarrow
P\text{ は無限位数}
\longrightarrow
\operatorname{rank}E(\mathbf Q)\ge1
\]
という流れになる。解析的な微分値が、Heegner 点の高さを経由して、Mordell–Weil 群の自由部分へ到達する。
ここで第 7 章のランク等式との違いが見える。BSD 予想のランク部分は
\[
\operatorname{ord}_{s=1}L(E,s)
=
\operatorname{rank}E(\mathbf Q)
\]
という両端の整数を対応させる。Gross–Zagier 公式は、その対応の間に具体的な点と高さを置く。解析側の主要係数が、代数側で実在する点の算術量として現れるため、L 関数と有理点群の関係が一段具体化される。
さらに、この高さは後に精密 BSD 予想へ現れるレギュレータともつながる。ランク \(1\) の場合、自由部分の生成元を \(P\) とすれば、レギュレータは本質的にその Néron–Tate 高さ \(\hat h(P)\) から作られる。したがって Gross–Zagier 公式は、ランクの一致だけでなく、L 関数の最初の非零 Taylor 係数とレギュレータを結ぶ精密 BSD の構造にも直接接続する。
| BSD の層 | 解析側 | 代数側 | Gross–Zagier が与える接続 |
|---|---|---|---|
| ランク | \(L(E,s)\) が \(s=1\) で 1 次の零点を持つ。 | 自由部分が 1 次元になる。 | 非零の中心微分から無限位数の Heegner 点が得られる。 |
| 主要係数 | \(L'(E,1)\) が最初の非零 Taylor 係数になる。 | Néron–Tate 高さが自由部分の算術的な大きさを測る。 | \(L'(E,1)\) と Heegner 点の高さを比例関係で結ぶ。 |
| 精密 BSD | 中心での最初の非零係数を評価する。 | レギュレータを含む複数の算術不変量を評価する。 | ランク \(1\) で両者を結ぶ主要な構成要素を与える。 |
ただし、無限位数の点が一つ見つかったことだけで、Mordell–Weil 群全体のランクが正確に \(1\) と確定するわけではない。ランクが \(2\) 以上である可能性を排除し、さらに Tate–Shafarevich 群を制御するには追加の理論が必要になる。その役割を担うのが Kolyvagin のオイラー系である。
Gross–Zagier によって解析側から具体的な Heegner 点が得られ、Kolyvagin はその点を一つの孤立した情報として扱うのではなく、互いに整合する多数のコホモロジー類へ拡張する。次章では、そのオイラー系がセルマー群を制御し、解析的ランク \(0\) または \(1\) から Mordell–Weil 群のランクと \(\operatorname{Sha}\) の有限性まで導く過程を見る。
11. Kolyvagin は一つの点から Mordell–Weil 群と \(\operatorname{Sha}\) を制御する
前章では、Gross–Zagier 公式によって、解析的ランク \(1\) の場合に L 関数の中心微分 \(L'(E,1)\) と Heegner 点の Néron–Tate 高さが結び付くことを見た。これにより、
\[
L'(E,1)\neq0
\longrightarrow
\hat h(P)>0
\longrightarrow
P\text{ は無限位数}
\]
という経路が得られる。しかし、無限位数点を一つ得ただけでは、Mordell–Weil 群のランクが正確に \(1\) であることも、Tate–Shafarevich 群が有限であることも確定しない。そこで Kolyvagin は、Heegner 点を出発点として多数のコホモロジー類を構成し、セルマー群全体を制約する方法を作った[8]。
その中心にあるのがオイラー系である。オイラー系は、一つの数体上にある一つの点だけを使うのではなく、異なる数体や補助素数に対応するコホモロジー類を族として構成し、それらの間にノルム写像や局所条件に関する互換性を持たせる。個々の類は別々の情報を持つが、互換関係によって独立に振る舞えないため、セルマー群の大きさに強い制約を与えられる。
Heegner 点の場合、まず適切な虚二次体 \(K\) を選び、さまざまな環類体上に Heegner 点を構成する。これらの点は、体を変えたときのトレース写像に対して一定の関係を満たす。その関係を Kummer 写像によってガロアコホモロジーへ移すと、互いに整合するコホモロジー類の族が得られる。
概念的な流れは、
\[
\text{Heegner 点の族}
\longrightarrow
\text{Kummer 写像}
\longrightarrow
\text{コホモロジー類の族}
\longrightarrow
\text{セルマー群の制約}
\]
となる。Gross–Zagier が一つの Heegner 点の高さを解析側から評価するのに対し、Kolyvagin はその点を起点として、セルマー群を押さえるための多数の算術的な関係を作る。
この方法が有効なのは、セルマー群が前章までに見た通り、有理点群と \(\operatorname{Sha}\) を同時に含む中間構造だからである。たとえば \(p^\infty\)-セルマー群には、概念的に
\[
0
\longrightarrow
E(\mathbf Q)\otimes\mathbf Q_p/\mathbf Z_p
\longrightarrow
\mathrm{Sel}_{p^\infty}(E/\mathbf Q)
\longrightarrow
\operatorname{Sha}(E/\mathbf Q)[p^\infty]
\longrightarrow
0
\]
という関係がある。中央のセルマー群を十分に制御できれば、左側の Mordell–Weil 群の自由部分と、右側の \(\operatorname{Sha}\) の \(p\)-成分を同時に制約できる。
Kolyvagin の議論では、非捩れ Heegner 点から作られるオイラー系が、セルマー群の大きさに上界を与える。Gross–Zagier によって \(L'(E,1)\neq0\) から Heegner 点が無限位数であることが分かっている場合、この上界と既に存在する一つの自由方向を組み合わせることで、自由部分がそれ以上の次元を持たないことを示せる。
その結果、解析的ランクが \(1\) の場合には、
\[
\operatorname{ord}_{s=1}L(E,s)=1
\]
から
\[
\operatorname{rank}E(\mathbf Q)=1
\]
が導かれる。さらに \(\operatorname{Sha}(E/\mathbf Q)\) の有限性も得られる。Gross–Zagier がランクの下界を与える方向へ働き、Kolyvagin がセルマー群を介して上界を与えることで、ランクが正確に決まる構造になっている。
| 役割 | Gross–Zagier | Kolyvagin | 組み合わせた帰結 |
|---|---|---|---|
| 解析側の入力 | \(L'(E,1)\neq0\) を使う。 | Gross–Zagier から得た非捩れ Heegner 点を使う。 | 解析的ランク \(1\) を代数側へ渡す。 |
| Mordell–Weil 群 | 無限位数点の存在からランクが少なくとも \(1\) であることを示す。 | セルマー群を制御してランクが高くなりすぎることを防ぐ。 | \(\operatorname{rank}E(\mathbf Q)=1\) を得る。 |
| \(\operatorname{Sha}\) | 直接の有限性証明を主目的としない。 | オイラー系によるセルマー群の制御から有限性を導く。 | 解析的ランク \(1\) で \(\operatorname{Sha}(E/\mathbf Q)\) が有限になる。 |
解析的ランク \(0\) の場合にも同じ系列の理論が強い結論を与える。\(L(E,1)\neq0\) のとき、Mordell–Weil 群のランクは \(0\) となり、\(\operatorname{Sha}(E/\mathbf Q)\) は有限になる。したがって解析的ランク \(0\) と \(1\) については、
\[
\operatorname{ord}_{s=1}L(E,s)
=
\operatorname{rank}E(\mathbf Q)
\]
という BSD 予想のランク部分が成立する。
ここまでの経路を並べると、BSD 予想の解析側と代数側の間には、
\[
L(E,s)
\longrightarrow
L'(E,1)
\longrightarrow
\text{Heegner 点}
\longrightarrow
\text{オイラー系}
\longrightarrow
\text{セルマー群}
\longrightarrow
E(\mathbf Q),\ \operatorname{Sha}(E/\mathbf Q)
\]
という連鎖が存在する。L 関数から有理点群へ直接飛ぶのではなく、解析的な微分値が特殊点の高さへ移り、その点から作ったコホモロジー類がセルマー群を制御し、最終的に Mordell–Weil 群と \(\operatorname{Sha}\) へ到達する。
この構造を見ると、BSD 予想のランク等式は、長い接続経路の両端を一つの整数で比較した表現だと分かる。そして Gross–Zagier と Kolyvagin の成果は、その接続経路が解析的ランク \(0\) と \(1\) では実際に機能することを示している。
さらに BSD 予想は、ランクが一致することだけを主張しているわけではない。中心点で最初に現れる非零 Taylor 係数の大きさまで、レギュレータ、実周期、Tamagawa 数、捩れ部分、\(\operatorname{Sha}\) といった代数的・局所的な量から記述すると予想する。次章では、この精密 BSD 予想へ進み、ここまで個別に登場した量が一つの等式に集約されることを見る。
12. BSD の本体はランクの一致より広い
ここまで扱ってきた BSD 予想のランク部分は、
\[
\operatorname{rank}E(\mathbf Q)
=
\operatorname{ord}_{s=1}L(E,s)
\]
という等式で表される。これは、有理点群の自由部分の次元と、L 関数が中心点で何次まで消えるかを対応させる。しかし、BSD 予想は零点の次数だけを記述するものではない。中心点 \(s=1\) で最初に現れる非零 Taylor 係数の大きさまで、楕円曲線の算術的不変量によって記述すると予想する。これを精密 BSD 予想と呼ぶ。
解析的ランクを \(r\) とすると、\(L(E,s)\) は \(s=1\) の近くで
\[
L(E,s)
=
\frac{L^{(r)}(E,1)}{r!}(s-1)^r
+
\text{高次の項}
\]
と展開できる。\(r\) 階未満の微分は全て \(0\) であり、
\[
\frac{L^{(r)}(E,1)}{r!}\neq0
\]
が最初の非零係数になる。ランク部分の BSD 予想が Taylor 展開の「最初の非零項が何次で現れるか」を予測するのに対し、精密 BSD 予想は「その最初の係数がいくらになるか」まで予測する。
標準的な正規化の下で、代数的ランクと解析的ランクを同じ \(r\) と書けば、その公式は
\[
\boxed{
\frac{L^{(r)}(E,1)}{r!}
=
\frac{
\Omega_E\,
\operatorname{Reg}(E)\,
\#\operatorname{Sha}(E/\mathbf Q)\,
\prod_p c_p
}{
\#E(\mathbf Q)_{\mathrm{tors}}^2
}
}
\]
という形になる。LMFDB でも、解析的ランク、Mordell–Weil ランク、レギュレータ、実周期、Tamagawa 数、捩れ部分、\(\operatorname{Sha}\) を BSD の不変量として整理し、この形の公式を用いている[9]。
この式の特徴は、これまで別々の章で現れた量が同じ等式へ集まることである。左辺には、全素数のフロベニウス情報を集約した L 関数の中心での主要係数がある。右辺には、有理点群の自由部分、有限部分、実数上の周期、悪い還元を持つ素数での局所補正、局所大域原理の障害が並ぶ。
| 項 | どこから生じるか | 意味 | 精密 BSD での役割 |
|---|---|---|---|
| \(r\) | Mordell–Weil 群 | 自由部分 \(\mathbf Z^r\) の階数であり、独立な無限位数方向の数を表す。 | L 関数が \(s=1\) で何次まで消えるかを決める。 |
| \(\operatorname{Reg}(E)\) | 自由部分の有理点 | 独立な生成元の Néron–Tate 高さから作る高さ行列の行列式である。 | 自由部分が作る格子の算術的な大きさを測る。 |
| \(\Omega_E\) | 実数上の楕円曲線 | Néron 微分を実成分上で積分して得られる実周期である。 | 無限素点に由来する解析的な体積因子を与える。 |
| \(\prod_p c_p\) | 悪い還元を持つ有限素数 | 各素数 \(p\) における Tamagawa 数 \(c_p\) の積である。 | 悪い還元に伴う局所的なずれを補正する。 |
| \(\#\operatorname{Sha}(E/\mathbf Q)\) | 局所大域原理 | 全ての局所条件を満たしながら大域的な有理点へ対応しないトーサーの情報を記録する。 | 局所可解性と大域可解性の差を補正する。 |
| \(\#E(\mathbf Q)_{\mathrm{tors}}\) | Mordell–Weil 群の有限部分 | 有限位数を持つ有理点の総数である。 | 有理点群の有限部分による補正として二乗が分母に現れる。 |
レギュレータは、第 10 章で扱った Néron–Tate 高さを高ランクへ拡張した量である。自由部分の基底を \(P_1,\ldots,P_r\) とし、Néron–Tate 高さから得られる双線形形式を \(\langle P_i,P_j\rangle\) と書くと、
\[
\operatorname{Reg}(E)
=
\det
\left(
\langle P_i,P_j\rangle
\right)_{1\le i,j\le r}
\]
と定義される。ランク \(1\) なら高さ行列は 1 行 1 列なので、レギュレータは本質的に生成元 \(P\) の Néron–Tate 高さ \(\hat h(P)\) になる。Gross–Zagier 公式が \(L'(E,1)\) と Heegner 点の高さを結んだことは、この精密 BSD の右辺にレギュレータが現れる構造と直接つながっている。
Tamagawa 数 \(c_p\) は、悪い還元を持つ素数で現れる局所量である。楕円曲線を \(p\)-進整数上の適切なモデルへ延長すると、特殊ファイバーが複数の連結成分を持つことがある。その成分群の大きさが Tamagawa 数として現れる。良い還元を持つほとんど全ての素数では \(c_p=1\) なので、積
\[
\prod_p c_p
\]
に実質的に寄与するのは有限個の悪い素数だけである。解析側の L 関数でも悪い還元を持つ素数では局所因子を調整したが、精密 BSD の代数側にも、それらの素数に由来する局所補正が現れる。
\(\operatorname{Sha}(E/\mathbf Q)\) の位数が右辺へ入ることも、前章までの流れから理解できる。セルマー群には、有理点から生じる類だけでなく、全ての局所条件を満たしながら大域的有理点に対応しない類も含まれる。その差が \(\operatorname{Sha}\) である。L 関数の主要係数が大域的算術全体を反映するなら、有理点だけを数えても不足し、この局所大域障害も式へ組み込む必要がある。
精密 BSD 予想は、\(\operatorname{Sha}(E/\mathbf Q)\) が有限であることも含んでいる。有限性が成立すれば、その位数
\[
\#\operatorname{Sha}(E/\mathbf Q)
\]
を整数として公式へ入れられる。一般の楕円曲線について \(\operatorname{Sha}\) の有限性は未解決であり、この点も精密 BSD の未解決部分に含まれる。
ランク \(0\) の場合には、この公式は特に分かりやすい。自由部分が存在しないためレギュレータを \(1\) とし、\(r=0\) なので左辺は単に \(L(E,1)\) になる。精密 BSD は
\[
L(E,1)
=
\frac{
\Omega_E\,
\#\operatorname{Sha}(E/\mathbf Q)\,
\prod_p c_p
}{
\#E(\mathbf Q)_{\mathrm{tors}}^2
}
\]
という形になる。中心値そのものが、実周期、\(\operatorname{Sha}\)、局所補正、捩れ部分の組み合わせとして予測される。
ランク \(1\) では、左辺は
\[
L'(E,1)
\]
となり、右辺にはランク \(1\) のレギュレータ、すなわち自由部分の生成元の高さが入る。前章までに見た Gross–Zagier と Kolyvagin の理論が特に強く働くのが、この領域である。
このように、ランク部分と精密形では予想している情報量が異なる。ランク部分は、
\[
\text{零点の次数}
\longleftrightarrow
\text{自由部分の次元}
\]
を対応させる。精密形はさらに、
\[
\text{最初の非零 Taylor 係数}
\longleftrightarrow
\text{周期}
\times
\text{自由部分の格子}
\times
\text{局所補正}
\times
\text{局所大域障害}
\times
\text{有限部分の補正}
\]
という対応まで主張する。
この式まで見ると、BSD 予想の対象がランクという一つの整数に限られていないことが分かる。L 関数の中心での挙動と、有理点群、実周期、悪い素数での局所構造、\(\operatorname{Sha}\) に記録された局所大域障害が、一つの主要係数として釣り合うことを予想している。
次章では、この精密公式を項ごとの一覧から一段抽象化し、局所情報、大域的有理点、局所大域障害が同じ等式にどのように現れるかを整理する。
13. 精密 BSD は局所量と大域量を一つの等式へ集約する
精密 BSD の式には、由来の異なる量が同じ右辺に並んでいる。前章では各項を個別に確認したが、ここではそれらを「どの階層の情報を記録しているか」という観点から整理する。
精密 BSD をもう一度書くと、
\[
\frac{L^{(r)}(E,1)}{r!}
=
\frac{
\Omega_E\,
\operatorname{Reg}(E)\,
\#\operatorname{Sha}(E/\mathbf Q)\,
\prod_p c_p
}{
\#E(\mathbf Q)_{\mathrm{tors}}^2
}
\]
となる。左辺は、各素数におけるフロベニウスの情報から構成した L 関数を中心点 \(s=1\) で調べ、その最初の非零 Taylor 係数を取り出したものである。右辺は、同じ楕円曲線を有理点、実数上の周期、各素数での悪い還元、局所大域原理という別々の方向から調べて得られる量で構成される。
| 情報の階層 | 精密 BSD に現れる量 | 何を記録しているか |
|---|---|---|
| 大域的な自由部分 | \(\operatorname{Reg}(E)\) | 独立な有理点が作る Mordell–Weil 格子の算術的な大きさを記録する。 |
| 大域的な有限部分 | \(\#E(\mathbf Q)_{\mathrm{tors}}^2\) | 有理点群に含まれる有限位数部分を補正する。 |
| 有限素数での局所構造 | \(\prod_p c_p\) | 悪い還元を持つ素数ごとに生じる連結成分のずれを記録する。 |
| 無限素点での構造 | \(\Omega_E\) | 実数上の楕円曲線から得られる周期を記録する。 |
| 局所大域障害 | \(\#\operatorname{Sha}(E/\mathbf Q)\) | 全ての局所条件を満たしながら大域的な有理点へ対応しない情報を記録する。 |
| 解析的な集約結果 | \(L^{(r)}(E,1)/r!\) | 素数ごとの局所因子を統合した L 関数の中心における主要係数を記録する。 |
この分類から見えるのは、右辺が単一の種類の不変量から作られているわけではないということである。有理点群そのものからはレギュレータと捩れ部分が生じる。悪い還元を持つ各素数からは Tamagawa 数が生じる。実数上の曲線からは周期が生じる。さらに、局所条件と大域的可解性の差から \(\operatorname{Sha}\) が生じる。
したがって、右辺は概念的には
\[
\frac{
\text{実数上の周期}
\times
\text{大域的な自由部分}
\times
\text{局所大域障害}
\times
\text{有限素数での局所補正}
}{
\text{大域的な有限部分の補正}
}
\]
という構造を持つ。これらを全て組み合わせた値が、解析側では L 関数の中心における最初の非零係数として現れるというのが精密 BSD の主張である。
この等式は、楕円曲線の算術を異なる場所で観測したときに現れる量を、乗法的な一つの関係へ集約している。大域的有理点、有限素数での局所構造、無限素点、局所大域障害のそれぞれに対応する項が右辺に現れる。
特に \(\operatorname{Sha}\) の存在は、この構造をよく表している。もし有理点群と局所情報の関係が完全であれば、セルマー群で全ての局所条件を満たした候補は、そのまま大域的な有理点へ対応する。しかし実際には、その間に局所大域原理の障害が残り得る。その差を \(\operatorname{Sha}\) として別に記録することで、精密 BSD の右辺は有理点だけでは捉えきれない大域的算術まで含む。
Tamagawa 数にも同じ役割がある。L 関数は各素数に局所因子を持ち、悪い還元を持つ素数では良い還元の場合とは異なる局所因子が現れる。代数側でも、そのような素数では Néron モデルの特殊ファイバーに追加の成分が現れ、そのずれを \(c_p\) が記録する。解析側と代数側の双方に、素数ごとの局所構造が反映されている。
一方、レギュレータは完全に大域的な量である。独立な有理点 \(P_1,\ldots,P_r\) の高さを組み合わせ、その点群が作る格子の大きさを測る。ランクだけでは「独立な方向が \(r\) 個ある」ことまでしか分からないが、レギュレータを加えることで、その自由部分が算術的にどの程度の大きさを持つかまで式に入る。
この違いを並べると、精密 BSD は一つの階層だけで閉じた予想ではないことが分かる。
\[
\begin{aligned}
\text{有限素数での観測}
&\longrightarrow L(E,s),\\
\text{有理点の自由部分}
&\longrightarrow \operatorname{Reg}(E),\\
\text{有理点の有限部分}
&\longrightarrow E(\mathbf Q)_{\mathrm{tors}},\\
\text{局所的な悪い還元}
&\longrightarrow c_p,\\
\text{局所大域原理の障害}
&\longrightarrow \operatorname{Sha}(E/\mathbf Q),\\
\text{実数上の構造}
&\longrightarrow \Omega_E.
\end{aligned}
\]
これらは別々の方法で定義されるが、精密 BSD は最終的に同じ楕円曲線の算術を測っていると主張する。左辺では素数ごとの情報が L 関数という解析対象へ圧縮され、右辺では大域的有理点と各場所で生じる補正が明示的に分解される。両者が一致するという予想は、「局所データを集めればランクが分かる」という主張よりはるかに情報量が多い。
この見方をすると、BSD 予想にランク、Heegner 点、セルマー群、\(\operatorname{Sha}\)、Tamagawa 数、周期が次々に現れる理由も一つの構造として理解できる。それぞれが別の問題を追加しているのではなく、楕円曲線の大域的な算術を復元するときに必要となる異なる成分を担当している。
精密 BSD は、局所的に観測した情報、大域的に存在する有理点、その間に残る障害を一つの等式へ集約する。BSD 予想の射程は、二つのランクが一致することから始まり、楕円曲線の解析的側と算術的側の情報全体がどのように対応するかという問題まで広がっている。
次章では、この大きな予想のうち、解析的ランク \(0\) と \(1\) ではどこまで既に証明されているかを整理する。Gross–Zagier と Kolyvagin によってランクの一致へ到達した後、精密 BSD の主要係数についても研究が進んでいる。
14. 解析的ランク 0 と 1 では橋のかなりの部分が完成している
BSD 予想全体は一般の楕円曲線について未解決である。一方、解析的ランクが \(0\) または \(1\) の場合には、前章までに見てきた解析側と代数側の接続が定理として成立する領域が広い。特に Gross–Zagier と Kolyvagin の成果によって、
\[
\operatorname{ord}_{s=1}L(E,s)\le1
\]
なら、
\[
\operatorname{rank}E(\mathbf Q)
=
\operatorname{ord}_{s=1}L(E,s)
\]
が成立し、さらに \(\operatorname{Sha}(E/\mathbf Q)\) が有限になる[4][7][8]。したがって、BSD 予想のランク部分と、精密 BSD に現れる \(\operatorname{Sha}\) の有限性は、解析的ランク \(0\) と \(1\) では既知の理論によって大きく解決されている。
解析的ランク \(0\) では、
\[
L(E,1)\neq0
\]
である。この場合、代数的ランクも \(0\) となり、Mordell–Weil 群は捩れ部分だけからなる有限群になる。同時に \(\operatorname{Sha}(E/\mathbf Q)\) の有限性も得られる。解析側で中心値が消えないことが、代数側では自由部分が存在しないことに対応する。
解析的ランク \(1\) では、
\[
L(E,1)=0,
\qquad
L'(E,1)\neq0
\]
となる。Gross–Zagier 公式は中心微分 \(L'(E,1)\) を Heegner 点の Néron–Tate 高さへ結び、非零の中心微分から無限位数点を得る。Kolyvagin は、その Heegner 点から作るオイラー系によってセルマー群を制御し、ランクがそれ以上増えないことと \(\operatorname{Sha}\) の有限性を導く。二つの結果を組み合わせることで、
\[
\operatorname{rank}E(\mathbf Q)=1
\]
まで到達する。
| 解析的ランク | L 関数の中心での振る舞い | Mordell–Weil 群 | \(\operatorname{Sha}\) | 接続に使われる主要な構造 |
|---|---|---|---|---|
| \(0\) | \(L(E,1)\neq0\) となる。 | 代数的ランクも \(0\) となり、自由部分を持たない。 | 有限性が得られる。 | L 関数、セルマー群、オイラー系による制御が中心になる。 |
| \(1\) | \(L(E,1)=0\)、\(L'(E,1)\neq0\) となる。 | 代数的ランクも \(1\) となり、一つの自由方向を持つ。 | 有限性が得られる。 | Gross–Zagier の Heegner 点と高さ、Kolyvagin のオイラー系が接続を担う。 |
| \(2\) 以上 | 高次の中心微分が最初の非零項になる。 | 複数の独立な自由方向を同時に制御する必要がある。 | 一般には BSD 予想の一部として残る。 | 低ランクの場合と同じ方法だけで全構造を制御する一般論は得られていない。 |
ただし、ここまでで分かるのはランクと \(\operatorname{Sha}\) の有限性であり、精密 BSD の等式そのものにはさらに情報が含まれる。ランク \(1\) なら、精密 BSD は単に \(L'(E,1)\neq0\) と無限位数点の存在を対応させるだけでなく、
\[
L'(E,1)
\]
の具体的な値を、レギュレータ、実周期、Tamagawa 数、捩れ部分、\(\#\operatorname{Sha}(E/\mathbf Q)\) の積と対応させる。この主要係数まで一致させるには、それぞれの算術不変量を定量的に制御する必要がある。
その方向でも研究は進んでいる。Jetchev、Skinner、Wan は、解析的ランク \(1\) の半安定楕円曲線について、\(p\ge5\) が良い還元を持ち \(E[p]\) が既約であるなどの仮定の下で、BSD 公式の \(p\)-成分を証明した[10]。ここで \(p\)-成分を証明するとは、精密 BSD の両辺を素数 \(p\) に関する付値で比較し、その素数に由来する因子が一致することを示すという意味である。
精密 BSD の右辺にある
\[
\#\operatorname{Sha}(E/\mathbf Q),
\qquad
\prod_\ell c_\ell,
\qquad
\#E(\mathbf Q)_{\mathrm{tors}}^2
\]
はいずれも整数的な因子を持つ。それぞれを素数 \(p\) ごとに分解して調べれば、BSD 公式全体を一度に証明する代わりに、その \(p\)-成分が正しいことを確認できる。岩澤理論や \(p\)-進 L 関数を用いる研究は、このように精密 BSD を素数ごとに分解して制御する方向へ進んできた。
| 証明する対象 | 比較する量 | 到達する内容 |
|---|---|---|
| ランク部分 | \(\operatorname{ord}_{s=1}L(E,s)\) と \(\operatorname{rank}E(\mathbf Q)\) | L 関数の零点次数と Mordell–Weil 群の自由部分の次元が一致することを示す。 |
| \(\operatorname{Sha}\) の有限性 | セルマー群と Mordell–Weil 群の差 | 精密 BSD の右辺に \(\#\operatorname{Sha}(E/\mathbf Q)\) を有限整数として置けることを示す。 |
| 精密 BSD の \(p\)-成分 | 主要係数と各算術不変量の \(p\)-進付値 | 精密 BSD 公式のうち、特定の素数 \(p\) に由来する因子の一致を示す。 |
| 精密 BSD 全体 | 中心の主要係数と全ての算術不変量 | 全素数の因子を含む完全な等式を示す。 |
この区別によって、「解析的ランク \(0\) と \(1\) では BSD が証明された」という表現の射程も明確になる。ランクの一致と \(\operatorname{Sha}\) の有限性については強い定理が成立している。一方、精密 BSD が要求する主要係数の完全な等式には、さらに素数ごとの算術情報を一致させる必要があり、その証明範囲は条件や楕円曲線の種類によって異なる。
低ランクで得られている成果の意味は、BSD 予想の両辺が経験的に同じ値を示すということより深い。第 10 章と第 11 章で見たように、
\[
L(E,s)
\longrightarrow
\text{Heegner 点}
\longrightarrow
\text{高さ}
\longrightarrow
\text{オイラー系}
\longrightarrow
\text{セルマー群}
\longrightarrow
E(\mathbf Q),\ \operatorname{Sha}(E/\mathbf Q)
\]
という中間構造が実際に働き、解析的情報から代数的情報へ移る経路が定理として成立している。L 関数と有理点群の対応は、両端の数値だけが一致している現象ではなく、その間を結ぶ具体的な算術構造によって支えられている。
一方、解析的ランクが \(2\) 以上になると、L 関数側では高次の中心微分が現れ、代数側では複数の独立な有理点から高次元の Mordell–Weil 格子を構成する必要がある。次章では、低ランクで機能した接続機構を高ランクへ拡張するとき、どの部分が難しくなるのかを見る。
15. 高ランクでは複数の独立な大域情報を同時に制御する必要がある
解析的ランクが \(0\) または \(1\) の場合には、中心値 \(L(E,1)\) または一次微分 \(L'(E,1)\) が主要な解析量になる。これに対し、解析的ランクが \(r\ge2\) なら、
\[
L(E,1)
=
L'(E,1)
=
\cdots
=
L^{(r-1)}(E,1)
=
0
\]
となり、最初の非零項は
\[
\frac{L^{(r)}(E,1)}{r!}
\]
で現れる。解析側で扱う対象が高次の中心微分へ移るのと同時に、代数側でも一つの有理点から複数の独立な有理点へ問題の次元が上がる。
代数的ランクが \(r\) なら、Mordell–Weil 群の自由部分は
\[
E(\mathbf Q)/E(\mathbf Q)_{\mathrm{tors}}
\simeq
\mathbf Z^r
\]
であり、独立な生成元
\[
P_1,\ldots,P_r
\]
が必要になる。点を \(r\) 個見つけるだけでは十分ではなく、それらが整数係数の関係
\[
n_1P_1+\cdots+n_rP_r=\mathcal O
\]
を自明な \(n_1=\cdots=n_r=0\) 以外に持たないこと、すなわち独立であることを確認する必要がある。
さらに精密 BSD では、独立な点の個数だけでなく、それらが作る格子の算術的な大きさも必要になる。Néron–Tate 高さから作る高さ行列
\[
\left(
\langle P_i,P_j\rangle
\right)_{1\le i,j\le r}
\]
の行列式
\[
\operatorname{Reg}(E)
=
\det
\left(
\langle P_i,P_j\rangle
\right)
\]
がレギュレータである。ランク \(1\) なら 1 個の点の高さを調べればよいが、ランク \(r\) では \(r\) 個の点の相互関係まで含む \(r\times r\) 行列を制御する必要がある。
| 観点 | ランク \(1\) | 高ランク \(r\ge2\) |
|---|---|---|
| 解析側の主要項 | \(L'(E,1)\) を調べる。 | \(L^{(r)}(E,1)/r!\) という高次微分を調べる。 |
| 必要な大域点 | 一つの非捩れ点が自由部分の存在を示す。 | \(r\) 個の独立な無限位数点が必要になる。 |
| 独立性 | 一点が非捩れであることを確認する。 | 複数の点の間に非自明な整数関係がないことを確認する。 |
| 高さ | 一つの Néron–Tate 高さが中心になる。 | 全ての点の相互高さから高さ行列を構成する。 |
| レギュレータ | 本質的に一つの点の高さになる。 | \(r\times r\) の高さ行列の行列式になる。 |
| セルマー群 | 一つの自由方向と \(\operatorname{Sha}\) を分離する制御が中心になる。 | 複数の自由方向、追加の Selmer 類、\(\operatorname{Sha}\) を同時に分離する必要がある。 |
Gross–Zagier と Kolyvagin の低ランク理論が強く機能する理由も、この次元の違いから理解できる。解析的ランク \(1\) では、Gross–Zagier 公式によって
\[
L'(E,1)\neq0
\longrightarrow
\hat h(P)>0
\]
という形で一つの Heegner 点が得られる。その一点が非捩れであることを示せば、少なくとも一つの自由方向が存在する。さらに Kolyvagin のオイラー系がセルマー群へ上界を与えることで、自由方向が一つを超えないことを示せる。
この構造は、
\[
\text{1 個の大域点を構成する}
+
\text{セルマー群から上界を得る}
\longrightarrow
\text{ランクを確定する}
\]
という形を持つ。解析的ランク \(1\) では、下界と上界が一点を軸に一致する。
高ランクでは、この構図をそのまま使うには情報が不足する。たとえばランク \(3\) を示すなら、独立な三つの大域点またはそれに相当する三次元の大域コホモロジー情報を構成する必要がある。一つの非捩れ Heegner 点が存在しても、それによって得られるのは
\[
\operatorname{rank}E(\mathbf Q)\ge1
\]
という下界だけであり、ランク \(3\) に必要な残り二方向は別に検出しなければならない。
高ランクでは、解析側も同じように情報量が増える。一次微分が一つの点の高さと結び付く Gross–Zagier の構造に対し、\(r\) 次微分には複数の大域点や高次元の算術的不変量を対応させる必要がある。高ランクへ拡張する理論も研究されているが、一般の楕円曲線について BSD 全体を与える結果には至っていない。
さらに、セルマー群の次元が大きい場合には、その全てが Mordell–Weil 群の自由部分から来ているとは限らない。前章までに見た短完全列では、セルマー群の中に \(\operatorname{Sha}\) の情報も含まれている。高ランク候補が得られたとき、その大きさが実際の有理点によるものか、\(\operatorname{Sha}\) に由来するものかを分離する作業も必要になる。
精密 BSD では、この複数の問題を最終的に一つの式へ集約する。解析側では高次の中心微分、代数側では \(r\) 次元の Mordell–Weil 格子とレギュレータ、さらに \(\operatorname{Sha}\)、Tamagawa 数、捩れ部分、実周期を同時に制御しなければならない。
したがって、高ランクで難しくなる理由は、単に計算量が増えることに集約されない。解析側の次数と代数側の次元が同時に上がり、その二つを結ぶ中間構造も高次元化する。一つの特殊点を検出する問題から、複数の独立な大域情報を構成し、それらの相互関係と局所条件を同時に制御する問題へ変わる。
この見方をすると、BSD 予想の未解決部分を「L 関数と有理点がなぜ関係するか分からない」と表すのは正確ではない。解析的ランク \(0\) と \(1\) では、その関係を実現する Heegner 点、高さ、オイラー系、セルマー群という経路が定理として機能している。一般ランクで残る課題は、既に見えている局所と大域の接続を、必要な次数と次元まで拡張し、精密 BSD に現れる全ての不変量を同時に一致させることにある。
16. 入門的な BSD 解説から一段先へ進むと中間構造が見える
BSD 予想の入門では、楕円曲線、有理点群のランク、L 関数を順に導入し、最後に
\[
\operatorname{rank}E(\mathbf Q)
=
\operatorname{ord}_{s=1}L(E,s)
\]
というランク部分を提示する構成が理解しやすい。代数側の整数と解析側の整数が一致するという形まで絞ることで、予想の主張を短い式として捉えられるからである。
2026 年 9 月 15 日に公開された tsujimotter 氏の詳細解説も、この経路をたどりながら、Birch と Swinnerton-Dyer による EDSAC を使った数値計算、モジュラー性、Coates–Wiles、Gross–Zagier、Kolyvagin まで紹介している[11]。BSD 予想の入口から既知の部分結果までを追ううえでは、この構成で主要な論点を把握できる。
一方、ランク等式の両辺だけを見ると、有限体上の点数から作られる L 関数と、有理数上の Mordell–Weil 群がどの経路で接触するのかは見えにくい。本稿で扱ってきたセルマー群、\(\operatorname{Sha}\)、Heegner 点、Néron–Tate 高さ、オイラー系を間に置くと、その対応を複数の段階へ分解できる。
| 見る範囲 | 中心となる対象 | 見える構造 |
|---|---|---|
| ランク部分まで | \(\operatorname{rank}E(\mathbf Q)\) と \(\operatorname{ord}_{s=1}L(E,s)\) | 代数的ランクと解析的ランクが一致するという BSD 予想の中心命題を把握できる。 |
| 中間構造まで | Heegner 点、高さ、オイラー系、セルマー群 | L 関数の解析的情報が、どのような段階を経て Mordell–Weil 群へ接続するかが見える。 |
| 精密 BSD まで | レギュレータ、\(\operatorname{Sha}\)、Tamagawa 数、実周期、捩れ部分 | 零点次数だけでなく、最初の非零 Taylor 係数まで複数の算術的不変量と対応することが見える。 |
この中間構造を入れると、
\[
\text{有限体上の点数}
\longrightarrow
a_p
\longrightarrow
L(E,s)
\longrightarrow
\text{Heegner 点}
\longrightarrow
\text{セルマー群}
\longrightarrow
E(\mathbf Q),\ \operatorname{Sha}(E/\mathbf Q)
\]
という接続が見える。低解析ランクでは、この経路の主要部分が Gross–Zagier と Kolyvagin の理論によって実際に定理として機能している。精密 BSD へ進めば、さらに有理点の自由部分が作る格子、悪い還元を持つ素数での局所補正、局所大域原理の障害まで同じ等式へ入る。
歴史的な位置付けでは、一点だけ区別しておく必要がある。BSD 予想そのものはモジュラー性定理の完成より前から定式化され、研究されてきた。モジュラー性がもたらしたのは、\(\mathbf Q\) 上の全ての楕円曲線について L 関数の解析接続と関数等式を確立し、中心点 \(s=1\) の値や微分を無条件に扱える基盤である[4]。
この区別を置くと、BSD 予想の成立と、その解析側を厳密に扱えるようになった歴史を分けて理解できる。そしてランク等式からさらに一段進むことで、BSD 予想は「二つの整数が一致する」という主張から、局所的な算術情報と大域的な有理点群を複数の中間構造が結んでいるという、より具体的な数論の問題として見えてくる。
17. BSD 予想は有限な局所観測から大域構造を読む
有理点を知りたいという出発点から BSD 予想までの経路を並べ直すと、解析側と代数側に二つの系列が見える。両者は異なる方法で楕円曲線を調べながら、最終的には同じ大域的な算術構造へ到達する。
解析側では、各素数 \(p\) で楕円曲線を有限体 \(\mathbf F_p\) 上へ還元することから始まる。
\[
E
\longrightarrow
E(\mathbf F_p)
\longrightarrow
\#E(\mathbf F_p)
\longrightarrow
a_p
\longrightarrow
L(E,s)
\longrightarrow
\operatorname{ord}_{s=1}L(E,s),
\ \frac{L^{(r)}(E,1)}{r!}
\]
有限体上では点を全て数えられる。その点数と基準値 \(p+1\) の差から
\[
a_p=p+1-\#E(\mathbf F_p)
\]
を取り出すと、\(a_p\) はフロベニウス作用のトレースとして解釈できる。さらに各素数の \(a_p\) を局所因子へ入れ、全素数についてオイラー積を取ることで L 関数 \(L(E,s)\) が構成される。その中心点 \(s=1\) で、零点の次数と最初の非零 Taylor 係数を調べる。
つまり解析側では、素数ごとの有限な観測結果を順に変換し、最終的に一つの大域的な解析関数へ集約している。
一方、代数側では有理点群そのものから出発する。
\[
E(\mathbf Q)
\longrightarrow
\frac{E(\mathbf Q)}{nE(\mathbf Q)}
\longrightarrow
\mathrm{Sel}^{(n)}(E/\mathbf Q)
\longrightarrow
\operatorname{Sha}(E/\mathbf Q)
\]
Mordell–Weil 定理によって \(E(\mathbf Q)\) は有限生成であり、その自由部分の階数がランクになる。しかし、無限群を直接扱う代わりに \(n\) 倍による商へ落とせば有限な情報へ変換できる。さらに各局所体 \(\mathbf Q_v\) における条件を課すことでセルマー群を構成し、実際の有理点から生じる部分と、それでも残る局所大域障害を \(\operatorname{Sha}\) として分離する。
| 系列 | 局所的な入口 | 情報の集約 | 大域的に得たい量 |
|---|---|---|---|
| 解析側 | 有限体 \(\mathbf F_p\) 上の点数とフロベニウスのトレースを調べる。 | 各素数の局所因子を L 関数へ集約する。 | 中心点での零点次数と最初の非零 Taylor 係数を得る。 |
| 代数側 | 各局所体 \(\mathbf Q_v\) における Kummer 条件を調べる。 | 局所条件をセルマー群へ集約する。 | Mordell–Weil 群のランクと \(\operatorname{Sha}\) を分離して捉える。 |
二つの系列で使う「局所情報」は同一ではない。解析側では主に有限体 \(\mathbf F_p\) 上のフロベニウス情報を使い、代数側では完備化 \(\mathbf Q_p\) や \(\mathbf R\) 上の局所可解性を使う。それでも、素数ごとの情報を集約して大域的な構造へ進むという構成は共通している。
BSD 予想のランク部分は、この二系列の到達点から一つずつ整数を取り出して、
\[
\operatorname{rank}E(\mathbf Q)
=
\operatorname{ord}_{s=1}L(E,s)
\]
と対応させる。有理点群の自由部分の次元が、全素数の局所情報を集約した L 関数の中心での零点次数として現れるという主張である。
しかし、本稿で見てきたように、この等式だけが BSD 予想の構造ではない。低解析ランクでは、Gross–Zagier が L 関数の中心微分を Heegner 点の高さへ結び、Kolyvagin がその点から作るオイラー系によってセルマー群を制御する。その経路は、
\[
L(E,s)
\longrightarrow
\text{中心値・中心微分}
\longrightarrow
\text{Heegner 点}
\longrightarrow
\text{高さ}
\longrightarrow
\text{オイラー系}
\longrightarrow
\text{セルマー群}
\longrightarrow
E(\mathbf Q),\ \operatorname{Sha}(E/\mathbf Q)
\]
と表せる。解析的ランク \(0\) と \(1\) では、この中間構造の主要部分が実際に定理として機能している。
さらに精密 BSD は、ランクの一致から一段進み、
\[
\frac{L^{(r)}(E,1)}{r!}
=
\frac{
\Omega_E\,
\operatorname{Reg}(E)\,
\#\operatorname{Sha}(E/\mathbf Q)\,
\prod_p c_p
}{
\#E(\mathbf Q)_{\mathrm{tors}}^2
}
\]
という形で、中心における最初の非零係数そのものを算術的不変量から記述する。右辺には、自由部分の格子を測るレギュレータ、実数上の周期、悪い還元を持つ素数での Tamagawa 数、局所大域障害である \(\operatorname{Sha}\)、有理点群の有限部分が全て入る。
この全体像から、BSD 予想が結び付けているものをより正確に捉えられる。対応しているのは、偶然似た二つの数ではない。各素数で観測できる有限な局所情報を L 関数として統合すると、有理点群という大域的な無限構造が現れる、という局所と大域の対応である。
精密形まで進めば、その対応はランクという一つの整数にとどまらない。L 関数の中心での振る舞い全体が、有理点の格子、有限部分、局所的な補正、無限素点での周期、局所大域障害を一つの式として記録すると予想する。
有理点を直接探すところから始めると、問題は無限の探索に見える。素数ごとに有限体へ移れば有限な観測へ変わり、その観測を L 関数へ統合すれば解析的な大域量になる。代数側でも、各局所体での条件をセルマー群へ統合することで、有理点群と \(\operatorname{Sha}\) の構造へ近づける。BSD 予想は、この二つの局所から大域への経路が最終的に同じ楕円曲線の算術を記述していることを、ランクと主要係数の双方について主張している。
有限な局所観測を積み重ね、その総体から大域的な無限構造を読む。この局所と大域の対応こそが、BSD 予想を一つのランク等式より広い数論の問題として理解するための中心になる。
参考文献
- Bjorn Poonen, Rational Points on Varieties (2017). https://math.berkeley.edu/~poonen/papers/Qpoints.pdf
- Andrew V. Sutherland, 18.783 Elliptic Curves, Lecture 24: Modular Forms and L-Functions (2025). https://ocw.mit.edu/courses/18-783-elliptic-curves-fall-2025/resources/mit18_783_f25_lec24_pdf/
- id774, フェルマーの最終定理の形式化で、AI が生成した証明を Lean がどう検証したか（2026-09-07）. https://blog.id774.net/entry/2026/09/07/5616/
- Christophe Breuil, Brian Conrad, Fred Diamond, Richard Taylor, On the Modularity of Elliptic Curves over Q: Wild 3-adic Exercises (2001). https://www.math.u-psud.fr/~breuil/PUBLICATIONS/STW.pdf
- Clay Mathematics Institute, Birch and Swinnerton-Dyer Conjecture. https://www.claymath.org/millennium/birch-and-swinnerton-dyer-conjecture/
- Leonard Tomczak, Elliptic Curves – Lecture Notes (2023). https://math.berkeley.edu/~ltomczak/notes/Lent2023/EC_Notes.pdf
- Benedict H. Gross, Don B. Zagier, Heegner Points and Derivatives of L-Series (1986). https://archive.mpim-bonn.mpg.de/id/eprint/3578/
- V. A. Kolyvagin, Finiteness of E(Q) and Sha(E,Q) for a Subclass of Weil Curves (1989). https://www.mathnet.ru/eng/im1191
- LMFDB, Birch and Swinnerton-Dyer invariants of an elliptic curve/Q. https://www.lmfdb.org/knowledge/show/ec.q.bsd_invariants
- Dimitar Jetchev, Christopher Skinner, Xin Wan, The Birch and Swinnerton-Dyer Formula for Elliptic Curves of Analytic Rank One (2017). https://archive.intlpress.com/site/pub/files/_fulltext/journals/cjm/2017/0005/0003/CJM-2017-0005-0003-a002.pdf
- tsujimotter, ミレニアム問題「BSD予想」の主張を1から理解したい！（詳細編）（2026-09-15）. https://tsujimotter.hatenablog.com/entry/BSD-conjecture-part2