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.

Ptolemy relations for punctured discs

Skein relations for punctured surfaces

Extensions in Jacobian algebras via punctured skein relations

Periodic Infinite Frieze Patterns of Type $Λ_{p_1,\ldots,p_n}$ and Dissections on Annuli

Thermoelectric Properties of Disordered Systems

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

Braid groups and discrete diffeomorphisms of the punctured disk

Ptolemy diagrams and torsion pairs in m-cluster categories of type D

Apollonian depth, spinors, and the super-Dedekind tessellation

A-polynomials, Ptolemy equations and Dehn filling

Thick braids and other non-trivial homotopy in configuration spaces of hard discs

Infinite friezes and triangulations of annuli

On annulus presentations, dualizable patterns and RGB-diagrams

Interlacing triangles, Schubert puzzles, and graph colorings

Triangular dissections, aperiodic tilings and Jones algebras

Symplectomorphisms and discrete braid invariants

On cluster algebras arising from unpunctured surfaces

The Tri-Pants Graph of the Twice-Punctured Torus

Tame and relatively elliptic $\mathbb{CP}^1$-structures on the thrice-punctured sphere

Geometry of multidimensional Farey summation algorithm and frieze patterns

Knotted 4-regular graphs II: Consistent application of the Pachner moves