arXiv subjects
Publications and source records attributed to Allison N. Miller.
We give a flexible construction for knots in the 3-sphere that bound surfaces of unexpectedly low genus in punctured open books on 3-manifolds. We use this construction to give the first examples of knots whose genus differs in different $\mathbb{Z}/2\mathbb{Z}$ homology balls. We also establish that every knot bounds a M{ö}bius band in a rational homology ball, and that there are knots whose genus in $T^4$ and $B^4$ differ arbitrarily.
Freedman and Krushkal showed that if the surgery conjecture and the $s$-cobordism conjecture hold for all topological 4-manifolds, then every link with pairwise zero linking numbers is topologically round handle slice. Kim, Powell, and Teichner showed that every knot is topologically round handle slice. We show that infinitely many knots fail to be smoothly round handle slice.
The second author and Powell asked whether there exist knots bounding infinitely many slice disks that remain pairwise nonisotopic, even after local knotting. We answer this question in the affirmative, giving many classes of examples distinguished by the kernels of the inclusion-induced maps on the fundamental group. Along the way, we give a classification of fibered, homotopy-ribbon disks bounded by generalized square knots up to isotopy modulo local knotting, extending work of the first author and Zupan. We conclude with a discussion of how invertible concordances and satellite operations can produce new examples of knots bounding many inequivalent slice disks. In particular, we give examples of fibered, hyperbolic knots bounding infinitely many fibered, ribbon disks that are pairwise nonisotopic modulo local knotting. The closed monodromies of these knots are pseudo-Anosov mapping classes that have infinitely many distinct handlebody extensions, a curiosity that may be of independent interest.
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.
In this brief note, we investigate the $\mathbb{CP}^2$-genus of knots, i.e. the least genus of a smooth, compact, orientable surface in $\mathbb{CP}^2\setminus \mathring{B^4}$ bounded by a knot in $S^3$. We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the $\mathbb{CP}^2$-genus of torus knots. We apply these results to improve the minimal genus bound for some homology classes in $\mathbb{CP}^2\# \mathbb{CP}^2$.
A pattern knot in a solid torus defines a self-map of the smooth knot concordance group. We prove that if the winding number of a pattern is even but not divisible by 8, then the corresponding map is not a homomorphism, thus partially establishing a conjecture of Hedden.
We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let $K$ be a genus one strongly invertible slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum $\#^n K$ is at least $n/4$. We also formulate an equivariant algebraic concordance group, and show that the kernel of the forgetful map to the classical algebraic concordance group is infinite rank.
We prove that satellite operations that satisfy a certain positivity condition and have winding number other than one are not homomorphisms. The argument uses the $d$-invariants of branched covers. In the process, we prove a technical result relating $d$-invariants and the Torelli group which may be of independent interest.
We study the $\mathbb{CP}^2$-slicing number of knots, i.e. the smallest $m\geq 0$ such that a knot $K\subseteq S^3$ bounds a properly embedded, null-homologous disk in a punctured connected sum $(\#^m\mathbb{CP}^2)^{\times}$. We give a lower bound on the smooth $\mathbb{CP}^2$-slicing number of a knot in terms of its double branched cover, and we find knots with arbitrarily large but finite smooth $\mathbb{CP}^2$-slicing number. We also give an upper bound on the topological $\mathbb{CP}^2$-slicing number in terms of the Seifert form and find knots for which the smooth and topological $\mathbb{CP}^2$-slicing numbers are both finite, nonzero, and distinct.
We show that the difference between the topological 4-genus of a knot and the minimal genus of a surface bounded by that knot that can be decomposed into a smooth concordance followed by an algebraically simple locally flat surface can be arbitrarily large. This extends work of Hedden-Livingston-Ruberman showing that there are topologically slice knots which are not smoothly concordant to any knot with trivial Alexander polynomial.
For each $g>0$ we give infinitely many knots that are strongly negative amphichiral, hence rationally slice and representing 2-torsion in the smooth concordance group, yet which do not bound any locally flatly embedded surface in the 4-ball with genus less than or equal to $g$. Our examples also allow us to answer a question about the 4-dimensional clasp number of knots.
Define the 1-handle stabilization distance between two surfaces properly embedded in a fixed 4-dimensional manifold to be the minimal number of 1-handle stabilizations necessary for the surfaces to become ambiently isotopic. For every nonnegative integer $m$ we find a pair of 2-knots in the 4-sphere whose stabilization distance equals $m$. Next, using a generalized stabilization distance that counts connected sum with arbitrary 2-knots as distance zero, for every nonnegative integer $m$ we exhibit a knot $J_m$ in the 3-sphere with two slice discs in the 4-ball whose generalized stabilization distance equals $m$. We show this using homology of cyclic covers. Finally, we use metabelian twisted homology to show that for each $m$ there exists a knot and pair of slice discs with generalized stabilization distance at least $m$, with the additional property that abelian invariants associated to cyclic covering spaces coincide. This detects different choices of slicing discs corresponding to a fixed metabolising link on a Seifert surface.
For every integer g, we construct a 2-solvable and 2-bipolar knot whose topological 4-genus is greater than g. Note that 2-solvable knots are in particular algebraically slice and have vanishing Casson-Gordon obstructions. Similarly all known smooth 4-genus bounds from gauge theory and Floer homology vanish for 2-bipolar knots. Moreover, our knots bound smoothly embedded height four gropes in $D^4$, an a priori stronger condition than being 2-solvable. We use new lower bounds for the 4-genus arising from $L^{(2)}$-signature defects associated to meta-metabelian representations of the fundamental group.
The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere whose complement has abelian fundamental group. Our characterisation is in terms of classical and computable 3-dimensional knot invariants. For each $n$, this provides conditions that imply a knot is topologically $n$-shake slice, directly analogous to the result of Freedman and Quinn that a knot with trivial Alexander polynomial is topologically slice.
Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.
A knot in a solid torus defines a map on the set of (smooth or topological) concordance classes of knots in $S^3$. This set admits a group structure, but a conjecture of Hedden suggests that satellite maps never induce interesting homomorphisms: we give new evidence for this conjecture in both categories. First, we use Casson-Gordon signatures to give the first obstruction to a slice pattern inducing a homomorphism on the topological concordance group, constructing examples with every winding number besides $\pm 1$. We then provide subtle examples of satellite maps which map arbitrarily deep into the $n$-solvable filtration of [COT03], act like homomorphisms on arbitrary finite sets of knots, and yet which still do not induce homomorphisms. Finally, we verify Hedden's conjecture in the smooth category for all but one small crossing number satellite operator.
This paper presents evidence supporting the surprising conjecture that in the topological category the slice genus of a satellite knot $P(K)$ is bounded above by the sum of the slice genera of $K$ and $P(U)$. Our main result establishes this conjecture for a variant of the topological slice genus, the $\mathbb{Z}$-slice genus. As an application, we show that the $(n,1)$-cable of any 3-genus 1 knot (e.g. the figure 8 or trefoil knot) has topological slice genus at most 1. Further, we show that the lower bounds on the slice genus coming from the Tristram-Levine and Casson-Gordon signatures cannot be used to disprove the conjecture. Notably, the conjectured upper bound does not involve the algebraic winding number of the pattern $P$. This stands in stark contrast with the smooth category, where for example there are many genus 1 knots whose $(n,1)$-cables have arbitrarily large smooth 4-genera.
We give a formula for the duality structure of the 3-manifold obtained by doing zero-framed surgery along a knot in the 3-sphere, starting from a diagram of the knot. We then use this to give a combinatorial algorithm for computing the twisted Blanchfield pairing of such 3-manifolds. With the twisting defined by Casson-Gordon style representations, we use our computation of the twisted Blanchfield pairing to show that some subtle satellites of genus two ribbon knots yield non-slice knots. The construction is subtle in the sense that, once based, the infection curve lies in the second derived subgroup of the knot group, and that we identify these infection curves explicitly.