Knots with unknotting number one and Heegaard Floer homology

We use Heegaard Floer homology to give obstructions to unknotting a knot with a single crossing change. These restrictions are particularly useful in the case where the knot in question is alternating. As an example, we use them to classify all knots with crossing number less than or equal to nine and unknotting number equal to one. We also classify alternating knots with 10 crossings and unknotting number equal to one.     

Generating functions, Fibonacci numbers and rational knots

We describe rational knots with any of the possible combinations of the properties (a)chirality, (non-)positivity, (non-)fiberedness, and unknotting number one (or higher), and determine exactly their number for a given number of crossings in terms of their generating functions. We show in particular how Fibonacci numbers occur in the enumeration of fibered achiral and unknotting number one rational knots. Then we show how to enumerate rational knots of given crossing number depending on genus and/or signature. This allows to determine the asymptotical average value of these invariants among rational knots. We give also an application to the enumeration of lens spaces.     

Donaldson's theorem,Heegaard Floer homology,and knots with unknotting number one

We establish an obstruction to unknotting an alternating knot by a single crossing change. The obstruction is lattice-theoretic in nature, and combines Donaldson's diagonalization theorem with an obstruction developed by Ozsváth and Szabó using Heegaard Floer homology. As an application, we enumerate the alternating 3-braid knots with unknotting number one, and show that each has an unknotting crossing in its standard alternating diagram.     

The almost alternating diagrams of the trivial knot

Bankwitz characterized the alternating diagrams of the trivialknot. A non-alternating diagram is called almost alternatingif one crossing change makes the diagram alternating. We characterizethe almost alternating diagrams of the trivial knot. As a corollary,we determine the unknotting number one alternating knots withthe property that the unknotting operation can be done on itsalternating diagram. Received July 3, 2007. Revised September 29, 2008.     

Knots of genus one or on the number of alternating knots of given genus

We prove that any non-hyperbolic genus one knot except the trefoil does not have a minimal canonical Seifert surface and that there are only polynomially many in the crossing number positive knots of given genus or given unknotting number.

     

Some Examples Related to 4-Genera, Unknotting Numbers and Knot Polynomials

The paper gives examples of knots with equal knot polynomials,but distinct signatures, 4-genera, double branched cover homologygroups and unknotting numbers. This generalizes some examplesgiven by Lickorish and Millett. It is also shown that thereare knots with minimal (crossing number) diagrams of differentunknotting number (thus answering a question of Bleiler), andan alternative proof is given of Rudolph's result that thereare knots of 15n crossings with unit Alexander polynomial and4-genus or unknotting number n.     

On the unknotting number of minimal diagrams

Answering negatively a question of Bleiler, we give examples of knots where the difference between minimal and maximal unknotting number of minimal crossing number diagrams grows beyond any extent.

     

Union and tangle

Shibuya proved that any union of two nontrivial knots without local knots is a prime knot. In this note, we prove it in a general setting. As an application, for any nontrivial knot, we give a knot diagram such that a single unknotting operation on the diagram cannot yield a diagram of a trivial knot.

     

Construction of non-alternating knots

We investigate the behaviour of Rasmussen's invariant  under the sharp operation on knots and obtain a lower bound for the sharp unknotting number. This bound leads us to an interesting move that transforms arbitrary knots into non-alternating knots.

     

Some applications of Tristram-Levine signatures and relation to Vassiliev invariants

Tristram and Levine introduced a continuous family of signature invariants for knots. We show that any possible value of such an invariant is realized by a knot with given Vassiliev invariants of bounded degree. We also show that one can make a knot prime preserving Alexander polynomial and Vassiliev invariants of bounded degree. Finally, the Tristram-Levine signatures are applied to obtain a condition on (signed) unknotting number.     

Unknotting tunnels in two-bridge knot and link complements

We give a complete classification of the unknotting tunnels in 2-bridge link complements, proving that only the upper and lower tunnels are unknotting tunnels. Moreover, we show that the only strongly parabolic tunnels in 2-cusped hyperbolic 3-manifolds are exactly the upper and lower tunnels in 2-bridge knot and link complements. From this, it follows that the upper and lower tunnels in 2-bridge knot and link complements must be isotopic to geodesics of length at most ln(4), where length is measured relative to maximal cusps. Moreover, the four dual unknotting tunnels in a 2-bridge knot complement, which together with the upper and lower tunnels form the set of all known unknotting tunnels for these knots, must each be homotopic to a geodesic of length at most 6ln(2). First author supported by NSF Grant DMS-93028943, second author supported by the Royal Society.     

Random state transitions of knots: a first step towards modeling unknotting by type II topoisomerases

Type II topoisomerases are enzymes that change the topology of DNA by performing strand-passage. In particular, they unknot knotted DNA very efficiently. Motivated by this experimental observation, we investigate transition probabilities between knots. We use the BFACF algorithm to generate ensembles of polygons in Z³ of fixed knot type. We introduce a novel strand-passage algorithm which generates a Markov chain in knot space. The entries of the corresponding transition probability matrix determine state-transitions in knot space and can track the evolution of different knots after repeated strand-passage events. We outline future applications of this work to DNA unknotting.     

