[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
604(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/25(日)17:08 ID:eIdDsFH8(13/19) AAS
つづき
モジュラー函数
複素変数複素数値の函数 f がモジュラーである、あるいはモジュラー函数とは、以下の条件
f は上半平面 H 上で有理型である;
モジュラー群 Γ に属する任意の行列 M に対して f(Mτ) = f(τ) を満たす;
f のフーリエ級数は
f(τ )=Σ_{n=-m}-{∞}a(n)e^{2iπ nτ}
の形に表され、これは下に有界、つまり e2iπτのローラン多項式であり、したがって尖点においても有理型である
を満たすものを言う。任意のモジュラー函数がクラインの絶対不変量 j (τ) の有理函数として表され、また j (τ) の有理函数がモジュラー函数となることが示せる。さらに、任意の解析的モジュラー函数はモジュラー形式となるが、逆は必ずしも成り立たないことも示される。モジュラー函数 f が恒等的に 0 でないならば、基本領域 RΓ の閉包における f の零点の個数と極の個数とは一致する。
一般レベルのモジュラー形式
省6
605: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/25(日)17:09 ID:eIdDsFH8(14/19) AAS
>>604
つづき
デテキント・エータ函数は、
η (z)=q^{1/24} Π_{n=1}-{∞} (1-q^n), q=e^{2π iz}
と定義され、モジュラー判別式（英語版） Δ(z) = η(z)^24 はウェイト 12 のモジュラー形式である。
この 24 という数は、次元 24 をもつリーチ格子（英語版） に関係する。
有名なラマヌジャン予想は、任意の素数 p に対して q^p の係数は、絶対値 2p^(11/2) 以下であることを主張し、ピエール・ドリーニュによってヴェイユ予想に関する研究の結果より、解決された。
歴史
モジュラー形式論は、4つの段階を経て発展してきた。はじめは、19世紀前半の楕円函数論に繋がる部分である。その後フェリックス・クラインらによって、19世紀の終わりにかけて（一変数の）保型形式の概念が理解されるようになり、エーリッヒ・ヘッケによって1925年頃から、また1960年代に、数論からの需要、とくに（かつて「谷山・志村予想」と呼ばれた）モジュラー性定理の定式化において、モジュラー形式の深い関わりが明らかにされた。
体系的な用語としての「モジュラー形式」は、ヘッケによるものである。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s