Abstract
For each integer we construct an oriented closed simply connected 4-manifold admitting a smoothly embedded closed connected surface of self-intersection number such that the complement of the surface has non-trivial fundamental group. This answers a question of Kronheimer in Kirby's 1997 problem list. The proof combines a topological construction with homological properties of simple groups such as Thompson's group and certain sporadic finite simple groups.