28 pages, 17 figures. Final revision includes a formula for computing the maximum Bennequin number for an iterated torus knot. Accepted for publication in Journal of Differential Geometry
Final revision. To appear in the Journal of Differential Geometry. This paper studies knots that are transversal to the standard contact structure in $\reals^3$, bringing techniques from topological knot theory to bear on their transversal classification. We say that a transversal knot type $\cTK$ is {\it transversally simple} if it is determined by its topological knot type $\cK$ and its Bennequin number. The main theorem asserts that any $\cTK$ whose associated $\cK$ satisfies a condition that we call {\em exchange reducibility} is transversally simple.
As a first application, we prove that the unlink is transversally simple, extending the main theorem in \cite{El}. As a second application we use a new theorem of Menasco (Theorem 1 of \cite{Me}) to extend a result of Etnyre \cite{Et} to prove that iterated torus knots are transversally simple. We also give a formula for their maximum Bennequin number. We show that the concept of exchange reducibility is the simplest of the constraints that one can place on $\cK$ in order to prove that any associated $\cTK$ is transversally simple. We also give examples of pairs of transversal knots that we conjecture are {\em not} transversally simple.
A knot type is exchange reducible if an arbitrary closed n-braid representative can be changed to a closed braid of minimum braid index by a finite sequence of braid isotopies, exchange moves and +/- destabilizations. In the manuscript [J Birman and NC Wrinkle, On transversally simple knots, preprint (1999)] a transversal knot in the standard contact structure for S^3 is defined to be transversally simple if it is characterized up to transversal isotopy by its topological knot type and its self-linking number. Theorem 2 of Birman and Wrinkle [op cit] establishes that exchange reducibility impl…
The main result of this paper is a negative answer to the question: are all transversal knot types transversally simple? An explicit infinite family of examples is given of closed 3-braids that define transversal knot types that are not transversally simple. The method of proof is topological and indirect.
Using convex surfaces and Kanda's classification theorem, we classify Legendrian isotopy classes of Legendrian linear curves in all tight contact structures on $T^3$. Some of the knot types considered in this article provide new examples of non transversally simple knot types.
In Theorem 1.2 of the paper math.GT/0002110 the author claimed to have proved that all transversal knots whose topological knot type is that of an iterated torus knot (we call them cable knots) are transversally simple. That theorem is false, and the Erratum math.GT/0610565 identifies the gap. The purpose of this paper is to explore the situation more deeply, in order to pinpoint exactly which cable knots are {\it not} transversally simple. The class is subtle and interesting. We will recover the strength of the main theorem in math.GT/0002110, in the sense that we will be able to prove a stro…
In math.GT/0002110 the author's Theorems 1.1 and 1.2, combined, implied that iterated torus knots are transversally simple. This result is in error and this erratum pin points the error. In "An addendum on iterated torus knots" a more subtle result is proven resulting in giving a geometric realization of the Honda-Etnyre transverse (2,3)-cable of the (2,3)-torus knot example--Appendix joint with H. Matsuda. (See math.SG/0306330 and math.GT/0610566.)
The contents of this 6-page paper have been subsumed into the 13-page paper, "A note on closed 3-braids", arXiv:0802.1072 [math.GT]. This paper is correct, but contains less information than the new one. The topological classification of knots that are closed braids is shown to lead to a classification theorem for transversal knots that are closed 3-braids. A list is given of all low crossing examples of transversally non-simple knots that are closed 3-braids.
We show that if a positive integral surgery on a knot K inside a homology sphere X with Seifert genus g(K) results in an induced knot K_n in X_n(K)=Y which has simple Floer homology, we should have n>=2g(K). Moreover, if X is the standard sphere, the three-manifold Y is a L-space and the Heegaard Floer homology groups of K are determined by its Alexander polynomial.
We give some remarks on two closely related issues as stated in the title. In particular we show that a Montesinos knot is SU(2)-simple if and only if it is a 2-bridge knot, extending a result of Zentner for 3-tangle summand pretzel knots. We conjecture with some evidence that an SU(2)-cyclic rational homology 3-sphere is an L-space.
We call a knot in the 3-sphere $SU(2)$-simple if all representations of the fundamental group of its complement which map a meridian to a trace-free element in $SU(2)$ are binary dihedral. This is a generalisation of being a 2-bridge knot. Pretzel knots with bridge number $\geq 3$ are not $SU(2)$-simple. We provide an infinite family of knots $K$ with bridge number $\geq 3$ which are $SU(2)$-simple. One expects the instanton knot Floer homology $I^\natural(K)$ of a $SU(2)$-simple knot to be as small as it can be -- of rank equal to the knot determinant $\det(K)$. In fact, the complex underlyin…
Hedden defined two knots in each lens space that, through analogies with their knot Floer homology and doubly pointed Heegaard diagrams of genus one, may be viewed as generalizations of the two trefoils in S^3. Rasmussen shows that when the `left-handed' one is in the homology class of the dual to a Berge knot of type VII, it admits an L-space homology sphere surgery. In this note we give a simple proof that these L-space homology spheres are always the Poincaré homology sphere.
A geometric characterization of the Arf invariant of a knot in the 3-sphere is given in terms of two kinds of 4-dimensional bordisms, half-gropes and Whitney towers. These types of bordisms have associated complexities class and order which filter the condition of bordism by an embedded annulus, i.e. knot concordance, and it is shown constructively that the Arf invariant is exactly the obstruction to cobording pairs of knots by half-gropes and Whitney towers of arbitrarily high class and order. This illustrates geometrically how, in the setting of knot concordance, the Vassiliev (isotopy) inva…
Let $K$ be a simple $2q$-knot with exterior $X$. We show directly how the Farber quintuple $(A,Π,α,\ell,ψ)$ determines the homotopy type of $X$ if the torsion subgroup of $A=π_q(X)$ has odd order. We comment briefly on the possible role of the EHP sequence in recovering the boundary inclusion from the duality pairings $\ell $ and $ψ$. Finally we reformulate the Farber quintuple as an hermitian self-duality of an object in an additive category with involution.
We generalize Turaev's definition of torsion invariants of pairs $(M,ξ)$, where $M$ is a 3-dimensional manifold and $ξ$ is an Euler structure on $M$ (a non-singular vector field up to homotopy relative to the boundary of $M$ and local modifications in the interior of $M$). Namely, we allow $M$ to have arbitrary boundary and $ξ$ to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's $H_1(M)$-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) Legendrian links (in particular, knots) in contact …
We study the unwheeled rational Kontsevich integral of torus knots. We give a precise formula for these invariants up to loop degree 3 and show that they appear as colorings of simple diagrams. We show that they behave under cyclic branched coverings in a very simple way. Our proof is combinatorial: it uses the results of Wheels and Wheelings and new decorations of diagrams.
Given a one-dimensional homology class in a lens space, a question related to the Berge conjecture on lens space surgeries is to determine all knots realizing the minimal rational genus of all knots in this homology class. It is known that simple knots are rational genus minimizers. In this paper, we construct many non-simple genus minimizers. This negatively answers a question of Rasmussen.
In this note we study Legendrian and transverse knots in the knot type of a (p,q)-cable of a knot K in 3-sphere. We give two structural theorems that describe when the (p,q)-cable of a Legendrian simple knot type K is also Legendrian simple.
We consider the existence of simple closed geodesics or "geodesic knots" in finite volume orientable hyperbolic 3-manifolds. Previous results show that at least one geodesic knot always exists [Bull. London Math. Soc. 31(1) (1999) 81-86], and that certain arithmetic manifolds contain infinitely many geodesic knots [J. Diff. Geom. 38 (1993) 545-558], [Experimental Mathematics 10(3) (2001) 419-436]. In this paper we show that all cusped orientable finite volume hyperbolic 3-manifolds contain infinitely many geodesic knots. Our proof is constructive, and the infinite family of geodesic knots prod…
We generalize Turaev's definition of torsion invariants of pairs (M,x), where M is a 3-dimensional manifold and x is an Euler structure on M (a non-singular vector field up to homotopy relative to bM and local modifications in int(M). Namely, we allow M to have arbitrary boundary and x to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's H_1(M)-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) pseudo-Legendrian knots (i.e. knots transversal to a given vector field), and hence to Legendria…
We give a necessary and sufficient condition for a simple closed curve on the boundary of a genus two handlebody to decompose the handlebody into (torus with one boundary component times [0,1]. We use this condition to decide whether a simple closed curve on a genus two Heegaard surface is a GOF-knot (genus one fibered knot) which induces the Heegaard splitting. By using this, we determine the number and the positions with respect to the Heegaard splittings of GOF-knots in the 3-manifolds with reducible genus two Heegaard splittings. This is another proof of results of Morimoto and Baker.
The motivation of this work is to define cohomology classes in the space of knots that are both easy to find and to evaluate, by reducing the problem to simple linear algebra. We achieve this goal by defining a combinatorial graded cochain complex, such that the elements of an explicit submodule in the cohomology define algebraic intersections with some "geometrically simple" strata in the space of knots. Such strata are endowed with explicit co-orientations, that are canonical in some sense. The combinatorial tools involved are natural generalisations (degeneracies) of usual methods using arr…
We prove the following: Let $2p + 1$ be no less than 5 and $p$ be a natural number. Let $K$ and $J$ be closed, oriented, $(2p+1)$-dimensional connected, $(p-1)$-connected, simple submanifolds of the standard $(2p+3)$-sphere. Then $K$ is equivalent to $J$ if and only if a Seifert matrix associated with a simple Seifert hypersurface for $K$ is $(-1)^p$-$S$-equivalent to that for $J$. We also discuss the $2p+1=3$ case. This result implies one of our main results: Let $μ$ be a natural number. A 1-link $A$ is pass-move equivalent to a 1-link $B$ if and only if the knot product of $A$ and $μ$ copies…
We give a simple obstruction for a knot to be amphichiral, in terms of the homology of the 2-fold branched cover. We work with unoriented knots, and so obstruct both positive and negative amphichirality.
Given a knot, we develop methods for finding the braid representative that minimizes the number of simple walks. Such braids lead to an efficient method for computing the colored Jones polynomial of $K$, following an approach developed by Armond and implemented by Hajij and Levitt. We use this method to compute the colored Jones polynomial in closed form for the knots $5_2, 6_1,$ and $7_2$. The set of simple walks can change under reflection, rotation, and cyclic permutation of the braid, and we prove an invariance property which relates the simple walks of a braid to those of its reflection u…
We show that if K is a non-trivial knot inside a homology sphere X, the rank of the knot Floer homology group associated with K is strictly bigger than the rank of the Heegaard Floer homology group associated with X.
We classify the simple sheaves microsupported along the conormal bundle of a knot. We also establish a correspondence between simple sheaves up to local systems and augmentations, explaining the underlying reason why knot contact homology representations detect augmentations.
By examining knot Floer homology, we extend a result of Ozsváth and Stipsicz and show further infinitely many Legendrian and transversely non-simple knot types among two-bridge knots. We give sufficient conditions of Legendrian and transverse non-simplicity on the continued fraction expansion of the corresponding rational number.
A physically natural potential energy for simple closed curves in $\bold R^3$ is shown to be invariant under Möbius transformations. This leads to the rapid resolution of several open problems: round circles are precisely the absolute minima for energy; there is a minimum energy threshold below which knotting cannot occur; minimizers within prime knot types exist and are regular. Finally, the number of knot types with energy less than any constant $M$ is estimated.
We prove that the class of topological knot types that are both Legendrian simple and satisfy the uniform thickness property (UTP) is closed under cabling. An immediate application is that all iterated cabling knot types that begin with negative torus knots are Legendrian simple. We also examine, for arbitrary numbers of iterations, iterated cablings that begin with positive torus knots, and establish the Legendrian simplicity of large classes of these knot types, many of which also satisfy the UTP. In so doing we obtain new necessary conditions for both the failure of the UTP and Legendrian n…
We prove that an iterated torus knot type fails the uniform thickness property (UTP) if and only if all of its iterations are positive cablings, which is precisely when an iterated torus knot type supports the standard contact structure. We also show that all iterated torus knots that fail the UTP support cabling knot types that are transversely non-simple.
We prove that a simple knot in the lens space $L(p,q)$ fibers if and only if its order in homology does not divide any remainder occurring in the Euclidean algorithm applied to the pair $(p,q)$. One corollary is that if $p=m^2$ is a perfect square, then any simple knot of order $m$ fibers, answering a question of Cebanu. More generally, we compute the leading coefficient of the Alexander polynomial of a simple knot, and we describe how to construct a minimum complexity Seifert surface for one. The methods are direct, combinatorial, and geometric.
Simple closed curves in the plane can be mapped to nontrivial knots under the action of origami foldings that allow the paper to self-intersect. We show all tame knot types may be produced in this manner, motivating the development of a new knot invariant, the fold number, defined as the minimum number of creases required to obtain an equivalent knot. We study this invariant, presenting a bound on the fold number by the diagram stick number as well as a class of torus knots with constant fold number. We also pursue a characterization of those foldings which admit nontrivial knots, giving a pro…
A minimal knot is the intersection of a topologically embedded branched minimal disk in $\mathbb{R}^4$ $\mathbb{C}^2 $ with a small sphere centered at the branch point. When the lowest order terms in each coordinate component of the embedding of the disk in $\mathbb{C}^2$ are enough to determine the knot type, we talk of a simple minimal knot. Such a knot is given by three integers $N < p,q$; denoted by $K(N,p,q)$, it can be parametrized in the cylinder as $e^{iθ}\mapsto (e^{Niθ},\sin qθ,\cos pθ)$. From this expression stems a natural representation of $K(N,p,q)$ as an $N$-braid. In this paper…
We study Legendrian knots in a cabled knot type. Specifically, given a topological knot type K, we analyze the Legendrian knots in knot types obtained from K by cabling, in terms of Legendrian knots in the knot type K. As a corollary of this analysis, we show that the (2,3)-cable of the (2,3)-torus knot is not transversely simple and moreover classify the transverse knots in this knot type. This is the first classification of transverse knots in a non-transversely-simple knot type. We also classify Legendrian knots in this knot type and exhibit the first example of a Legendrian knot that does …
We prove a complete classification theorem for loose Legendrian knots in an oriented 3-manifold, generalizing results of Dymara and Ding-Geiges. Our approach is to classify knots in a $3$-manifold $M$ that are transverse to a nowhere-zero vector field $V$ up to the corresponding isotopy relation. Such knots are called $V$-transverse. A framed isotopy class is simple if any two $V$-transverse knots in that class which are homotopic through $V$-transverse immersions are $V$-transverse isotopic. We show that all knot types in $M$ are simple if any one of the following three conditions hold: $1.$ …
We consider knot theories possessing a {\em parity}: each crossing is decreed {\em odd} or {\em even} according to some universal rule. If this rule satisfies some simple axioms concerning the behaviour under Reidemeister moves, this leads to a possibility of constructing new invariants and proving minimality and non-triviality theorems for knots from these classes, and constructing maps from knots to knots. Our main example is virtual knot theory and its simplifaction, {\em free knot theory}. By using Gauss diagrams, we show the existence of non-trivial free knots (counterexample to Turaev's …
We investigate the asymptotics of the total number of simple $4a+1$-knots with Alexander polynomial of the form $mt^2 +(1-2m) t + m$ for some $m \in [-X, X]$. Using Kearton and Levine's classification of simple knots, we give equivalent algebraic and arithmetic formulations of this counting question. In particular, this count is the same as the total number of $\mathbb{Z}[1/m]$-equivalence classes of binary quadratic forms of discriminant $1-4m$, for $m$ running through the same range. Our heuristics, based on the Cohen-Lenstra heuristics, suggest that this total is asymptotic to $X^{3/2}/\log…
Knotted trivalent graphs (KTGs) form a rich algebra with a few simple operations: connected sum, unzip, and bubbling. With these operations, KTGs are generated by the unknotted tetrahedron and Moebius strips. Many previously known representations of knots, including knot diagrams and non-associative tangles, can be turned into KTG presentations in a natural way. Often two sequences of KTG operations produce the same output on all inputs. These `elementary' relations can be subtle: for instance, there is a planar algebra of KTGs with a distinguished cycle. Studying these relations naturally lea…
The colored HOMFLY polynomials, which describe Wilson loop averages in Chern-Simons theory, possess an especially simple representation for torus knots, which begins from quantum R-matrix and ends up with a trivially-looking split W representation familiar from character calculus applications to matrix models and Hurwitz theory. Substitution of MacDonald polynomials for characters in these formulas provides a very simple description of "superpolynomials", much simpler than the recently studied alternative which deforms relation to the WZNW theory and explicitly involves the Littlewood-Richards…
We develop a model characterizing all possible knots and links arising from recombination starting with a twist knot substrate, extending previous work of Buck and Flapan. We show that all knot or link products fall into three well-understood families of knots and links, and prove that given a positive integer $n$, the number of product knots and links with minimal crossing number equal to $n$ grows proportionally to $n^5$. In the (common) case of twist knot substrates whose products have minimal crossing number one more than the substrate, we prove that the types of products are tightly presc…
A very simple expression is conjectured for arbitrary colored Jones and HOMFLY polynomials of a rich $(g+1)$-parametric family of Pretzel knots and links. The answer for the Jones and HOMFLY polynomials is fully and explicitly expressed through the Racah matrix of U_q(SU_N), and looks related to a modular transformation of toric conformal block.
We study the Chern-Simons topological quantum field theory with an inhomogeneous gauge group, a non-semi-simple group obtained from a semi-simple one by taking its semi-direct product with its Lie algebra. We find that the standard knot observables (i.e. traces of holonomies along knots) essentially vanish, but yet, the non-semi-simplicity of our gauge group allows us to consider a class of un-orthodox observables which breaks gauge invariance at one point and which lead to a non-trivial theory on long knots in $\mathbb{R}^3$. We have two main morals : 1. In the non-semi-simple case, there is …
