アイゼンシュタイン級数
アイゼンシュタイン級数(Eisenstein series)は、ドイツの数学者ゴットホルト・アイゼンシュタイン(Gotthold Eisenstein)にちなみ、直接書き下すことができる無限級数展開を持つ特別なモジュラ形式である。元来はモジュラ群に対して定義されていたアイゼンシュタイン級数は、保型形式の理論へ一般化することができる。
τ を虚部が 正となる複素数とする。k ≥ 2 を整数としたとき、ウェイト 2k の正則アイゼンシュタイン級数(holomorphic Eisenstein series) G(τ) を
と定義する。
この級数は、上半平面で τ の正則函数へ絶対収束し、下記に与える級数のフーリエ展開は、 τ = i∞ へ正則函数として拡張されることを示している。アイゼンシュタイン級数がモジュラ形式であることは注目すべき事実である。実際、キーとなる性質は、級数の SL(2, Z)-不変性である。明らかに、a, b, c, d ∈ Z で ad − bc = 1 であれば、
となり、従って、G はウェイト 2k のモジュラ形式である。k ≥ 2 であるという前提は重要で、そうでないと非合理的に和の順番を変更したり、 SL(2, Z)-不変性が保てなくなる。事実、ウェイト 2 の非自明なモジュラ形式は存在しない。にもかかわらず、正則アイゼンシュタイン級数の類似物が k = 1 に対して、(quasimodular form)でしかないが、定義することが可能ではある。
楕円曲線のモジュラ不変量 g と g は、アイゼンシュタイン級数の最初の 2 つの項で、次のように与えられる。
これら２つの函数はテータ函数によって表すこともできる。
モジュラ群のどのモジュラ形式も、G と G の多項式として書き表すことができる。特に、高次オーダーの G は漸化式を通して、G と G の項として書くことができる。d =(2k+3)k!G とすると、全ての n ≥ 0 に対し、d は関係式
を満たす。ここに、formula_6 は二項係数であり、formula_7 であり、formula_8 である。
d は、ヴァイエルシュトラスの楕円函数
の級数展開で発生する。
formula_10 と定義する。（古い書籍では、q をノーム(nome) formula_11 として定義してあるものもあるが、現在では formula_10 が数論では標準的である。）するとアイゼンシュタイン級数のフーリエ級数は、
であり、ここにフーリエ係数 c は、
で与えられる。
ここに、B はベルヌーイ数であり、ζ(z) はリーマンゼータ函数であり、σ(n) は約数函数で、n の約数の p 乗の和である。特に、
を得る。
n を渡る和の部分は、(Lambert series)として表すことができる。すなわち、任意の複素数 |q| ≤ 1 と a に対して、
を得る。アイゼンシュタイン級数のq-展開(q-expansion)を考えると、別な表し方である。
が良くつかわれる。
formula_18とし、
として、
と定義する。ここに formula_25 and formula_26 は(Jacobi theta functions)の代わる記法である。すると、
となる。formula_29 と formula_30 であるので、これは、
を意味する。
アイゼンシュタイン級数は、全モジュラ群 SL(2, Z) のモジュラ形式の最も明白な例である。ウェイト 2k のモジュラ形式の空間は、2k = 4, 6, 8, 10, 14 に対しては次元１となるため、これらのウェイトを持つようなアイゼンシュタイン級数の積が複数あるとき、それらは互いに定数倍となる。このようにして、等式
を得る。上で与えられたアイゼンシュタイン級数の q-展開を使い、約数のべき和を意味する等式
に言い換えられる。
が成り立ち、他も同様に成り立つ。さらに興味深いことには、8 次元偶数モジュラ格子 Γ のテータ函数は、全モジュラ群に対し、ウェイト 4 のモジュラ形式である。このことは、(E8 lattice)の長さformula_35 のベクトルの数 r(n) ついて、等式
をもたらす。
(Dirichlet character)でツイストされた正則アイゼンシュタイン級数に対する同様のテクニックは、正の整数nに対しn を2、4、もしくは8個の平方数の和として表す方法の数の、nの因子を用いた公式をもたらす。
上記の漸化式を使い、全ての高次の E は E と E の多項式で表現することができる。例えば、
アイゼンシュタイン級数の積の間の多くの関係は、ハンケルの判別式(Hankel determinants)、つまり、ガーヴァンの等式(Garvan's identity)を使い、エレガントな方法で、
と表すことができる。ここに
はモジュラ判別式である。
ラマヌジャン(Ramanujan)は、最初のいくつかのアイゼンシュタイン級数の微分を含む興味深い関係式を導いた。
とすると、
が成り立つ。
これらの恒等式は、級数の間の恒等式のように、約数函数の畳み込みの等式をもたらす。ラマヌジャンに従い、これらの等式を最も単純な形とするためには、0 を含む σ(n) の領域を拡張する必要がある。そのため、
と置く。すると、例えば、
となる。
L, M, N の函数の間の前述の関係式に直接関係しないこのタイプの他の等式は、ラマヌジャンと(Giuseppe Melfi)により証明された。例として、挙げると、
約数函数に対する畳み込み等式の包括的なリストと関連するトピックは、以下を参照。
保型形式(Automorphic form)は、一般リー群のモジュラ形式の考え方を一般化し、アイゼンシュタイン級数を似たような形で一般化する。
"O" を総実体 "K" の整数環とすると、PSL(2,O) として(Hilbert-Blumenthal modular group)が定義される。従って、アイゼンシュタイン級数をヒルベルト・ブレメンタールのモジュラ群のすべてのカスプに関連付けることができる。