このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br]楕円曲線と群はとっても仲がよいのです。[br][br]今回はその第2弾[br]楕円曲線の有理点群のサイズ[br]そう、群の位数というやつです。

群の位数はけっこう重要です。[br][br]なぜかというと、群というのは中身の部品そのものよりも、そのつながり方が大事だからです。[br]群のメンバーの個数の情報から、どんな群なのかが推理できてしまうからです。[br]とくに位数の約数が大事です。[br][br]約数が大事なことは、整数、自然数と同じですね。[br][br]１は約数が1個しかない数、[br]素数は約数が２個ちょうどの数、[br]合成数は約数が３個以上ある数、[br]自然数はこの3種類に分類できましたね。[br][br]たとえば、自然数Nの約数が4個という情報からNはどんな数か推理できてしまいます。[br]約数が１，２，４，８の4個の数、つまり８＝２の3乗のように素数の3乗数という整数かもしれません。[br]あと、[br]約数が１，２，５，１０の4個の数、つまり１０＝２×５のように2種の素数の積というタイプもあるね。[br][br][size=150][b]＜位数の倍数と約数＞[br][/b][/size][br]このことは群でもそうでした、[br]たとえば、前回みた３で割った余りによる分類でできた群はZ/nZの仲間でした。[br]これをZnと書きましょう。n=3は素数です。[br][br]2と３の積が６であるように、群と群にも積があります。[br]群Z2＝{0,1}と群Z3＝{0,1,2}の直積Z2×Z3＝Z23とすると、[br]この集合は位数が2×3=6の巡回群になりZ6と同型（ぴったり同じ仕組み）になります。[br]いつでも巡回群（加群だとしたら、時計の針のようにものになる要素（生成元）を位数だけたすとすべての要素を作れてもとに戻る群）になるかというとそうではなく、条件がありました。[br]直積Zm×Znが巡回群になるのはｍとｎが互いに素であるときにかぎる。（[b]中国剰余定理[/b]）です。[br]２と２は互いに素でないので、たとえば、Z2×Z2は巡回群Z4ではなくクライン群と同型になります。[br]くるくる4回進むと戻るタイプではなく、2回で戻る群と裏表のある群の合成になるということです。[br][br]「[b]ラグランジュの定理[/b]」というのがあったね。群Gを部分群Hで剰余類に分けると、G＝|H|＋a|H|+b|H|+....と剰余類分解ができることから、部分群Hの位数は群Gの約数である。直積がかけ算としたら、ラグランジュは群のサイズをわり算にしたものだったね。これを、１つレベルをさげて、要素の位数と群の位数をつないだものが「[b]コーシーの定理[/b]」だった。ｐが有限群Gの位数の素因数ならGに位数ｐの元がある。[br]位数４の群では巡回群Z4={0,1,2,3}の２は位数が２だ。クライン群Z２×Z２{(0,0),(1,0),(0,1),(1,1)}の単位元以外はみな位数が２だったね。[br]この視点を掘り下げたアーベルは「[size=150][size=100][b]有限アーベル群の構造定理[/b]」を見つけたのだったね。[/size][br][/size]可換群なら位数が素数のべきの巡回群の直積群と同型になる。[br]この巡回群の種類と個数は、同型の取り方と関係なく一定で、有限アーベル群の不変量というものだったね。これらのくわしい説明と事例はこちら[url=https://www.geogebra.org/m/twxxx3yq#material/npumdkgy]https://www.geogebra.org/m/twxxx3yq#material/npumdkgy[/url]を見てください。[br][br]今は、位数を分解して考えることが大事ということまで、感じてもらえばいいです。[br][br]このイメージを持ったまま、[br]「楕円関数の有理点群の位数がどうなるのか」[br]というテーマに進みましょう。

[b][size=150]＜E：y^2=x^3+1＞[br][/size][/b][br]前回主にあつかった曲線Eから始めましょう。[br]前回作ったアプレットを「楕円関数」という名前で検索して、1番目のものを取り入れて[br]次のようになっているように調整します。[br]LineやVectorは必要なときだけ使うことにしますから、[br]今回は削除します。[br][br]E: y^2=x^3 +１　[br]P=(-1,0)[br]Q=(0,1)[br]R=(2,3)[br]S=(2,-3)[br]T=(0,-1)[br]O=(-2,4) # (-20000000000, 40000000000)とかのつもりですが、画面に収めるてめに小さくしてます。[br][br]今のところ、有理点は６点{O,P,Q,R,S,T}でした。[br]これらのつながりを群表を作って確認したい。[br]まず、[br][b]逆元の定義から上下対称点の和＝Oです。[br]O+O=O,P+P=O,Q+T=O,R+S=O(4式）[br][/b]ゼロ元の和は何もしないから、[br]P+O=P,Q+O=Q,R+O=R.S+O=S,T+O=T（5式）[br]次は逆元以外の異なる和を求めます。[br]隣接2点の和、P+Q=S、P+T=R、Q+R=P、S+T＝P（4式）[br]１つとばしの和、[br]P+R=T,P+S=Q（2式）[br]これで、ことなる式は４＋５＋４＋２＝１５本できましたが、６点で閉じてます。[br]6要素から2個選ぶ順列は6P2=6×5/2=15だから、すべてこの中でパスが回っているから、[br]可換群になっているね。[br][br]「楕円関数の有理点群の位数が６」[br]というタイトルをつけておこう。[br][br][b][size=150]＜振り返り＞[/size][/b][br]ここで、さっき確認した知識とつないでみよう。[br]位数は6= 2 × 3 であり、2と3は「互いに素」です。[br]ということは、中国剰余定理から、[br]この群は時計の針のように1つの元を足し続けるだけで全員を作ることができる、[b]「巡回群 Z6」とぴったり同じ仕組み（同型）[/b] であることが推理できますね。[br][br][b]玉が空Oから降ってきました。[br][br]それを必ずRがキックしてだれかにパスしていきます。[br][color=#0000ff][size=150][br]1R = R[br]2R = R + R = T[br]3R = T + R = P[br]4R = P + R = Q[br]5R = Q + R = S[br]6R = S + R = ０ （元に戻る！）[/size][/color][/b][br][br]実際、たとえば [b] R[/b] にきた玉をだれに回すかを考えると、[br][b]Rだけを何回もたしている[/b]の同じになります。[br]これが[b]Z6と同型、ピッタ[/b]になることの意味ですね。[br][br][b][color=#0000ff][size=150]6人全員を巡回しながら、最後に高ーく空に舞い上がり、ゼロに戻ってきます。[br][/size][/color][/b]Oを指していた時計の針を1回でRだけ回すと、針はR,T,P,Q,S,Oをさしてもとに戻る[br]モジュール算、巡回群と同じですね。

[b][size=150]＜E：y^2=x^3-x＞[/size][/b][br][br]この曲線は、結合法則を説明するために前回最後に扱いました。[br]理由はｘ軸と3点で交わるので、直線との交点を作りやすいからでした。[br]しかし、そのときは有理点かどうかは気にしませんでしたね。[br]もういちど、観察してみよう。[br]E：y^2=x^3-x[br]P=(-1,0)[br]Q=(0,0)[br]R=(1,0)[br]O=(4,4) #(4000000,4000000)とかの巨大な座標のつもりで、画面に収めた無限遠点。[br][br]さっき、さりげなく、上下対称の点では和がゼロというグループにｘ軸上の点を入れてありました。[br]そうなんです。[br]ｘ軸について線対称な2点（x,y),(x,-y)のyがゼロになった極限でも、和はゼロです。[br]言い換えると、ｙ軸に平行な接線が引ける点は自分自身が逆元でもある点です。[br][br]だから、[br]P+P=O[br]Q+Q=O[br]R+R=O[br]もちろん、O+O=O（これで4本のパス）[br][br]2回回してOになるという意味では位数が２と言えますね。[br]これだとO,P,Q,Rが自己完結してOに戻してますよね。[br][br]他にパスをまわすとどうなるのでしょう。[br]PQを通る線はRと交わり、Rの対称点はRだから、[br]P+Q=R[br]同様にして、P+R=Q,Q＋R=P[br]ですね。（これで3本）[br]O+P=P,O+Q=Q,O+R=R（これで３本）[br]４＋（３＋３）×２＝16＝４×４＝16だから、[br]パスに順番もつけて、自分自身に回してからキックするのもありだから、16通り網羅しています。[br][br]ここで、さっき確認した知識とつないでみよう。[br]位数4= 2 × 2 であり、2と2は「互いに素」ではありません。[br]だから、Z4の巡回群にはなりませんね。だから、位数４であるクライン群と同型です。[br][i]クラインの４元群[/i]V4[i]は至る所に出てくる。[br][/i][color=#0000ff]ｘ軸対称移動、ｙ軸対称移動、原点対称移動、無移動の４つ変換群もクライン群だったね。[br][/color][i]G={e,a,b,c}とすると、a^[/i]2[i]=e,b^[/i]2[i]=e,c^[/i]2[i]=e　となる。ab=c。生成元がa,bの２つ必要になるね。[br][/i]P+P=O,Q+Q=O,P+Q=Rだから、PとQを生成元とできるということだ。[br]つまり、Pだけで作った群｛O,P}をそのまま放置OかQを足すかすることで、[br]{O,P,Q,P+Q}の4要素を直積で作ることがでできるといことだね。[br]Z2×Z2の構造だと言える。[br][br][b][size=150]＜振り返り＞[br][/size][/b]有理点群がクライン群になった理由を振り返ると、[br]楕円曲線Eがｘ軸と3点で交わり、そのｘ座標が有理数だったことから始まった。[br]ということは、これを一般化しよう。[br]E：y^2=(x-a)(x-b)(x-c)で、a,b,cが有理数[br]曲線Eの有理点は無限遠点O,(a,0),(b,0),(c,0)の4点であり、4点はクライン群になるね。

さて、だいぶ楕円曲線の乗っかる有理点群の位数決めになれてきたところで、[br]新種に挑戦しよう。[br]今までの位数は４と６の偶数でした。[br]奇数の位数、つまり、｛O,P,Q｝の3点という世界を味わいたい。[br][b][size=150]＜E:y^2=x^3-432＞[br][/size][/b]Eはgeogebraではゆるやかな弓型になっていて、1実数で交わっている。[br]ここで、双有理変換というのをEにかけてみる。[br][b]x=12/(X+Y), y=36(X-Y)/(X+Y)[br][/b]という数式をEに代入して整理する[br]すると、[br][b][size=150]F：X^3+Y^3=1[br][/size][/b]という美しい式ができる。[br]ねんのために、逆変換の式を作っておくと、[br][b]X=6/x+y/6x, Y=6/x-y/6x[br][/b]となる。[br]これはほぼ、X+Y=0と同じように見えるけれども、原点を微妙にさけて進むという[br]面白い直線的な曲線だ。[br]ここで、変換式と逆変換式の分母の情報に着目して。X+Y≠０,x≠0[br]EとFはこの条件で同型となるね。[br]フェルマーの定理から、Fの有理点は無限遠点以外で２点(1,0),(0,1)だけだから、[br]Eの有理点は無限遠点O以外では[br]P(12/(1+0),36 (1-0)/(1+0))=(12,36）とQ(12/(0+1), 36 (0-1).(0+1))=(12,-36)のみ[br][br]つまり、Eの有理点群のメンバーは{O,P,Q}の3個となるね。[br]位数３といえば、剰余群Z3、巡回群C3と同型だ。[br]剰余系｛0,1,2}で0+0=0,1+2=0,1+0=1,2+0=2,1+1=2,2+2=1となることと同様の式が成り立つはずだ。[br][br]空Oから玉が降ってきました。[br]1P：P＝P[br]2P：P+P=Q[br]3P：Q+P=O（空に戻りました。）[br][br]Pを生成元とすると、玉はP,Q,Oの順にすべてわたりますね。[br][br]異なる点の和はP＋Q=O、P＋O＝P、Q+O=Q[br]同じ点の和はP+P=Q、Q+Q=P[br][br]要するに円周の3等分の０，１，２の時計をPの針が１ずつ進むのと同じになるはずだから[br]こうなるのですね。[br][br]いちど、群の構造に持ち込むと、いちいち直線を伸ばして作図したり、有理点の座標を計算しなくても、[br]有理点がグループになっていることがすっきりとわかりますね。[br]

もう１つ挑戦しましょう。[br][b][size=150]＜それは位数がｎ＞[br][br][/size][/b]E:y^2=x^3-x+1[br]P=(1,1)[br]Q=(-1,1) #2P[br]R=(0,-1) #3P[br]S=(3,-5) #4P[br]T=(5,11) #5P[br]U=(1/4,7/8) #6P[br]Pの接線（傾き１）と曲線Eの交点の対称点がQだから、Q=P+P=２Pになります。[br]PQと曲線Eの交点の対称点がRだから、R=２P+P＝３Pになります。[br]PRと曲線Eの交点の対称点がSだから、S＝４Pになります。[br]PSと曲線Eの交点の対称点がTだから、T=５Pとなります。[br]図が複雑になりすぎるので、ここまでにしておきます。[br]でも、[br]PTと曲線Eの交点の対称点がUになりそうなことは図から見えてきますね。[br]……[br]点NがｎPとします。[br]直線PnPと曲線Eの交点の対称点は(n+1)Pとなり、これまでのｎ個とは異なりそうですね。[br]そうです。[br]ｎの上限はなのです。[br]つまり、この群の位数は可算無限になるのです。[br]この曲線だけ特別なのでしょうか。[br]いいえ。[br][b]y^2=x^3-4[br]y^2=x^3-2[br][/b]なども無限個あるようです。[br]位数が無限になるのか有限なのかは一般にはわかません。[br][br][b][size=200]「Mordell の定理」[/size][/b][br]アーベル群の基本定理から、[br][b][color=#0000ff][size=150]「有限生成アーベル群」は[br]「アーベル群Zのｒ個の直和」と「有限生成アーベル群」の直和と同型になる。[br]ここで、ｒは楕円曲線のランク(rank)です。[br][/size][/color][/b][br][b]ランクｒ[/b]は０，１がよくありますが、[br]有理数体上でいくらでも大きくなるかもしれないといわれていますが、まだ未解決らしいです。[br][br]さて、このページの[br]1番目のy^2=x^3 +１、　２番目のy^2=x^3-x、３番目の[size=150]y^2=x^3-432[/size]　のランクはみな０です。[br]そのあとのE:y^2=x^3-x+1、y^2=x^3-4、y^2=x^3-2のランクはみな１です。ということがわかってます。[br][br][b]直和[/b]というのは、[br]ベクトルのように生成元が張る空間を独立に和の形式で表すことができる空間のことです。[br]つまり線形代数で独立なベクトルの張る空間の結合として空間を考えるときに、結合された空間の次元はもとの空間の次元の和になることから、[b]直和といい⊕記号を使って表します[/b]。[br]しかし、[b][color=#0000ff]要素数だけを考えるならば、直積と同じ[/color][/b]になります。[br]（たとえば、Z2⊕Z2はｘ＝{0,1｝、y={0,1}で1次元の2空間が張る次元は和で１＋１＝2次元だけど、要素数は2×２＝４個の点になるので、直線と同じですね。）[br][br]だから、[br][b]Mordell の定理の定理で前半から、ランクｒで様子がきまりますね。[/b][br]ｒ＝０の場合前半はZの０乗つまり１倍なので、前半は関係ないので後半で決まります。[br]ｒ＝１の場合はZつまり、無限になりますね。[br][br]では、後半部分になりますが、これがまた定理があります。[br][size=200][b] 「Mazur の定理」[/b][br][/size]です。[br]位数有限の元全体からなる部分群に いては次の2パターンしかない。[br][color=#0000ff][b][size=150]パターン１．Znの巡回群でｎは１１以外で１から１２の整数。[br]パターン２．Zn⊕Z2で、ｎは２，４，６，８だから、位数はその2倍で、4，8，12，16のどれか。[br][/size][/b][/color]というものです。[br][br]1番目のy^2=x^3 +１はパターン１の[b]Z6[/b]でした。[br]2番目のy^2=x^3-xはパターン２の[b]Z2⊕Z2[/b]でした。[br]3番目のy^2=x^3-432はパターン１の[b]Z3[/b]でした。[br][b][color=#0000ff]Mordell の定理もMazur の定理も証明は相当なページ数になると思われるので省略します。[br]また、肝心のランクｒを求めるカンタンな方法はない。[/color][/b]独立な点の線形結合で群の要素をかくときの要素数をｒとするというが、[br]独立な点というのは無限位数の点をさす。[br]だから、有理点の位数が有限ならば、独立な点はないので、ｒ＝０となるということだ。[br]このランクｒの求め方は謎だ。[br][br]このランクｒの謎は、数学の七大未解決問題（[b]ミレニアム懸賞問題[/b]）の1つである[br]「[b]BSD予想[/b]（バーチ・スウィンナートン＝ダイアー予想）」[br]の中心部分であるという説もあり、かなりの沼地のようなので、このくらいにしておこう。[br][br]これで1冊の本ができるくらいアルゴリズムが研究されているようだが、[br]簡単な方法はなく、探求的、段階的な方法で工夫されている途上にあるようです。[br][br]とりあえず、暗中模索の楕円曲線がきれいに分類されるナイフのような切れ味の２大定理を作った[br][br]モーデルさん、マズールさんに感謝します。