Torelli Actions and Smooth Structures on 4-manifolds
In the theory of Artin presentations, a smooth four manifold is already determined by an Artin presentation of the fundamental group of its boundary. Thus, one of the central problems in four dimensional smooth topology, namely the study of smooth structures on these manifolds and their Donaldson and Seiberg-Witten invariants