今日は、モジュラー曲線の話の続きを書きます。前回の記事 では、フルモジュラー群 の定めるモジュラー曲線 を考えましたが、今回は 合同部分群 に対応するものを考えたいと思います。
tsujimotterは、この合同部分群の定めるモジュラー曲線の話がしたくてこのシリーズを書き始めました。かなり難しいテーマだとは思いますが、面白い内容だと思いますので、よろしければぜひご覧ください。
今回の記事は、著者のtsujimotterが最近勉強したばかりのトピックです。とても面白い内容で、話したいという気持ちが抑えられなくなって本記事を書いています。
一方で、まだ理解していないことだらけで、ところどころ自信がありません。誤り等が含まれる可能性もありますが、その際はどうかご容赦ください。
本記事の流れについて簡単に説明します。まず、1章ではモジュラー群の合同部分群を定義して、対応する基本領域を求めます。2章では合同部分群に対応するモジュラー曲線 を定義し、 のリーマン面としての形を議論します。3章・4章この記事のメインとなります。「コンパクトリーマン面は代数曲線の構造を持つ」という一般論を元に、代数曲線の定義方程式を具体的に構成する方法を紹介したいと思います。最後に有名な「志村・谷山予想(モジュラー性定理)」について軽く触れたい思います。
かなり長いお話になりますが、よろしければお付き合いください。
目次:
1. 合同部分群
前回はフルモジュラー群 を定義して
- 上半平面 を の作用で割った空間
- 拡張された上半平面 を で割った空間
をそれぞれ考えました。 をモジュラー曲線というのでした。
フルモジュラー群 の部分群に対して、同様のモジュラー曲線を考えたいというのが今回のテーマです。
特に「合同部分群」と呼ばれる3種類の重要な部分群 を考えます。定義は以下の通りです。
をレベルといいます。 をレベル の主合同部分群(principal congruence subgroup)、 をレベル のヘッケ型の合同部分群(Hecke congruence subgroup)というそうです。*1
私が上の定義を最初に見たときは、何がどう違うのかよくわかりませんでした。ここでは、丁寧に順を追って解説したいと思います。
まず、それぞれの行列の係数が の条件で与えられているということに注意しましょう。この視点で の定義を見ると、 で単位行列に合同であるとわかります。つまり、
という形になっているということです。 は
という形になっています。ここで の部分は条件なし、つまり何でもよいということを意味します。同様に は
という形の行列となっています。
言い換えると
- は の行列の中で のものだけを集めた部分群
- は の行列の中で のものだけを集めた部分群
- は の行列の中で のものだけを集めた部分群
というわけです。
が一番厳しい条件になっていて、次に 、一番条件がゆるいのが ということですね。このことから、群の包含関係は
となっているとわかります。
だからどうしたと思うかもしれませんが、これらの条件の違いは大事です。 に対応する「モジュライ解釈」を与えることで、この違いの意味は明確になります。これについては次回お話する予定です。
次に、上の合同部分群を に作用させたときの基本領域を考えましょう。前回述べたように、フルモジュラー群 に対する基本領域 は次のように表せたのでした。
の部分群に対しては、対応する基本領域はどのように変化するでしょうか。群が小さくなるということは、作用できる操作が減るわけですね。したがって、上半平面を基本領域の「コピー」で埋め尽くすためには、基本領域をより大きく取らなければなりません。
よって
に対応する基本領域をそれぞれ
としたとき、その包含関係は逆向きになります。
具体的な基本領域の求め方はなかなか難しいのですが、 に対応する基本領域について少し解説しましょう。ほかの場合も考え方は同じです。
まず、 を で割った剰余類を考えて、それぞれの代表元を とします。すると は
と表せます。 の記号は「非交和」といって「重なりがなく和をとること」を表します。
に対応する基本領域を としたとき、定義と上の分解から
がいえます。よって
が言えるということですね。つまり
の部分に を作用させれば、 をすべて埋め尽くすことができるということです。
この領域を基本領域と言ってしまいたいところですが、実は少し問題があります。説明しましょう。
を素数としたとき、 を の作用で割った剰余類の群 を考えます。各剰余類の代表元を としたとき、この代表元としては、次のものをとることができます。
[2] の Exercises 3.1.4 を参照してください。
これを使って上の領域を描くと、以下のようになります( の場合)。
このように適当に代表元を選んでしまうと、領域が連結されない場合があるのです。基本領域と呼ぶためには、1つの連結された領域である必要があります *2。
ここで、 の代わりに、ある を用いて
と表せるような を用いて代表元を置き換えても問題ありません。このように適当な の元を用いて代表元を置き換えていって、連結する領域を作ることができれば、それが に対応する基本領域となります。
上のサイトでは、 の基本領域の形が画像で描かれていただけだったので、図に対応する具体的な変換を自力で見つける必要がありました。これもうまい方法が見つからなかったので、「基本領域ゲーム」をポチポチ動かしながら頑張って探しました。
実際、上のサイトに描かれた基本領域は、 の基本領域に
を作用させることで得られることがわかりました。結構大変な作業で、これだけで休日の半分をつぶしました・・・。
以上の議論により、 の場合には次のような基本領域を得ることができます。
一般に
という公式があるそうです。 の基本領域が「 の基本領域の何個分であるか」が上の公式により計算できます。詳しくは参考文献 [2] の1.2節(p.14)を参照してください。
としたとき、 の基本領域は上に描いたように「 の基本領域の 個分」でした。上の公式に当てはめてみると
となり、たしかに 個になっていますね。
の例も次の記事で計算するため、 と同じように基本領域を作ってみようと思ったのですが、上の公式で試算してみてちょっと難しそうだとわかりました。
120個となると、とても手作業では探せないですね。
2. モジュラー曲線
以降では、説明の都合上ヘッケ型のモジュラー群 だけで議論したいと思います。
の作用によって上半平面 を割ってできた商空間を
とします。この を から定まるモジュラー曲線と言います。代表元をとれば上の基本領域に一致しますので、基本領域と同じ形を想像してもらえればと思います。
この は、 と同様に リーマン面 としての構造を持ちます。また、 を拡張された上半平面 に置き換えると、コンパクト化されたモジュラー曲線 が得られます。
その前に、前回と同様、リーマン面としての の具体的な形をイメージしてみましょう。ここでは とします。
の基本領域はこのようになっていました。
による作用を考えて、基本領域の端がどのように連結しているかを表したのが次の図です。同じ色で表した線は繋がっていると考えます。これが位相的にはどのような図形になっているか想像できるでしょうか。
まず、赤い線とオレンジ色の線を矢印の向きに合わせて貼り合わせます。それから水色の線を同じように貼り合わせます。ちょうど、球面に3つの開円板が空いているような図形になっています。
このような図形はトポロジーの言葉では「パンツ」というのでした。パンツの2つの開円板を埋めるために、紫色の線と緑色の線を貼り合わせましょう。最後にカスプ を追加して、残りの円板を埋めましょう。 が でコンパクト化されて になりました。
これで トーラス のできあがりです!
これまでの議論から、コンパクトリーマン面 が 種数 1 の閉曲面 であることが確認できました!
が種数 1 であることはモジュラー曲線の一般論からわかるのですが、こうして基本領域の形から実際に確認できると納得感がありますよね。この図を作ることができて、ようやくモジュラー曲線が手に収まった気がしました。
上の式は、リーマン・フルビッツの公式とガウス・ボンネの定理から得られるみたいです。証明は [2] の Exercises 3.1.3 (b) 参照。
実際、 のとき、 より とわかります。上で確かめたように、たしかに種数 1 の閉曲面になっていますね。この計算についても、詳しくは [2] の Exercises 3.1.4 の解答を参照ください。
3. モジュラー方程式
上で示したように、モジュラー曲線 はコンパクトリーマン面なので、代数曲線 としての構造を持ちます。これは代数曲線の一般論からわかるわけですが、ここでは具体的に モジュラー曲線 の定義方程式 を考えたいと思います。これによって、モジュラー曲線 が「曲線」であることが納得できるようになるでしょう。
基本的な考え方は、楕円曲線のときと同じです。ワイエルシュトラス方程式から定義方程式を得たときの流れを思い出しましょう。
を満たす が具体的に計算できるのでした。これが の代数曲線としての定義方程式でしたね。
においても同じような考え方をとります。やってみましょう。
まず、 の 上の関数体を考えると
と表せることが示せます。
記号の定義を先に述べておくと、関数体の生成元の一つである は 関数のことです。 関数は に対して不変な関数なので、当然 に対しても不変で、したがって 上の関数です。
もう一つの生成元 は、 関数によって次のように定義されます:
実は、この関数が に対して不変な関数になっているのです。つまり、 上の関数です。
「 が の生成元であること」を示すのは難しそうなので([4] の 11章 B 節でセクションを丸々使って議論しています)、代わりに「 が 上の関数であること」だけでも示してみましょう(同じ節の議論を参考にしました)。
とします。つまり、 です。これに対して を考えると
ここで、 は
より、 であるとわかります。よって
となり、 は に対して不変であることが示されました。
上の議論から は に対して不変なことがわかりました。次は、一般の の に対する作用を考えましょう。
として、 を 個の剰余類に分解して
と表します( とします)。この分解によって一般の は、 を用いて と表せることがわかります。
このとき、 の変数に を作用させて
という集合を考えます。
すると、 の関数に対して が推移的に作用することがわかります。というのも上で述べた剰余類の分解によって
と書けるので
とできるからです。最後の等式は の に対する不変性を用いました。
つまり、 の関数は の変換に対して、互いに移り合う関係にあるということです。
したがって、 に対する基本対称式
を考えると、これらの基本対称式はすべて の元に対して不変であることがわかります。つまり、基本対称式が の関数体の元、すなわち、 の元となっているということです。
そこで、 を解に持つ多項式
を考えると、多項式を展開したときの係数は明らかに の基本対称式になります。したがって、 は 係数の1変数多項式となり、 の元となります。
は 上の(関数体としての) 次拡大体となっています。
さて、ようやく本題の定義方程式の話に戻ります。 は の根なので、 に を代入すると
という方程式が得られます。
とおくと
という形の方程式が得られ、これは の2変数の方程式となります。
は によって決まりますから、これは の代数曲線としての定義方程式を与えています。 こそが、モジュラー曲線の定義方程式なのです。これをレベル の古典的モジュラー曲線(classical modular curve)といいます。レベル のモジュラー方程式(modular equation)ということもあります。
まとめるとこういうことです。 の点 が方程式 を満たす点 と1対1対応するのですね。
4. モジュラー方程式の具体例
今定義したモジュラー方程式は、どのような方程式になっているでしょうか。調べてみて驚いたのですが、実際の式はなかなか衝撃的です。
まずこれが のモジュラー方程式です。
次が のモジュラー方程式です。
基本的に係数が非常に大きなものになっています。上の例はまだ簡単な方で、実際 が大きくなるにつれて係数や多項式の長さは「かなり早いスピードで」増加します(増加のスピードについては後で紹介するスライドが詳しいです)。
この性質は 関数の -展開の係数が整数であることからきています。これはモジュラー曲線の重要な性質の一つで、この性質によってたとえばモジュラー曲線の の還元を考えることができます。
さて、我々の目的である のモジュラー方程式を紹介します。あまりにも長いので、一部を抜粋して紹介します。
参考にしたのはこちらのスライドです。
このスライドでは、 のあとにスライド8枚分続き、さらに定数項の係数は100桁になると書いてありました。とんでもない係数ですね。「せっかくモジュラー曲線の定義方程式が得られたのだし、それをプロットしてみようかな」と無邪気に考えていたのですが、とてもそんなレベルではないと気づきました。
ともあれ、具体的な「 と の関係式」の形でモジュラー曲線 の定義方程式を表すことができましたね。
ちなみに、 の の係数については、こちらのサイトで一覧が載っています。どうやって使うかはさておき、面白そうですね。
5. おまけ:モジュラー性定理
上の代数曲線 は12次の曲線となっていましたが、 自体は種数1の代数曲線でした。ということは、 に同型な楕円曲線のモデルが存在するはずです。実際、Wikipediaの "Classical modular curve" の項目をみると
という曲線に同型であることが述べられています。実際、
と置き換えをすることで、両者が同型であることを示せるようです。
以上を踏まえて、有名な 志村・谷山予想 に触れておきたいと思います。
上定義されたある曲線 に対して、ある が存在して整係数の有理写像による全射
が存在するとき、 はモジュラー曲線であると言います。
上で述べた曲線を
とすると は楕円曲線です。一方で は からの有理写像による全射が存在するので、モジュラー曲線でもあるというわけです。
志村・谷山予想は
という予想です。今となってはワイルズらによって証明されていますから、これは予想ではなく定理です。章タイトルの「モジュラー性定理(modularity theorem)」と呼ばれているようです。
次回示すように、モジュラー曲線 は楕円曲線(と付加構造)のモジュライ空間になっています。ある意味で楕円曲線をまとめたものと言えそうです。その楕円曲線をまとめたモジュラー曲線の中に、それ自身が楕円曲線の構造を持っているものが存在するのでした。
モジュラー性定理が主張するのは、任意の 上の楕円曲線 は、モジュラー曲線に対応しているということです。つまり、任意の楕円曲線は楕円曲線のモジュライ空間であるため、その1点1点も楕円曲線(の同型類)に対応しているわけです。1つの楕円曲線の中に、無限に多くの楕円曲線が存在している。そんな不思議な入れ子構造が楕円曲線にはあるのだそうです。すごい話ですね。
6. おわりに
今回のテーマである、合同部分群の定めるモジュラー曲線 についてのお話は、私 tsujimotter がつい先日知った話です。「モジュラー曲線 の定義方程式は である」という事実を紹介することがこの記事の目的でした。
の上の関数体を考え、関数の代数的な等式を考えることで、モジュラー曲線の定義方程式 を具体的に得ることができることを紹介しました。とんでもない大きさの係数を持つ方程式ではありましたが、たしかに を変数に持つ曲線が得られることが理解できました。楕円曲線や のときもそうでしたが、リーマン面上の関数体を考えるというのは、定義方程式を求める上での一つのよい方針になるのですね。
このような流れをもとにモジュラー曲線を計算する方法について、[3] の第1章にそれらしい記述があることは以前から知っていました。しかしながら、
- モジュラー曲線の話であることはわかるけど、どこにモジュラー曲線の定義方程式が書いてあるのだろう。この記事には、書いていないのかな。
- もしかして、そもそも曲線とは言っても、定義方程式なんて存在しないのかな。
というような勘違いをしていて、真面目に読もうとはしていませんでした。
モジュラー多項式 にしても、[3] の記事にちゃんと登場していますが、どうしてこのような多項式を計算しているのだろうと思っていました。また は、このブログで度々参照される [4] にも載っていることを以前から知っていましたが、よくわからなかったので真面目に読む気にはなれませんでした。まさか こそが定義方程式だったとは。
がモジュラー曲線 の定義方程式なんだということがわかったときに、さまざまな概念が繋がりました。「なるほど、たしかにモジュラー曲線だ」と思えたのですね。この納得感がとても気持ちよかったので、その感覚を共有したくてこの記事を書きました。
ブログ記事を書いているうちに、いろいろと発見がありました。「種数 1 の曲線なんだから、 はトーラスの形をしているはずだ」と気付いたので、せっかくだから図形的な理解もしたいと思いました。これが前半の説明です。図を作る過程はかなり大変だったのですが、最終的にちゃんとトーラスになることもわかり、納得感がありました。トーラスになることが理解できた瞬間は、本当に感激しました。
モジュラー曲線シリーズは あと1回 の予定です。最終回は、モジュラー曲線の定義方程式を求めるための別の方法を紹介します。「モジュラー曲線とは楕円曲線(と付加構造)のモジュライ空間である」という視点から、よりわかりやすい形の定義方程式を導きたいと思います。お楽しみに。
それでは今回はこの辺で。
参考文献
[1] 斎藤 毅、河東 泰之、小林 俊行「数学の現在 」
[2] Diamond and Shurman, "A First Course in Modular Forms"
[3] 山内 卓也「モジュラー曲線の整モデル」
https://www.math.kyoto-u.ac.jp/~chida/Gross-Zagier/Yamauchi.pdf
[4] D. Cox, "Primes of the form: "
*1:呼び名の参考 Congruence subgroup - Wikipedia
*2:「基本領域」であることにこだわらなければ、これでも問題ありません。
*3:私は方法がわかりませんでしたが、ご存知の方がいたら教えてください。