In mathematics, and especially gauge theory, Donaldson theory is the study of the topology of smooth 4-manifolds using moduli spaces of anti-self-dual instantons. It was started by Simon Donaldson (1983) who proved Donaldson's theorem restricting the possible quadratic forms on the second cohomology group of a compact simply connected 4-manifold. Important consequences of this theorem include the existence of an Exotic R4 and the failure of the smooth h-cobordism theorem in 4 dimensions. The results of Donaldson theory depend therefore on the manifold having a differential structure, and are largely false for topological 4-manifolds.
Donaldson, Simon (1983), "An Application of Gauge Theory to Four Dimensional Topology", Journal of Differential Geometry, 18 (2): 279–315, MR0710056.
Donaldson, S. K.; Kronheimer, P. B. (1997), The Geometry of Four-Manifolds, Oxford Mathematical Monographs, Oxford: Clarendon Press, ISBN0-19-850269-9.