モジュラー曲線

モジュラー曲線とは複素上半平面 H の合同部分群 Γ の作用による商として定義されるリーマン面のことである。合同部分群 Γ とは、整数の 2 × 2 の行列 SL のある部分群のことである。モジュラー曲線はコンパクトとは限らないが、有限個の Γ のカスプと呼ばれる点を加えることでコンパクト化されたモジュラー曲線 X を定めることができる。モジュラー曲線の点は、楕円曲線とそれに付随する群 Γ に関係するある構造をもったものの同型類の集合とみなすことができ、モジュラー曲線を代数幾何的に、また有理数体 Q や円分体の上でモジュラー曲線を定義することもできる。このことからモジュラー曲線は整数論で重要な対象である。

1. 解析的定義
--------

モジュラー群 SL は上半平面上に一次分数変換として作用する。SL の合同部分群 Γ をとは、ある正の整数 N に対し、主合同部分群を含むような部分群のことである。ここで主合同部分群 Γ とは

なる群をあらわす。

そのような N の最小の値をΓ のレベルという。この群による商 Γ\H に複素構造を定めたものを非コンパクトなモジュラー曲線という。これはリーマン面 である。

1.1. コンパクト化されたモジュラー曲線
---------------------

Y のコンパクト化は、Γ のカスプと呼ばれる有限個の点を加えることにより得られる。特に、このコンパクト化は、拡張された複素上半平面 H*   =   H ∪ Q ∪ ∞}}} 上の Γ の作用を考えることにより得られる。H* に次を開基とする位相を定める。

H の上のすべての開集合
すべての r > 0 に対し、集合
すべての互いに素な整数 a, c と m, n は an + cm = 1 となる整数 m, n と、すべての r > 0 に対し、作用の下で、 の像これは、 H* をリーマン球面 P1 の部分集合へ変える。群 Γ は部分集合 Q ∪ ∞}}} 上へ作用し、Γ のカスプと呼ばれる有限個の軌道へ分解する。特に Γ が Q ∪ ∞}}} 上に推移的に作用すると、空間 Γ\H* は Γ\H の一点コンパクト化となる。この カスプを加えてコンパクト化したリーマン面Diamondをと書く。X は Y の空間のコンパクト化である。

2. 例
----

最も知られている例は、曲線 X, X0 と X1 であり、それぞれ合同部分群 Γ, Γ0 と Γ1 から定まるものである。

モジュラー曲線 X は種数 0 を持ち、正二十面体の頂点に 12個のカスプを持つリーマン球面である。被覆 X → X はリーマン球面上の20面体対称性の作用による商である。この群は位数 60 の単純群で、対称群 A5 および PSL とに同型である。

モジュラー曲線 X は、カスプを 24個持つ種数 3 のクライン四次曲線である。これは3つのハンドルつきの曲面を 24 個の七角形でタイリングし、各々の面の中心にカスプを持っていると解釈することができる。これらのタイリングは、dessins d'enfants やベルイ函数を通して理解することができる。カスプは、無限遠点 ∞ 上にある、一方、頂点と辺の中心にあるカスプは、0 と 1 にある。被覆 X   →   X のガロア群は、PSL に同型な位数 168 の単純群である。

X0 には、明確な古典モデルである古典モジュラー曲線が存在し、これを「モジュラー曲線」という場合もある。Γ の定義は次のように言い直すこともできる。Γ は、法 N 還元 SL2 → SL2 の核である。Γ0 は法 N 還元して上三角行列になるもの全体のなす部分群

であり、Γ1 はこのふたつの中間にある群であり、

で定義される。

これらの曲線は、レベル構造つき楕円曲線のモジュライ空間として解釈される。このため、モジュラー曲線は数論幾何で重要な役割を果たす。レベル N のモジュラー曲線 X は、楕円曲線とそのN-等分点の基底の組のモジュライ空間である。X0 と X1 の付加構造は、それぞれ、位数 N の巡回部分群、位数 N の点である。これらの曲線は、非常に詳しく研究されており、特に、X0 は有理数体上で定義することができる。

