13 pages, 5 figures We have added the Theorem saying that the groups of Vassiliev invariants of transverse and of framed knots are canonically isomorphic when the relative framing of transverse knots is well-defined. We have also added new examples where relative framing distinguishes transverse knots isotopic as ordinary knots
It is well-known that a knot in a contact manifold $(M,C)$ transverse to a trivialized contact structure possesses the natural framing given by the first of the trivialization vectors along the knot. If the Euler class $e_C\in H^2(M)$ of $C$ is nonzero, then $C$ is nontrvivializable and the natural framing of transverse knots does not exist.
We construct a new framing-type invariant of transverse knots called relative framing. It is defined for all tight $C$, all closed irreducible atoroidal $M$, and many other cases when $e_C\neq 0$ and the classical framing invariant is not defined. We show that the relative framing distinguishes many transverse knots that are isotopic as unframed knots. It also allows one to define the Bennequin invariant of a zero-homologous transverse knot in contact manifolds $(M,C)$ with $e_C\neq 0$.
Our recent result is that the groups of Vassiliev-Goussarov invariants of transverse and of framed knots are canonically isomorphic, when $C$ is trivialized and transverse knots have the natural framing. We show that the same result is true whenever the relative framing is well-defined.
For an integer $n$, write $X_n(K)$ for the 4-manifold obtained by attaching a 2-handle to the 4-ball along the knot $K\subset S^3$ with framing $n$. It is known that if $n< \overline{\text{tb}}(K)$, then $X_n(K)$ admits the structure of a Stein domain, and moreover the adjunction inequality implies there is an upper bound on the value of $n$ such that $X_n(K)$ is Stein. We provide examples of knots $K$ and integers $n\geq \overline{\text{tb}}(K)$ for which $X_n(K)$ is Stein, answering an open question in the field. In fact, our family of examples shows that the largest framing such that the ma…
We exhibit pairs of transverse knots with the same self-linking number that are not transversely isotopic, using the recently defined knot Floer homology invariant for transverse knots and some algebraic refinements of it.
We give a combinatorial treatment of transverse homology, a new invariant of transverse knots that is an extension of knot contact homology. The theory comes in several flavors, including one that is an invariant of topological knots and produces a three-variable knot polynomial related to the A-polynomial. We provide a number of computations of transverse homology that demonstrate its effectiveness in distinguishing transverse knots, including knots that cannot be distinguished by the Heegaard Floer transverse invariants or other previous invariants.
Using the combinatorial approach to knot Floer homology, we define an invariant for Legendrian knots in the three-sphere, which takes values in link Floer homology. This invariant can be used to also construct an invariant of transverse knots.
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 study naturality properties of the transverse invariant in knot Floer homology under contact (+1)-surgery. This can be used as a calculational tool for the transverse invariant. As a consequence, we show that the Eliashberg-Chekanov twist knots E_n are not transversely simple for n odd and n>3.
We study contact manifolds that arise as cyclic branched covers of transverse knots in the standard contact 3-sphere. We discuss properties of these contact manifolds and describe them in terms of open books and contact surgeries. In many cases we show that such branched covers are contactomorphic for smoothly isotopic transverse knots with the same self-linking number. These pairs of knots include most of the non-transversely simple knots of Birman-Menasco and Ng-Ozsvath-Thurston.
In this paper we will show how to classify Legendrian and transverse knots in the knot type of "sufficiently positive" cables of a knot in terms of the classification of the underlying knot. We will also completely explain the phenomena of "Legendrian large" cables. These are Legendrian representatives of cables that have Thurston-Bennequin invariant larger that the framing coming from the cabling torus. Such examples have only recently, and unexpectedly, been found. We will also give criteria that determines the classification of Legendrian and transverse knots the the knot type of negative c…
We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. In this paper, we improve the previous approach in order to compute the transverse invariant. We define a new combinatorial complex that computes knot Floer homology and identify the BRAID invariant of transverse knots and links in the ho…
We analyze transverse doubled knots in the standard contact 3-space by using spanned clasp disks. As applications, we will estimate their self-linking number and furthermore we will show that in many cases, transverse twist knots with the maximal self-linking number are unique up to transverse isotopy.
In this paper we show that there are two symplectic surfaces in the 4-ball which bound the same transverse knot, have the same topology (as abstract surfaces), and are distinguished by the fundamental groups of their complements.
In this paper we classify Legendrian and transverse knots in the knot types obtained from positive torus knots by cabling. This classification allows us to demonstrate several new phenomena. Specifically, we show there are knot types that have non-destabilizable Legendrian representatives whose Thurston-Bennequin invariant is arbitrarily far from maximal. We also exhibit Legendrian knots requiring arbitrarily many stabilizations before they become Legendrian isotopic. Similar new phenomena are observed for transverse knots. To achieve these results we define and study "partially thickenable" t…
Using the grid diagram formulation of knot Floer homology, Ozsvath, Szabo and Thurston defined an invariant of transverse knots in the tight contact 3-sphere. Shortly afterwards, Lisca, Ozsvath, Stipsicz and Szabo defined an invariant of transverse knots in arbitrary contact 3-manifolds using open book decompositions. It has been conjectured that these invariants agree where they are both defined. We prove this fact by defining yet another invariant of transverse knots, showing that this third invariant agrees with the two mentioned above.
We define an invariant of transverse links in the standard contact 3-sphere as a distinguished element of the Khovanov homology of the link. The quantum grading of this invariant is the self-linking number of the link. For knots, this gives a bound on the self-linking number in terms of Rasmussen's invariant s(K). We prove that our invariant vanishes for transverse knot stabilizations, and that it is non-zero for quasipositive braids. We also discuss a connection to Heegaard Floer invariants.
We construct a new invariant of transverse links in the standard contact structure on R^3. This invariant is a doubly filtered version of the knot contact homology differential graded algebra (DGA) of the link. Here the knot contact homology of a link in R^3 is the Legendrian contact homology DGA of its conormal lift into the unit cotangent bundle S^*R^3 of R^3, and the filtrations are constructed by counting intersections of the holomorphic disks of the DGA differential with two conormal lifts of the contact structure. We also present a combinatorial formula for the filtered DGA in terms of b…
We study the effect of surgery on transverse knots in contact 3-manifolds. In particular, we investigate the effect of such surgery on open books, the Heegaard Floer contact invariant, and tightness. The overarching theme of this paper is to show that in many contexts, surgery on transverse knots is more natural than surgery on Legendrian knots. Besides reinterpreting surgery on Legendrian knots in terms of transverse knots, our main results on are in two complementary directions: conditions under which inadmissible transverse surgery (\textit{cf.\@} positive contact surgery on Legendrian knot…
Plamenevskaya defined an invariant of transverse links as a distinguished class in the even Khovanov homology of a link. We define an analog of Plamenevskaya's invariant in the odd Khovanov homology of Ozsváth, Rasmussen, and Szabó. We show that the analog is also an invariant of transverse links and has similar properties to Plamenevskaya's invariant. We also show that the analog invariant can be identified with an equivalent invariant in the reduced odd Khovanov homology. We demonstrate computations of the invariant on various transverse knot pairs with the same topological knot type and sel…
In 1997, Chekanov gave the first example of a Legendrian nonsimple knot type: the $m(5_2)$ knot. Epstein, Fuchs, and Meyer extended his result by showing that there are at least $n$ different Legendrian representatives with maximal Thurston--Bennequin number of the twist knot $K_{-2n}$ with crossing number $2n+1$. In this paper we give a complete classification of Legendrian and transverse representatives of twist knots. In particular, we show that $K_{-2n}$ has exactly $\lceil\frac{n^2}2\rceil$ Legendrian representatives with maximal Thurston--Bennequin number, and $\lceil\frac{n}{2}\rceil$ t…
We use the contact invariant defined in [2] to construct a new invariant of Legendrian knots in Kronheimer and Mrowka's monopole knot homology theory (KHM), following a prescription of Stipsicz and Vértesi. Our Legendrian invariant improves upon an earlier Legendrian invariant in KHM defined by the second author in several important respects. Most notably, ours is preserved by negative stabilization. This fact enables us to define a transverse knot invariant in KHM via Legendrian approximation. It also makes our invariant a more likely candidate for the monopole Floer analogue of the "LOSS" in…
Given a transverse link in the standard contact 3-sphere, we study the contact manifold that arises as a branched double cover of the sphere. We give a contact surgery description of such manifolds, which allows to determine the Heegaard Floer contact invariants for some of them. By example of the knots of Birman--Menasco, we show that these contact manifolds may fail to distinguish between non-isotopic transverse knots. We also investigate the relation between the Heegaard Floer contact invariants of the branched double covers and the Khovanov homology, in particular, the transverse link inva…
We prove that a nicely fibered link (by which we mean the binding of an open book) in a tight contact manifold $(M,ξ)$ with zero Giroux torsion has a transverse representative realizing the Bennequin bound if and only if the contact structure it supports (since it is also the binding of an open book) is $ξ.$ This gives a geometric reason for the non-sharpness of the Bennequin bound for fibered links. We also note that this allows the classification, up to contactomorphism, of maximal self-linking number links in these knot types. Moreover, in the standard tight contact structure on $S^3$ we cl…
We present an atlas of Legendrian knots in standard contact three-space. This gives a conjectural Legendrian classification for all knots with arc index at most 9, including alternating knots through 7 crossings and nonalternating knots through 9 crossings. Our method involves a computer search of grid diagrams and applies to transverse knots as well. The atlas incorporates a number of new, small examples of phenomena such as transverse nonsimplicity and non-maximal non-destabilizable Legendrian knots, and gives rise to new infinite families of transversely nonsimple knots.
We show that for a large class of contact 3-manifolds the groups of Vassiliev invariants of Legendrian and of framed knots are canonically isomorphic. As a corollary, we obtain that the group of finite order Arnold's $J^+$-type invariants of wave fronts on a surface $F$ is isomorphic to the group of Vassiliev invariants of framed knots in the spherical cotangent bundle $ST^*F$ of $F$. On the other hand we construct the first examples of contact manifolds for which Vassiliev invariants of Legendrian knots can distinguish Legendrian knots that realize isotopic framed knots and are homotopic as L…
Using contact-geometric techniques and sutured Floer homology, we present an alternate formulation of the minus and plus version of knot Floer homology. We further show how natural constructions in the realm of contact geometry give rise to much of the formal structure relating the various versions of Heegaard Floer homology. In addition, to a Legendrian or transverse knot K in a contact manifold (Y,ξ), we associate distinguished classes EHL(K) in the minus-version of knot floer homology and EHIL(K) in the plus version, which are each invariant under Legendrian or transverse isotopies of K. Th…
In this note, we define a new invariant of a Legendrian knot in a contact manifold using an open book decomposition supporting the contact structure. We define the support genus sg(L) of a Legendrian knot L in a contact 3-manifold (M, ξ) as the minimal genus of a page of an open book of M supporting the contact structure ξsuch that L sits on a page and the framing given by the contact structure and by the page agree. We show any null-homologous loose knot in an overtwisted contact structure has support genus zero. To prove this, we observe any topological knot or link in any 3-manifold M sits …
We investigate the line between tight and overtwisted for surgeries on fibred transverse knots in contact 3-manifolds. When the contact structure $ξ_K$ is supported by the fibred knot $K \subset M$, we obtain a characterisation of when negative surgeries result in a contact structure with non-vanishing Heegaard Floer contact class. To do this, we leverage information about the contact structure $ξ_{\overline{K}}$ supported by the mirror knot $\overline{K} \subset -M$. We derive several corollaries about the existence of tight contact structures, L-space knots outside $S^3$, non-planar contact …
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 define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.
A holonomic knot is a knot in 3-space which arises as the 2-jet extension of a smooth function on the circle. A holonomic knot associated to a generic function is naturally framed by the blackboard framing of the knot diagram associated to the 1-jet extension of the function. There are two classical invariants of framed knot diagrams: the Whitney index (rotation number) W and the self linking number S. For a framed holonomic knot we show that W is bounded above by the negative of the braid index of the knot, and that the sum of W and |S| is bounded by the negative of the Euler characteristic o…
We show that for a big class of contact manifolds the groups of order $\leq n$ invariants (with values in an arbitrary Abelian group) of Legendrian, of transverse and of framed knots are canonically isomorphic. On the other hand for an arbitrary cooriented contact structure on $S^1\times S^2$ with the nonzero Euler class of the contact bundle we construct examples of Legendrian homotopic Legendrian knots $K_1$ and $K_2$ such that they realize isotopic framed knots but can be distinguished by finite order invariants of Legendrian knots in $S^1\times S^2$. We construct similar examples for a big…
We prove that each overtwisted contact structure has knot types that are represented by infinitely many distinct transverse knots all with the same self-linking number. In some cases, we can even classify all such knots. We also show similar results for Legendrian knots and prove a "folk" result concerning loose transverse and Legendrian knots (that is knots with overtwisted complements) which says that such knots are determined by their classical invariants (up to contactomorphism). Finally we discuss how these results partially fill in our understanding of the "geography" and "botany"' probl…
We study Legendrian and transverse realizations of the negative torus knots $T_{(p,-q)}$ in all contact structures on the $3$-sphere. We give a complete classification of the strongly non-loose transverse realizations and the strongly non-loose Legendrian realizations with the Thurston-Bennequin invariant smaller than $-pq$. Additionally, we show that the strongly non-loose transverse realizations $T$ are classified by their non-zero invariants $\mathfrak T(T)$ in the minus version of the knot Floer homology. However, not all the elements of $HFK^-(T_{(p,q)})$ can be realized. Along the way, w…
It is shown that Legendrian (resp. transverse) cable links in the 3-sphere with its standard tight contact structure, i.e. links consisting of an unknot and a cable of that unknot, are classified by their oriented link type and the classical invariants (Thurston-Bennequin invariant and rotation number in the Legendrian case, self-linking number in the transverse case). The analogous result is proved for torus knots in the 1-jet space of the circle with its standard tight contact structure.
We study the behavior of Legendrian and transverse knots under the operation of connected sums. As a consequence we show that there exist Legendrian knots that are not distinguished by any known invariant. Moreover, we classify Legendrian knots in some non-Legendrian simple knot types.
We define a coalgebra structure for open strings transverse to any framed codimension 2 submanifold. When the submanifold is a knot in R^3, we show this structure recovers a specialization of the Ng cord algebra, a non-trivial knot invariant which is not determined by a number of other knot invariants.
Consider a transverse knot which is the binding of an open book for the ambient contact manifold. In this paper, we show that the transverse invariants defined by Lisca, Ozsvath, Stipsicz, and Szabo (LOSS) are nonvanishing for such transverse knots. This is true regardless of whether or not the ambient contact structure is tight. We also prove a vanishing theorem for LOSS's Legendrian and transverse invariants. As a corollary, we show that if (T,π) is an open book with connected binding, then the complement of T has no Giroux torsion.
Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the surfaces using the maps they induce on perturbed sutured Floer homology. Along the way, we show that the cobordism map induced by an ascending surface in a Weinstein cobordism preserves the transverse invariant in knot Floer homology.
A Legendrian or transverse knot in an overtwisted contact 3-manifold is non-loose if its complement is tight and loose if its complement is overtwisted. We define three measures of the extent of non-looseness of a non-loose knot and show they are distinct.
In the note we study Legendrian and transverse knots in rationally null-homologous knot types. In particular we generalize the standard definitions of self-linking number, Thurston-Bennequin invariant and rotation number. We then prove a version of Bennequin's inequality for these knots and classify precisely when the Bennequin bound is sharp for fibered knot types. Finally we study rational unknots and show they are weakly Legendrian and transversely simple. This version of the paper corrects the definition of rational self-linking number in the previous and published version of the paper. Wi…
We derive new existence results for tight contact structures on certain 3-manifolds which can be presented as surgery along specific knots in S^3. Indeed, we extend our earlier results on knots with maximal Thurston-Bennequin number being equal to 2g-1 to knots for which the maximal self-linking number satisfies the same equality. In the argument (using contact surgery) we define an invariant for transverse knots in contact 3-manifolds under the assumption that either the knot is null-homologous or the 3-manifold has no S^1xS^2-factor in its prime decomposition, and we study its properties usi…
We produce the first examples of closed, tight contact 3-manifolds which become overtwisted after performing admissible transverse surgeries. Along the way, we clarify the relationship between admissible transverse surgery and Legendrian surgery. We use this clarification to study a new invariant of transverse knots - namely, the range of slopes on which admissible transverse surgery preserves tightness - and to provide some new examples of knot types which are not uniformly thick. Our examples also illuminate several interesting new phenomena, including the existence of hyperbolic, universall…
We define relative versions of the classical invariants of Legendrian and transverse knots in contact 3-manifolds for knots that are homologous to a fixed reference knot. We show these invariants are well-defined and give some basic properties.
A standard convexity condition on the boundary of a symplectic manifold involves an induced positive contact form (and contact structure) on the boundary; the corresponding concavity condition involves an induced negative contact form. We present two methods of symplectically attaching 2-handles to convex boundaries of symplectic 4-manifolds along links transverse to the induced contact structures. One method results in concave boundaries and depends on a fibration of the link complement over S^1; in this case the handles can be attached with any framing larger than a lower bound determined by…
Let E be a circle bundle over a Riemann surface that supports a contact structure transverse to the fibers. This paper presents a combinatorial definition of a differential graded algebra (DGA) that is an invariant of Legendrian knots in E. The invariant generalizes Chekanov's combinatorial DGA invariant of Legendrian knots in the standard contact 3-space using ideas from Eliashberg, Givental, and Hofer's contact homology. The main difficulty lies in dealing with what are ostensibly 1-parameter families of generators for the DGA; these are solved using ``Morse-Bott'' techniques. As an applicat…
We study relative symplectic cobordisms between contact submanifolds, and in particular relative symplectic cobordisms to the empty set, that we call hats. While we make some observations in higher dimensions, we focus on the case of transverse knots in the standard 3-sphere, and hats in blow-ups of the (punctured) complex projective planes. We apply the construction to give constraints on the algebraic topology of fillings of double covers of the 3-sphere branched over certain transverse quasipositive knots.
By use of a variety of techniques (most based on constructions of quasipositive knots and links, some old and others new), many smooth 3-manifolds are realized as transverse intersections of complex surfaces in complex 3-space with strictly pseudoconvex 5-spheres. These manifolds not only inherit interesting intrinsic structures (eg, they have canonical Stein-fillable contact structures), they also have extrinsic structures of a knot-theoretical nature (eq, the 3-sphere arises in infinitely many distinct ways). This survey is not comprehensive; a number of questions are left open for future wo…
We prove that transverse links in any contact manifold $(M,ξ)$ can be realized as a sub-binding of a compatible open book decomposition. We define the support genus of a transverse link and prove that the support genus of a transverse knot is zero if there is an overtwisted disk disjoint from it. Next, we find a relationship between the support genus of a transverse link and its Legendrian approximation.
Given a transverse knot $K$ in a three dimensional contact manifold $(Y,α)$, in [13] Colin, Ghiggini, Honda and Hutchings define a hat version of embedded contact homology for $K$, that we call $\widehat{ECK}(K,Y,α)$, and conjecture that it is isomorphic to the knot Floer homology $\widehat{HFK}(K,Y)$. We define here a full version $ECK(K,Y,α)$ and generalise the definitions to the case of links. We prove then that, if $Y = S^3$, $ECK$ and $\widehat{ECK}$ categorify the (multivariable) Alexander polynomial of knots and links, obtaining expressions analogue to that for knot and link Floer homol…
A closed braid naturally gives rise to a transverse link in the standard contact 3-space. We study the effect of the dynamical properties of the braid monodromy, such as right-veering, on the contact-topological properties of the transverse link and its transverse invariants in knot Floer and Khovanov homologies. In particular, we show that a 3-braid is right-veering if and only if the (hat-version of) the Heegaard Floer transverse invariant is non-zero. For higher-index braids, we show that this invariant is non-zero whenever the braid monodromy has the fractional Dehn twist coefficient C>1. …
Take a sequence of contactomorphisms of a contact three-manifold that $C^0$-converges to a homeomorphism. If the images of a Legendrian knot limit to a smooth knot under this sequence, we show that it is Legendrian. We prove this by establishing that, on one hand, non-Legendrian knots admit a type of contact-squeezing onto transverse knots while, on the other, Legendrian knots do not admit such a squeezing. The non-trivial input from contact topology that is needed is (a local version of) the Thurston--Bennequin inequality.
For any knot T transverse to a given contact structure on a 3-manifold, we exhibit a Legendrian two-component link such that T equals the transverse push-off of one of the link components and contact (+1)-surgery on the link has the same effect as a Lutz twist along T.
