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.
The theorem by Simon Donaldson (1983) establishes restrictions on the possible quadratic forms found in the second cohomology group of a compact, simply connected 4-manifold.