A rigorous foundation for the contact homology of Legendrian submanifolds in a contact manifold of the form $P\times \R$ where $P$ is an exact symplectic manifold is established. The class of such contact manifolds include 1-jet spaces of smooth manifolds. As an application, contact homology is used to provide (smooth) isotopy invariants of submanifolds of $\R^n$ and, more generally, invariants of self transverse immersions into $\R^n$ up to restricted regular homotopies. When $n=3$, this application is the first step in extending and providing a contact geometric underpinning for the new knot invariants of Ng
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.
The main result of this paper is that, off of a `fundamental class' in degree 1, the linearized Legendrian contact homology obeys a version of Poincare duality between homology groups in degrees k and -k. Not only does the result itself simplify calculations, but its proof also establishes a framework for analyzing cohomology operations on the linearized Legendrian contact homology.
We give a combinatorial description of the Legendrian differential graded algebra associated to a Legendrian knot in PxR, where P is a punctured Riemann surface. As an application we show that for any integer k and any homology class h in H_1(PxR) there are k Legendrian knots all representing h which are pairwise smoothly isotopic through a formal Legendrian isotopy but which lie in mutually distinct Legendrian isotopy classes.
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.
Contact homology for Legendrian submanifolds in standard contact $(2n+1)$-space is rigorously defined using moduli spaces of holomorphic disks with Lagrangian boundary conditions in complex $n$-space. It provides new invariants of Legendrian isotopy. Using these invariants the theory of Legendrian isotopy is shown to be very rich. For example, infinite families of pairwise non-isotopic Legendrian $n$-spheres and $n$-tori, which are indistinguishable by means of previously known invariants, are constructed. In a sense, the definition of contact homology presented in this paper is a high dimensi…
We give a combinatorial description of the Legendrian contact homology algebra associated to a Legendrian link in $S^1\times S^2$ or any connected sum $\#^k(S^1\times S^2)$, viewed as the contact boundary of the Weinstein manifold obtained by attaching 1-handles to the 4-ball. In view of the surgery formula for symplectic homology, this gives a combinatorial description of the symplectic homology of any 4-dimensional Weinstein manifold (and of the linearized contact homology of its boundary). We also study examples and discuss the invariance of the Legendrian homology algebra under deformation…
We prove that the LOSS and GRID invariants of Legendrian links in knot Floer homology behave in certain functorial ways with respect to decomposable Lagrangian cobordisms in the symplectization of the standard contact structure on $\mathbb{R}^3$. Our results give new, computable, and effective obstructions to the existence of such cobordisms.
We use the spanning tree model for Khovanov homology to study Legendrian links. This leads to an alternative proof for Ng's Khovanov bound for the Thurston-Bennequin number and to both a necessary and a sufficient condition for this bound to be sharp.
We establish an upper bound for the Thurston-Bennequin number of a Legendrian link using the Khovanov homology of the underlying topological link. This bound is sharp in particular for all alternating links, and knots with nine or fewer crossings.
Legendrian contact homology (LCH) and its associated differential graded algebra are powerful non-classical invariants of Legendrian knots. Linearization makes the LCH computationally tractable at the expense of discarding nonlinear (and noncommutative) information. To recover some of the nonlinear information while preserving computability, we introduce invariant cup and Massey products - and, more generally, an A_\infty structure - on the linearized LCH. We apply the products and A_\infty structure in three ways: to find infinite families of Legendrian knots that are not isotopic to their Le…
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 use monopole Floer homology for sutured manifolds to construct invariants of Legendrian knots in a contact 3-manifold. These invariants assign to a knot K in Y elements of the monopole knot homology KHM(-Y,K), and they strongly resemble the knot Floer homology invariants of Lisca, Ozsváth, Stipsicz, and Szabó. We prove several vanishing results, investigate their behavior under contact surgeries, and use this to construct many examples of non-loose knots in overtwisted 3-manifolds. We also show that these invariants are functorial with respect to Lagrangian concordance.
In this paper we construct an $\mathcal{A}_\infty$-category associated to a Legendrian submanifold of jet spaces. Objects of the category are augmentations of the Chekanov algebra $\mathcal{A}(Λ)$ and the homology of the morphism spaces forms a new set of invariants of Legendrian submanifolds called the bilinearised Legendrian contact homology. Those are constructed as a generalisation of linearised Legendrian contact homology using two augmentations instead of one. Considering similar constructions with more augmentations leads to the higher order compositions map in the category and generali…
We consider S^1-families of Legendrian knots in the standard contact R^3. We define the monodromy of such a loop, which is an automorphism of the Chekanov-Eliashberg contact homology of the starting (and ending) point. We prove this monodromy is a homotopy invariant of the loop. We also establish techniques to address the issue of Reidemeister moves of Lagrangian projections of Legendrian links. As an application, we exhibit a loop of right-handed Legendrian torus knots which is non-contractible in the space Leg(S^1,R^3) of Legendrian knots, although it is contractible in the space Emb(S^1,R^3…
We define a differential graded algebra associated to Legendrian knots in Seifert fibered spaces with transverse contact structures. This construction is distinguished from other combinatorial realizations of contact homology invariants by the existence of orbifold points in the Reeb orbit space of the contact manifold. These orbifold points are images of the exceptional fibers of the Seifert fibered manifold, and they play a key role in the definitions of the differential and the grading, as well as the proof of invariance. We apply the invariant to distinguish Legendrian knots whose homology…
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…
Let $L\subset J^1(M)$ be a Legendrian submanifold of the 1-jet space of a Riemannian $n$-manifold $M$. A correspondence is established between rigid flow trees in $M$ determined by $L$ and boundary punctured rigid pseudo-holomorphic disks in $T^\ast M$, with boundary on the projection of $L$ and asymptotic to the double points of this projection at punctures, provided $n\le 2$, or provided $n>2$ and the front of $L$ has only cusp edge singularities. This result, in particular, shows how to compute the Legendrian contact homology of $L$ in terms of Morse theory.
We establish a long exact sequence for Legendrian submanifolds L in P x R, where P is an exact symplectic manifold, which admit a Hamiltonian isotopy that displaces the projection of L off of itself. In this sequence, the singular homology H_* maps to linearized contact cohomology CH^* which maps to linearized contact homology CH_* which maps to singular homology. In particular, the sequence implies a duality between the kernel of the map (CH_*\to H_*) and the cokernel of the map (H_* \to CH^*). Furthermore, this duality is compatible with Poincare duality in L in the following sense: the Poin…
The Chekanov-Eliashberg differential graded algebra of a Legendrian knot L is a rich source of Legendrian knot invariants, as is the theory of generating families. The set P(L) of homology groups of augmentations of the Chekanov-Eliashberg algebra is an invariant, as is a count of objects from the theory of generating families called graded normal rulings. This article gives two results demonstrating the usefulness of computing the homology group of an augmentation using a combinatorial interpretation of a generating family called a Morse complex sequence. First, we show that if the projection…
We show that if a Legendrian knot in standard contact ${\bb R}^3$ possesses a generating family then there exists an augmentation of the Chekanov-Eliashberg DGA so that the associated linearized contact homology (LCH) is isomorphic to singular homology groups arising from the generating family. In this setting we show Sabloff's duality result for LCH may be viewed as Alexander duality. In addition, we provide an explicit construction of a generating family for a front diagram with graded normal ruling and give a new approach to augmentation $\Rightarrow$ normal ruling.
In this short note, we provide a criterion for DGA-homotopy of augmentations of Chekanov-Eliashberg algebra of disconnected Legendrian submanifolds. We apply the criterion to obtain the extension of geography results of Bourgeois and Galant concerning bilinearized Legendrian contact homology to the case of disconnected Legendrian submanifolds.
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…
This article is a continuation of [15]. For Legendrian surfaces in $1$-jet spaces, we prove that the Cellular DGA defined in [15] is stable tame isomorphic to the Legendrian contact homology DGA.
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.
Loose Legendrian n-submanifolds, for n at least 2, were introduced by Murphy and proved to be flexible in the h-principle sense: any two loose Legendrian submanifolds that are formally Legendrian isotopic are also actually Legendrian isotopic. Legendrian contact homology is a Floer theoretic invariant that associates a differential graded algebra (DGA) to a Legendrian submanifold. The DGA of a loose Legendrian submanifold is trivial.
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.
In this paper, we study contact surgeries along Legendrian links in the standard contact 3-sphere. On one hand, we use algebraic methods to prove the vanishing of the contact Ozsváth-Szabó invariant for contact $(+1)$-surgery along certain Legendrian two-component links. The main tool is a link surgery formula for Heegaard Floer homology developed by Manolescu and Ozsváth. On the other hand, we use contact-geometric argument to show the overtwistedness of the contact 3-manifolds obtained by contact $(+1)$-surgeries along Legendrian two-component links whose two components are linked in some sp…
This research announcement continues the study of the symplectic homology of Weinstein manifolds undertaken in [BEE1] where the symplectic homology, as a vector space, was expressed in terms of the Legendrian homology algebra of the attaching spheres of critical handles. Here we express the product and $\BV$-operator of symplectic homology in that context.
In this note, we classify Stein fillings of an infinite family of contact 3-manifolds up to diffeomorphism. Some contact 3-manifolds in this family can be obtained by Legendrian surgeries on $(S^3,ξ_{std})$ along certain Legendrian 2-bridge knots. We also classify Stein fillings, up to symplectic deformation, of an infinite family of contact 3-manifolds which can be obtained by Legendrian surgeries on $(S^3,ξ_{std})$ along certain Legendrian twist knots. As a corollary, we obtain a classification of Stein fillings of an infinite family of contact hyperbolic 3-manifolds up to symplectic deforma…
If a Legendrian knot $Λ$ in the standard contact 3-sphere bounds an orientable exact Lagrangian surface $Σ$ in the standard symplectic 4-ball, then the genus of $Σ$ is equal to the slice genus of (the smooth knot underlying) $Λ$, the sum of the Thurston-Bennequin number of L and the Euler characteristic of $Σ$ is zero as well as the rotation number of $Λ$, and moreover, the linearized contact homology of $Λ$ with respect to the augmentation induced by $Σ$ is isomorphic to the (singular) homology of $Σ$. It was asked in arXiv:1212.1519 whether the converse of this statement is true. We give a n…
Let $Λ$ be a link of Legendrian spheres in the boundary of a subcritical $2n$-dimensional Weinstein manifold $X$. We show that, under some geometrical assumptions, the computation of the Legendrian contact homology of $Λ$ can be reduced to a computation of Legendrian contact homology in 1--jet spaces. Since the Legendrian contact homology in 1--jet spaces is well studied, this gives a simplified way to compute the Legendrian contact homology of $Λ$. We restrict to the case when the attaching spheres of the subcritical handles of $X$ do not interact with each other, and we assume that there are…
We prove that every closed, connected contact 3-manifold can be obtained from the 3-sphere with its standard contact structure by contact surgery of coefficient plus or minus 1 along a Legendrian link. As a corollary, we derive a result of Etnyre and Honda about symplectic cobordisms (in slightly stronger form).
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…
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 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 use the Ozsváth-Szabó contact invariants to distinguish between tight contact structures obtained by Legendrian surgeries on stabilized Legendrian links in tight contact 3-manifolds. We also discuss the implication of our result on the tight contact structures on the Brieskon homology spheres $-Σ(2,3,6n-1)$.
Let L be a Legendrian knot in R^3 with the standard contact structure. In [10], a map was constructed from equivalence classes of Morse complex sequences for L, which are combinatorial objects motivated by generating families, to homotopy classes of augmentations of the Legendrian contact homology algebra of L. Moreover, this map was shown to be a surjection. We show that this correspondence is, in fact, a bijection. As a corollary, homotopic augmentations determine the same graded normal ruling of L and have isomorphic linearized contact homology groups. A second corollary states that the cou…
In this paper we study the growth rate of a version of Legendrian contact homology, which we call strip Legendrian contact homology, in 3-dimensional contact manifolds and its relation to the topological entropy of Reeb flows. We show that: if for a pair of Legendrian knots in a contact 3-manifold $(M,ξ)$ the strip Legendrian contact homology is defined and has exponential homotopical growth with respect to the action, then every Reeb flow on $(M,ξ)$ has positive topological entropy. This has the following dynamical consequence: for all Reeb flows (even degenerate ones) on $(M,ξ)$ the number o…
In this paper, we determine the group of contact transformations modulo contact isotopies for Legendrian circle bundles over closed surfaces of nonpositive Euler characteristic. These results extend and correct those presented by the first author in a former work. The main ingredient we use is connectedness of certain spaces of embeddings of surfaces into contact 3-manifolds. In the third section, this connectedness question is studied in more details with a number of (hopefully instructive) examples.
We present the first examples of elements in the fundamental group of the space of Legendrian links in the standard contact 3-sphere whose action on the Legendrian contact DGA is of infinite order. This allows us to construct the first families of Legendrian links that can be shown to admit infinitely many Lagrangian fillings by Floer-theoretic techniques. These families include the first known Legendrian links with infinitely many fillings that are not rainbow closures of positive braids, and the smallest Legendrian link with infinitely many fillings known to date. We discuss how to use our e…
We extend the sutured framework to the case of Legendrians with boundary. Using ideas from Lagrangian Floer theory, we define the cylindrical and the wrapped sutured Legendrian homologies of a pair of sutured Legendrians. They fit together into an exact sequence, and the exact triangle is invariant along an Legendrian isotopy fixed at the boundary. For a single Legendrian, we also define a wrapped version of its Chekanov-Eliashberg dga. Our main example of sutured Legendrian is obtained via the unit conormal construction : a submanifold $N \subset M$, such that $\partial N \subset \partial M$ …
We define a differential graded algebra for Legendrian graphs and tangles in the standard contact Euclidean three space. This invariant is defined combinatorially by using ideas from Legendrian contact homology. The construction is distinguished from other versions of Legendrian contact algebra by the vertices of Legendrian graphs. A set of countably many generators and a generalized notion of equivalence are introduced for invariance. We show a van Kampen type theorem for the differential graded algebras under the tangle replacement. Our construction recovers many known algebraic construction…
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 relate the version of rational Symplectic Field Theory for exact Lagrangian cobordisms introduced in [5] with linearized Legendrian contact homology. More precisely, if $L\subset X$ is an exact Lagrangian submanifold of an exact symplectic manifold with convex end $Λ\subset Y$, where $Y$ is a contact manifold and $Λ$ is a Legendrian submanifold, and if $L$ has empty concave end, then the linearized Legendrian contact cohomology of $Λ$, linearized with respect to the augmentation induced by $L$, equals the rational SFT of $(X,L)$. Following ideas of P. Seidel, this equality in combination wi…
We give a computation of the Legendrian contact homology (LCH) DGA for an arbitrary generic Legendrian surface $L$ in the $1$-jet space of a surface. As input we require a suitable cellular decomposition of the base projection of $L$. A collection of generators is associated to each cell, and the differential is given by explicit matrix formulas. In the present article, we prove that the equivalence class of this cellular DGA does not depend on the choice of decomposition, and in the sequel [35] we use this result to show that the cellular DGA is equivalent to the usual Legendrian contact homo…