モジュラ曲線を定義する方程式は、モジュラー方程式の最も良く知られた例である。この「最良のモデル」は楕円函数論から直接得られる理論とは非常に異なっている。ヘッケ作用素は、二つのモジュラー曲線の間の対応として幾何学的に研究される。

注意: コンパクトな H の商は、モジュラ群の部分群以外に、フックス群 Γ に対し発生する。これは、四元数からくる構成されるこれらのクラスは、数論でも興味がもたれている。

3. 種数
-----

被覆 X → X はガロア群 SL/{1, −1} を持つガロア被覆であり、N が素数であればこのガロア群は PSL と同じになる。リーマン・フルヴィッツの公式とガウス・ボネの定理を適用すると、X の種数を計算することができる。レベルが素数 p ≥ 5 であれば、

である。ここに χ = 2 − 2g はオイラー標数、|G| = p/2 は群 PSL の位数、D = π − π/2 − π/3 − π/p は球状の  の三角形の欠陥 である。このことから、公式

が導かれる。

このようにして、X は種数 0 であり、X は種数 3 であり、X は種数26 であることがわかる。p = 2 あるいは 3 に対しは分岐を考えに入れる、つまり、PSL には位数 p の元が存在し、PSL は位数 3 というよりも位数 6 であることを考慮する必要がある。N を因子として含むレベル N のモジュラー曲線の種数についてのより複雑な公式がある。

3.1. 種数 0
---------

一般に、モジュラー函数体とは、モジュラー曲線の函数体である。種数が 0 であることは、そのような函数体が唯一の超越函数を生成元として持っていることを意味し、たとえば、j-函数は の函数体を生成する。この生成元はメビウス変換で移りあう函数を同一視すると一意となり、適切に正規化することができ、そのような函数を Hauptmodul と呼ぶ。

空間 X1 は n   =   1, ..., 10 と n = 12 に対して、種数 0 である。これらの曲線は、Q 上で定義されているので、そのような曲線上には無限に多くの有理点が存在し、よって、これらの n の値に対し n-捩れを持つ有理数体上定義された楕円曲線が無限に存在する。n がこれらの値のときのみ、逆のステートメントが成り立ち、これがメイザーの捩れ定理である。

4. 体上のモデル
---------

を合同部分群とする。複素数体 の部分環 に対して、 上のスキーム と複素解析的同型 の組 であって、V}} が //R//}} 上1次元ファイバーを持つものをモジュラー曲線 の 上のモデルというDiamond。この定義において を に置き換えたものもモデルというShimuraモデルという言葉の定義は著者によって揺れがある。}}。例えば整数環 上のアフィン直線 と j}} 関数の組は の整数環 上のモデルであるDiamond。

以下、N}} は正整数とする。

4.1. //X//sub
-------------

を で定義される上半平面上の関数とするDiamond。 は有理数体 Q}} 上の超越次元が1の体で、この体に含まれる 上代数的な元は の元のみであるDiamond。よって関数体と非特異射影代数曲線の対応により 上のある非特異射影代数曲線 であってその関数体がこれになるものが存在するDiamond。これは の 上のモデルになっているDiamond。

4.2. //X//sub とモジュラー方程式
-----------------------

モジュラー方程式と呼ばれる、次の性質を持つ整数係数2変数多項式 が存在するMilneEdixhoven。

Φsub を C[Y]}} の元と見たとき、これは //j//sub の最小多項式である。
Φsub は既約多項式である。例えば 1=//N// = 2}} に対しては　

であるMilne。この例からもわかるように Φsub は対称多項式である。この方程式で定義される有理数体上の代数曲線の特異点を解消し完備化したものが と同型であるMilneEdixhoven。

4.3. //X//sub
-------------

上半平面 H}} 上の関数 を次で定義するDiamond。

ここで はヴァイエルシュトラスの楕円函数、 と は が成り立つ関数であるDiamondDiamond。 は についてのモジュラー関数であるDiamondDiamond。体 を関数体に持つ 上の非特異射影代数曲線を とすると、これが のモデルになるDiamond。

5. 整モデル
-------

