 Smooth four-manifold

A smooth four-manifold is a four-dimensional smooth manifold. Its intersection form and gauge-theoretic invariants impose strong constraints on its possible smooth and symplectic structures.