モジュラー形式
複素変数複素数値の函数 f がモジュラーである、あるいはモジュラー函数とは、以下の条件
f は上半平面 H 上で有理型である;
モジュラー群 Γ に属する任意の行列 M に対して f(Mτ) = f(τ) を満たす;
f のフーリエ級数は f ( τ ) = ∑ n = − m ∞ a ( n ) e 2 i π n τ {\displaystyle f(\tau )=\sum _{n=-m}^{\infty }a(n)e^{2i\pi n\tau }} の形に表され、これは下に有界、つまり eのローラン多項式であり、したがって尖点においても有理型である
を満たすものを言う。任意のモジュラー函数がクラインの絶対不変量 j (τ) の有理函数として表され、また j (τ) の有理函数がモジュラー函数となることが示せる。さらに、任意の解析的モジュラー函数はモジュラー形式となるが、逆は必ずしも成り立たないことも示される。モジュラー函数 f が恒等的に 0 でないならば、基本領域 RΓ の閉包における f の零点の個数と極の個数とは一致する。