N}} を正整数、i}} を0もしくは1とする。 には と書かれる 上のモデルが存在し次の性質を持っている 以下で引用している文献 harvtxt。

//Ysub はアフィン・スキームである津嶋。//
//Ysub は連結である津嶋。//
//Ysub は正規スキーム である津嶋。//
//Y//sub は、N}} を一回だけ割る素数 p}} において準安定である津嶋。
//Ysub は Z[//N//sup 上滑らかである津嶋。//
Z}} 上のスキームの圏から集合の圏への関手 //ℳ//sub を、スキーム T}} に対して //ℳ//sub を T}} 上の楕円曲線 E}} とその位数 N}} の巡回部分群スキーム C}} の組 }} の同型類の集合とすることにより定義する津嶋。//Y//sub はこの関手の粗モジュライである津嶋。特に、任意の代数閉体 k}} に対して //Y//sub は k}} 上の楕円曲線 E}} とその位数 N}} の巡回部分群スキーム C}} の組 }} の同型類と自然に一対一対応する津嶋。
Z}} 上のスキームの圏から集合の圏への関手 //ℳ//sub を、スキーム T}} に対して //ℳ//sub を T}} 上の楕円曲線 E}} とその位数がちょうど N}} の切断 //P//://T// → //E//}} の組 }} の同型類の集合とすることにより定義する津嶋。//Y//sub はこの関手の粗モジュライである津嶋。特に、任意の代数閉体 k}} に対して //Y//sub は k}} 上の楕円曲線 E}} とその位数がちょうど N}} の切断 //P//:Spec → //E//}} の組 }} の同型類の集合と自然に一対一対応する津嶋。 を自然な射 に関する の整閉包とする津嶋。 は次の性質を持っている。

//Xsub は Z}} 上の射影的かつ正規な代数曲線である津嶋。//
//Xsub の各幾何的ファイバーは連結である。//
N}} を割らない素数 p}} に対して //Xsub は滑らかである。//Xsub は //Ysub のスムーズコンパクト化である。//
Z}} 上のスキームの圏から集合の圏への関手 overline を、スキーム T}} に対して overline を T}} 上の広義楕円曲線 E}} とその豊富な位数 N}} の巡回部分群スキーム C}} の組 }} の同型類の集合とすることにより定義する津嶋。//X//sub はこの関手の粗モジュライである津嶋。特に、任意の代数閉体 k}} に対して //X//sub は k}} 上の広義楕円曲線 E}} とその豊富な位数 N}} の巡回部分群スキーム C}} の組 }} の同型類の集合と自然に一対一対応する津嶋。

6. モンスター群との関係
-------------

種数 0 のモジュラー曲線はモンストラス・ムーンシャイン予想との関係で非常に重要であることが判明した。モジュラー曲線の Hauptmoduln を q-展開した係数の最初のいくつかが、19世紀に既に計算されていたが、最も大きな単純散在モンスター群の表現空間の次元と同じになっていることが、非常に衝撃的である。

もうひとつの関係は、SL の Γ0 の正規化群 Γ0+ から定まるモジュラー曲線が種数 0 であることと、p が 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 あるいは、71 であることと同値である。さらにこれらの素数はモンスター群の位数の素因子と一致する。この Γ0+ についての結果は、ジャン＝ピエール・セール, アンドレ・オッグとジョン・トンプソンが1970年代に発見し、モジュラー群とモンスター群の関係を発見したオッグは、この事実を説明したものには、ジャックダニエルのボトルを進呈すると論文に記載した。

この関係は非常に深く、リチャード・ボーチャーズにより示されたように、一般カッツ・ムーディリー代数とも深く関係する。この分野の仕事は、至るところで正則でカスプを持つモジュラー形式に対し、有理型でありカスプで極を持つことのできるモジュラー函数の重要性を示している。これらの仕事は、20世紀の重要な研究の対象となった。

7. 脚注
-----

7.1. 注釈
-------

7.2. 出典
-------

8. 関連項目
-------

マーニン・ドリンフェルトの定理
モジュラー性定理
志村多様体、高次元へのモジュラー曲線の一般化

9. 参考文献
-------