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.

The quandle and group for higher-dimensional and virtual knots

Knot quandle decomposition along a torus

Groups of virtual and welded links

Classifying links and spatial graphs with finite $N$-quandles

Finite involutory quandles of two-bridge links with an axis

On the quandles of isometries of the hyperbolic 3-space

Link groups of Kishino knot stacks

Quandle Cohomology Quiver Representations

A geometric invariant of virtual n-links

Knot concordance and Blanchfield duality

Quantum fundamental group of knot and its $SL_2$ representation

Homogeneous quandles with abelian inner automorphism groups and vertex-transitive graphs

Quandle Action Quivers

Structure in the classical knot concordance group

Unrestricted virtual braids, fused links and other quotients of virtual braid groups

On the knot quandle of a fibered knot, finiteness and equivalence of knot quandles

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

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

Shifting Homomorphisms in Quandle Cohomology and Skeins of Cocycle Knot Invariants

Multivariate Alexander quandles, V. Constructing the medial quandle of a link

Knot groups, quandle extensions and orderability