今回のテーマは
です。前回に引き続き、楕円曲線の謎に迫っていきましょう。
楕円曲線の加法とは
定義方程式
で与えられる楕円曲線 を考えます。
一般に の任意の2点 が与えられたとき、 の加法 が定義できます。つまり、 という点が の上に定まるわけですが、これは次のように幾何学的に決定されます。
の点 と をとり、2点を通る直線と との交点を とします。 つまり、 が同一直線上に乗ります。
このことを、加法の記号 を用いて
と表すことします。これが成り立つように、2点 の間の加法を導入します。
ここで を の単位元とします。楕円曲線が式 の形で表されているときは、単位元 は無限遠点 とすることができます。
式 を加法の性質を満たすように変形すると
となり、これが の定義となります。
とは何でしょうか。逆元の性質 と より
となりますが、式 と同じように解釈すれば「 は同一直線上にある」ということです。すなわち、図に表すとこういうことです。
と を結ぶ直線は 軸と並行で、一見 との交点を持たないように見えますが、実は無限遠点 と交わっている、と考えることができます。
以上の議論により、 として、楕円曲線の加法が幾何学的に計算できるようになりました。
ところでこの加法、なぜこんな風に定義されるのでしょうか。
という定義は、いったいどこからやってきたのでしょうか。
ここまでが導入です。今日は楕円曲線の加法が、とある代数的な演算によって「自然に」定義される仕組みを説明したいと思います。
キーになる概念は「因子」と「因子類群」です。
因子と因子類群
前回の記事では、楕円曲線 の関数体 を定義しました。 関数体の元に対して、極や零点の位数を計算しましたね。
たとえば、関数 の場合の極と零点の位数はこうでした。
- 関数 は で 位の零点を持ち、 で 位の極を持つ。
- 関数 は で 位の零点を持ち、 で 位の極を持つ。
上記をより簡潔に表す表現として、次の記法を考えましょう。
関数 については
関数 については
とします。
見たらわかると思いますが、零点や極を「和」の記号で並べて、その係数として零点や極の符号付きの位数が掛けられています。零点は正の係数、極は負の係数です。この和の記号はあくまで形式的な記号であって、特に点同士の和を計算しているわけではないことに注意してください。
一般の関数 に対しても、極や零点に関して符号付きの位数をかけて足し合わせたものを考えます。このとき、極と零点は有限個なので、このような和は有限和になることに注意します。
このように、曲線上の点 に対して整数係数をかけて、有限個の形式的な和をとって表したものを 因子(divisor)といいます。すなわち、因子は
の形で表せる形式的な和のことです。因子同士は、単純に係数を足し合わせる計算によって自然に加法を定義できます。
楕円曲線 の因子全体のなすアーベル群のことを の因子群と呼ぶことにして、 と表しましょう。
また、任意の関数 に対応する因子を と表すことにすると、
は、因子群 の部分群になります。これを主因子群といいます。
ここで、主因子群(関数全体に対応する因子)に対して、因子群がどの程度大きいかを表す指標を考えたくなります。それが 因子類群 です。
因子類群 は、因子群を主因子群で割ってできる群として定義されます。
因子類群の加法は、 で割ったあまりによって自然に誘導されたものを考えます。
また、因子類群における単位元は になります。すなわち
ということです。これはあとで使います。
これから考えたいことは、楕円曲線 をこの因子類群に写すことです。因子類群に写された加法を調べることで、楕円曲線の加法を定義しようというものです。
しかしながら、楕円曲線を写すには、因子類群はやや大きすぎます。もう少し小さいものを考えたくなります。
思い出していただきたいのは、関数における零点や極の位数です。前回の記事では、関数体の元について
なる関係が成り立つことを観察したかと思います。
ここで、因子 に対して 次数 という写像を導入しましょう。
すなわち、 に対する係数をを単純に足し合わせたものが次数の定義です。
このとき、 に対して
が成り立つ、というのが上の観察でした。
そこで、因子群 を考える代わりに、次数 の因子群 を考えるというのは自然な発想でしょう。
0 次の因子群に対して、同様に 0 次の因子類群 を考えます。
これが今回のキーとなります。
楕円曲線と因子類群の関係
楕円曲線 を今定義した因子類群 に写すための方法を考えます。そのために、仲介となる集合 を考えます。
は曲線の種数であり、正因子とは任意の係数 が非負であること(0 も含む)を言います。すなわち、次数がちょうど で正因子であるもの全体の集合です。
ここで、我々が考えているのは、楕円曲線ですから種数は です。この場合、次数 の正因子なので、要するに の点全体ですね。したがって
であるといえます。
次に、 の無限遠点を として、写像 を考えます:
は次数 0 なので、その剰余類はちゃんと に入っていることに注意しましょう。
このとき、リーマン・ロッホの定理によって、 が全射かつ単射であることが示せます。すなわち、 と の間に全単射が存在するということです。
よって と の間の全単射が言えました。
楕円曲線の加法はなぜあの定義なのか?
それでは、楕円曲線 と因子類群 の間の全単射を通して、因子類群に成り立つ加法を楕円曲線に遺伝させることを考えましょう。
楕円曲線に因子類群の加法を遺伝させたときに、楕円曲線 の点 の間に
が成り立つとしましょう。この式は、因子類群側ではどのような情報を表しているのでしょうか。
を によって に送ると
となります。これはつまり
ということです。
合同の定義により
なる が存在する、ということです。この関数 について考察しましょう。
左辺の因子を見ると、 は点 に位数 の極を持ちます。
ここで、前回計算した一般論を思い出しましょう。リーマン・ロッホにより、楕円曲線 の「点 で高々位数 を持つ関数のなすベクトル空間」は、次のように表せるのでした:
これを使いましょう。すなわち
となるため
となります。これは要するに 直線の方程式 ですね!!
また、同じく因子を観察することで、点 は の零点であるとわかります。したがって
ということです。
よって、 の 座標を代入することで、次が成り立ちます。
これは、 が同一直線上にあること を表しています!!
以上により、楕円曲線の加法
が「 が同一直線上にあること」を意味することがわかりました。
まとめ
楕円曲線の加法がなぜ
のような式で定義されるのか、という点について考えてきました。
今回のキーは、因子と因子類群でした。因子類群 を考えると、それが楕円曲線 との全単射を構成することができます。因子類群には、因子の間に自然な加法が定まるので、上の全単射によって楕円曲線に加法を遺伝させることができます。
このような方法で導入した楕円曲線の加法を考えると、同一直線上にある点 に対して が成り立つ、というのが今回の話の流れでした。
なぜ同一直線上なのかというと、2つ理由がありました。一つ目は、 を零点に持つ関数 が存在してそれが に属するからで、二つ目は、 の基底がリーマン・ロッホにより とかけるから、という理由でした。
今回導入された「因子類群」は、楕円曲線やより一般に代数曲線を分析する道具として基本的なものなのだそうです。これまではあまりイメージが沸かなかったのですが、一連の記事でまとめたことによって、ずいぶんと親しめたような気がします。
また、関数体のベクトル空間を決定するときや、最後の直線の方程式を出すところ、因子類群との全単射を示すところなど、要所でリーマン・ロッホの定理が活躍しました。少し前まで、リーマン・ロッホの定理という名前しか知らなかったので、重要な定理であることが理解できてよかったです。
「曲線と関数体」シリーズはこれでおしまいです。読んでくださったみなさまありがとうございました。
それでは今日はこの辺で。
謝辞
今回と前回の記事を書くことになったきっかけについて少し話します。
最近、参考文献の数論入門の第9章「超楕円曲線とヤコビ多様体」を読んでいました。この本は実は何度も目を通していて、読むたびに感動していました。しかしながら、数ヶ月すると内容を忘れてしまって、読んでは感動してまた忘れて、を繰り返していました。
この数学書、何度読んでも感動する
— tsujimotter (@tsujimotter) 2019年6月26日
今回こそは理解したぞという手応えがあったのですが、ブログに書くのは面倒だなと思っていたのです。そんなときに、みずすましさんという方が「聞いてみたい」と言ってくださったのです。そこで、日曜数学会というイベントでお話しすることにしました。
懇親会では、最近僕の中でホットな、因子と因子類群の話をしました!
— tsujimotter (@tsujimotter) 2019年6月29日
最終的には「種数1の曲線の方程式がなぜ3次曲線でかけるのか」と
「楕円曲線の加法がなぜああ定義されるのか」を(30分ぐらいで?)解説しました。
聴いてくださった三好さん他3名の方ありがとうございます。 #日曜数学会 pic.twitter.com/JozydRPTrU
結果はツイートに書いた通りですが、みずすましさんに話したことでずいぶんと頭の中が整理されました。この流れで話したら説明できるというストーリーができたのですね。
おかげさまで、一連のブログ記事をまとめるに至ったということです。聞いてくださった方々のおかげです。ありがとうございました。
参考文献
数論入門【現代数学への入門8】 (岩波オンデマンドブックス)
- 作者: 山本芳彦
- 出版社/メーカー: 岩波書店
- 発売日: 2018/04/10
- メディア: オンデマンド (ペーパーバック)
- この商品を含むブログを見る