モジュラー曲線というのは、上半平面 を
の合同部分群で割ったものとして定義されます。
定義からは、明らかに複素解析的な対象に見えると思います。ところが、実はモジュラー曲線は数論的な対象でもあるのです。
わかりやすい応用として、楕円曲線の位数有限な点に関する メイザーの定理 があります。
これは楕円曲線の有理点の構造を決定するために大変有用な定理です。数論における大定理といってよいと思うのですが、この定理を証明するのにモジュラー曲線が用いられるのです。
メイザーの定理の証明自体は私は理解できていないので、ここでは解説はできません。今回は、位数有限の有理点とモジュラー曲線の関係に限って紹介したいという記事です。
話のキーとなるのは、モジュラー曲線の一点一点が楕円曲線の同型類に対応する という事実です。つまり、モジュラー曲線は楕円曲線の モジュライ空間 であるのです。
また、モジュラー曲線のもう一つの側面として、代数曲線としての性質があります。具体的に、方程式のなす点集合として表すことができるのです。この曲線としての性質から、たとえば位数Nの有理点を持つ楕円曲線が存在しないことが言えてしまうのです。
そんなわけでモジュラー曲線のすごさをお伝えしたいと思います。
勉強する際は、私の記述をうのみにせず参考文献をご参照いただければと思います。参考文献は一番下に書いています。
また「モジュラー曲線」シリーズの過去記事はこちらで読むことができます:
tsujimotter.hatenablog.com
今回の記事はシリーズ記事ですが、前回(モジュラー曲線(4))からずいぶんと時間が経ってしまいましたので、この記事単体で読めるような記事にしたいと思います。そのため、過去の記事と重複する部分もかなりあるかと思います。必要に応じて過去の記事を参照してみてください。
合同部分群とモジュラー曲線のおさらい
このブログでも何度かモジュラー曲線について解説していますが、話の内容に必要な部分をさらっとおさらいしたいと思います。
まず、冒頭で述べたように とします。
の部分群として、
を次のように定義したいと思います:
これらをレベル の合同部分群といいます。
の関係があります。今回主に使うのは となります。
ここで、 を
のいずれかとし、上半平面を
とます。 の点
に対して、
の作用を次のように定義します:
この作用を用いて、 の点
に対して、次の同値関係を入れます:
このような同値関係で割って得られる商集合を と表し、
についてのモジュラー曲線ということにします。
モジュラー曲線には、 から誘導される位相によって位相空間だと思えるのですが、この位相について連結な代表元のなす集合を
についての基本領域と言います。
たとえば、 についてのモジュラー曲線
は、次のような基本領域をとることができます:

ほかにも、 の基本領域を描画すると、次のようになります:

これは についての基本領域を考えて、これを60枚コピーしてタイリングしたものになっています。
の適当な代表元によって、
についての基本領域を写すことによって得られます。
この についてのモジュラー曲線は、今回の記事の中で何度も登場することになります。
上記のモジュラー曲線は、単に位相空間であるばかりか、適当なアトラスを入れることでリーマン面の構造を持ちます。しかし、コンパクトではないので、コンパクト化するために、次のように考えることが多いです。
拡張された上半平面 を考えます。これを
で割って得られる空間を
と表しますが、これも
についてのモジュラー曲線ということにします。
内の点をカスプといいます。
や
の点に対応する同値類がカスプに対応するわけです。これによって、コンパクトな位相空間となるわけですね。
さらにリーマン面の構造も持つことが知られています。よって、 はコンパクトリーマン面ということになります。
についてのモジュラー曲線
は、
のように表しますが、1点
をカスプに持ちます。こういうのを1点コンパクト化と言ったりしますね。
また、 についてのモジュラー曲線
を
のように表すことにします。
のカスプは、
のみとは限らず、たとえば
は次の10点のカスプを持ちます。
楕円曲線のモジュライとしてのモジュラー曲線
モジュラー曲線上の一点一点には楕円曲線の同型類が対応する(楕円曲線のモジュライである)ということについて、ここでは解説したいと思います。
tsujimotter.hatenablog.com
tsujimotter.hatenablog.com
tsujimotter.hatenablog.com
まず、楕円曲線から復習したいと思います。
楕円曲線とは、種数1の非特異射影代数曲線のことですが、 上の楕円曲線は
の形()で表せることが知られています。
一方、 を上半平面上にとって、
で張られる
の格子を
とします。
は、ベクトル
によって表される平行四辺形状の領域を基本領域に持ちますが、これはリーマン面としてはトーラスに対応します。

