昨日に引き続き 「具体例を通して学ぶ虚数乗法論」 のお話 後編 です。
目次:
《前編》
- Sagemathについて
- 本日の主役
- 楕円曲線の加法
- m倍写像とm等分点
- 虚数乗法とは
《後編》
円とのアナロジー
楕円曲線と数論の関係がみえてきたところで、ここで一旦話を変えて、「みなさんがよく知っている曲線」と「数論」との関係について述べたいと思います。
高校数学の頃から慣れ親しんだ 円 について考えてみましょう。
上の図は、複素数平面上で単位円を描いたものです。
ここで単位円を 等分 する点を考えてみましょう。実際、 の根、すなわち 1の 乗根 を考えてあげればよいことになります。
1の 乗根全体を で表しましょう。すると、任意の に対して が成り立ちます。よって
なので、 です。すなわち、 は乗法に対して群をなします。
特に、1の原始 乗根
を考えてあげると、よく知られているように は によって生成されます。
1の 乗根は、 上の多項式 の根なので、代数的数になります。そこで、これらをすべて に添加した体 を 円分体 といいます。
円分体を調べることの最初のモチベーションは「ガウスの整数論」にありました。ガウスは、正 角形が作図できるか判定するために、円分体 の拡大次数 を求めたのでした。
円分体の拡大次数を調べるために、ガロア群 を考えるのは有効な手段です。実際、ガロア群には次のような同型があります:
ここで、 は を にうつす自己同型写像です。この同型を通して
のように拡大次数が に一致することがわかるという流れです。
はガロア拡大で、 は によって生成されるので、ガロア群の元は原始 乗根 の行き先だけで決まるというのがポイントです。行き先は という形で表せるので、このような同型が得られるというのが、上の同型写像のざっくりとした解説です。
この考え方は楕円曲線でも用いるので、覚えておいてください。
さて、右辺の既約剰余類群 は明らかにアーベル群なので、円分体は 上のアーベル拡大体 となります。
さらにいうと、円分体は単なるアーベル拡大体ではなく、ある意味で 最大のアーベル拡大体 でもあるのです。
たとえば、 上のアーベル拡大の例として、 という2次体があります。これはもちろんアーベル拡大です。ここで「ガウス和」と呼ばれるもの
を用いると、右辺は明らかに の元ですから、 となります。したがって
が成り立ちます。
より一般に、 上のアーベル拡大体 があったときに、「(正確ではないですがだいたい)導手」と呼ばれる量 が存在して
が成り立つという事実が知られています。これを クロネッカー・ウェーバーの定理 といいます。上のガウス和の例は、 とした具体例となっていますね。
つまり、 上のアーベル拡大をとってきたら、それを含むような円分体が必ず存在する と言っているわけですね。だから、ある意味最大のアーベル拡大だったわけです。
円分体のような性質を持つ最大のアーベル拡大体を、ray類体 と呼びます。ray類体の詳しい説明は次の節でしたいと思いますが、ray類体には「素イデアル分解」に関する面白い性質があります。
そもそもこのようなアーベル拡大を考える歴史的な経緯は、「素イデアルの分解法則」 にありました。これについて触れておきましょう。
の整数環(まどろっこしい言い方をしましたが のことです)において、素イデアルは か素数 に対する に限られます。
ここからは、代数体 について、 の整数環の でない素イデアルを「 の素イデアル」と呼ぶことにします。よって、 の素イデアルは です。
さて、 は の素イデアルですが、これを に持ち上げたときに、そのまま素イデアルでいてくれるとは限りません。つまり
のように分解してしまうことがあるのです。
このように、 が 上の拡大体 において「拡大次数 と同じ個数」の素イデアルの積に分解されるとき、 は で完全分解する といいます。
また、素イデアル分解において2以上の指数が現れるとき、 は で分岐する といいます。
ray類体の一つの特徴づけとして、素イデアルの分解法則が簡潔である という点が挙げられます。
を の素イデアルとして、これを に持ち上げたとき、次が成り立ちます:
が円分体でない 上のアーベル拡大の場合も、円分体のケースに帰着させて素イデアルの分解法則を得ることができます。この辺りの事実が、 上の類体論 の帰結です。
せっかくなので、 として、円分体の素イデアルの分解法則を確認してみましょう。素数 が であることと、素イデアル が で完全分解することが同値なのでした。
例として、 として分解を確認してみましょう。以下が確認用のSagemathのコードです:
K.<z>=NumberField(x^4 + x^3 + x^2 + x + 1); K I = K.ideal(11) I.factor()
1行目で を定義多項式とする代数体 を定義しています。 は の最小多項式ですね。多項式の根(すなわち )を "z" という定数に代入しています。
その後、 のイデアル を定義し、その素イデアル分解を計算しているという流れです。
結果は次の通りです:
Number Field in z with defining polynomial x^4 + x^3 + x^2 + x + 1 (Fractional ideal (z^3 + 2*z^2 + z + 2)) * (Fractional ideal (z^3 - z + 1)) * (Fractional ideal (-z^2 + z + 1)) * (Fractional ideal (-2*z^3 - z^2 - z))
と読み替えると、
ということです。分解の仕方はややこしいですが、たしかに4つの素イデアルの積に分解されていますね。
という関係式を使えば
と表せることを @unaoya さんに教えていただきました。
()とすると
となり、互いに共役であることが確認できますね。これは「ガロア拡大における素イデアル分解」の一般論から言えることです。
また、 なので
が確認できたことになりますね。
他の のケースも調べるためには、例えばこんなコードを考えれば良いでしょう:
P = Primes() p = P.first() for i in range(30): I = K.ideal(p) print p, I.factor() p = P.next(p)
最初の30個の素数の分解の様子を調べています。実際、下記のように のときに限り、完全分解することが確認できます。
2 Fractional ideal (2) 3 Fractional ideal (3) 5 (Fractional ideal (z - 1))^4 7 Fractional ideal (7) 11 (Fractional ideal (z^3 + 2*z^2 + z + 2)) * (Fractional ideal (z^3 - z + 1)) * (Fractional ideal (-z^2 + z + 1)) * (Fractional ideal (-2*z^3 - z^2 - z)) 13 Fractional ideal (13) 17 Fractional ideal (17) 19 (Fractional ideal (-4*z^3 - 4*z^2 - 1)) * (Fractional ideal (4*z^3 + 4*z^2 + 3)) 23 Fractional ideal (23) 29 (Fractional ideal (z^3 - 5*z^2 + z)) * (Fractional ideal (5*z^3 - z - 1)) 31 (Fractional ideal (-2*z^2 + z)) * (Fractional ideal (-2*z^3 + 1)) * (Fractional ideal (2*z^3 - z)) * (Fractional ideal (-z^3 + 2*z^2)) 37 Fractional ideal (37) 41 (Fractional ideal (2*z^3 + 3*z^2 + z + 2)) * (Fractional ideal (-3*z^3 - 2*z^2 - z - 1)) * (Fractional ideal (z^3 + 2*z^2 - z)) * (Fractional ideal (-2*z^3 - z^2 + z - 1)) 43 Fractional ideal (43) 47 Fractional ideal (47) 53 Fractional ideal (53) 59 (Fractional ideal (7*z^3 + 7*z^2 + 5)) * (Fractional ideal (7*z^3 + 7*z^2 + 2)) 61 (Fractional ideal (-2*z^3 + z^2 + z + 1)) * (Fractional ideal (z^3 - 2*z^2 + z + 1)) * (Fractional ideal (3*z^3 + z^2)) * (Fractional ideal (3*z^2 + 1)) 67 Fractional ideal (67) 71 (Fractional ideal (-2*z^3 - 3*z^2 - 1)) * (Fractional ideal (2*z^3 + 2*z^2 - z + 1)) * (Fractional ideal (3*z^3 + 3*z^2 + z + 2)) * (Fractional ideal (3*z^3 + 2*z^2 + 1)) 73 Fractional ideal (73) 79 (Fractional ideal (-8*z^3 - 8*z^2 - 3)) * (Fractional ideal (-8*z^3 - 8*z^2 - 5)) 83 Fractional ideal (83) 89 (Fractional ideal (z^3 - 9*z^2 + z)) * (Fractional ideal (9*z^3 - z - 1)) 97 Fractional ideal (97) 101 (Fractional ideal (z^3 + 3*z^2 - z + 1)) * (Fractional ideal (-3*z^3 - 4*z^2 - 2*z - 2)) * (Fractional ideal (-4*z^3 - 2*z^2 - z - 2)) * (Fractional ideal (-2*z^3 - z^2 + 2*z)) 103 Fractional ideal (103) 107 Fractional ideal (107) 109 (Fractional ideal (z^3 - 10*z^2 + z)) * (Fractional ideal (10*z^3 - z - 1)) 113 Fractional ideal (113)
さて、以上をまとめてみましょう:
- 1. 「円」という曲線の等分点 を考える
- 2. は1点 によって生成される
- 3. を添加した円分体 を考える
- 4. の行き先でガロア群の元が定まり、ガロア群がわかりやすく とかける
- 5. 上のアーベル拡大が、円分体に含まれる(ray類体)
- 6. ray類体なので、素イデアルの分解法則が で表せる
1. と 2. については、楕円曲線でも同様な状況を既に考察しています。
- 1. 「虚数乗法を持つ楕円曲線」の等分点 を考える
- 2. は2点 によって生成される
円のケースとたしかによく似ていますね。
こうして考えると、楕円曲線でも3.に対応して「 を添加した拡大体を考えたい」と思うのは自然な発想でしょう。また、ガロア群の構造を調べたり(4.)、アーベル拡大の上での素イデアルの分解法則(5., 6.)がどのようになるか、についても気になります。
類体論の復習
以降の説明では、楕円曲線の等分点を使ってアーベル拡大を具体的に作っていく話になります。そこでは 類体論 の知識がどうしても必要になります。
以前書いた 「類体論のステートメント」 という記事の内容を、今回必要な部分に限定しておさらいしつつ進んでいきたいと思います。
tsujimotter.hatenablog.com
特に二番目の記事は、虚数乗法の記事を書くために前もって用意しておいた記事でした。あれから2年も立ってしまいましたが、ようやく役に立つ時がやってきました。
円分体のときと同様、「基礎体 の素イデアル が、 の有限次ガロア拡大体 の上でどのように分解するか?」 というのが基本的な問いになります。
今回は、基礎体 として 虚2次体 の場合を考えます。
「ガロア拡大における素イデアル分解」については、ヒルベルトの理論 と呼ばれるものがあり、そこでは のガロア群 が重要な役割を果たします。
ガロア群には、 に対応するフロベニウス という重要な元が定まり、これが で が分解するかどうかを司っているのです。具体的には、 がガロア群の単位元であることは、 は で完全分解することと同値です。
一方、合同イデアル類群 という概念を考えます。
のある整イデアル を考えて、 の分数イデアル全体の中で特に と素なもの全体を としましょう。虚2次体 のイデアルは必ずしも単項イデアルとは限らないので、 には単項イデアルとそうでないイデアルが混ざって入っていることに注意します。
ここで、 の中で、特に「単項イデアル」であり、かつ「 で に合同」なものだけを集めた集合 を考えます。
「あるイデアルが に入っているかどうか」という情報は非常に重要なので、 を で割った剰余群 を考えます。これを合同イデアル類群といいます。
合同イデアル類群 とガロア群 の関係をつなぐのが 類体論 です。
の素イデアル に対して、 の元 を対応させる アルティン写像 という群準同型写像を考えます。
「アルティン相互法則」によると、まずこの写像は全射になります。さらに がアーベル拡大のとき
( を割る素イデアルだけが分岐する可能性がある)
を の導手とすると、アルティン写像の核 は を含みます。この で を割ると、次の同型が得られます:
これにより、 がアルティン写像の核 に属することと、 が で完全分解することが同値となります。
これが素イデアルの分解法則を与えるわけですね。
もっと分かりやすいのは が ray類体 のときです。
導手を割り切るかどうかと、 のアーベル拡大の包含関係が一致する(導手定理)という事実があり、ある を割り切る 上の最大アーベル拡大 を考えることができます。これが導手 のray類体の定義です。
導手 のray類体においては、アルティン写像の核がちょうど に一致する という大変嬉しい性質があります。
すなわち、先ほどの同型で とすると
が得られます。これにより、 が に属することと、 が で完全分解することが同値となります!
まとめるとこういうことです:
が に属する
(単項イデアル)と表せて、
長くなりましたが、基礎体 、導手 に対応するray類体 が決定できれば、素イデアルの分解法則が明示的にかけるということですね。
前節の円分体のケースでは、基礎体を として、導手 ( は無限素点)におけるray類体が
とかけるということでした。無限素点を考慮する難しさはありますが、結果的に の素イデアル が で分解する条件が
と表せるというわけです。(無限素点に関する条件は であることに対応しています。)
j不変量とヒルベルト類体
同様に、基礎体を虚2次体 としたときのray類体 についても決定していきたいと思います。
そのために、j不変量 という概念について説明しておきたいと思います。
j不変量は、虚数乗法に限らず、楕円曲線論においてきわめて重要な役割を果たす量です。一般に楕円曲線
におけるj不変量 は、次のように定義されます:
これを計算するための各種パラメータが以下の通りとなります:
難しく見えるかもしれませんが、結局は 楕円曲線の係数 の有理式 で表される量です。
この の重要性の一つに、 が楕円曲線の不変量であること が挙げられます。
すなわち、( 上)同型な楕円曲線 があったとして、それらのj不変量 は等しくなるのです。逆に、 であれば、 は( 上)同型です。
こんな風に、楕円曲線が同型であるか、簡単に判定できるのです。
またもう一つ、係数体が であるような に虚数乗法を持つ楕円曲線 に対して、 が代数的数になるという事実があります。したがって、この を に添加した体は、 上の有限次拡大になり、 よりも小さな体になります。
そして、 に対して、 を係数体とするような「モデルが取れる」という事実があります。「モデルが取れる」というのは、定義方程式が異なる楕円曲線 であって、係数体が であり、 と同型なものがとれるということです。係数を より小さく取り換えることができるということですね。
この点も、@unaoyaさんにご指摘いただきました。ありがとうございます。
ここで、虚数乗法論における一つの大きな結果について述べましょう。
このとき、導手を とする 上のray類体 は次のように表せる:
虚2次体上の導手 のray類体は、 を添加してかけるという美しい定理です。
導手が ということは、 を割り切らない の素イデアルはすべて分岐しないということです。
すなわち、ray類体 とは、 上不分岐な( のすべての素イデアルが分岐しない)最大のアーベル拡大ということです。このような拡大体を ヒルベルト類体 といいます。
ヒルベルト類体には、良い性質がいくつかあります。ガロア群の同型
より、ガロア群とイデアル類群が同型になります。すなわち、類数が1であることと、最大不分岐アーベル拡大(ヒルベルト類体)が 自身であることが同値になるのです。
類数が1の虚2次体 に対しては、 の整数環に虚数乗法を持つ楕円曲線 を考えて、そのj不変量 が有理数であることを導くことができます。
このことの大変面白い応用として
が挙げられます。
詳しくは以下の記事を読んでいただければと思いますが、あれから知識もアップデートされたので、いずれ記事にしたいと思っています。
tsujimotter.hatenablog.com
さて、私たちの楕円曲線 について、j不変量 を計算してみましょう。
上の式に係数を代入してもいいですが、ここはSagemathの機能を使って計算してみましょう。
E = EllipticCurve([0,0,0,1,0]); E E.j_invariant()
結果は次の通りです:
Elliptic Curve defined by y^2 = x^3 + x over Rational Field 1728
であることがわかりました。 となるわけですね。実は が有理数であることは、計算するまでもなくわかります。元々の方程式の係数が整数なので、有理数以外にはなり得ないわけですね。
は虚2次体 に虚数乗法を持ちますから、上の定理1により、 のヒルベルト類体は 自身になることが分かります。このことから、ガロア群の同型 を通して、 の類数が 1 であることがわかります!すごいですね!
今回は類数1の例でしたが、類数2の例も計算してみると面白いかもしれませんね。この場合、楕円曲線の係数は必然的に より大きくなるので、計算するのも難しくなりそうですが。
クロネッカーの青春の夢
いよいよやってきました。「円」のアナロジーが「虚数乗法を持つ楕円曲線」でも成り立つことを、この節で確認したいと思います。
円の場合は 上のアーベル拡大でしたが、今度は虚2次体上 のアーベル拡大を考えます。虚2次体 上のアーベル拡大 を考えるとき、それを含むような導手 のray類体はいったいどのような拡大体になるか。それを問うのが クロネッカーの青春の夢 です。
に対しては円の等分点 を考えたように、虚2次体 の場合には虚数乗法を持つ楕円曲線 の 等分点 を添加すればよい、というのが(ほぼ)答えになります。
このとき、正の整数 について、導手を とする 上のray類体 は次のように表せる:
ただし、 はウェーバー関数。
虚2次体上のray類体が、虚数乗法を持つ楕円曲線 のj不変量 と等分点 を添加した拡大で表せるということですね!
ここから先では、この定理をじっくり味わいたいと思います!
ウェーバー関数 についてはまだ説明していませんでしたので、ここで説明しておきたいと思います。次のように定義されます。
まず、 に虚数乗法を持つ楕円曲線 として、係数体がそのヒルベルト類体 にあるモデルを取る必要があります。このようなモデルがとれることは、前節で述べました。その上で、 の定義方程式が
と表されるとします。もちろん です。
このとき、点 に対して を次のように定義します。
要するに、楕円曲線 の 座標を取ってくる関数ということです。また、係数 の値に応じて、例外的なケース()に対しては「ちょっとだけ補正」をする関数になっています。
のヒルベルト類体 は 自身だったので、私たちの楕円曲線 においては、定義方程式をそのまま使うことができます。また、係数が なので、実は2番目のケース(例外的なケース)に合致します。したがって、 の 座標を2乗しなければならないことを覚えておきましょう。
最後に、この美しい定理について、具体的に計算した 等分点を使って確認してみましょう。
導手 (2) のray類体の計算
私たちの楕円曲線 におけるj不変量は でした。
また、 については上で計算していましたので、それを使いましょう。再掲します:
座標は です。これにウェーバー関数を適用すると
となります。
したがって、 に を添加した拡大体が導手 のray類体 となりますが、これは そのものですね。
導手 の非自明なアーベル拡大は存在しないということがわかりました。
導手 (3) のray類体の計算
もう一つ、 について考えましょう。
については 座標しか計算していませんでしたが、ウェーバー関数を適用するので、 座標だけあれば十分です。
よって導手 のray類体は
となります。
ray類体 が計算できたので、素イデアルの分解法則も確認してみましょう。
はray類体なので、 の単項な素イデアル の代表元 が
を満たすとき、 は で完全分解します。
ここで注意したいのは、 の代表元としては のいずれも考える必要があるということです。 においては、図のように合同関係があります。
は互いに合同ではありません。したがって、 上の素元 であり
または
または
または
を満たすような すべてが で完全分解します。
また、 の類数は1なので、 の任意の素イデアルは単項イデアルとなることに注意しましょう。
それでは、具体的に素イデアル分解を計算したいと思います。
まず、 はガウス整数環 の素元です。(有理素数 であって であるものは、ガウス整数環でも素元なのでした。)
また
も成り立ちます。したがって類体論により、 はray類体 で完全分解します。
Sagemathを使ってこれを確認しましょう。
K.<a> = NumberField(x^2 + 1); K L.<b> = K.extension(x^2 - 3); L I = L.ideal(7); I I.factor()
実行結果は次の通りです:
Number Field in a with defining polynomial x^2 + 1 Number Field in b with defining polynomial x^2 - 3 over its base field Fractional ideal (7) (Fractional ideal (3/2*a*b - 1/2)) * (Fractional ideal (-3/2*a*b - 1/2))
ここで であることに注意すると、結果は
であることを示しています。 は で完全分解するということですね! ちゃんと、法則通りになっています!
実際、右辺を計算すると
なので、たしかにこれは素イデアル分解を与えていることがわかります。
せっかくなので、元々 の素元ではなかった例についても考えてみましょう。
は、 の素元 が分解されてできたものなので、 の素元です。さらに
なので、 で完全分解する条件を満たします。(ちゃんと単元倍を考慮しなければいけない例になっていて、ちょうどよいですね。)
下記のコードで分解の様子が確認できます:
K.<a> = NumberField(x^2 + 1); K L.<b> = K.extension(x^2 - 3); L I = L.ideal(3+2*a); I I.factor()
結果は次の通りです:
Number Field in a with defining polynomial x^2 + 1 Number Field in b with defining polynomial x^2 - 3 over its base field Fractional ideal (2*a + 3) (Fractional ideal ((-1/2*a - 1/2)*b - 1/2*a + 3/2)) * (Fractional ideal ((1/2*a + 1/2)*b - 1/2*a + 3/2))
これはつまり
という分解を表しています。たしかに、完全分解していますね!!!
おわりに
今回は「具体例を通して学ぶ虚数乗法論」と題して、具体的な楕円曲線 を元に、虚数乗法の面白いところをかいつまんで紹介させていただきました。楽しんでいただけたでしょうか。
を具体的に計算することで、虚数乗法の花形である クロネッカーの青春の夢 を確認することを目指す構成にしました。具体的にray類体を計算することで、素イデアルの分解法則がちゃんと成り立つ ことを確認できたのが、個人的には面白かったです。
楕円曲線や虚数乗法に興味を持ってくれる方が増えたらいいな。
個人的に言えば、本当はもっと説明したかったことがあります。しかし、さすがに力尽きてしまったようです。続きはまた別の機会にしたいと思います。
まず、虚数乗法における面白いポイントである、イデアル類群が楕円曲線の同型類に作用するという話を書くことができませんでした。今回は楕円曲線を1個にしぼったので、「楕円曲線の同型類」という概念の紹介をなくなくカットしています。ray類体を決定するところも書きたいですね。虚数乗法とガロア表現の関係についても書きたかった。L関数も計算してみたい。
これらは当分先になるとは思いますが、また体力が回復したら続きを書いてみたいと思います。
最後まで読んでくださってありがとうございました!
よろしければ、部分的な内容に対してでも構いませんので、興味を持ったところ、面白かったところなど感想いただけると嬉しいです。
それでは、今日はこの辺で。
参考文献
- 作者:J. H. シルヴァーマン,J. テイト
- 発売日: 2012/08/25
- メディア: 単行本
The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics (106))
- 作者:Silverman, Joseph H.
- 発売日: 2009/05/29
- メディア: ハードカバー
- 作者:J.H. シルヴァーマン
- メディア: 単行本