A transverse knot is a knot that is transverse to the planes of the standard contact structure on real 3-space. In this paper we prove the Markov Theorem for transverse braids, which states that two transverse closed braids that are isotopic as transverse knots are also isotopic as transverse braids. The methods of the proof are based on Birman and Menasco's proof of the Markov Theorem in their recent paper (BM02), modified to the transverse setting. The modification is straightforward until we get to the special case of preferred longitudes, where we need some new machinery. We use techniques from earlier work by the author with Birman (BW00), by Birman and Menasco ((BM4), for example), and develop new methods from Cromwell's paper on arc-presentations (Cr95).
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 prove that there is a knot $K$ transverse to $ξ_{std}$, the tight contact structure of $S^3$, such that every contact 3-manifold $(M, ξ)$ can be obtained as a contact covering branched along $K$. By contact covering we mean a map $φ: M \to S^3$ branched along $K$ such that $ξ$ is contact isotopic to the lifting of $ξ_{std}$ under $φ$.
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 show that a transverse link in a contact structure supported by an open book decomposition can be transversely braided. We also generalize Markov's theorem on when the closures of two braids represent (transversely) isotopic links.
We prove that the so-called t algebra of braids and ties supports a Markov trace. Further, by using this trace in the Jones' recipe, we define invariant polynomials for classical knots and singular knots. Our invariants have three parameters. The invariant of classical knots is an extension of the Homflypt polynomial and the invariant of singular knots is an extension of an invariant of singular knots previously defined by S. Lambropoulou and the second author.
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.
We define an invariant of based transverse links, as a well-defined element inside the equivariant Heegaard Floer cohomology of its branched double cover, defined by Lipschitz, Hendricks, and Sarkar. We prove the naturality and functoriality of equivariant Heegaard Floer cohomology for branched double covers of $S^3$ along based knots, and then prove that our transverse link invariant $c_{\mathbb{Z}_{2}}(ξ_{K})$ is an well-defined element which is always nonvanishing and functorial under certain classes of symplectic cobordisms, and describe its behavior under negative stabilization. It follow…
In this paper we first give a one-move version of Markov's braid theorem for knot isotopy in $S^3$ that sharpens the classical theorem. Then a relative version of Markov's theorem concerning a fixed braided portion in the knot. We also prove an analogue of Markov's theorem for knot isotopy in knot complements. Finally we extend this last result to prove a Markov theorem for links in an arbitrary orientable 3--manifold.
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 recent joint works of the present author with M.Prasolov and V.Shastin a new technique for distinguishing Legendrian knots has been developed. In this paper the technique is extended further to provide a tool for distinguishing transverse knots. It is shown that the equivalence problem for transverse knots with trivial orientation-preserving symmetry group is algorithmically solvable. In a future paper the triviality condition for the orientation-preserving symmetry group will be dropped.
We consider vector fields on knot/link complements in $S^3$ which are transverse to the fibres of a fibration of the complement over a circle. We prove that a large class of fibred knots/links, including all non-torus fibred 2-bridge knots, has the following property: any vector field transverse to the fibres of the fibration of the complement must possess periodic orbits representing all possible knot and link types.
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 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…
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.
A correspondence is studied by H. Matsuda between front projections of Legendrian links in the standard contact structure for 3-space and rectangular diagrams. In this paper, we introduce braided rectangular diagrams, and study a relationship with Legendrian links in the standard contact structure for 3-space. We show Alexander and Markov Theorems for Legendrian links in 3-space.
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…
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 …
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…
We give a new proof of Markov's classical theorem relating any two closed braid representations of the same knot or link. The proof is based upon ideas in a forthcoming paper by the authors, "Stabilization in the braid groups". The new proof of the classical Markov theorem is used by Nancy Wrinkle in her forthcoming manuscript "The Markov Theorem for transverse knots".
Withdrawn and replaced by two related manuscripts: (1) "Stabilization in the braid groups I:MTWS", published in Geometry and Topology Volume 10 (2006), 413-540, arXiv:math.GT/0310279, and (2) "Stabilization in the braid groups II: Transversal simplicity of knots", Geometry and Topology Volume 10 (2006), to appear, arXiv:math,GT/0310280.
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…
In this paper we classify all Markov traces on Iwahori-Hecke algebras associated with the finite Coxeter groups of type B. We then use these traces for constructing Jones-type invariants for oriented knots inside a solid torus, and finally we give skein-theoretical interpretations.
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…
We explore properties of braids such as their fractional Dehn twist coefficients, right-veeringness, and quasipositivity, in relation to the transverse invariant from Khovanov homology defined by Plamenevskaya for their closures, which are naturally transverse links in the standard contact $3$-sphere. For any $3$-braid $β$, we show that the transverse invariant of its closure does not vanish whenever the fractional Dehn twist coefficient of $β$ is strictly greater than one. We show that Plamenevskaya's transverse invariant is stable under adding full twists on $n$ or fewer strands to any $n$-b…
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.
The notion of a virtual knot introduced by L. Kauffman induces the notion of a virtual braid. It is closely related with a welded braid of R. Fenn, R. Rimanyi and C. Rourke. Alexander's and Markov's theorems for virtual knots and braids are proved. Similar results for welded knots and braids are also proved.
In this paper we study the theory of {\it pseudo knots}, which are knots with some missing crossing information, and we introduce and study the theory of {\it pseudo tied links} and the theory of {\it pseudo knotoids}. In particular, we first present a braiding algorithm for pseudo knots and we then introduce the $L$-moves in that setting, with the use of which we formulate a sharpened version of the analogue of the Markov theorem for pseudo braids. Then we introduce and study the theory of {\it tied pseudo links}, that generalize the notion of tied links, and we exploit the relation between t…
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…
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.$ …
O. Plamenevskaya associated to each transverse knot K an element of the Khovanov homology of K. In this paper, we give two refinements of Plamenevskaya's invariant, one valued in Bar-Natan's deformation of the Khovanov complex and another as a cohomotopy element of the Khovanov spectrum. We show that the first of these refinements is invariant under negative flypes and SZ moves; this implies that Plamenevskaya's class is also invariant under these moves. We go on to show that for small-crossing transverse knots K, both refinements are determined by the classical invariants of K.
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…
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.
A plane curve is a knot diagram in which each crossing is replaced by a 4-valent vertex, and so are dual to a subset of planar quadrangulations. The aim of this paper is to introduce a new tool for sampling diagrams via sampling of plane curves. At present the most efficient method for sampling diagrams is rejection sampling, however that method is inefficient at even modest sizes. We introduce Markov chains that sample from the space of plane curves using local moves based on Reidemeister moves. By then mapping vertices on those curves to crossings we produce random knot diagrams. Combining t…
We consider oriented knots and links in a handlebody of genus $g$ through appropriate braid representatives in $S^3$, which are elements of the braid groups $B_{g,n}$. We prove a geometric version of the Markov theorem for braid equivalence in the handlebody, which is based on the $L$-moves. Using this we then prove two algebraic versions of the Markov theorem. The first one uses the $L$-moves. The second one uses the Markov moves and conjugation in the groups $B_{g,n}$. We show that not all conjugations correspond to isotopies.
Study of certain isotopy classes of a finite collection of immersed circles without triple or higher intersections on closed oriented surfaces can be thought of as a planar analogue of virtual knot theory where the genus zero case corresponds to classical knot theory. Alexander and Markov theorems for the genus zero case are known where the role of groups is played by twin groups, a class of right angled Coxeter groups with only far commutativity relations. The purpose of this paper is to prove Alexander and Markov theorems for higher genus case where the role of groups is played by a new clas…
The Yokonuma-Hecke algebras are quotients of the modular framed braid group and they support Markov traces. In this paper, which is sequel to Juyumaya and Lambropoulou (2007), we explore further the structures of the $p$-adic framed braids and the $p$-adic Yokonuma-Hecke algebras constructed in Juyumaya and Lambropoulou (2007), by means of dense sub-structures approximating $p$-adic elements. We also construct a $p$-adic Markov trace on the $p$-adic Yokonuma-Hecke algebras and we approximate the values of the $p$-adic trace on $p$-adic elements. Surprisingly, the Markov traces do not re-scale …
