17
現代数学解説
文献あり

楕円曲線の集まりが,再び楕円曲線になる

1927
1

楕円曲線の集合を考えると,その集合自体もまた楕円曲線とみなせる,という話について書きます.基本的にこの記事は三枝洋一先生の『数論幾何入門』1を参考にしています.この本は易しく,数論幾何に入門するのにとても良い本だと思うのでその方面に興味のある人はぜひ読んでみてください.

準備

楕円曲線とは

この記事で楕円曲線とは,あるa0,a1,a2Cを用いてy2=x3+a2x2+a1x+a0という形の式で定義されるC2の部分集合

E={(x,y)C2y2=x3+a2x2+a1x+a0}

のこととします.

ただし,y=0として得られるxの方程式

0=x3+a2x2+a1x+a0

Cの範囲で重根を持たないという条件を課すことにします.(重根を持つ場合は楕円曲線に含めないことにします.)より広い,あるいはより正確な定義は1定義3.13を見てください.

また,このEを単に

E:y2=x3+a2x2+a1x+a0

とも書くことにします.

楕円曲線の例

この記事で主役になるのは,次の楕円曲線Eです:

E:y2=x313x+19108

集合としては次の通りです:

E={(s,t)C2t2=s313s+19108}

ちなみにEはドイツ文字のEです.便宜のため,Eの元は(s,t)で表すことにします.

Eのグラフは次のようになっています:
楕円曲線!FORMULA[18][-1232644441][0] 楕円曲線E

ただし,s,tが実数であるような点(s,t)を表示しています.また,グラフを描画する際の都合でs軸に近いところでグラフが途切れてしまっていますが,本当はつながっています.以降で掲載するグラフについても同様です.(Elliptic Curveとは楕円曲線のことです.)

楕円曲線の集まりを考える

次のような,楕円曲線と付加的な情報の組の集合M11を考えます.ただし,座標変換で移り合う楕円曲線は同じものとみなします:

楕円曲線Eとその11等分点Pの組(E,P)の同型類全体の集合をM11とする.

以下では組(E,P)の同型類のことも単に(E,P)と書くことにします.

11等分点について軽く説明しておきましょう.まず,Eを楕円曲線とするとき,Eはある演算によって可換群になっています.PEであって群Eにおける位数が11であるような点を11等分点と呼びます.

M11においては,楕円曲線が同じ(同型)でも,組となっている11等分点Pが異なれば,別のものと考えます.

ここで,さっき定義したE1つの楕円曲線であるのに対し,M11全ての楕円曲線(+付加情報の組)を集めたものであることに注意しておきます.
Eの元は関係式t2=s313s+19108を満たす複素数s,tの組(s,t)であり,M11の元は楕円曲線Eとその11等分点Pの組(E,P)です.

EM11の対応

対応

この記事の目的は,EM11の間によい対応があることを見ることです.EM11の間に全単射があればよかったのですが,実はそうはならず,Eからある9個の点を除外しなければなりません.それらの除外点をQ1,...,Q9Eとおきます.あとで出てくる1点だけ,およその座標を明かしておきます(はニアリーイコールです):

Q1(0.57443,0.42173)

Q1はグラフのここ(バツ印で表示)にあります:
除外点!FORMULA[66][35752677][0] 除外点Q1

では楕円曲線Eのそれぞれの点にどんな楕円曲線が対応するかみてみましょう!次の写像が全単射になります:

ψ:E{Q1,...,Q9}M11(s,t)(E(b,c),(0,b/2))(b=b(s,t),c=c(s,t))

(詳しくは,1,6.3節.)

ここで,b,cCに対して楕円曲線E(b,c)とは,

E(b,c):y2=x3+(b+(1c)24)x2b(1c)2x+b24

のことです.(1E(b,c)とは定義が異なるので注意してください.この記事におけるE(b,c)1,p.105のE(b,c)y2=x3+...という形に直したものになっています.)

また,b(s,t),c(s,t)の定義は次の通りです:

b(s,t)=(t214)(s+t16)s+13,c(s,t)=(t12)(s+t16)s+13

結局ψは,楕円曲線Eの点(s,t)E{Q1,...,Q9}に対し,楕円曲線E(b(s,t),c(s,t))とその11等分点(0,b(s,t)/2)の組を対応させる写像です.

