94年度は忙しかったので、とりたてて新しい結果を得ることはできなかった。限られた時間の中で、Vafa-WittenのS-dualityから来る予想に触発されて、この周辺の話題について勉強した。この予想は、4次元多様体の上のインスタントンのモジュライ空間オイラー数に関して、ベクトルバンドルのトポロジカルタイプを動かすことによって母関数を作ると、これがモジュラー形式になるというものである。まず、モジュラー形式については何もしらなかったので、この教科書を読んだ。そして、ALE空間のときには対応する母関数はaffine Lie algebraの指標になることが前年度の研究から分かっていたので、Kac-Petersonの結果からモジュラー不変性を導きだすことができた。より一般の4次元多様体と2次元の埋め込まれた部分多様体のコンフィグレーションについても同様にある種の“代数"が構成でき、その指標がモジュラー不変性を持つことが期待される。また、射影曲面のときには、吉岡の結果によりオイラー数が計算されるが、これとドナルドソンの不変量との関連について、科学研究費補助金で購入したコンピュータと数式処理ソフトによって計算実験を行なった。これにより、ドナルドソンの不変量がある程度計算されたことになる。
|