アイゼンシュタイン級数

本記事は正則アイゼンシュタイン級数について記述している。非正則な場合は実解析的アイゼンシュタイン級数を参照。

アイゼンシュタイン級数(Eisenstein series)は、ドイツの数学者ゴットホルト・アイゼンシュタイン(Gotthold Eisenstein)にちなみ、直接書き下すことができる無限級数展開を持つ特別なモジュラ形式である。元来はモジュラ群に対して定義されていたアイゼンシュタイン級数は、保型形式の理論へ一般化することができる。

モジュラ群のアイゼンシュタイン級数

τ を虚部が 正となる複素数とする。k ≥ 2 を整数としたとき、ウェイト 2k の正則アイゼンシュタイン級数(holomorphic Eisenstein series) G2k(τ) を

と定義する。

この級数は、上半平面で τ の正則函数へ絶対収束し、下記に与える級数のフーリエ展開は、 τ = i∞ へ正則函数として拡張されることを示している。アイゼンシュタイン級数がモジュラ形式であることは注目すべき事実である。実際、キーとなる性質は、級数の SL(2, Z)-不変性である。明らかに、a, b, c, d ∈ Z で ad − bc = 1 であれば、

となり、従って、G2k はウェイト 2k のモジュラ形式である。k ≥ 2 であるという前提は重要で、そうでないと非合理的に和の順番を変更したり、 SL(2, Z)-不変性が保てなくなる。事実、ウェイト 2 の非自明なモジュラ形式は存在しない。にもかかわらず、正則アイゼンシュタイン級数の類似物が k = 1 に対して、(quasimodular form)でしかないが、定義することが可能ではある。

モジュラ不変量との関係
楕円曲線のモジュラ不変量 g2 と g3 は、アイゼンシュタイン級数の最初の 2 つの項で、次のように与えられる。

これら２つの函数はテータ函数によって表すこともできる。

漸化式
モジュラ群のどのモジュラ形式も、G4 と G6 の多項式として書き表すことができる。特に、高次オーダーの G2k は漸化式を通して、G4 と G6 の項として書くことができる。dk =(2k+3)k!G2k+4 とすると、全ての n ≥ 0 に対し、dk は関係式

を満たす。ここに、 は二項係数であり、 であり、 である。

dk は、ヴァイエルシュトラスの楕円函数

の級数展開で発生する。

フーリエ級数

 と定義する。（古い書籍では、q をノーム(nome)  として定義してあるものもあるが、現在では  が数論では標準的である。）するとアイゼンシュタイン級数のフーリエ級数は、

であり、ここにフーリエ係数 c2k は、

で与えられる。

ここに、Bn はベルヌーイ数であり、ζ(z) はリーマンゼータ函数であり、σp(n) は約数函数で、n の約数の p 乗の和である。特に、

を得る。

n を渡る和の部分は、(Lambert series)として表すことができる。すなわち、任意の複素数 |q| ≤ 1 と a に対して、

を得る。アイゼンシュタイン級数のq-展開(q-expansion)を考えると、別な表し方である。

が良くつかわれる。

 アイゼンシュタイン級数を意味する等式 

 テータ函数として 

とし、

として、

と定義する。ここに  and  はヤコビのテータ函数(Jacobi theta functions)の代わる記法である。すると、

となる。 と  であるので、これは、

を意味する。

 アイゼンシュタイン級数の積 

アイゼンシュタイン級数は、全モジュラ群 SL(2, Z) のモジュラ形式の最も明白な例である。ウェイト 2k のモジュラ形式の空間は、2k = 4, 6, 8, 10, 14 に対しては次元１となるため、これらのウェイトを持つようなアイゼンシュタイン級数の積が複数あるとき、それらは互いに定数倍となる。このようにして、等式

を得る。上で与えられたアイゼンシュタイン級数の q-展開を使い、約数のべき和を意味する等式

に言い換えられる。

よって、

が成り立ち、他も同様に成り立つ。さらに興味深いことには、8 次元偶数モジュラ格子 Γ のテータ函数は、全モジュラ群に対し、ウェイト 4 のモジュラ形式である。このことは、(E8 lattice)の長さ のベクトルの数 rΓ(n) ついて、等式

をもたらす。

(Dirichlet character)でツイストされた正則アイゼンシュタイン級数に対する同様のテクニックは、正の整数nに対しn を2、4、もしくは8個の平方数の和として表す方法の数の、nの因子を用いた公式をもたらす。

上記の漸化式を使い、全ての高次の E2k は E4 と E6 の多項式で表現することができる。例えば、

アイゼンシュタイン級数の積の間の多くの関係は、ハンケルの判別式(Hankel determinants)、つまり、ガーヴァンの等式(Garvan's identity)を使い、エレガントな方法で、

と表すことができる。ここに

はモジュラ判別式である。

 ラマヌジャンの恒等式 
ラマヌジャン(Ramanujan)は、最初のいくつかのアイゼンシュタイン級数の微分を含む興味深い関係式を導いた。

とすると、

が成り立つ。

これらの恒等式は、級数の間の恒等式のように、約数函数の畳み込みの等式をもたらす。ラマヌジャンに従い、これらの等式を最も単純な形とするためには、0 を含む σp(n) の領域を拡張する必要がある。そのため、

    つまり

と置く。すると、例えば、

となる。

L, M, N の函数の間の前述の関係式に直接関係しないこのタイプの他の等式は、ラマヌジャンと(Giuseppe Melfi)により証明された。例として、挙げると、

約数函数に対する畳み込み等式の包括的なリストと関連するトピックは、以下を参照。
 S. Ramanujan, On certain arithmetical functions, pp 136-162, reprinted in Collected Papers, (1962), Chelsea, New York.
 Heng Huat Chan and Yau Lin Ong,  On Eisenstein Series, (1999) Proceedings of the Amer. Math. Soc. 127(6) pp.1735-1744
 G. Melfi, On some modular identities, in Number Theory, Diophantine, Computational and Algebraic Aspects: Proceedings of the International Conference held in Eger, Hungary. Walter de Grutyer and Co. (1998), 371-382.

一般化
保型形式(Automorphic form)は、一般リー群のモジュラ形式の考え方を一般化し、アイゼンシュタイン級数を似たような形で一般化する。

OK を総実体 K の整数環とすると、PSL(2,OK) として(Hilbert-Blumenthal modular group)が定義される。従って、アイゼンシュタイン級数をヒルベルト・ブレメンタールのモジュラ群のすべてのカスプに関連付けることができる。

 出典 

 参考文献 
 Naum Illyich Akhiezer, Elements of the Theory of Elliptic Functions, (1970) Moscow, translated into English as AMS Translations of Mathematical Monographs Volume 79 (1990) AMS, Rhode Island ISBN 0-8218-4532-2
 Tom M. Apostol, Modular Functions and Dirichlet Series in Number Theory, Second Edition (1990), Springer, New York ISBN 0-387-97127-0
 Henryk Iwaniec, Spectral Methods of Automorphic Forms, Second Edition, (2002) (Volume 53 in Graduate Studies in Mathematics), America Mathematical Society, Providence, RI ISBN 0-8218-3160-7 (See chapter 3)
 Serre, Jean-Pierre, A course in arithmetic. Translated from the French. Graduate Texts in Mathematics, No. 7. Springer-Verlag, New York-Heidelberg, 1973.
 Goro Shimura: Euler Products and Eisenstein Series, AMS (CBMS 93), ISBN 0-8218-0574-6 (1997).

Category:級数
Category:モジュラー形式
Category:解析的整数論
Category:数学に関する記事
Category:数学のエポニム