除外点があることを大目に見れば,この全単射ψによりM11=Eだと思えます.

これは「全ての楕円曲線が入っている箱を考えたら,その箱自体も楕円曲線だった!」というような状況ですね.(大雑把な言い方ですが,)1つの楕円曲線Eに全ての楕円曲線が含まれているというのは,不思議な感じがします.

EE

さて,ということは,

E自身も楕円曲線なのだから,当然その箱にはE自身も入っているのでは?」

という疑問がありうると思います.この疑問を正確に書くと,次のような命題になります.

(s,t)E{Q1,...,Q9}E11等分点Pが存在して
ψ(s,t)=(E,P).

この命題は成立します.実は楕円曲線は11等分点を必ず持つので,E11等分点(の1つ)をPとし,(s,t):=ψ1(E,P)とおけばよいです.(ψは全単射であることに注意.)

しかし,「ではs,t,Pは具体的には何か」というと,それは簡単には求まりそうにないので,求めません.実はPさえわかればあとは簡単な計算で(s,t)を求めることができるのですが,Pを求めるには高次の方程式を解かないといけなさそうなので,諦めました.

でも理論上は,箱の中にその箱自身が入っていることになるのは,面白いですね.

対応の例

ψによる対応の例を1つ見てみましょう.

Eの元(s,t)=(2,2.740...)Eを考えます.
計算により,b=b(s,t)14.229,c=c(s,t)4.391なので,楕円曲線E=E(b,c)の方程式はおよそ次の通りです:

E:y2=x311.354x2+24.127x+50.617

また,11等分点Pの座標はおよそP=(0,7.115)です.
ψ(s,t)=(E,P)が求まりました.Eのグラフと点Pの位置は次の通りです:
!FORMULA[120][36771][0]のグラフと点!FORMULA[121][37112][0] Eのグラフと点P
オレンジ色の点がPです.

楕円曲線の連続的な変化を見よう

いくつかの点に対応する楕円曲線

Eの点をいくつかとり,対応する楕円曲線のグラフを見てみましょう.

!FORMULA[124][-1232644441][0]のグラフとその上の点たち Eのグラフとその上の点たち

青色で表示した点(s,t)Eたちに対応するグラフを表示します.s座標が小さい点から順に表示します:

!FORMULA[127][-910216629][0] s=0.6
!FORMULA[128][-910216691][0] s=0.4
!FORMULA[129][-910216753][0] s=0.2
!FORMULA[130][940556992][0] s=0.0
!FORMULA[131][940557054][0] s=0.2
!FORMULA[132][940557116][0] s=0.4
!FORMULA[133][940557178][0] s=0.6
!FORMULA[134][940557240][0] s=0.8
!FORMULA[135][940586783][0] s=1.0

ただし,オレンジ色の点は組になっている11等分点を表します.

グラフの形が連続的に変化していることが見て取れると思います.これは関数b(s,t),c(s,t)(s,t)に関して連続だからですね.

楕円曲線の知識がある人は次のような疑問を持つかもしれません:

「特異点があるから楕円曲線になっていないのでは?」

確かに,一見するとこれらのほとんどのグラフは特異点(おおよそ,曲線が交わっている点のこと)を持つように見えます.しかし,グラフを拡大してみると実は特異点がないことがわかります.例えば(0.0,19/108)Eに対応する楕円曲線(図8)は拡大すると以下のようなグラフになっており,曲線は交わっておらず,特異点がないことがわかります:
拡大したもの 拡大したもの
もっと拡大したもの もっと拡大したもの

グラフの変化の境界にあるもの

さて,図5,6,7,8,9を比較すると,図5だけ形が違う感じがします.(s,t)Eに関して対応する楕円曲線のグラフが連続的に変化することを考えると,図5(s=0.6)と図6(s=0.4)との間がどうなっているのかが気になります.どこまでが図5のようなタイプのグラフで,どこからが図6のようなタイプのグラフになるのでしょうか?そして,ちょうど境界に位置するグラフはどうなっているのでしょうか?

私は答えを知っているので,すごく天下り的ですがs=0.5750から0.5740までの6個の点(s,t)E(t>0)に対応する楕円曲線のグラフを見てみましょう.次の図で青色で表示した6個の点に対して,対応する楕円曲線を考えることにします:
!FORMULA[148][-1232644441][0]上の6点 E上の6点

