23/02/03 07:00:35.42 wWgl+Bdv.net
>>141-144
>保型空間
>保型形式
.> ４次元多様体 X の上のインスタントン数が n のインスタントンのモジュライ空間 Mnのオイラー数をe(Mn)としたときに,
> (1) Z(q) = Σn=0∞ e(Mn) q^n
> という関数を考えます.(q は不定元です. (収束の問題は考えず,単なる形式的べき級数と考えています.) )
> このとき, ヴァッファとウィッテンは, 上の関数が保型性を持つという予想をしていて,
> ある多様体の例, 当時私が研究していたALE空間という４次元多様体の場合に成立しているかどうかを知りたい,
> と尋ねてきたのでした.
> 保型性が成り立つことは, モジュライ空間のオイラー数の列を一度に取り扱うことによって初めて見える性質であり,
> モジュライ空間一つ一つを見ていてるだけでは出てこない性質である.
> だから保型性を持つというは誰も夢想だにしなかった, 突拍子もないものである.
> (上記の)理由は有限個のモジュライ空間の間の関係として記述できるものではない,
> という意味で完全に新しいものでしたし,
> 保型性という数学者にとって親しみのあるものが,
> 今までまったく関連すると思われていなかった
> ４次元のインスタントンの話題に現れたので驚いたのです.
> こちらが衝撃を受けた本当の理由です.
> 特に, 保型性の裏には２次元のトーラスが隠されていることが多いので,
> ４次元ゲージ理論の新しい広がりを感じさせました.
> 電子メールへの答えはイエスだったと書きましたが,
> その理由はALE空間の上のインスタントンのモジュライ空間のホモロジー群が
> アファイン・リー環の表現空間になっているという,
> ちょうどその直前に私がやったばかりの仕事を使うと分かるわけでした.
三角関数もろくに扱えん人が、
保型形式とかいっても無駄よ
URLﾘﾝｸ(ja.wikipedia.org)