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.
Simon Donaldson's theorem from 1983 restricts the types of quadratic forms that can be present within the second cohomology group of a compact, simply connected 4-dimensional manifold.