このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br]楕円曲線と群はとっても仲がよいのです。[br][br]今回はその第3弾[br]楕円曲線の有理点とｎ等分点まわり[br]です。

[b][size=150]＜ｎ等分点＞[br][/size][/b][br]前回、楕円曲線の群の位数を調べたときに有理点の数を決めることと[br]点の位数が関係がありそうだというだとうことまでは感じられたと思う。[br]空Oから降ってきたボールを回しながら、いつも生成元がけると最後に空Oに返せた。[br][br]・E:ｙ^2=x^3-xを思いだそう。[br][br]位数４のグループでは、３点P,Q,Rがどれも自己完結して返すことがができた。[br]２P＝O、２Q=０、２R=０。[br]このように２倍でボールが空Oに返して消える点をEの2等分点という。[br]だから、[b][color=#0000ff][size=150]ｎ倍で消せる点をEのｎ等分点[/size][/color][/b]と呼ぶことにしよう。[br][br]E:ｙ^2=x^3-x=x(x-1)(x+1)では2等分点がｘ軸上にあり、２O＝O。[br]だから、[b]Eの2等分点は4個[/b]あるといえるね。[br][br][b]有理点数＝2等分点数＝４だね。[br][/b][br][b]2等分点の集合をE[2][/b]とかくことにすると、[br]O∞、P(-1,0)、Q(0,0)、R(1,0)はE[2]の要素ですね。[br]この４つの点は、たとえばP,Qを生成元として、[br]すべてｍP＋ｎQという線形結合で表せます。（m,nは0以上と2未満の整数)[br]O=0P+0Q, P=1P+0Q, Q=0P+1Q,R=1P+1Qです。[br]だから、m,nが2通りずつあるから、[br][b]E[2]は2×2=4個[/b]あることが形式上からもわかります。

では、有理点群がZ6の巡回群になるときはどうだろう。[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]たとえば、[br][color=#0000ff][size=150]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][br]のようにRを生成元とみなせば、６R=Oだから、[br]さっきの定義から、Rは6等分点となるね。[br]この定義では、結果がそうなればいいだけだから、O,P,Q,R,S,Tの6点がすべて6等分点になる。[br]最後に2等分点の集合E[2]は2×2＝４点あったのだから、[br][b][color=#0000ff]6等分点の集合E[6]は[br]6^2=36点あってほしい[/color][/b]ですね。[br]36－6＝30個の点はどこに消えたのだろうか？[br]もしかして虚数の世界にかくれているのかも。。。。[br][br][b][size=150]＜楕円曲線をトーラスに浮かべよう＞[br][/size][/b][br]では、[br]トーラスに浮かぶ楕円曲線たちを思い出そう。[br]２つの周期を表す複素数ｗ１、ｗ２を基底とする整数ｍ、ｎ係数の[br]一次結合[b]L＝{mw1+nw2}[/b]、ぷつぷつの交差点の集まりを格子Lとし、比τ＝w1/w2は上半平面（Im（τ）は正）とすると、Lは可算で閉じていて加法群の部分群で、Lによる分類としての[b]T=C/L[/b]はトーラス（浮き輪）になったね。[br][b]格子Lの要素ｗ[/b]がｆ（ｚ＋ｗ）＝ｆ（ｚ）のように周期になる有理型関数を楕円関数を呼んだね。[br]浮き輪Tでただよう楕円関数たちE(L)は体をなすので、閉じていて行儀がよかった。リングアウトしない。[br]E(L)集団には定数というつまらないものもいたけど、格子点以外ではおとなしいｐ（ペー）というワイヤストラスが作った関数がいたね。[br][size=200][color=#0000ff]p(z)=１/z^2+Σw（1/(z-w)^2-1/w^2)[br][/color][/size]（Σの中のｗはO以外）[br][br]で、ローラン展開と微分と極を考えることで、[br]p'(z)^2＝4p(z)^3ーg2p(z) -g3[br]ができたね。[br]ここで、ここで、[b]p=X,p'=Y[/b]とおいてみよう。[br]楕円曲線の出来上がり。[br][b]E:Y^2=4Ｘ^3- g2 X -g3[/b]。[br]g2=60Σw^(-4),　[br]g3=140Σw^(-6)[br]くわしくはこちら。[url=https://www.geogebra.org/m/twxxx3yq#material/c3sdzsrg]https://www.geogebra.org/m/twxxx3yq#material/c3sdzsrg[/url][br]このとき浮き輪T=C/Lの各点にEが対応するから[br][b]C/LとE(C)は同型になる。[br]ｚ→（X,Y)[br]は群の同型写像といえるね。[br][br][/b]よく考えたら、ｚはすべての複素数ではなく、[br]ぷつぷつ、[b]mw1+nw2(m,nは整数）[/b][br]だから、このぷつぷつの世界のｎ等分点、nx=0の点を考えても同じことだ。[br][b]群C/Lの中のE[n]={nx =0 for x in C/L}[/b]は[br][b]独立な2重周期の点の部分だから、Zn⊕Znと同型[/b]のはずだね。[br][br]予想どうり、舞台を複素数に拡張することで単純な法則が延長される。[br]すばらしい。[br][br]これって、解析接続で舞台を複素数に拡張して正則な領域を拡張したこのを思い出させる。[br]目に見えない複素数の世界が法則を美しく保存してくれていることがわかるね。[br]

[b][size=150]＜ガロア群で解が平和にかき混ぜられる＞[/size][/b][br][br]Q上のｎ次代数方程式f(x)=0の解をn個の解のリストをX={a1,a2,----,an}（重複可能）としたとき、[br]QにXをすべて添付した拡大体をK=Q(X)といい、最小分解体と呼びました。[br]また、体Kの積、和、イチを保存すれば、[br][b]準同型写像(Hom[/b]K)といい、[br]全単射なら[b]同型写像(Iso[/b]K)といい、[br]K自身への写像なら体Kの[b]自己同型写像([/b][color=#0000ff][b]Aut[/b]K)[/color]と言ったね。[br][br]そこで、[b]ガロア群[/b]というのは、K/Qの[b]自己同型群Aut(K/Q)の仲間[/b]だ。[br]KがQ上のｎ次代数方程式f(x)＝０の最小分解体KのときのAut（K/Q）を[br][color=#0000ff][b][size=150]ガロア群Gal(f/Q)[/size][/b]と名付けていたね。[br][br][/color]つまり、ガロア群Gは代数方程式の最小分解体というコップの中の解が表現できるように体Qを拡大したK/Qに対するかき混ぜで、コップの中で平和に嵐を起こすものです。最小分解体の解の集合（共役）をかきまぜて、引っ越しさせるが、すべてが上手にはみ出さずにいられるようにする、引っ越し作業員のグループです。どの作業員が嵐を起こしても大丈夫です。[br]くわしくは、[url=https://www.geogebra.org/m/twxxx3yq#material/avjnuqgf]https://www.geogebra.org/m/twxxx3yq#material/avjnuqgf[/url][br]さっきのｎ等分点でのガロア群というのを考えてみよう。[br][br]このとき浮き輪T=C/Lの各点に曲線Eの点(X,Y)が対応するので、[br][b]C/LとE(C)は同型で、[br]ｚ→（X,Y)が群の同型写像だった。[br]格子T=C/Lの中の点集合E[n]はZn⊕Znと同型だった。[br]だから、E[n]は２つの基底e1,e2を持ち、その要素は基底の線形結合で表示されるはず。[br][/b][br]有理数Qの範囲で有理点を考えていたものを曲線がトーラス上で定義されたことで、拡大されました。[br]これを代数閉包Q*といいます。この中で考えた有理点を「C有理点」と呼びましょう。[br]ガロア群Gal(Q*/Q)の要素としての置換ρは曲線上のE(C)の点P（X,Y)をかき混ぜます。[br]その行先を[b]ρ(P)=(ρ(X),ρ(Y))[/b]としよう。[br]C/LとE(C)の同型から、E(C)の点Pに対応するE[n]の要素pがあります。[br][b]p＝a e1 + b e2(a,bはZnの要素）の一次結合[/b]になります。[br]対応点PでnP=Oだから、ρ(nP)=nρ(P)=0からρ(P)の対応要素もE[n]に属するでしょう。[br]E[n]の世界でもρの作用で基底が移しあうはずです。[br][b]ρ(e1)=a e1 + c e2, [br]ρ(e2)=b e1+ d e2[br][/b]ということです。[br]つまりｎ等分点の作用、ｎ倍して空Oに消える置換としての１つの行列[br][size=150][color=#0000ff][b]{{a,b},{c,d}}[b](a,b,c,dはZnの要素）[/b][/b][br][/color][/size]があるはずなのです。[br][br]たとえば、[br]E:y^2=x^3-2を考えてみましょう。[br]f(x)=x3-2の最小分解体K=Q(ω, s )={a+bω+c s +dω +e s ^2+fω s^2| a,b,c,d,e,f∈Q｝の[br]ガロア群Gal(f/Q)の最小多項式f(x)=x^3-2=0のQ上の の共役はX={1,2,3}={s, sω, sω^2}。[br]この３要素の置換群は、S3={e, s:(1 2 3), r:(1 3 2), a:(1 2) , b:(1 3) ,c :(2 3)}とすれば、[br]この６置換で入れ替えがすべて表現できるからガロア群Gal(f/Q)はAut(Q[ω, s ]/Q)=S3だった。[br]ここまでが、ガロア群のふつうの使い方でした。[br][br]今の使い方は、O∞, P(s,0),Q(sω,0),R(sω^2,0)の4点がE[2]を作ることを利用して。[br][b][color=#0000ff][size=150]ガロア群で４つのC有理点たちに、コップの中の嵐を起こせる[/size][/color][/b]ということです。[br][b]解のかきまぜが、点のかきまぜとなり、[br]幾何学化されたということです。[br][/b][br]そして、Zn⊕Znが基底が２つの2次元構造であることから、[br]その作用を[b][color=#0000ff][size=150]整数Znを使った2次の行列で表現できる[/size][/color][/b]という展望が開けるわけです。[br][br][b][size=200][color=#0000ff]ガロア群の幾何学化でもあり、[br]線形代数化ですね。[/color][/size][/b]