|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ アイゼン : [あいぜん] (独語) Steigeisen ・ 級 : [きゅう] 1. (n,n-suf) class, grade, rank 2. school class, grade ・ 級数 : [きゅうすう] 【名詞】 1. (gen) (math) series 2. progression ・ 数 : [すう, かず] 1. (n,n-suf) number 2. figure
:本記事は正則アイゼンシュタイン級数について記述している。非正則な場合は実解析的アイゼンシュタイン級数を参照。 アイゼンシュタイン級数(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)でしかないが、定義することが可能ではある。
|