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.
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…
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.
We define an algebraic/combinatorial object on the front projection $Σ$ of a Legendrian knot called a Morse complex sequence, abbreviated MCS. This object is motivated by the theory of generating families and provides new connections between generating families, normal rulings, and augmentations of the Chekanov-Eliashberg DGA. In particular, we place an equivalence relation on the set of MCSs on $Σ$ and construct a surjective map from the equivalence classes to the set of chain homotopy classes of augmentations of $L_Σ$, where $L_Σ$ is the Ng resolution of $Σ$. In the case of Legendrian knot c…
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.
We use parameterized Morse theory on the pages of an open book decomposition to efficiently encode the contact topology in terms of a labelled graph on a disjoint union of tori (one per binding component). This construction allows us to generalize the notion of the front projection of a Legendrian knot from the standard contact $\mathbb{R}^3$ to arbitrary closed contact $3$-manifolds. We describe a complete set of moves on such front diagrams, extending the standard Legendrian Reidemeister moves, and we give a combinatorial formula to compute the Thurston-Bennequin number of a nullhomologous L…
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…
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…
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.
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.
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.
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.
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.
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.
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…
For a Legendrian knot L in R^3 with a chosen Morse complex sequence (MCS) we construct a differential graded algebra (DGA) whose differential counts "chord paths" in the front projection of L. The definition of the DGA is motivated by considering Morse-theoretic data from generating families. In particular, when the MCS arises from a generating family we give a geometric interpretation of our chord paths as certain broken gradient trajectories which we call "gradient staircases". Given two equivalent MCS's we prove the corresponding linearized complexes of the DGA are isomorphic. If the MCS ha…
An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative gradient flow are compactified in a suitable way, such that gluing them appropriately leads to a pseudo-cycle and a well-defined integral homology class in singular homology.
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…
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…
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 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.
We apply Heegaard-Floer homology theory to establish generalized slicing Bennequin inequalities closely related to a recent result of T. Mrowka and Y. Rollin proved using Seiberg-Witten monopoles.
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…
We show how to orient moduli spaces of holomorphic disks with boundary on an exact Lagrangian immersion of a spin manifold into complex n-space in a coherent manner. This allows us to lift the coefficients of the contact homology of Legendrian spin submanifolds of standard contact (2n+1)-space from Z_2 to Z. We demonstrate how the Z-lift provides a more refined invariant of Legendrian isotopy. We also apply contact homology to produce lower bounds on double points of certain exact Lagrangian immersions into C^n and again including orientations strengthens the results. More precisely, we prove …
The paper is a summary of the results of the authors concerning computations of symplectic invariants of Weinstein manifolds and contains some examples and applications. Proofs are sketched. The detailed proofs will appear in our forthcoming paper. In the Appendix written by S. Ganatra and M. Maydanskiy it is shown that the results of this paper imply P. Seidel's conjecture equating symplectic homology with Hochschild homology of a certain Fukaya category.
We provide a translation between Chekanov's combinatorial theory for invariants of Legendrian knots in the standard contact R^3 and a relative version of Eliashberg and Hofer's Contact Homology. We use this translation to transport the idea of ``coherent orientations'' from the Contact Homology world to Chekanov's combinatorial setting. As a result, we obtain a lifting of Chekanov's differential graded algebra invariant to an algebra over Z[t,t^{-1}] with a full Z grading.
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.
