arXiv subjects
Publications and source records attributed to Duncan McCoy.
We prove results exploring the relationship between the fundamental group and the second Betti number of minimal symplectic fillings of lens spaces. These results unify and generalize several disparate facts appearing in the literature. The Fibonacci numbers make a cameo appearance.
Work of Ni and Zhang has shown that for the torus knot $T_{r,s}$ with $r>s>1$ every surgery slope $p/q \geq \frac{30}{67}(r^2-1)(s^2-1)$ is a characterizing slope. In this paper, we show that this can be lowered to a bound which is linear in $rs$, namely, $p/q\geq \frac{43}{4}(rs-r-s)$. The main technical ingredient in this improvement is to show that if $Y$ is an $L$-space bounding a sharp 4-manifold which is obtained by $p/q$-surgery on a knot $K$ in $S^3$ and $p/q$ exceeds $4g(K)+4$, then the Alexander polynomial of $K$ is uniquely determined by $Y$ and $p/q$. We also show that if $p/q$-surgery on $K$ bounds a sharp 4-manifold, then $S^3_{p'/q'}(K)$ bounds a sharp 4-manifold for all $p'/q'\geq p/q$.
For $p\geq 1$ one can define a generalization of the unknotting number $tu_p$ called the $p$th untwisting number which counts the number of null-homologous twists on at most $2p$ strands required to convert the knot to the unknot. We show that for any $p\geq 2$ the difference between the consecutive untwisting numbers $tu_{p-1}$ and $tu_p$ can be arbitrarily large. We also show that torus knots exhibit arbitrarily large gaps between $tu_1$ and $tu_2$.
The algebraic genus of a knot is an invariant that arises when one considers upper bounds for the topological slice genus coming from Freedman's theorem that Alexander polynomial one knots are topologically slice. This paper develops null-homologous twisting operations as a tool for studying the algebraic genus and, consequently, for bounding the topological slice genus above. As applications we give new upper bounds on the algebraic genera of torus knots and satellite knots.
Using an obstruction based on Donaldson's theorem, we derive strong restrictions on when a Seifert fibered space $Y = F(e; \frac{p_1}{q_1}, \ldots, \frac{p_k}{q_k})$ over an orientable base surface $F$ can smoothly embed in $S^4$. This allows us to classify precisely when $Y$ smoothly embeds provided $e > k/2$, where $e$ is the normalized central weight and $k$ is the number of singular fibers. Based on these results and an analysis of the Neumann-Siebenmann invariant $\overlineμ$, we make some conjectures concerning Seifert fibered spaces which embed in $S^4$. Finally, we also provide some applications to doubly slice Montesinos links, including a classification of the smoothly doubly slice odd pretzel knots up to mutation.
A slope $p/q$ is a characterising slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that when $K$ is a hyperbolic knot its set of characterising slopes contains all but finitely many slopes $p/q$ with $q \geq 3$. We prove stronger results for hyperbolic $L$-space knots, showing that all but finitely many non-integer slopes are characterising. The proof is obtained by combining Lackenby's proof that for a hyperbolic knot any slope $p/q$ with $q$ sufficiently large is characterising with genus bounds derived from Heegaard Floer homology.
We establish an inequality which gives strong restrictions on when the standard definite plumbing intersection lattice of a Seifert fibered space over $S^2$ can embed into a standard diagonal lattice, and give two applications. First, we answer a question of Neumann-Zagier on the relationship between Donaldson's theorem and Fintushel-Stern's $R$-invariant. We also give a short proof of the characterisation of Seifert fibered spaces which smoothly bound rational homology $S^1 \times D^3$'s.
We show that if $p/q$-surgery on a nontrivial knot $K$ yields the branched double cover of an alternating knot or link, then $|p/q|\leq 4g(K)+3$. This generalises a bound for lens space surgeries first established by Rasmussen. We also show that all surgery coefficients yielding the double branched cover of an alternating knot or link must be contained in an interval of width two and this full range can be realised only if $K$ is a cable knot. The work of Greene and Gibbons shows that if $S^3_{p/q}(K)$ bounds a sharp 4-manifold $X$, then the intersection form of $X$ takes the form of a changemaker lattice. We extend this to show that the intersection form is determined uniquely by the knot $K$, the slope $p/q$ and the Betti number $b_2(X)$.
A slope $p/q$ is a characterizing slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that for each torus knot its set of characterizing slopes contains all but finitely many non-integer slopes. This generalizes work of Ni and Zhang who established such a result for $T_{5,2}$. Along the way we show that if two knots $K$ and $K'$ in $S^3$ have homeomorphic $p/q$-surgeries, then for $q\geq 3$ and $p$ sufficiently large we can conclude that $K$ and $K'$ have the same genera and Alexander polynomials. This is achieved by consideration of the absolute grading on Heegaard Floer homology.
This thesis is concerned with the question of when the double branched cover of an alternating knot can arise by Dehn surgery on a knot in $S^3$. We approach this problem using a surgery obstruction, first developed by Greene, which combines Donaldson's Diagonalization Theorem with the $d$-invariants of Ozsv{á}th and Szab{ó}'s Heegaard Floer homology. This obstruction shows that if the double branched cover of an alternating knot or link $L$ arises by surgery on $S^3$, then for any alternating diagram the lattice associated to the Goeritz matrix takes the form of a changemaker lattice. By analyzing the structure of changemaker lattices, we show that the double branched cover of $L$ arises by non-integer surgery on $S^3$ if and only if $L$ has an alternating diagram which can be obtained by rational tangle replacement on an almost-alternating diagram of the unknot. When one considers half-integer surgery the resulting tangle replacement is simply a crossing change. This allows us to show that an alternating knot has unknotting number one if and only if it has an unknotting crossing in every alternating diagram. These techniques also produce several other interesting results: they have applications to characterizing slopes of torus knots; they produce a new proof for a theorem of Tsukamoto on the structure of almost-alternating diagrams of the unknot; and they provide several bounds on surgeries producing the double branched covers of alternating knots which are direct generalizations of results previously known for lens space surgeries. The thesis begins with an exposition of the changemaker surgery obstruction, giving an amalgamation of results due to Gibbons, Greene and the author. It then gives background material on alternating knots and changemaker lattices. The latter part of the thesis is then taken up with the applications of this theory.
We give infinitely many examples of 2-bridge knots for which the topological and smooth slice genera differ. The smallest of these is the 12-crossing knot $12a255$. These also provide the first known examples of alternating knots for which the smooth and topological genera differ.
We show that if the branched double cover of an alternating link arises as $p/q \in \mathbb{Q} \setminus \mathbb{Z}$ surgery on a knot in $S^3$, then this is exhibited by a rational tangle replacement in an alternating diagram.
We prove that if an alternating knot has unknotting number one, then there exists an unknotting crossing in any alternating diagram. This is done by showing that the obstruction to unknotting number one developed by Greene in his work on alternating 3-braid knots is sufficient to identify all unknotting number one alternating knots. As a consequence, we also get a converse to the Montesinos trick: an alternating knot has unknotting number one if its branched double cover arises as half-integer surgery on a knot in $S^3$. We also reprove a characterisation of almost-alternating diagrams of the unknot originally due to Tsukamoto.