Negative-Definite Plumbings and New Unknotting Numbers

Abstract

We use Neumann's normal form to decide whether the double branched cover of a knot bounds a negative-definite plumbing tree in either orientation, starting from the recognised Seifert or graph-manifold structure of the cover. For many non-alternating knots with at most thirteen crossings whose unknotting numbers were unknown, this identifies the cases in which the Heegaard Floer homology of the cover can be computed from such a plumbing, and shows for most of the others that it cannot. We determine 112 new unknotting numbers. For 43 of them, the lower bound rests on Heegaard Floer homology computed from the plumbing; for the other 69, it comes from linking pairings and from a theorem of McCoy and Park on special alternating knots. Finally, we show that the knot 13n1587 is a further explicit counterexample to the Bernhard--Jablan conjecture, after 13n3370.