$H(2)$-Unknotting Number of a Knot

An $H(2)$-move is a local move of a knot which is performed by adding a half-twisted band. It is known an $H(2)$-move is an unknotting operation. We define the $H(2)$-unknotting number of a knot $K$ to be the minimum number of $H(2)$-moves needed to transform K into a trivial knot. We give several methods to estimate the $H(2)$-unknotting number of a knot. Then we give tables of $H(2)$-unknotting numbers of knots with up to 9 crossings.     

Knot Floer Homology of (1, 1)-Knots

We present a combinatorial method for a calculation of the knot Floer homology of (1, l)-knots, and then demonstrate it for nonalternating (1, 1)-knots with 10 crossings and the pretzel knots of type (−2,m, n). Our calculations determine the unknotting numbers and 4-genera of the pretzel knots of this type.Mathematics Subject Classiffications (2000). 57M27, 57M25     

On Transverse Knots and Branched Covers

We study contact manifolds that arise as cyclic branched coversof transverse knots in the standard contact 3-sphere. We discussproperties of these contact manifolds and describe them in termsof open books and contact surgeries. In many cases we show thatsuch branched covers are contactomorphic for smoothly isotopictransverse knots with the same self-linking number. These pairsof knots include most of the nontransversely simple knots ofBirman–Menasco and Ng–Ozsváth–Thurston.     

Destabilizing Heegaard splittings of knot exteriors

We give a necessary and sufficient condition for Heegaard splittings of knot exteriors to admit destabilizations. As an application, we show the following: let K₁ and K₂ be a pair of knots which is introduced by Morimoto as an example giving degeneration of tunnel number under connected sum. The Heegaard splitting of the exterior of K₁#K₂ derived from certain minimal unknotting tunnel systems of K₁ and K₂ is stabilized.     

On a class of hyperbolic 3-orbifolds of small volume and small heegaard genus associated to 2-bridge links

We consider a class of hyperbolic 3-orbifoldsO(α/β); the underlying topological space of such an orbifold is the 3-sphere and the singular set is obtained by adding the two standard (upper and lower) unknotting tunnels to a 2-bridge linkL(α/β) (and associating branching order two to both unknotting tunnels). These 3-orbifolds are extremal with respect to the notion of Heegaard genus or Heegaard number of 3-orbifolds; it is to be expected that they are also extremal with respect to the volume, that is the smallest volume hyperbolic 3-orbifolds should belong to this or some closely related class. We show that an orbifoldO(α/β) has a uniqueD ₂-covering by an orbifoldℒ _n(α/β) wose space is the 3-sphere and whose singular set is the same 2-bridge linkL(α/β) used for the construction ofO(α/β); moreoverO(α/β) is hyperbolic if and only ifℒ _n(α/β) is hyperbolic. As the volumes of the orbifoldsℒ _n(α/β) are known resp. can be computed, this allows to compute the volumes of the orbifoldsO(α/β). The problem of computation of volumes remains open for some closely related classes of 3-orbifolds which are also extremal with respect to the Heegaard genus (for example associating a branching order bigger than two to one or both unknotting tunnels).     

On diagrammatic bounds of knot volumes and spectral invariants

In recent years, several families of hyperbolic knots have been shown to have both volume and λ₁ (first eigenvalue of the Laplacian) bounded in terms of the twist number of a diagram, while other families of knots have volume bounded by a generalized twist number. We show that for general knots, neither the twist number nor the generalized twist number of a diagram can provide two-sided bounds on either the volume or λ₁. We do so by studying the geometry of a family of hyperbolic knots that we call double coil knots, and finding two-sided bounds in terms of the knot diagrams on both the volume and on λ₁. We also extend a result of Lackenby to show that a collection of double coil knot complements forms an expanding family iff their volume is bounded.     

Cobordism of disk knots

We study cobordisms and cobordisms rel boundary of PL locally-flat disk knots D ⁿ⁻² ↪ D ⁿ . Any two disk knots are cobordant if the cobordisms are not required to fix the boundary sphere knots, and any two even-dimensional disk knots with isotopic boundary knots are cobordant rel boundary. However, the cobordism rel boundary theory of odd-dimensional disk knots is more subtle. Generalizing results of J. Levine on the cobordism of sphere knots, we define disk knot Seifert matrices and show that two higher-dimensional disk knots with isotopic boundaries are cobordant rel boundary if and only if their disk knot Seifert matrices are algebraically cobordant. We also ask which algebraic cobordism classes can be realized given a fixed boundary knot and provide a complete classification when the boundary knot has no 2-torsion in its middle-dimensional Alexander module. In the course of this classification, we establish a close connection between the Blanchfield pairing of a disk knot and the Farber-Levine torsion pairing of its boundary knot (in fact, for disk knots satisfying certain connectivity assumptions, the disk knot Blanchfield pairing will determine the boundary Farber-Levine pairing). In addition, we study the dependence of disk knot Seifert matrices on choices of Seifert surface, demonstrating that all such Seifert matrices are rationally S-equivalent, but not necessarily integrally S-equivalent.