Abstract:We study locally flat disks in $(\mathbb{C} P^2)^\circ:=(\mathbb{C} P^2)\setminus \mathring{B^4}$ with boundary a fixed knot $K$ and whose complement has fundamental group $\mathbb{Z}$. We show that up to topological isotopy rel. boundary, such disks necessarily arise by performing a positive crossing change on $K$ to an Alexander polynomial one knot and capping off with a $\mathbb{Z}$-disk in $D^4.$ Such a crossing change determines a loop in $S^3 \setminus K$ and we prove that the homology class of its lift to the infinite cyclic cover leads to a complete invariant of the disk. We prove that this determines a bijection between the set of rel. boundary topological isotopy classes of $\mathbb{Z}$-disks with boundary $K$ and a quotient of the set of unitary units of the ring $\mathbb{Z}[t^{\pm 1}]/(\Delta_K)$. Number-theoretic considerations allow us to deduce that a knot $K \subset S^3$ with quadratic Alexander polynomial bounds $0,1,2,4$, or infinitely many $\mathbb{Z}$-disks in $(\mathbb{C} P^2)^\circ$. This leads to the first examples of knots bounding infinitely many topologically distinct disks whose exteriors have the same fundamental group and equivariant intersection form. Finally we give several examples where these disks are realized smoothly.

Divides with cusps and symmetric links

Divide knot presentation of sporadic knots of Berge's lens space surgery

Cusps in $\mathbb{C}^3$ with prescribed ramification

Singularities of Flat Dual Surfaces of Cuspidal Edges in the Three-Sphere from Duality Viewpoint

Bifurcations of the conjugate locus

Cusp shape and fractional Dehn twists of fibred hyperbolic 3-manifolds

Splitting links by integer homology spheres

Non-isotopic splitting spheres for a split link in $S^4$

Cobordisms of fold maps and maps with prescribed number of cusps

Differentiable maps on links of complex isolated hypersurface singularities

Divisors and curves on logarithmic mapping spaces

C-boundary links up to six crossings

Cusp-transitive 4-manifolds with every cusp section

Sesquicuspidal curves, scattering diagrams, and symplectic nonsqueezing

Linking in Cyclic Branched Covers and Satellite (non)-Homomorphisms

The volume of a divisor and cusp excursions of geodesics in hyperbolic manifolds

$\mathbb{Z}$-disks in $\mathbb{C} P^2$

Smoothly slice links in $S^2 \times S^2$ or $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$

The 2-divisibility of divisors on K3 surfaces in characteristic 2

Three-Dimensional Small Covers and Links

Approximations of Singular Surfaces with Standard Cuspidal Edges