モジュラー群

数学においてモジュラー群とは、数論、幾何学、代数学や他の現代の数学の分野における基礎研究対象であり、幾何学的変換群や行列群により表されるものである。

1. 定義
-----

モジュラー群 は、ad − bc = 1 を満たす整数 a, b, c, dによって、

と表せる複素上半平面の一次分数変換の群である。群演算は写像の合成である。

この変換の群は、特殊射影線型群 PSL に同型である。PSLは整数上の 2-次元の特殊線型群 SL をその群の中心 {I, −I} で割った商である。言い換えると、PSL は、 ad − bc = 1 を満たす整数a, b, c, dによって

と表される全ての行列で構成される。ただし、行列 A と -A は同一視する。群の演算は通常の行列の積である。

モジュラー群を PSL であると定義する著者がいる一方で、より大きな群である SL であると定義する者もいる。

数学的な関係より、+1または-1の行列式をもつ行列の群 GL を考えることを求めることもある。同様に、PGL は商群 GL/{I, −I} である。単位行列式を持つ 2 × 2 行列は、シンプレクティック行列であるので、SL = Sp は 2 × 2 行列のなすシンプレクティック群である。

2. 数論的性質
--------

の行列式が１であるということは、分数 a/b, a/c, c/d, b/d がすべて既約であること、つまり、共通因子を持たないことを意味する。もっと一般的には、p/q が既約分数であれば、

も既約となる。既約分数の任意のペアは、このように関連つけることができる。つまり、任意の既約分数のペア p/q と r/s に対して、

　と　 となるような

が存在する。

モジュラー群の元は、2次元の周期格子上の対称性をもたらす。 と を 2つの比率が実数でないような 2つの複素数とすると、点の集合

は、平面上の平行四辺形の格子となる。異なるベクトルのペア と が全く同じ格子を生成することと、の行列を用いて

と書けることは等価である。このため、楕円函数のような二重周期函数は、モジュラー群対称性を持つ。

有理数に対するモジュラー群の作用は、格子点  が分数 p/q を表している正方格子として可視化すると、最も容易に理解することができる。この格子においては、既約分数は原点から見ることのできる点である。分数上のモジュラー群の作用は、見ることのできる点を見ることができない点へ変換することは決してないし、逆も成り立つ。

と が 連続した２つの連分数の近似分数あれば、行列

は GL に属する。特に、a   <   b かつ c   <   d である正の整数 a, b, c, d に対し、bc   −   ad = 1 であれば、a/b と c/d は max に対応するファレイ数列において隣接する。連分数の近似分数の特別に重要な例として、フィボナッチ数列とペル方程式の解がある。どちらの場合も、モジュラー群の半群を形成するように数列を並べることができる。

3. 群論的な性質
---------

3.1. 表示
-------

モジュラー群は、次の 2つの変換

により生成されると見ることができ、すべてのモジュラー群の元は、S と T の合成により表すことができる。幾何学的には、S は単位円に関する反転をしてから虚軸に対して線対称の位置への移動を表し、T は右方向への１単位の移動を表す。

生成元 S と T は関係式 S2 = 1 と 3 = 1 を満たす。 これらは関係式の完全な集合であることが示されており、よって、モジュラー群は次の表示を取る。

この表示は、回転する三角形群  としてモジュラー群を記述する。また、関係式 Tn = 1 を加えることにより、三角形群  全体の上へ写像する。たとえば、これは合同部分群 Γ を発生させる。

生成元 S と ST を S と T の代わりに使うと、このことからモジュラー群は巡回群 C2 と C3 の自由積に同型である。すなわち、

3.2. ブレイド群
----------

ブレイド群 B3 は、普遍被覆群 の中の格子としてこれらを置いたモジュラー群の普遍中心拡大である。さらに、モジュラー群は自明な中心を持っているので、B3 の中心を modulo とする商群と同型である。同じことであるが、B3 の内部自己同型の群に同型である。

ブレイド群 B3 は三葉結び目の結び目群 である。

4. 双曲幾何学との関係
------------

モジュラー群は、双曲平面の等長群の部分群をなすので、重要である。双曲平面の幾何学の上半平面モデル H を考えると、H のすべての向きを保つ等長群は、a, b, c, d を普通の実数の代わりに整数とし、ad − bc = 1 とすると、

形のメビウス変換のすべてから構成される。また、これとは別に次の式に従う H 上の PSL 群の作用でもある。

この作用は、忠実であり、PSL は PSL の部分群であるので、モジュラー群は H の向きを保つ等長群の部分群である。

4.1. 双曲平面のタイル貼り
---------------

モジュラー群 Γ は H 上に PSL の離散部分群として作用する、つまり、H の各々の 元 z に対して、z の近傍をとり、z の軌道の他の元を含まないようにすることができる。このことはまた、基本領域を構成することができることを意味する。基本領域は H の中のすべての z の軌道からちょうど一つづつの代表元を選ぶことで構成することができる。

