S Donaldson 1983 (Fields 1986) Donaldson-invariants 4-manifold; modern Seiberg-Witten 1994 simpler reformulation.