We prove that two Legendrian knots in a contact structure which is trivializable as a plane bundle are Legendrian isotopic provided that (1) they are isotopic as framed knots, (2) they have the same rotation number with respect to some parallelization of the contact structure, and (3) there is an overtwisted disk disjoint with both knots. (For zero-homologous knots the condition (1) reads as: (1a) they are isotopic as topological knots, and (1b) they have the same Thurston-Bennequin invariant.) Then we discuss the situation when condition (3) is not fulfilled, in particular that of non-loose Legendrian knots.
We show that a null-homologous transverse knot K in the complement of an overtwisted disk in a contact 3-manifold is the boundary of a Legendrian ribbon if and only if it possesses a Seifert surface S such that the self-linking number of K with respect to S satisfies $\sel(K,S)=-χ(S)$. In particular, every null-homologous topological knot type in an overtwisted contact manifold can be represented by the boundary of a Legendrian ribbon. Finally, we show that a contact structure is tight if and only if every Legendrian ribbon minimizes genus in its relative homology class.
The paper deals with topologically trivial Legendrian knots in tight and overtwisted contact 3-manifolds. The first part contains a thorough exposition of the proof of the classification of topologically trivial Legendrian knots (i.e. Legendrian knots bounding embedded 2-disks) in tight contact 3-manifolds. This part was essentially written more than 10 years ago, but only a short version, without the detailed proofs, was published (in CRM Proc. Lecture Notes, Vol. 15, 1998). That paper also briefly discussed the overtwisted case. The final part of the present paper contains a more systematic …
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 prove that loose Legendrian knots in a rational homology contact 3-sphere, satisfying some additional hypothesis, are Legendrian isotopic if and only if they have the same classical invariants. The proof requires a result of Dymara on loose Legendrian knots and Eliashberg's classification of overtwisted contact structures on 3-manifolds.
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.
We classify Legendrian unknots in overtwisted contact structures on $S^3$. In particular, we show that up to contact isotopy for every pair $(n,\pm(n-1))$ with $n>0$ there are exactly two oriented non-loose Legendrian unknots in $S^3$ with Thurston-Bennequin invariant $n$ and rotation number $\pm(n-1)$. (Only one overtwisted contact structure on $S^3$ admits a non-loose unknot $K$ and the classical invariants have to be $\mathrm{tb}(K)=n$ and $\mathrm{rot}(K)=\pm(n-1)$ for $n>1$.) This can be used to prove two results attributed to Y.~Che\-kan\-ov: The first implies that the contact mapping cl…
We introduce a theory of virtual Legendrian knots. A virtual Legendrian knot is a cooriented wavefront on an oriented surface up to Legendrian isotopy of its lift to the unit cotangent bundle and stabilization and destablization of the surface away from the wavefront. We show that the groups of Vassiliev invariants of virtual Legendrian knots and of virtual framed knots are isomorphic. In particular, Vassiliev invariants cannot be used to distinguish virtual Legendrian knots that are isotopic as virtual framed knots and have equal virtual Maslov numbers.
In this paper, the support genus of all Legendrian right handed trefoil knots and some other Legendrian knots is computed. We give examples of Legendrian knots in the three-sphere with the standard contact structure which have positive support genus with arbitrarily negative Thurston-Benniquin invariant. This answers a question in Onaran.
For a knot $K$ the cube number is a knot invariant defined to be the smallest $n$ for which there is a cube diagram of size $n$ for $K$. There is also a Legendrian version of this invariant called the \emph{Legendrian cube number}. We will show that the Legendrian cube number distinguishes the Legendrian left hand torus knots with maximal Thurston-Bennequin number and maximal rotation number from the Legendrian left hand torus knots with maximal Thurston-Bennequin number and minimal rotation number.
We present two different constructions of invariants for Legendrian knots in the standard contact space $\R^3$. These invariants are defined combinatorially, in terms of certain planar projections, and are useful in distinguishing Legendrian knots that have the same classical invariants but are not Legendrian isotopic.
We show that all positive contact surgeries on every Legendrian figure-eight knot in $(S^3, ξ_{\rm{std}})$ result in an overtwisted contact structure. The proof uses convex surface theory and invariants from Heegaard Floer homology.
In this paper, sufficient conditions for contact $(+1)$-surgeries along Legendrian knots in contact rational homology 3-spheres to have vanishing contact invariants or to be overtwisted are given. They can be applied to study contact $(\pm1)$-surgeries along Legendrian links in the standard contact 3-sphere. We also obtain a sufficient condition for contact $(+1)$-surgeries along Legendrian two-component links in the standard contact 3-sphere to be overtwisted via their front projections.
For a knot K the cube number is a knot invariant defined to be the smallest n for which there is a cube diagram of size n for K. We will show that the cube number detects chirality in all cases computed thus far, and distinguishes certain legendrian knots.
In this article, we consider the maximal value of the Thurston--Bennequin invariant of Legendrian knots which topologically represent a fixed knot type in the standard contact 3-space and we prove a formula of the value under the connected sum operation of knots.
We give new functions of Legendrian knots derived from Legendrian fronts. These are integer-valued linear functions that are alike the Arnold basic invariant of plane curves. Various generalizations of the Arnold basic invariant have been known. In this paper, we give another extension of Arnold's idea.
We prove the equivalence of the invariants EH(L) and LOSS-(L) for oriented Legendrian knots L in the 3-sphere equipped with the standard contact structure, partially extending a previous result by Stipsicz and Vertesi. In the course of the proof we relate the sutured Floer homology groups associated with a knot complement and knot Floer homology, and define intermediate Legendrian invariants.
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 classify Legendrian knots of topological type $7_6$ having maximal Thurston--Bennequin number confirming the corresponding conjectures of Chongchitmate--Ng.
We have two results. First, we give 96 generating sets oriented singular Reidemeister moves; it is an answer to a question by Bataineh, Khaled, Elhamdadi, and Hajij who give a generating set of oriented singular Reidemeister moves using their computation. Second, in the theory of plane curve and Legendrian knots introduced by V. I. Arnold, we select which moves survive as those of Legendrian singular knots and fronts diagrammatically and explicitly.
We construct an open book decomposition compatible with a contact structure given by a rational contact surgery on a Legendrian link in the standard contact $S^3$. As an application we show that some rational contact surgeries on certain Legendrian knots induce overtwisted contact structures.
In this paper we show how to combinatorically compute the rotation class of a large family of embedded Legendrian tori in $\mathbb{R}^5$ with the standard contact form. In particular, we give a formula to compute the Maslov index for any loop on the torus and compute the Maslov number of the Legendrian torus. These formulas are a necessary component in computing contact homology. Our methods use a new way to represent knotted Legendrian tori called Lagrangian hypercube diagrams.
All knots in $R^3$ possess Seifert surfaces, and so the classical Thurston-Bennequin and rotation (or Maslov) invariants for Legendrian knots in a contact structure on $R^3$ can be defined. The definitions extend easily to null-homologous knots in any $3$-manifold $M$ endowed with a contact structure $ξ$. We generalize the definition of Seifert surfaces and use them to define these invariants for all Legendrian knots, including those that are not null-homologous, in a contact structure on the $3$-torus $T^3$. We show how to compute the Thurston-Bennequin and rotation invariants in a tight orie…
GL-racks and coloring invariants of Legendrian knots
School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, MOE, Beijing Normal University（北京师范大学数学科学学院，教育部数学与复杂系统重点实验室）；School of Mathematical Sciences, Beijing Normal University（北京师范大学数学科学学院）
We show that every tight contact structure on any of the lens spaces $L(ns^2-s+1,s^2)$ with $n\geq 2$, $s\geq 1$, can be obtained by a single Legendrian surgery along a suitable Legendrian realisation of the negative torus knot $T(s,-(sn-1))$ in the tight or an overtwisted contact structure on the 3-sphere.
It is proved in this note that the analogues of the Bennequin inequality which provide an upper bound for the Bennequin invariant of a Legendrian knot in the standard contact three dimensional space in terms of the lower degree in the framing variable of the HOMFLY and the Kauffman polynomials are not sharp. Furthermore, the relationships between these restrictions on the range of the Bennequin invariant are investigated, which leads to a new simple proof of the inequality involving the Kauffman polynomial.
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.
Let $f:S^1\to R$ be a generic map. We may use $f$ to define a new map $\tilde{f}:S^1\to R^3$ by $\tilde{f}(t) = (-f(t),f'(t),-f''(t))$, and if $f$ is an embedding then the image of $\tilde{f}$ will be a knot. Knots defined by such parametrizations are called holonomic knots. They were introduced in 1997 by Vassiliev, who proved that every knot type can be represented by a holonomic knot. Our main result is that any two holonomic knots which represent the same knot type are isotopic in the space of holonomic knots. A second result emerges through the techniques used to prove the main result: st…
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.
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 define a new algebraic structure called Legendrian racks or racks with Legendrian structure, motivated by the front-projection Reidemeister moves for Legendrian knots. We provide examples of Legendrian racks and use these algebraic structures to define invariants of Legendrian knots with explicit computational examples. We classify Legendrian structures on racks with 3 and 4 elements. We use Legendrian racks to distinguish certain Legendrian knots which are equivalent as smooth knots.
The study of the Vassiliev invariants of Legendrian knots was started by D. Fuchs and S. Tabachnikov who showed that the groups of complex-valued Vassiliev invariants of Legendrian and of framed knots in the standard contact $R^3$ are canonically isomorphic. Recently we constructed the first examples where Vassiliev invariants of Legendrian and of framed knots are different, and Vassiliev invariants of Legendrian knots distinguish Legendrian knots that are isotopic as framed knots and homotopic as Legendrian immersions. This raised the question what information about Legendrian knots can be ca…
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 classify Legendrian torus knots and figure eight knots in the tight contact structure on the 3-sphere up to Legendrian isotopy. As a corollary to this we also obtain the classification of transversal torus knots and figure eight knots up to transversal isotopy.
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 establish tools to facilitate the computation and application of the Chekanov-Eliashberg differential graded algebra (DGA), a Legendrian-isotopy invariant of Legendrian knots in standard contact three-space. More specifically, we reformulate the DGA in terms of front projection, and introduce the characteristic algebra, a new invariant derived from the DGA. We use our techniques to distinguish between several previously indistinguishable Legendrian knots and links.
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.
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.
We characterize which Legendrian $4$-plat knots in the standard contact $3$-space have exact orientable Lagrangian fillings. As a corollary, we show that the underlying smooth knot types of fillable Legendrian $4$-plats are positive.
We show that there exists a Legendrian knot with maximal Thurston-Bennequin invariant whose contact homology is trivial. We also provide another Legendrian knot which has the same knot type and classical invariants but nonvanishing contact homology.
Grid diagrams encode useful geometric information about knots in S^3. In particular, they can be used to combinatorially define the knot Floer homology of a knot K in S^3, and they have a straightforward connection to Legendrian representatives of K in (S^3, ξ_\st), where ξ_\st is the standard, tight contact structure. The definition of a grid diagram was extended to include a description for links in all lens spaces, resulting in a combinatorial description of the knot Floer homology of a knot K in L(p, q) for all p > 0. In the present article, we explore the connection between lens space gri…
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…
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.
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…
In an earlier paper we introduced rectangular diagrams of surfaces and showed that any isotopy class of a surface in the three-sphere can be presented by a rectangular diagram. Here we study transformations of those diagrams and introduce moves that allow transition between diagrams representing isotopic surfaces. We also introduce more general combinatorial objects called mirror diagrams and various moves for them that can be used to transform presentations of isotopic surfaces to each other. The moves can be divided into two types so that, vaguely speaking, type~I moves commute with type~II …
