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.

Trisections obtained by trivially regluing surface-knots

Trisections obtained by trivially regluing surface-knots

Bridge trisections of knotted surfaces in $S^4$

Triangulations of the 3-sphere with knotted edge

Relative trisections of fiber bundles over the circle

Sutured Floer homology distinguishes between Seifert surfaces

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

Unknotting number 21 knots are slice in K3

Trisections of non-orientable 4-manifolds

One stabilization is not enough for closed knotted surfaces

Bridge Multisections of Knotted Surfaces in $S^4$

Non-diffeomorphic minimal genus relative trisections of the same 4-manifold

Relative Group Trisections

Diagrams for Relative Trisections

Trisections of the doubles of some Mazur type 4-manifolds

Connected sums of knots do not admit purely cosmetic surgeries

Differential geometric global smoothings of simple normal crossing complex surfaces with trivial canonical bundle

Unknotted Curves on Seifert Surfaces

Figure-eight knot is always over there

Geometry of $K$-trivial Moishezon manifolds : decomposition theorem and holomorphic geometric structures

3-manifolds Modulo Surgery Triangles