Abstract:This article is concerned with locally flatly immersed surfaces in simply-connected $4$-manifolds where the complement of the surface has fundamental group $\mathbb{Z}$. Once the genus and number of double points are fixed, we classify such immersed surfaces in terms of the equivariant intersection form of their exterior and a secondary invariant. Applications include criteria for deciding when an immersed $\mathbb{Z}$-surface in $S^4$ is isotopic to the standard immersed surface that is obtained from an unknotted surface by adding local double points. As another application, we enumerate $\mathbb{Z}$-disks in $D^4$ with a single double point and boundary a given knot; we prove that the number of such disks may be infinite. We also prove that a knot bounds a $\mathbb{Z}$-disk in $D^4$ with $c_+$ positive double points and $c_-$ negative double points if and only if it can be converted into an Alexander polynomial one knot via changing $c_+$ positive crossings and $c_-$ negative crossings. In $4$-manifolds other than $D^4$ and $S^4$, applications include measuring the extent to which immersed $\mathbb{Z}$-surfaces are determined by the equivariant intersection form of their exterior. Along the way, we prove that any two $\mathbb{Z}^2$-concordances between the Hopf link and an Alexander polynomial one link $L$ are homeomorphic rel. boundary.

Is every knot isotopic to the unknot?

Topological isotopy and finite type invariants

Isotopy invariants for closed braids and almost closed braids via loops in stratified spaces

Immersed surfaces with knot group $\mathbb{Z}$

The band connected sum and the second Kirby move for higher-dimensional links

Unknotting Nonorientable Surfaces of Genus 4 and 5

Fixed-point-free pseudo-Anosov homeomorphisms, knot Floer homology and the cinquefoil

Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

Knot concordance and Blanchfield duality

Generating Infinitely Many Hyperbolic Knots with Plats

Topologically trivial proper 2-knots

Classifying links under fused isotopy

Exotically knotted 2-spheres and the fundamental groups of their complements

Any smooth knot $\mathbb{S}^{n}\hookrightarrow\mathbb{R}^{n+2}$ is isotopic to a cubic knot contained in the canonical scaffolding of $\mathbb{R}^{n+2}$

Studying Links via Plats: The Unlink

The three loop isotopy and framed isotopy invariants of virtual knots

Khovanov homology and exotic $4$-manifolds

Highly twisted plat diagrams

Graphing, homotopy groups of spheres, and spaces of long links and knots

Rank three instantons, representations and sutures

Torus knots, the A-polynomial, and SL(2,C)