楕円曲線の集合を考えると,その集合自体もまた楕円曲線とみなせる,という話について書きます.基本的にこの記事は三枝洋一先生の『数論幾何入門』[1]を参考にしています.この本は易しく,数論幾何に入門するのにとても良い本だと思うのでその方面に興味のある人はぜひ読んでみてください.
準備
楕円曲線とは
この記事で楕円曲線とは,あるを用いてという形の式で定義されるの部分集合
のこととします.
ただし,として得られるの方程式
がの範囲で重根を持たないという条件を課すことにします.(重根を持つ場合は楕円曲線に含めないことにします.)より広い,あるいはより正確な定義は[1]定義3.13を見てください.
また,このを単に
とも書くことにします.
楕円曲線の例
この記事で主役になるのは,次の楕円曲線です:
集合としては次の通りです:
ちなみにはドイツ文字のです.便宜のため,の元はで表すことにします.
のグラフは次のようになっています:
楕円曲線
ただし,が実数であるような点を表示しています.また,グラフを描画する際の都合で軸に近いところでグラフが途切れてしまっていますが,本当はつながっています.以降で掲載するグラフについても同様です.(Elliptic Curveとは楕円曲線のことです.)
楕円曲線の集まりを考える
次のような,楕円曲線と付加的な情報の組の集合を考えます.ただし,座標変換で移り合う楕円曲線は同じものとみなします:
楕円曲線とその等分点の組の同型類全体の集合をとする.
以下では組の同型類のことも単にと書くことにします.
等分点について軽く説明しておきましょう.まず,を楕円曲線とするとき,はある演算によって可換群になっています.であって群における位数がであるような点を等分点と呼びます.
においては,楕円曲線が同じ(同型)でも,組となっている等分点が異なれば,別のものと考えます.
ここで,さっき定義したはつの楕円曲線であるのに対し,は全ての楕円曲線(付加情報の組)を集めたものであることに注意しておきます.
の元は関係式を満たす複素数の組であり,の元は楕円曲線とその等分点の組です.
との対応
対応
この記事の目的は,との間によい対応があることを見ることです.との間に全単射があればよかったのですが,実はそうはならず,からある個の点を除外しなければなりません.それらの除外点をとおきます.あとで出てくる点だけ,およその座標を明かしておきます(はニアリーイコールです):
はグラフのここ(バツ印で表示)にあります:
除外点
では楕円曲線のそれぞれの点にどんな楕円曲線が対応するかみてみましょう!次の写像が全単射になります:
(詳しくは,[1],6.3節.)
ここで,に対して楕円曲線とは,
のことです.([1]のとは定義が異なるので注意してください.この記事におけるは[1],p.105のをという形に直したものになっています.)
また,の定義は次の通りです:
結局は,楕円曲線の点に対し,楕円曲線とその等分点の組を対応させる写像です.
除外点があることを大目に見れば,この全単射によりだと思えます.
これは「全ての楕円曲線が入っている箱を考えたら,その箱自体も楕円曲線だった!」というような状況ですね.(大雑把な言い方ですが,)つの楕円曲線に全ての楕円曲線が含まれているというのは,不思議な感じがします.
さて,ということは,
「自身も楕円曲線なのだから,当然その箱には自身も入っているのでは?」
という疑問がありうると思います.この疑問を正確に書くと,次のような命題になります.
この命題は成立します.実は楕円曲線は等分点を必ず持つので,の等分点(のつ)をとし,とおけばよいです.(は全単射であることに注意.)
しかし,「ではは具体的には何か」というと,それは簡単には求まりそうにないので,求めません.実はさえわかればあとは簡単な計算でを求めることができるのですが,を求めるには高次の方程式を解かないといけなさそうなので,諦めました.
でも理論上は,箱の中にその箱自身が入っていることになるのは,面白いですね.
対応の例
による対応の例をつ見てみましょう.
の元を考えます.
計算により,なので,楕円曲線の方程式はおよそ次の通りです:
また,等分点の座標はおよそです.
が求まりました.のグラフと点の位置は次の通りです:
のグラフと点
オレンジ色の点がです.
楕円曲線の連続的な変化を見よう
いくつかの点に対応する楕円曲線
の点をいくつかとり,対応する楕円曲線のグラフを見てみましょう.
のグラフとその上の点たち
青色で表示した点たちに対応するグラフを表示します.座標が小さい点から順に表示します:
ただし,オレンジ色の点は組になっている等分点を表します.
グラフの形が連続的に変化していることが見て取れると思います.これは関数がに関して連続だからですね.
楕円曲線の知識がある人は次のような疑問を持つかもしれません:
「特異点があるから楕円曲線になっていないのでは?」
確かに,一見するとこれらのほとんどのグラフは特異点(おおよそ,曲線が交わっている点のこと)を持つように見えます.しかし,グラフを拡大してみると実は特異点がないことがわかります.例えばに対応する楕円曲線(図8)は拡大すると以下のようなグラフになっており,曲線は交わっておらず,特異点がないことがわかります:
拡大したもの
もっと拡大したもの
グラフの変化の境界にあるもの
さて,図5,6,7,8,9を比較すると,図5だけ形が違う感じがします.に関して対応する楕円曲線のグラフが連続的に変化することを考えると,図5()と図6()との間がどうなっているのかが気になります.どこまでが図5のようなタイプのグラフで,どこからが図6のようなタイプのグラフになるのでしょうか?そして,ちょうど境界に位置するグラフはどうなっているのでしょうか?
私は答えを知っているので,すごく天下り的ですがからまでの個の点に対応する楕円曲線のグラフを見てみましょう.次の図で青色で表示した個の点に対して,対応する楕円曲線を考えることにします:
上の6点
対応する楕円曲線のグラフを表示します.座標が小さい点から順に表示します:
s=-0.5750
s=-0.5748
s=-0.5746
s=-0.5744
s=-0.5742
s=-0.5740
というわけで,後半のつはなんか輪っかが現れましたね,前半のつにはないのに!勘がいい人はもう気づいていると思うのですが,その境界に何があるかというと,を定義するときに除外した点のつであるです.(図16の赤いばつ印がです.)
さて,に対してもは問題なく計算できるので,方程式を考えることができます.
実際計算すると,なので,方程式はおおよそ次の通りです:
そのグラフは次の通りになります(曲線および孤立した点からなる):
に対応する楕円曲線でない代数曲線
これは,楕円曲線にはなりません.の右辺の多項式がのあたりで重根を持つためです.
(の左辺をからに変更した方程式に対するグラフは次の通り.)
としたグラフ
を定義する際にから個の点を除外しましたが,除外した点に対応するは(方程式自体を求めることはできても)右辺が重根を持つため,楕円曲線にはならないのです.それが,除外しなくてはならない理由です.
今について見たように,楕円曲線の様相が変化する境界には,除外点があるようです(多分).
終わりに
いろいろの点に対応するグラフを描いてたら,グラフの変化の境界には除外点があるらしいことがわかって面白かったので記事にしました.ChatGPTに「pythonを使ってグラフを描いて」などと注文すると一瞬でグラフを出してくれるので,いろいろ描いて見ると楽しいですよ.
追記
のいくつかの点をサンプルとしてとり,対応する楕円曲線のグラフの概形を調べました.グラフの概形はおおよそ次のように分布しているようです:
グラフの変化
赤いばつ印で表した点が除外点です.除外点によって楕円曲線がの部分に分割され,同じ部分に属する点に対しては同じタイプのグラフが対応します.楕円曲線のの範囲でのグラフはおおよそタイプあって,交互にそのタイプが現れています.
除外点に対応する代数曲線も表示したものが次の画像です:
除外点込みのグラフの変化
除外点に対応するグラフもタイプあり,これもおおよそ交互に現れています.ただし,除外点に対応するの係数は発散してしまい,この点に対応する曲線は定義できなさそうです.(この点は除外点の中でもさらに除外される不思議な点です.)
係数が発散するのは,の定義式の分母にがあるためです.
もうつの除外点についても座標の値がであるためは直接は計算できませんが,楕円曲線に沿ってをに近づけたときのの極限はそれぞれ存在し,いずれもに収束するので,対応するはとなります.(ということにしました.)