非専門的シンギュラリティー研究所

無限に動き続けるシステムを表す方法を AI なども使って考えていきます。

BSD予想(8)

BSD予想は楕円曲線の有理点群のランクは、そのL関数の 1 における零点の位数に等しいということなので

  • 楕円曲線の有理点群のランク
    • 楕円曲線の有理点全体に無限遠点を付け加えたものはアーベル群
    • このアーベル群は有限生成(モーデル・ヴェイユの定理)
    • 有限生成アーベル群の分解
  • 楕円曲線のL関数の 1 における零点の位数

がわかれば問題自体はわかったということになります。

楕円曲線の有理点のなす群について教えてください

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

楕円曲線の有理点のなす群(群構造)について、以下のように説明できます。

基本的な定義

楕円曲線とは、通常、 K 上で定義される次のような方程式で表される滑らかな射影曲線です:


E: y^2 = x^3 + ax + b

ここで、a, b \in K は定数で、判別式 \Delta = -16(4a^3 + 27b^2) \neq 0 である必要があります(滑らかさの条件)。

特に、有理数 \mathbb{Q} 上の楕円曲線を考えると、方程式の係数 a, b\mathbb{Q} に属し、有理点とはこの曲線上の (x, y) \in \mathbb{Q}^2 で成り立つ点(と無限遠点)を意味します。

群構造の概要

楕円曲線の有理点全体(と無限遠点)は、ある加法的な群構造を持ちます:

  • 単位元無限遠(通常 \mathcal{O} と書かれる)
  • 逆元:点 P = (x, y) に対して -P = (x, -y)
  • 加法:幾何的に、2点 P, Q を直線で結び、その交点を使って定義する(詳細後述)

この構造により、楕円曲線 E 上の有理点の集合 E(\mathbb{Q}) はアーベル群になります。

モーデル・ヴェイユの定理 (Mordell–Weil 定理)

これはとても重要な定理で、以下のことを主張します:

任意の楕円曲線 E に対して、E(\mathbb{Q}) は有限生成アーベル群である。

つまり、


E(\mathbb{Q}) \cong E(\mathbb{Q})_{\text{tors}} \oplus \mathbb{Z}^r

  • E(\mathbb{Q})_{\text{tors}}:有限群(トーション部分群、有理トーション点)
  • \mathbb{Z}^r:自由アーベル群、rrank(ランク)と呼ばれる

このランク r は、曲線により 0 にも 1 にも任意の大きな整数にもなりうると予想されています(実際にそうであることが数多く確認されています)。

トーション部分群:Mazurの定理

Mazurの定理(1977) によると、楕円曲線 E/\mathbb{Q} の有理トーション部分群 E(\mathbb{Q})_{\text{tors}} は、以下の15種類のいずれかに限られます:

群演算の幾何的な意味

2点 P, Q の和 P + Q を定義するには、以下のような操作を行います:

1. 点 PQ を通る直線を引く。
2. その直線と曲線の3番目の交点 R を見つける。
3. R に対して -R(y座標の符号反転)をとると、それが P + Q になる。

特に P = Q のときは接線を使います(これを点の倍数演算に応用する)。

例:楕円曲線 y^2 = x^3 - x

この曲線上には有理点 (0, 0), (1, 0), (-1, 0) などがあります。これらの点を使って群演算をしていくと、加法演算が具体的に計算できます。

まとめ

  • 楕円曲線の有理点の集合 E(\mathbb{Q}) はアーベル群であり、有限生成である。
  • 群構造は幾何的に定義され、無限遠点が単位元となる。
  • トーション部分群はMazurの定理で完全に分類されている。
  • ランク r楕円曲線の性質を表す基本的な量であり、計算は難しいが非常に重要。

もし具体的な例や計算、または整数係数の点に限定した応用(例えば整数解の問題など)に興味があれば、それに応じてさらに詳しく説明できます。