Donaldson’s theorem

Theorem Let $M$ be a smooth simply connected, closed 4- manifold. If the bilinear form induced on $H_2(M;𝒁)$ by the cup product is positive definite, then it may be represented by the identity matrix.

One application is the existence of exotic ${𝑹}^4$’s. See Donaldson Freedman exotic R4.