Smooth four-manifold (source code)

= 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.