Nonabelian Torus Exteriors in $\mathbb S^4$ and Torus Replacement in Four-Manifolds

Abstract

We study torus-exterior replacement in four-manifolds, with the construction controlled by the peripheral homomorphism. Using torus exteriors arising from the work of Boyle and Kanenobu-Kazama, with explicitly controlled fundamental groups and peripheral systems, we construct smooth homotopy 4-spheres and manifolds homeomorphic to S^2 x S^2 and \#_3(S^2 x S^2). We also study direct gluings of two torus exteriors. A swap gluing of two one-null exteriors kills both meridians and gives a simply connected manifold with Euler characteristic \(4\) and signature \(0\), while a meridian-preserving gluing of doubly-null exteriors retains the complement groups as an amalgam over the meridian subgroup. Twisted peripheral gluings give cyclic and explicit finite nonabelian fundamental groups. We also consider the full Kanenobu-Kazama \(1\)-handle family and Litherland tori with full-rank peripheral subgroup; the latter have no null primitive boundary slope and lead naturally to amalgamated-product fundamental groups.