8. 最初の問いへ戻る

出発点は \(y^2=x^3-2\) の分数解だった。直線を引くと新しい有理点が作れ、その操作は無限遠点を単位元とする群の加法になった。Mordell–Weil 定理により、その群は有限 torsion と有限個の自由生成方向へ圧縮された。そこで本当に知りたい量が rank になった。

rank を直接読む代わりに、曲線を各素数へ還元し、有限体上の点数 \(N_p\) を数えた。平均からの揺らぎ \(a_p\) を局所因子に入れ、全素数について Euler 積すると \(L(E,s)\) ができた。保型性がそれを \(s=1\) へ解析接続する。そして BSD は、そこでの零点次数が最初の有理点群の rank に等しいと予想する。

8.1 合同数問題：初等幾何が rank になる

正整数 \(n\) が、有理数辺を持つ直角三角形の面積になるとき合同数という。辺を \(a,b\)、斜辺を \(c\) とすれば

\[ a^2+b^2=c^2,\qquad \frac{ab}{2}=n. \]

適切な変数変換により、非退化なこの三角形は

\[ E_n:y^2=x^3-n^2x \]

の \(y\ne0\) の有理点と対応する。逆に点 \((x,y)\) から

\[ a=\frac{x^2-n^2}{y},\qquad b=\frac{2nx}{y},\qquad c=\frac{x^2+n^2}{y} \]

を作ると、\(a^2+b^2=c^2\) かつ \(ab/2=n\) になる。必要なら点を \((x,-y)\) に替え、さらに二辺を交換して、辺長を正にそろえられる。

合同数性は平方因子を除いて考えられるので、\(n\) を平方因子を持たない正整数としてよい。この場合、この曲線の有理 torsion 点は \(\mathcal O,(0,0),(n,0),(-n,0)\) で、いずれも \(y=0\) である。したがって \(y\ne0\) の有理点は torsion ではなく無限位数を持つ。逆に正の rank なら無限位数点が存在し、それは \(y\ne0\) なので非退化な三角形を与える。ゆえに \(n\) が合同数であることは、\(E_n\) が正の rank を持つことと同値である。素朴な面積問題が楕円曲線の rank 問題へ変わる好例であり、Birch と Swinnerton-Dyer の初期の曲線族研究ともつながる。

8.2 よく生じる疑問への短い回答

有理点を全部直接探してはいけないのか。 分母に上限がなく、不在を証明できない。descent、高さ、Selmer 群で有限問題へ変換する必要がある。

rank が分かれば有理点が全部分かるのか。 いいえ。torsion と自由部分の具体的生成元が必要である。

一つの素数ではだめか。 一つの還元は情報を大きく失う。全素数の整合したデータが Euler 積になる。

\(\mathbf F_p\) と \(\mathbb Q_p\) は同じ「mod \(p\) の世界」か。 いいえ。\(\mathbf F_p\) は \(p\) 個の元からなる剰余体、\(\mathbb Q_p\) はすべての \(p\)-冪精度を持つ無限の完備体である。点数 \(N_p\) は前者、Selmer 群や \(\Sha\) の局所条件は後者を使う。

解析接続は値を捏造していないか。 解析接続は存在すれば一意で、元の収束領域の関数と一致する。保型性が存在を保証する。

root number が \(-1\) なら rank は奇数か。 解析的零点次数は奇数になる。代数的 rank との一致には BSD または parity 定理に関する別の結果が必要で、関数等式だけでは言えない。

四次方程式は無関係か。 四次式でも変数変換により種数1の曲線になり、楕円曲線として扱える場合がある。重要なのは見かけの次数だけでなく、滑らかな射影模型の種数と有理基点である。

8.3 15分で説明するなら

  1. \(y^2=x^3-2\) の点 \((3,5)\) に接線を引くと、別の有理点 \((129/100,-383/1000)\) が得られる。
  2. 楕円曲線の有理点は群をなし、Mordell–Weil 定理により \[ E(\mathbb Q)\cong E(\mathbb Q)_{\mathrm{tors}}\oplus\mathbb Z^r. \]
  3. 各素数で \(N_p=\#E(\mathbf F_p)\) を数え、\(a_p=p+1-N_p\) を作る。
  4. 全 \(a_p\) を Euler 積へ束ねて \(L(E,s)\) を作る。
  5. BSD 予想は \[ \boxed{ \operatorname{rank}E(\mathbb Q) =\operatorname{ord}_{s=1}L(E,s) } \] と主張する。

この五段階で失ってはいけないのは、左辺が有理数解の大域的な群構造、右辺が全素数の局所情報から作った解析関数だという対比である。

8.4 その先の地図

  • Diophantine 幾何：有理点問題を種数、Jacobian、高さの一般論へ広げる。
  • 代数幾何・算術幾何：射影曲線、divisor、スキームを通じて、還元と局所情報を統一する。
  • 保型形式・Galois 表現：同じ \(a_p\) を解析と Galois 作用の両側から理解する。
  • Iwasawa 理論：数体の無限塔で Selmer 群を追跡し、\(p\)-進 \(L\) 関数と結ぶ。
  • 暗号：有限体上の点の群を計算資源として使う。BSD の中心は \(\mathbb Q\) 上の rank であり、用途は異なるが群法則は共通する。
  • Fermat の最終定理：楕円曲線と保型形式の橋が、反例から作る Frey 曲線を排除する。
  • motives と特殊値：BSD の先頭係数公式を、より一般の \(L\) 関数の特殊値予想の一例として捉える。

結語

BSD 予想が美しいのは、Millennium Prize Problem だからではない。最初は一つの三次方程式の分数解を探していただけだった。それが点の群、有限生成性、高さ、各素数での点数、Euler 積、解析接続という必然的な問いの更新を経て、最後に

\[ \text{局所的な有限世界の総体が、大域的な有理点群の自由度を知っている} \]

という主張へ到達するからである。

参考文献とデータ

書誌情報と一次資料へのリンクは references.qmd にまとめた。教材で用いた曲線の機械可読データは data/curves.json、数値実験の出力は data/experiment.csv、図版の再生成コードは scripts/generate_figures.py にある。