こちらに避難させますね
前スレより
https://rio2016.5ch.net/test/read.cgi/math/1717250604/922
(引用開始)
ーーーーー
ペレルマンは解法の説明を求められて多くの数学者達の前で壇上に立った。
しかし、ほとんどの数学者がトポロジーを使ってポアンカレ予想を解こうとしており、
聴講した数学者たちもほとんどがトポロジーの専門家であったため、
微分幾何学を使ったペレルマンの解説を聞いた時、
「まず、ポアンカレ予想を解かれたことに落胆し、
　それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、
　そして、その解説がまったく理解できないことに落胆した」
という。
ーーーーー
ドナルドソンによる異種R^4の発見もトポロジストに同様の感想をもたらしたといわれている
(引用終り)

なるほど それで
サイバーグ・ウィッテンがありまして（下記）
20世紀の終わりころ、一世風靡でしたね

https://ja.wikipedia.org/wiki/%E3%82%B5%E3%82%A4%E3%83%90%E3%83%BC%E3%82%B0%E3%83%BB%E3%82%A6%E3%82%A3%E3%83%83%E3%83%86%E3%83%B3%E4%B8%8D%E5%A4%89%E9%87%8F
サイバーグ・ウィッテン不変量
サイバーグ・ウィッテン不変量(Seiberg–Witten invariant)は、サイバーグ・ウィッテン理論を使ったコンパクトな 4次元多様体の不変量であり、Witten (1994)により導入された。サイバーグ・ウィッテンのゲージ理論（英語版）(Seiberg–Witten gauge theory)は、 Seiberg and Witten (1994a, 1994b)で研究された。
サイバーグ・ウィッテン不変量は、ドナルドソン不変量と似ていて、滑らかな 4次元多様体にかんする同様な（少しより強い）結果を証明することに使うことができる。サイバーグ・ウィッテン不変量は、ドナルドソン不変量に比べて、技術的には非常に容易である。たとえば、サイバーグ・ウィッテン方程式の解のモジュライ空間は、コンパクトとなる傾向があり、従って、ドナルドソン理論のコンパクト化の中の難しい問題を回避することができる。

https://en.wikipedia.org/wiki/Seiberg%E2%80%93Witten_invariants
Seiberg–Witten invariants
In mathematics, and especially gauge theory, Seiberg–Witten invariants are invariants of compact smooth oriented 4-manifolds introduced by Edward Witten (1994), using the Seiberg–Witten theory studied by Nathan Seiberg and Witten (1994a, 1994b) during their investigations of Seiberg–Witten gauge theory.
Seiberg–Witten invariants are similar to Donaldson invariants and can be used to prove similar (but sometimes slightly stronger) results about smooth 4-manifolds. They are technically much easier to work with than Donaldson invariants; for example, the moduli spaces of solutions of the Seiberg–Witten equations tends to be compact, so one avoids the hard problems involved in compactifying the moduli spaces in Donaldson theory.

https://en.wikipedia.org/wiki/Seiberg%E2%80%93Witten_theory
Seiberg–Witten theory