Concordance of surfaces in 4-manifolds and the Freedman–Quinn invariant
MK was supported by the Max Planck Institute for Mathematics (MPIM) in Bonn, Germany during the time of this project. MM was supported by MPIM during part of this project, as well as NSF Grants DGE-1656466 and DMS-2001675.
We prove a concordance version of the 4-dimensional light bulb theorem for -negligible compact orientable surfaces, where there is a framed but not necessarily embedded dual sphere. That is, we show that if and are such surfaces in a 4-manifold that are homotopic and there exists an immersed framed 2-sphere in intersecting geometrically once, then and are concordant if and only if their Freedman–Quinn invariant vanishes. The proof of the main result involves computing in terms of intersections in the universal covering space and then applying work of Sunukjian in the simply-connected case. This paper relies extensively on colour figures. Some references to colour may not be meaningful in the printed version, and we refer the reader to the online version which includes the colour figures.