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. Wikipedia