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.

PL-Genus of surfaces in homology balls

Hirzebruch X Y Genera of the Hilbert Schemes of Surfaces by Localization Formula

Classical and new plumbed homology spheres bounding contractible manifolds and homology balls

Relative genus bounds in indefinite four-manifolds

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

Generating the homology of covers of surfaces

Constructing Rational Homology 3-Spheres That Bound Rational Homology 4-Balls

Using rational homology circles to construct rational homology balls

Genuses of Cluster Quivers of Finite Mutation Type

A 4-dimensional rational genus bound

Locally flat simple spheres in $\mathbb{C} P^2$

Homological representations of low genus mapping class groups

A structure theorem for homology 4-manifolds with $g_2\leq 5$

Homology Growth, Hyperbolization, and Fibering

On the nonorientable four-ball genus of torus knots

Locally flat simple spheres in CP2

Stabilization distance bounds from link Floer homology

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

On homology planes and contractible 4‐manifolds

Hopf Arborescent Links, Minor Theory, and Decidability of the Genus Defect

On homology concordance in contractible manifolds and two bridge links