格子 に対するワイエルシュトラスのペー関数
とその微分
を通して、
は楕円曲線に対応します。これを
で表すことにします。
なお、上記で に対応する点
を楕円曲線
の無限遠点といいます。
以降、上記の写像を通して、トーラス と楕円曲線
を同一視します。
楕円曲線 の間の正則写像
であって、
であるものを同種写像といいます。同種写像は
上の楕円曲線全体のなす圏における射となります。同種写像はトーラス上では
倍写像
に対応します。このとき、格子では
が成り立つことになります。
逆向きの同種写像 と
があり、
が成り立つとき、
は同型射であるといいます。このとき、
と
は同型であるといい、
と表します。
のとき、格子においてはちょうど
が成り立つことになります。楕円曲線
、トーラス
、格子
がそれぞれパラレルに話が進んでいくことになります。
さて、 の各点
には、楕円曲線の同型類
が対応するという話をしましょう。
まず次の定理が成り立ちます:
- ある
が存在して
- ある
が存在して、
は楕円曲線の同型射
この定理の証明を簡単に述べたいと思います。
ある が存在して
が成り立つということから話をはじめます。
としておきます。
が成り立つので、
とおくと
が成り立ちます。すなわち
ということです。これは格子 の基底
が、
の基底
の基底変換によって移ることを表しており
が言えます。したがって、楕円曲線の間の同型射
であって、 であるものが得られるというわけです。
逆に、楕円曲線の間の同型射
であって、 であるものがあるとすると、
が成り立ち、基底変換行列を
で表すと、 が
であることがわかり、
が得られるという寸法です。
したがって、 の各点
に楕円曲線の同型類
を対応させる写像は全単射となります。すなわち、
は楕円曲線のモジュライ空間ということになるわけです。
より細かい分類:拡張された楕円曲線の同型類と 
楕円曲線のモジュライ空間として を考えましたが、楕円曲線の同型というのは比較的緩い条件です。もう少し細かく分類したいというのが次の話です。
特に、先ほどまではすべての楕円曲線を考えましたが、今度は正の整数 に対して「位数
の点を持つ楕円曲線だけ」を対象としたいと思います。
このような楕円曲線 に対して位数
の点を1つ選んで
とし、組
を考えます。これを拡張された楕円曲線ということにします。
拡張された楕円曲線においては、たとえば が同じであっても、
であれば
であると考えます。
拡張された楕円曲線 の間の射を次の2つの条件で定義します:
は楕円曲線の同種写像
つまり、単に同種写像であるだけでなく、 が
に映されるという条件も課されるわけですね。
これによって、楕円曲線の同型射と同じように拡張された楕円曲線に対しても同型射が定義されます。このような同型射によって、 の同型類
が定義されます。同型類
全体の集合を
と表すことにしましょう。
実は、カスプを除いたモジュラー曲線 と
の間には全単射が存在するのです。これを示しましょう。
まず、 を上半平面上の点とし、対応する楕円曲線をそれぞれ
とします。また、
の位数
の点を
とし、同じく
の位数
の点を
とします。位置は図の通りですが、
倍したら
(
)になることに注意しましょう。

