>>165 関連
>Instanton
> 4d supersymmetric gauge theories

https://ja.wikipedia.org/wiki/%E3%82%B5%E3%82%A4%E3%83%A2%E3%83%B3%E3%83%BB%E3%83%89%E3%83%8A%E3%83%AB%E3%83%89%E3%82%BD%E3%83%B3
サイモン・ドナルドソン
1982年に四次元ユークリッド空間において異種微分構造が存在することを、Yang-Millsゲージ理論を用いて示し、当時の数学界に衝撃を与えた。この業績により1986年にフィールズ賞を受賞した
https://ja.wikipedia.org/wiki/%E3%83%89%E3%83%8A%E3%83%AB%E3%83%89%E3%82%BD%E3%83%B3%E4%B8%8D%E5%A4%89%E9%87%8F
ドナルドソン不変量
ドナルドソン理論 (Donaldson theory) は、インスタントン（英語版）を用いた滑らかな4次元多様体の研究である。この理論は、コンパクト単連結4次元多様体の2次コホモロジー群上の可能な二次形式を制限してドナルドソンの定理を証明したサイモン・ドナルドソン (1983) により始められた。
ドナルドソン理論の結果の多くは微分構造を持つ多様体に依存し、4次元位相多様体に対しては正しくない。
ドナルドソン理論の定理の多くは今ではサイバーグ・ウィッテン理論（英語版）を用いると容易に証明できる。
関連項目
クロンハイマー・ムロフカ基本類（英語版）
https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%AD%E3%82%BE%E3%83%81%E3%83%83%E3%82%AF_R4
エキゾチック R^4
エキゾチック R^4 とは、4次元ユークリッド空間 R^4 に同相であるが、微分同相ではない4次元可微分多様体のこと。
エキゾチック R^4 である最初の例は、1982 年にマイケル・フリードマン等により、位相的な4次元多様体に関するフリードマンの定理と、微分可能な4次元多様体に関するサイモン・ドナルドソンとの対比を使用して発見された。[1][2]クリフォード・タウベスにより、R^4の非微分同相な微分可能構造の連続体が存在することが示されている。[3]

つづく