We show there exist tunnel number one hyperbolic 3-manifolds with arbitrarily long unknotting tunnel. This provides a negative answer to an old question of Colin Adams.
Given a knot K in S^3, let u^-(K) (respectively, u^+(K)) denote the minimum number of negative (respectively, positive) crossing changes among all unknotting sequences for K. We use knot Floer homology to construct the invariants l^-(K), l^+(K) and l(K), which give lower bounds on u^-(K), u^+(K) and the unknotting number u(K), respectively. The invariant l(K) only vanishes for the unknot, and is greater than or equal to the u^-(K). Moreover, the difference l(K)- u^-(K) can be arbitrarily large. We also present several applications towards bounding the unknotting number, the alteration number and the Gordian distance.
We show that the page at which the Lee spectral sequence collapses gives a bound on the unknotting number, u(K). In particular, for knots with u(K)<3, we show that the Lee spectral sequence must collapse at the E_2 page. An immediate corollary is that the Knight Move Conjecture is true when u(K)<3.
We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate the relation between SCI and Arnolds curve invariant St, as well as the relation with Hass and Nowiks invariant, which generalizes cowrithe. In particular, the change of SCI under {Omega}3 moves depends only on the forward/backward character of the move, similar to how the change of St or cowrithe depends only on the positive/negative quality of the move.
We provide three 3-dimensional characterizations of the Z-slice genus of a knot, the minimum genus of a locally-flat surface in 4-space cobounding the knot whose complement has cyclic fundamental group: in terms of balanced algebraic unknotting, in terms of Seifert surfaces, and in terms of presentation matrices of the Blanchfield pairing. This result generalizes to a knot in an integer homology 3-sphere and surfaces in certain simply connected signature zero 4-manifolds cobounding this homology sphere. Using the Blanchfield characterization, we obtain effective lower bounds for the Z-slice genus from the linking pairing of the double branched cover of the knot. In contrast, we show that for odd primes p, the linking pairing on the first homology of the p-fold branched cover is determined up to isometry by the action of the deck transformation group on said first homology.
This article discusses inequalities on lengths of curves on hyperbolic surfaces. In particular, a characterization is given of which topological types of curves and multicurves always have a representative that satisfies a length inequality that holds over all of moduli space.