Classification of alternating knots with tunnel number one

This paper gives a complete classification of all alternating knots with tunnel number one, and all their unknotting tunnels. We prove that the only such knots are two-bridge knots and certain Montesinos knots.Comment: 38 pages, 26 figures; to appear in Communications in Analysis and Geometr

An upper bound on Reidemeister moves

We provide an explicit upper bound on the number of Reidemeister moves required to pass between two diagrams of the same link. This leads to a conceptually simple solution to the equivalence problem for links.Comment: 40 pages, 14 figures; v2: very minor change

The efficient certification of knottedness and Thurston norm

We show that the problem of determining whether a knot in the 3-sphere is non-trivial lies in NP. This is a consequence of the following more general result. The problem of determining whether the Thurston norm of a second homology class in a compact orientable 3-manifold is equal to a given integer is in NP. As a corollary, the problem of determining the genus of a knot in the 3-sphere is in NP. We also show that the problem of determining whether a compact orientable 3-manifold has incompressible boundary is in NP.Comment: 101 pages, 24 figures; v2 contains some improvements suggested by the referee, which have strengthened the main theorem

Adding high powered relations to large groups

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. The main theorem of the paper is as follows. Let G be a finitely generated, large group and let g_1,...,g_r be a collection of elements of G. Then G/> is also large, for infinitely many integers n. Furthermore, when G is free, this holds for all but finitely many n. These results have the following application to Dehn surgery. Let M be a compact orientable 3-manifold with boundary a torus. Suppose that the 3-manifold obtained by Dehn filling some slope on the boundary has large fundamental group. Then this is true for infinitely many filling slopes.Comment: 15 pages, 7 figures; v2: minor corrections and improved exposition; to appear in Mathematical Research Letter

Heegaard splittings and the pants complex

We define integral measures of complexity for Heegaard splittings based on the graph dual to the curve complex and on the pants complex defined by Hatcher and Thurston. As the Heegaard splitting is stabilized, the sequence of complexities turns out to converge to a non-trivial limit depending only on the manifold. We then use a similar method to compare different manifolds, defining a distance which converges under stabilization to an integer related to Dehn surgeries between the two manifolds.Comment: This is the version published by Algebraic & Geometric Topology on 11 July 200