原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
本記事は正則 アイゼンシュタイン級数について記述している。非正則な場合は実解析的アイゼンシュタイン級数 を参照。
アイゼンシュタイン級数 (Eisenstein series)は、ドイツの数学者ゴットホルト・アイゼンシュタイン (Gotthold Eisenstein)にちなみ、直接書き下すことができる無限級数 展開を持つ特別なモジュラ形式 である。元来はモジュラ群 に対して定義されていたアイゼンシュタイン級数は、保型形式 の理論へ一般化することができる。
単位円板 上の q の函数としての G6 の実部
単位円板 上の q の函数としての G6 の虚部
τ を虚部が 正となる複素数 とする。k ≥ 2 を整数としたとき、ウェイト 2k の正則アイゼンシュタイン級数 (holomorphic Eisenstein series) G2k (τ) を
G
2
k
(
τ
)
=
∑
(
m
,
n
)
∈
Z
2
∖
(
0
,
0
)
1
(
m
+
n
τ
)
2
k
{\displaystyle G_{2k}(\tau )=\sum _{(m,n)\in \mathbf {Z} ^{2}\backslash (0,0)}{\frac {1}{(m+n\tau )^{2k}}}}
と定義する。
この級数は、上半平面 で τ の正則函数へ絶対収束 し、下記に与える級数のフーリエ展開は、 τ = i∞ へ正則函数として拡張されることを示している。アイゼンシュタイン級数がモジュラ形式 であることは注目すべき事実である。実際、キーとなる性質は、級数の SL(2, Z )-不変性である。明らかに、a, b, c, d ∈ Z で ad − bc = 1 であれば、
G
2
k
(
a
τ
+
b
c
τ
+
d
)
=
(
c
τ
+
d
)
2
k
G
2
k
(
τ
)
{\displaystyle G_{2k}\left({\frac {a\tau +b}{c\tau +d}}\right)=(c\tau +d)^{2k}G_{2k}(\tau )}
となり、従って、G2k はウェイト 2k のモジュラ形式である。k ≥ 2 であるという前提は重要で、そうでないと非合理的に和の順番を変更したり、 SL(2, Z )-不変性が保てなくなる。事実、ウェイト 2 の非自明なモジュラ形式は存在しない。にもかかわらず、正則アイゼンシュタイン級数の類似物が k = 1 に対して、準モジュラ形式 (英語版 ) (quasimodular form)でしかないが、定義することが可能ではある。
楕円曲線 のモジュラ不変量 g2 と g3 は、アイゼンシュタイン級数の最初の 2 つの項で、次のように与えられる。
g
2
=
60
G
4
{\displaystyle g_{2}=60G_{4}}
g
3
=
140
G
6
{\displaystyle g_{3}=140G_{6}}
これら2つの函数はテータ函数 によって表すこともできる。
モジュラ群のどのモジュラ形式も、G4 と G6 の多項式として書き表すことができる。特に、高次オーダーの G2k は漸化式 を通して、G4 と G6 の項として書くことができる。dk =(2k+3)k!G2k+4 とすると、全ての n ≥ 0 に対し、dk は関係式
∑
k
=
0
n
(
n
k
)
d
k
d
n
−
k
=
2
n
+
9
3
n
+
6
d
n
+
2
{\displaystyle \sum _{k=0}^{n}{n \choose k}d_{k}d_{n-k}={\frac {2n+9}{3n+6}}d_{n+2}}
を満たす。ここに、
(
n
k
)
{\displaystyle {n \choose k}}
は二項係数 であり、
d
0
=
3
G
4
{\displaystyle d_{0}=3G_{4}}
であり、
d
1
=
5
G
6
{\displaystyle d_{1}=5G_{6}}
である。
dk は、ヴァイエルシュトラスの楕円函数
℘
(
z
)
=
1
z
2
+
z
2
∑
k
=
0
∞
d
k
z
2
k
k
!
=
1
z
2
+
∑
k
=
1
∞
(
2
k
+
1
)
G
2
k
+
2
z
2
k
{\displaystyle \wp (z)={\frac {1}{z^{2}}}+z^{2}\sum _{k=0}^{\infty }{\frac {d_{k}z^{2k}}{k!}}={\frac {1}{z^{2}}}+\sum _{k=1}^{\infty }(2k+1)G_{2k+2}z^{2k}}
の級数展開で発生する。
q
=
e
2
π
i
τ
{\displaystyle q=e^{2\pi i\tau }}
とし、
E
4
(
τ
)
=
1
+
240
∑
n
=
1
∞
n
3
q
n
1
−
q
n
{\displaystyle E_{4}(\tau )=1+240\sum _{n=1}^{\infty }{\frac {n^{3}q^{n}}{1-q^{n}}}}
E
6
(
τ
)
=
1
−
504
∑
n
=
1
∞
n
5
q
n
1
−
q
n
{\displaystyle E_{6}(\tau )=1-504\sum _{n=1}^{\infty }{\frac {n^{5}q^{n}}{1-q^{n}}}}
E
8
(
τ
)
=
1
+
480
∑
n
=
1
∞
n
5
q
n
1
−
q
n
{\displaystyle E_{8}(\tau )=1+480\sum _{n=1}^{\infty }{\frac {n^{5}q^{n}}{1-q^{n}}}}
として、
a
=
θ
2
(
0
;
e
π
i
τ
)
=
ϑ
10
(
0
;
τ
)
{\displaystyle a=\theta _{2}(0;e^{\pi i\tau })=\vartheta _{10}(0;\tau )}
b
=
θ
3
(
0
;
e
π
i
τ
)
=
ϑ
00
(
0
;
τ
)
{\displaystyle b=\theta _{3}(0;e^{\pi i\tau })=\vartheta _{00}(0;\tau )}
c
=
θ
4
(
0
;
e
π
i
τ
)
=
ϑ
01
(
0
;
τ
)
{\displaystyle c=\theta _{4}(0;e^{\pi i\tau })=\vartheta _{01}(0;\tau )}
と定義する。ここに
θ
m
{\displaystyle \theta _{m}}
and
ϑ
n
{\displaystyle \vartheta _{n}}
はヤコビのテータ函数 (Jacobi theta functions)の代わる記法である。すると、
E
4
(
τ
)
=
1
2
(
a
8
+
b
8
+
c
8
)
{\displaystyle E_{4}(\tau )={\tfrac {1}{2}}(a^{8}+b^{8}+c^{8})}
E
6
(
τ
)
=
1
2
(
a
8
+
b
8
+
c
8
)
3
−
54
(
a
b
c
)
8
2
{\displaystyle E_{6}(\tau )={\tfrac {1}{2}}{\sqrt {\frac {(a^{8}+b^{8}+c^{8})^{3}-54(abc)^{8}}{2}}}}
となる。
E
4
2
=
E
8
{\displaystyle E_{4}^{2}=E_{8}}
と
a
4
−
b
4
+
c
4
=
0
{\displaystyle a^{4}-b^{4}+c^{4}=0}
であるので、これは、
E
8
(
τ
)
=
1
2
(
a
16
+
b
16
+
c
16
)
{\displaystyle E_{8}(\tau )={\tfrac {1}{2}}(a^{16}+b^{16}+c^{16})}
を意味する。
アイゼンシュタイン級数は、全モジュラ群 SL(2, Z ) のモジュラ形式 の最も明白な例である。ウェイト 2k のモジュラ形式の空間は、2k = 4, 6, 8, 10, 14 に対しては次元1となるため、これらのウェイトを持つようなアイゼンシュタイン級数の積が複数あるとき、それらは互いに定数倍となる。このようにして、等式
E
4
2
=
E
8
,
E
4
E
6
=
E
10
,
E
4
E
10
=
E
14
,
E
6
E
8
=
E
14
{\displaystyle E_{4}^{2}=E_{8},\quad E_{4}E_{6}=E_{10},\quad E_{4}E_{10}=E_{14},\quad E_{6}E_{8}=E_{14}}
を得る。上で与えられたアイゼンシュタイン級数の q-展開を使い、約数のべき和を意味する等式
(
1
+
240
∑
n
=
1
∞
σ
3
(
n
)
q
n
)
2
=
1
+
480
∑
n
=
1
∞
σ
7
(
n
)
q
n
,
{\displaystyle (1+240\sum _{n=1}^{\infty }\sigma _{3}(n)q^{n})^{2}=1+480\sum _{n=1}^{\infty }\sigma _{7}(n)q^{n},}
に言い換えられる。
よって、
σ
7
(
n
)
=
σ
3
(
n
)
+
120
∑
m
=
1
n
−
1
σ
3
(
m
)
σ
3
(
n
−
m
)
,
{\displaystyle \sigma _{7}(n)=\sigma _{3}(n)+120\sum _{m=1}^{n-1}\sigma _{3}(m)\sigma _{3}(n-m),}
が成り立ち、他も同様に成り立つ。さらに興味深いことには、8 次元偶数モジュラ格子 Γ のテータ函数 は、全モジュラ群に対し、ウェイト 4 のモジュラ形式である。このことは、タイプ E8 のルート格子 (英語版 ) (E8 lattice)の長さ
2
n
{\displaystyle {\sqrt {2n}}}
のベクトルの数 rΓ (n) ついて、等式
θ
Γ
(
τ
)
=
1
+
∑
n
=
1
∞
r
Γ
(
2
n
)
q
n
=
E
4
(
τ
)
,
r
Γ
(
n
)
=
240
σ
3
(
n
)
{\displaystyle \theta _{\Gamma }(\tau )=1+\sum _{n=1}^{\infty }r_{\Gamma }(2n)q^{n}=E_{4}(\tau ),\quad r_{\Gamma }(n)=240\sigma _{3}(n)}
をもたらす。
ディレクレ指標 (英語版 ) (Dirichlet character)でツイストされた正則アイゼンシュタイン級数に対する同様のテクニックは、正の整数nに対しn を2、4、もしくは8個の平方数の和として表す方法の数の、nの因子を用いた公式をもたらす。
上記の漸化式を使い、全ての高次の E2k は E4 と E6 の多項式で表現することができる。例えば、
E
8
=
E
4
2
E
10
=
E
4
⋅
E
6
691
⋅
E
12
=
441
⋅
E
4
3
+
250
⋅
E
6
2
E
14
=
E
4
2
⋅
E
6
3617
⋅
E
16
=
1617
⋅
E
4
4
+
2000
⋅
E
4
⋅
E
6
2
43867
⋅
E
18
=
38367
⋅
E
4
3
⋅
E
6
+
5500
⋅
E
6
3
174611
⋅
E
20
=
53361
⋅
E
4
5
+
121250
⋅
E
4
2
⋅
E
6
2
77683
⋅
E
22
=
57183
⋅
E
4
4
⋅
E
6
+
20500
⋅
E
4
⋅
E
6
3
236364091
⋅
E
24
=
49679091
⋅
E
4
6
+
176400000
⋅
E
4
3
⋅
E
6
2
+
10285000
⋅
E
6
4
.
{\displaystyle {\begin{aligned}E_{8}&=E_{4}^{2}\\E_{10}&=E_{4}\cdot E_{6}\\691\cdot E_{12}&=441\cdot E_{4}^{3}+250\cdot E_{6}^{2}\\E_{14}&=E_{4}^{2}\cdot E_{6}\\3617\cdot E_{16}&=1617\cdot E_{4}^{4}+2000\cdot E_{4}\cdot E_{6}^{2}\\43867\cdot E_{18}&=38367\cdot E_{4}^{3}\cdot E_{6}+5500\cdot E_{6}^{3}\\174611\cdot E_{20}&=53361\cdot E_{4}^{5}+121250\cdot E_{4}^{2}\cdot E_{6}^{2}\\77683\cdot E_{22}&=57183\cdot E_{4}^{4}\cdot E_{6}+20500\cdot E_{4}\cdot E_{6}^{3}\\236364091\cdot E_{24}&=49679091\cdot E_{4}^{6}+176400000\cdot E_{4}^{3}\cdot E_{6}^{2}+10285000\cdot E_{6}^{4}\end{aligned}}.}
アイゼンシュタイン級数の積の間の多くの関係は、ハンケルの判別式 (Hankel determinants)、つまり、ガーヴァンの等式(Garvan's identity)を使い、エレガントな方法で、
Δ
2
=
−
691
1728
2
⋅
250
det
|
E
4
E
6
E
8
E
6
E
8
E
10
E
8
E
10
E
12
|
{\displaystyle \Delta ^{2}=-{\frac {691}{1728^{2}\cdot 250}}\det {\begin{vmatrix}E_{4}&E_{6}&E_{8}\\E_{6}&E_{8}&E_{10}\\E_{8}&E_{10}&E_{12}\end{vmatrix}}}
と表すことができる。ここに
Δ
=
E
4
3
−
E
6
2
1728
{\displaystyle \Delta ={\frac {E_{4}^{3}-E_{6}^{2}}{1728}}}
はモジュラ判別式 である。[ 1]
ラマヌジャン (Ramanujan)は、最初のいくつかのアイゼンシュタイン級数の微分を含む興味深い関係式を導いた。
L
(
q
)
=
1
−
24
∑
n
=
1
∞
n
q
n
1
−
q
n
=
E
2
(
τ
)
{\displaystyle L(q)=1-24\sum _{n=1}^{\infty }{\frac {nq^{n}}{1-q^{n}}}=E_{2}(\tau )}
M
(
q
)
=
1
+
240
∑
n
=
1
∞
n
3
q
n
1
−
q
n
=
E
4
(
τ
)
{\displaystyle M(q)=1+240\sum _{n=1}^{\infty }{\frac {n^{3}q^{n}}{1-q^{n}}}=E_{4}(\tau )}
N
(
q
)
=
1
−
504
∑
n
=
1
∞
n
5
q
n
1
−
q
n
=
E
6
(
τ
)
,
{\displaystyle N(q)=1-504\sum _{n=1}^{\infty }{\frac {n^{5}q^{n}}{1-q^{n}}}=E_{6}(\tau ),}
とすると、
q
d
L
d
q
=
L
2
−
M
12
{\displaystyle q{\frac {dL}{dq}}={\frac {L^{2}-M}{12}}}
q
d
M
d
q
=
L
M
−
N
3
{\displaystyle q{\frac {dM}{dq}}={\frac {LM-N}{3}}}
q
d
N
d
q
=
L
N
−
M
2
2
{\displaystyle q{\frac {dN}{dq}}={\frac {LN-M^{2}}{2}}}
が成り立つ。
これらの恒等式は、級数の間の恒等式のように、約数函数 の畳み込み の等式をもたらす。ラマヌジャンに従い、これらの等式を最も単純な形とするためには、0 を含む σp (n) の領域を拡張する必要がある。そのため、
σ
p
(
0
)
=
1
2
ζ
(
−
p
)
.
{\displaystyle \sigma _{p}(0)={\frac {1}{2}}\zeta (-p).\;}
つまり
σ
(
0
)
=
−
1
24
σ
3
(
0
)
=
1
240
σ
5
(
0
)
=
−
1
504
.
{\displaystyle {\begin{aligned}\sigma (0)&=-{\frac {1}{24}}\\\sigma _{3}(0)&={\frac {1}{240}}\\\sigma _{5}(0)&=-{\frac {1}{504}}.\end{aligned}}}
と置く。すると、例えば、
∑
k
=
0
n
σ
(
k
)
σ
(
n
−
k
)
=
5
12
σ
3
(
n
)
−
1
2
n
σ
(
n
)
{\displaystyle \sum _{k=0}^{n}\sigma (k)\sigma (n-k)={\frac {5}{12}}\sigma _{3}(n)-{\frac {1}{2}}n\sigma (n)}
となる。
L, M, N の函数の間の前述の関係式に直接関係しないこのタイプの他の等式は、ラマヌジャン とギウゼッペ・メルフィ (英語版 ) (Giuseppe Melfi)により証明された。例として、挙げると、
∑
k
=
0
n
σ
3
(
k
)
σ
3
(
n
−
k
)
=
1
120
σ
7
(
n
)
{\displaystyle \sum _{k=0}^{n}\sigma _{3}(k)\sigma _{3}(n-k)={\frac {1}{120}}\sigma _{7}(n)}
∑
k
=
0
n
σ
(
2
k
+
1
)
σ
3
(
n
−
k
)
=
1
240
σ
5
(
2
n
+
1
)
{\displaystyle \sum _{k=0}^{n}\sigma (2k+1)\sigma _{3}(n-k)={\frac {1}{240}}\sigma _{5}(2n+1)}
∑
k
=
0
n
σ
(
3
k
+
1
)
σ
(
3
n
−
3
k
+
1
)
=
1
9
σ
3
(
3
n
+
2
)
.
{\displaystyle \sum _{k=0}^{n}\sigma (3k+1)\sigma (3n-3k+1)={\frac {1}{9}}\sigma _{3}(3n+2).}
約数函数に対する畳み込み等式の包括的なリストと関連するトピックは、以下を参照。
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).