今、 に対してある
が存在して
が成り立つとします。
(今はまだ であることに注意。)
このとき、 より
と表せます。ここで、先ほどと同様に
とおくと、
が成り立ち、楕円曲線の同型射
が得られます。
さらに、 を
で写すことを考えましょう。計算すると
となります。
ここでもし、 だったとしましょう。すると、
となりますので
が成立します。 が成り立つということですね。
は拡張された楕円曲線における同型射であるということを意味します。
逆に、楕円曲線の間の同型射
が与えられたときに、整数 を用いて基底変換
が得られます。変換行列を とおきます。
ここでもし
が成り立つのであれば(拡張された楕円曲線の間の同型射であれば)、 であることが容易に示せます。
したがって、次の定理が成り立つというわけですね:
- ある
が存在して
- ある
が存在して、
は、拡張された楕円曲線の同型射
これによって、 の各点
に拡張された楕円曲線の同型類
を対応させる写像は全単射となります。
具体的に2つの楕円曲線を考えて、これらが拡張された楕円曲線として同型であるかどうかを確認してみましょう。 として
を考えたいと思います。
を次の図のように取りましょう。

これらは の関係があります。すなわち
として、
ということです。
ここで、 であり、もっというと
でもあります。
なので
となります。つまり、トーラスとして同型 ということになります。
(この場合は格子の時点で等しいので、単に同型であるばかりか、トーラスとして一致します。)
したがって、楕円曲線としての同型射 が得られます(
)。

として、拡張された楕円曲線
を考えます。これらが拡張された楕円曲線として同型であることを示します。
先ほどの を
に適用すると
となります。すなわち、 なので、
は拡張された楕円曲線としての同型射です。

続いて、 として、
となるような
を考えましょう。

ではあるが、
であるという例を考えています。
なので
となります。つまり、トーラスとして同型 であり、楕円曲線における同型射
が得られます(
)。

ここで、 として、拡張された楕円曲線
を考えます。
先ほどの を
に適用すると
となります。すなわち、 なので、
は拡張された楕円曲線としての同型射ではありません。
一方、 と
は同型となります。

今の のように、
ではあるが
であるような元(すなわち
の元)は、
でありつつも、
であるということです。
実際、楕円曲線の同型射 によって、
は
に映されてしまうわけですね。
結局、 の基本領域
内の点にとったときに、
が
によってどこに映されるかが、
の位置関係とちょうど対応することになります。

