Donaldson’s theorem
Theorem Let be a smooth simply connected, closed 4- manifold. If the bilinear form
induced on by the cup product
is positive definite
, then it may be represented by the identity matrix
.
One application is the existence of exotic ’s. See Donaldson Freedman exotic R4.