基本領域を構成する方法は多数あるが、すべてに共通なことは、領域

は、垂直線 Re = 1/2 と Re = −1/2 と円 |z| = 1 により囲まれていることであり、双曲三角形である。また、頂点 1/2 + i√3/2 と −1/2 + i√3/2 を持ち、辺どうしのなす角度が π/3 であり、三番目の頂点が無限点では、辺どうしのなす角度が 0 である。 この領域をモジュラー群の各々の元で変換すると、合同双曲三角形により双曲平面のタイリングが作られる。そのような三角形は無限点か、または実軸 Im = 0 上のどちらかに一つの頂点を持つことに注意する。このタイリングはポアンカレ円板の拡張であり、そこではすべての双曲三角形が円板の境界に一つの頂点を持つ。ポアンカレ円板のタイリングは、モジュラー群の下に不変であるJ-不変量により自然な方法で与えられ、すべての複素数にこれらの領域の各々の三角形の中のひとつの点が与えられる。

このタイリングは、各々の領域を半分づつに分割し、反対の向きを加えることで、少し改善することができる。 ↦  と変換し、領域 R  ≥ 0) の右半分をとることは、通常のタイリングをとることである。まず、このタイリングはKlein,で提示され、このことはリヒャルト・デデキントによるDedekind を参照した。

写像  →  の群は、このタイリングのことばで右図のように可視化することができる。

5. 合同部分群
--------

モジュラー群 Γ の重要な部分群には、合同部分群と呼ばれる群があり、付帯する行列の上に合同関係式を導入することにより与えられる。

自然な準同型 SL → SL が各要素に対して modulo N をとることにより得られる。このことはモジュラー群の準同型 PSL → PSL を導く。この準同型の核は、レベル N の主合同部分群と呼ばれ、Γ と書く。次の短完全系列を得る。

.準同型の核 Γ はモジュラー群 Γ の正規部分群である。群 Γ は、a ≡ d ≡ ±1  であり b ≡ c ≡ 0  であるすべてのモジュラー変換

の集合である。

レベル 2 の主合同部分群 Γ はモジュラー群 Λと呼ばれる。PSL は対称群 S3 と同型であるので、Λ は指数 6 の部分群である。群 Λ は、a と d が奇数で、b と d が偶数であるすべてのモジュラー変換からなる。

他の重要な合同部分群の族に、モジュラー群ガンマ0)が c ≡ 0 、同じことであるが、N を modulo として上三角変換のすべてのモジュラー変換の集合として定義される。Γ は Γ0 の部分群である。これらの群に付帯するモジュラー曲線は、モンストラス・ムーンシャインの一側面でもある。ある素数 p に対し、正規化されたモジュラー曲線の種数が 0 であることと、p がモンスター群の位数を割ることとは同値である。同じことであるが、p が超特異素数 とは同値である。

6. 写像トーラス
---------

群 GL は、標準格子 Z2 を保存する線形写像であり、SL はこの格子の向きを保存する写像である。これらは、トーラスの半同相となり、実際、トーラスの写像類群に同型な写像は、トーラスのすべての半同相写像は、この形の写像と等方的となる。GL の元としての代数的性質はトーラスの誘導写像の力学と対応する。

7. ヘッケ群
-------

モジュラー群は、エーリッヒ・ヘッケの名前をとったヘッケ群へ一般することができ、次のように定義することができる

ヘッケ群 Hq は離散群で、 とすると、

により生成される。

モジュラー群 Γ は H3 に同型であり、性質や応用を共有する。たとえば、巡回群の自由積である

や、より一般的には、三角形群  に対応する

を持っている。Z[λ] の主イデアルに付帯する主合同部分群の考え方も存在する。小さな値の q に対し、

である。

8. 歴史
-----

モジュラー群とその部分群は、最初に、詳細にリヒャルト・デーデキント  とフェリックス・クライン  により、1870年代に彼らのエルランゲン・プログラムの一部として研究された。しかし、密接に関連する楕円曲線は、1785年にジョゼフ＝ルイ・ラグランジュにより研究され、さらに楕円函数に関する結果は、カール・グスタフ・ヤコブ・ヤコビとニールス・アーベルにより1827年に出版された。

9. 脚注
-----

10. 関連項目
--------

メビウス変換
フックス群
ビアンキ群
クライン群
双曲タイリング
モジュラー函数
J-不変量
モジュラー形式
モジュラー曲線
古典的モジュラー曲線
ポアンカレの上半平面モデル
ミンコフスキーの疑問符関数
写像類群

11. 参考文献
--------

Tom M. Apostol, //Modular Functions and Dirichlet Series in Number Theory, Second Edition// , Springer, New York ISBN 0-387-97127-0 See chapter 2.
title = Schreiben an Herrn Borchard uber die Theorie der elliptische Modulfunktionen .