代数曲線としてのモジュラー曲線
これまでの話で、コンパクト化されたモジュラー曲線 を考えたときに、そのカスプを除いた点全体は拡張された楕円曲線の同型類に対応することを示しました。すなわち、
は拡張された楕円曲線のモジュライ空間ということです。
一方で、代数曲線の一般論として、コンパクトリーマン面は代数曲線でもあるという事実があります。つまり、 自身も代数曲線でもあるというわけです。
自身が代数曲線でありながら、さらにその各点には楕円曲線の同型類が乗っているという「入れ子構造」を持っているわけです。これは大変面白い話ですね。
上記の一般論は、コンパクトリーマン面上の関数体を考えると理解できるかと思います。(この辺の理解は怪しいことを前置きしつつ) の関数体を考えると、ある関数
を用いて
とかけます。この関数体は超越次元が
となっていて、つまり
は無限次元の拡大となっていて、
は有限次拡大になっているということです。したがって、
を満たす
が存在し、代数曲線が得られる(ということだと思います)。
が存在して、これが楕円曲線の定義方程式となるわけです。
抽象的にはこのように理解できるわけですが、実は が楕円曲線のモジュライであることを用いると、具体的な定義方程式を求めることができます。結果的には
となります。
この方法は参考文献の三枝先生の記事に書かれている方法なので、詳しくはそちらを読んでいただきたいのですが、かいつまんで説明します。
楕円曲線 であって、位数
の点
を持つものを考えて、そのような
の係数が従う条件を考えます。具体的に、点
を持つことを前提に、
として座標を適当に取り直すことで
という形に方程式の形を限定させることができます。ここで より
となるので、
と
の
座標が等しいという条件によって、位数11の楕円曲線の係数
が満たすべき条件が表現されます。
あとは、得られた の関係式を適当に変数変換すると、
が得られるというわけです。
この変数変換の中で、すべての の点に対して、対応する
があるわけはありません。具体的には5点
が対応する が存在しません。これらは
のカスプに対応する点だと思うことができるようです。
したがって次のような対応関係が得られるというわけです:
2:1で対応しているという話なのか、 の中で
に対応しない点があるということなのか。
この対応関係を通して を代数曲線
だと思うことにしましょう。また、この場合の
は
上の楕円曲線でもあります。
一般には に対応する曲線は楕円曲線になるとは限りません。一方で
上の曲線になることは一般に言えるそうです。
ここで の有理点を考えてみましょう。
なので、元々の楕円曲線の係数
も有理数に対応します。したがって、
の有理点であって、カスプに対応しないものは
上の楕円曲線と位数
の有理点
の組
の同型類に対応することになります。
具体的に の有理点を求めてみます。ランクは 0 であり、さらに位数有限の点は
の5点のみとなります。したがって、有理点全体は
となります。
なお、上記の点はすべて のカスプに対応することになります。つまり、有理点に対応する
上の拡張された楕円曲線の同型類
は存在しません。
したがって、位数 の有理点を持つ楕円曲線は、存在しないことが証明できたというわけです!面白いでしょう!
ここまでの話を一旦まとめます。
位数 の有理点を持つ楕円曲線全体を考えるために、位数
の点を持つ楕円曲線のモジュライ空間
を考えました。
がこれまた楕円曲線になっていて、その有理点が
上の楕円曲線に対応します。さらに
に対応する楕円曲線にカスプ以外の有理点がないことがわかったので、位数
の有理点を持つ楕円曲線自体が一つも存在しないことが言えてしまったというわけです。
モジュラー曲線すごいですね!!
メイザーの定理
このように考えると、 のときも同じように考えられそうですね。つまり、モジュラー曲線
の定義方程式を求めて、その有理点が存在するかどうか調べれば良いという方針です。
一方で、モジュラー曲線の種数の情報を調べることで、具体的な方程式を求めずとも、ある程度は有理点に関する情報もわかってしまいます。
なので、
から
へは標準的な全射が存在します。この全射がコンパクトリーマン面の間の被覆写像となっていて、リーマンフルヴィッツの定理によって
の種数が得られます。
実際、(私は具体的に計算していないのですが)
においては種数が となるそうです。
たとえば は種数
ですが、有理点
を1点持ちます。点
を通る直線を考えると、直線の傾きが有理数
であれば、直線と円のもう一点の交点
も有理点となります。

直線の傾き に対し、直線のもう一方の交点
を対応させることで、
の有理点と
を一対一対応させることができます。よって、無数に有理点が存在することが示せるわけですね。
有理点が1つも存在しない場合は(たとえば、)、この方法は使えず、有理点は1個も存在しないということになります。
一般に種数 の代数曲線については、1つも有理点が存在しないか、あるいは、無数に有理点が存在するかのいずれかになります。
に対して、それぞれ位数
の有理点を持つ楕円曲線を具体的に挙げることができるので、この場合の
には少なくとも有理点が1個以上存在することがわかります。したがって、上記の方法により、無数に有理点があることがいえます。
のカスプは有限個しかありませんので、位数
の有理点を持つ楕円曲線の同型類は、無数に存在することが言えます。
これ以外の についてはどうでしょうか。実は、カスプに対応しない有理点は存在しないことが示されています。これが冒頭に紹介したメイザー定理です。
と無限に調べていっても、どこにもカスプ以外の有理点が存在しないことが言えるわけですね。よって、対応する
上の楕円曲線も存在しないと言えるわけです。凄すぎますね!
もちろん、ここの証明の部分が一番難しいはずで、私自身はまったく理解していないので説明することはできません。
しかしながら、モジュラー曲線が楕円曲線の性質を解き明かすのに使えるメカニズムについては、今回の記事を通して伝えることができたのではないかと思っています。モジュラー曲線の面白さを感じていただければ幸いです。
それでは今日はこの辺で!
参考文献
三枝洋一「第6講整数論——モジュラー曲線の背後に潜む数論的現象」(「数学の現在 」内)

A First Course in Modular Forms (Graduate Texts in Mathematics, 228)
- 作者:Fred Diamond,JERRY MICHAEL SHURMAN
- 発売日: 2005/01/19
- メディア: ハードカバー