モジュラー形式とモジュラー群

整数行列からなるモジュラー群は上半平面に作用し、モジュラー形式はこの作用を尊重する正則関数です。その定義、例、および基本的な構造は、理論全体の出発点となります。

Definition

モジュラー群は、行列式が1である2×2の整数行列の群であり、一次分数変換によって上半平面に作用します。重さkのモジュラー形式とは、その群に対して、自己同型因子のk乗によって変換され、カスプで正則である正則関数を指します。

Scope

このトピックでは、モジュラー群とその生成元、上半平面への一次分数変換による作用と標準的な基本領域、合同部分群とレベル、与えられた重さのモジュラー形式とカスプ形式の定義、基本的な非カスプ形式としてのアイゼンシュタイン級数、モジュラー判別式とj-不変量、およびモジュラー形式の空間の次元を決定する価数公式について扱います。

Core questions

• モジュラー群はどのように生成され、その基本領域はどのような形をしていますか？
• 重さkのモジュラー形式を定義する正確な変換法則は何ですか、またカスプ形式はどのように異なりますか？
• アイゼンシュタイン級数とは何ですか、またそれらは全群のモジュラー形式の環をどのように生成しますか？
• 価数公式はどのように零点を数え、これらの空間の次元を決定しますか？

Key theories

基本領域と生成元

モジュラー群は平行移動写像と反転写像によって生成され、その作用は上半平面に標準的な基本領域を持ちます。これはモジュラー形式を用いたすべての明示的な計算の基礎となります。

アイゼンシュタイン級数とモジュラー環

重さ4と6のアイゼンシュタイン級数は正則モジュラー形式であり、その多項式は全モジュラー群に対するモジュラー形式の次数付き環全体を生成します。

価数公式と次元

重さkのモジュラー形式の零点（基本領域上で重複度を考慮して数える）は固定された恒等式を満たします。この価数公式は、モジュラー形式のすべての空間の有限次元を与えます。

Clinical relevance

格子から構築されるモジュラー形式であるテータ級数は、二次形式による整数の表現を数え上げ、球充填や符号理論で用いられる最適な格子を保証します。これにより、この抽象的な構造に具体的な応用がもたらされます。

History

モジュラー群とその基本領域は、ガウス、ヤコビ、アイゼンシュタイン、クライン、ポアンカレによって19世紀に発展した楕円関数およびモジュラー関数の理論から生まれました。モジュラー形式を変換法則を持つ関数として現代的な座標によらない形で定式化することは、20世紀にヘッケとその継承者たちによって確立されました。

Key figures

• Felix Klein
• Henri Poincare
• Gotthold Eisenstein
• Carl Ludwig Siegel

Seminal works

• serre1973
• apostol1990

Frequently asked questions

モジュラー群の基本領域とは何ですか？

それは上半平面の領域であり、群の作用の下で各軌道の代表元をちょうど1つ含みます。典型的には、実部がプラスマイナス2分の1の間の垂直線と、単位円の上側の領域として描かれます。

カスプ形式とは何ですか？

それはすべてのカスプで消滅するモジュラー形式であり、そのフーリエ展開に定数項がないことを意味します。カスプ形式は最も算術的に興味深い情報を含み、ヘッケ作用素の固有形式です。