対応する楕円曲線のグラフを表示します.s座標が小さい点から順に表示します:
s=-0.5750 s=-0.5750
s=-0.5748 s=-0.5748
s=-0.5746 s=-0.5746
s=-0.5744 s=-0.5744
s=-0.5742 s=-0.5742
s=-0.5740 s=-0.5740
というわけで,後半の3つはなんか輪っかが現れましたね,前半の3つにはないのに!勘がいい人はもう気づいていると思うのですが,その境界に何があるかというと,ψを定義するときに除外した点の1つであるQ1です.(図16の赤いばつ印がQ1です.)

さて,(s,t)=Q1に対してもb=b(s,t),c=c(s,t)は問題なく計算できるので,方程式E(b,c)を考えることができます.
実際計算すると,b0.095563,c0.103678なので,方程式E(b,c)はおおよそ次の通りです:
E(b,c):y2=x3+0.4001x2+0.0527x+0.0023
そのグラフは次の通りになります(曲線および孤立した1点からなる):
!FORMULA[163][35752677][0]に対応する楕円曲線でない代数曲線 Q1に対応する楕円曲線でない代数曲線
これは,楕円曲線にはなりません.E(b,c)の右辺の多項式がx=0.148のあたりで重根を持つためです.
(E(b,c)の左辺をy2からyに変更した方程式に対するグラフは次の通り.)
**!FORMULA[169][38383][0]**!FORMULA[170][640932813][0]としたグラフ y=x3+...としたグラフ
ψを定義する際にEから9個の点を除外しましたが,除外した点に対応するE(b,c)は(方程式自体を求めることはできても)右辺が重根を持つため,楕円曲線にはならないのです.それが,除外しなくてはならない理由です.

Q1について見たように,楕円曲線E(b,c)の様相が変化する境界には,除外点があるようです(多分).

終わりに

いろいろEの点に対応するグラフを描いてたら,グラフの変化の境界には除外点があるらしいことがわかって面白かったので記事にしました.ChatGPTに「pythonを使ってグラフを描いて」などと注文すると一瞬でグラフを出してくれるので,いろいろ描いて見ると楽しいですよ.

追記

Eのいくつかの点をサンプルとしてとり,対応する楕円曲線のグラフの概形を調べました.グラフの概形はおおよそ次のように分布しているようです:
グラフの変化 グラフの変化
赤いばつ印で表した点が除外点Q1,...,Q9です.除外点によって楕円曲線E10の部分に分割され,同じ部分に属する点に対しては同じタイプのグラフが対応します.楕円曲線のRの範囲でのグラフはおおよそ2タイプあって,交互にその2タイプが現れています.

除外点Q1,...,Q9に対応する代数曲線も表示したものが次の画像です:
除外点込みのグラフの変化 除外点込みのグラフの変化
除外点に対応するグラフも2タイプあり,これもおおよそ交互に現れています.ただし,除外点Q9:=(13,12)Eに対応するE(b,c)の係数は発散してしまい,この点に対応する曲線は定義できなさそうです.(この点は除外点の中でもさらに除外される不思議な点です.)

係数が発散するのは,b(s,t),c(s,t)の定義式の分母にs+13があるためです.

もう1つの除外点Q8:=(13,12)Eについてもs座標の値が13であるためb(s,t),c(s,t)は直接は計算できませんが,楕円曲線Eに沿って(s,t)Q8に近づけたときのb(s,t),c(s,t)の極限はそれぞれ存在し,いずれも0に収束するので,対応するE(b,c)y2=x3+14x2となります.(ということにしました.)

参考文献

[1]
三枝洋一, 数論幾何入門 モジュラー曲線から大定理・大予想へ, 森北出版, 2024
投稿日:202499
更新日:2024913
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ことり
ことり
119
27054

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 準備
  2. 楕円曲線とは
  3. 楕円曲線の例
  4. 楕円曲線の集まりを考える
  5. $\mathfrak{E}$$M_{11}$の対応
  6. 対応
  7. $\mathfrak{E}\in \mathfrak{E}$
  8. 対応の例
  9. 楕円曲線の連続的な変化を見よう
  10. いくつかの点に対応する楕円曲線
  11. グラフの変化の境界にあるもの
  12. 終わりに
  13. 追記
  14. 参考文献