Viterbo has conjectured that any Lagrangian in the unit co-disc bundle of a torus which is Hamiltonian isotopic to the zero-section satisfies a uniform bound on its spectral norm; a recent result by Shelukhin showed that this is indeed the case. The modest goal of this note is to explore two natural generalisations of the above geometric setting in which the bound of the spectral norm fails: first, passing to Legendrian isotopies in the contactisation of the unit co-disc bundle (Hamiltonian isotopies lift to Legendrian isotopies) and, second, considering Hamiltonian isotopies but after modifying the co-disc bundle by attaching a critical Weinstein one-handle.
We prove a Seifert-van Kampen theorem for Legendrian submanifolds and exact Lagrangian cobordisms, and use it to calculate the change in the DGA caused by critical Legendrian ambient surgery.
Let $Λ, Λ'$ be a pair of closed Legendrian submanifolds in a closed contact manifold $(Y, ξ= Ker(α))$ related by a Legendrian cobordism $W\subset (\mathbb{C}\times Y, \tildeξ=Ker(-y dx +α))$. In this note, we show that in the hypertight setting, if $Λ$ intersects a closed, weakly exact or monotone pre-Lagrangian $P\subset Y$ for reasons of Floer homology, then so does $Λ'$.
By a result due to Ziltener, there exist no closed embedded Bohr-Sommerfeld Lagrangians inside $\mathbb CP^n$ for the prequantisation bundle whose total space is the standard contact sphere. On the other hand, any embedded monotone Lagrangian torus has a canonical nontrivial cover which is a Bohr-Sommerfeld immersion. We draw the front projections for the corresponding Legendrian lifts inside a contact Darboux ball of the threefold covers of both the two-dimensional Clifford and Chekanov tori (the former is the Legendrian link of the Harvey-Lawson special Lagrangian cone), and compute the asso…
Let M be a compact symplectic manifold, and L be a closed Lagrangian submanifold which can be lifted to a Legendrian submanifold in the contactization of M. For any Legendrian deformation of L satisfying some given conditions, we get a new Lagrangian submanifold L'. We prove that the number of intersection of L and L' can be estimated from below by the sum of $Z_2$-Betti numbers of L, provided they intersect transversally.
We study the relation of an embedded Lagrangian cobordism between two closed, orientable Legendrian submanifolds of R^{2n+1}. More precisely, we investigate the behavior of the Thurston-Bennequin number and (linearized) Legendrian contact homology under this relation. The result about the Thurston-Bennequin number can be considered as a generalization of the result of Chantraine which holds when n = 1. In addition, we provide a few constructions of Lagrangian cobordisms and prove that there are infinitely many pairs of exact Lagrangian cobordant and not pairwise Legendrian isotopic Legendrian …
To investigate the rigidity and flexibility of Lagrangian cobordisms between Legendrian submanifolds, we investigate the minimal length of such a cobordism, which is a $1$-dimensional measurement of the non-cylindrical portion of the cobordism. Our primary tool is a set of real-valued capacities for a Legendrian submanifold, which are derived from a filtered version of Legendrian Contact Homology. Relationships between capacities of Legendrians at the ends of a Lagrangian cobordism yield lower bounds on the length of the cobordism. We apply the capacities to Lagrangian cobordisms realizing ver…
An exact Lagrangian submanifold $L$ in the symplectization of standard contact $(2n-1)$-space with Legendrian boundary $Σ$ can be glued to itself along $Σ$. This gives a Legendrian embedding $Λ(L,L)$ of the double of $L$ into contact $(2n+1)$-space. We show that the Legendrian isotopy class of $Λ(L,L)$ is determined by formal data: the manifold $L$ together with a trivialization of its complexified tangent bundle. In particular, if $L$ is a disk then $Λ(L,L)$ is the Legendrian unknot.
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 investigate the interactions between the Legendrian satellite construction and the existence of exact, orientable Lagrangian cobordisms between Legendrian knots. Given Lagrangian cobordisms between two Legendrian knots and between two Legendrian tangles, we construct a Lagrangian cobordism between Legendrian satellites of the knots by the closures of the tangles, with extra twists on both the top and the bottom satellite to compensate for the genus of the cobordism. If the original cobordisms were decomposable, then a decomposable cobordism between satellites exists as well, again with extr…
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 …
We obtain upper and lower bounds for the relative Gromov width of Lagrangian cobordisms between Legendrian submanifolds. Upper bounds arise from the existence of $J$-holomorphic disks with boundary on the Lagrangian cobordism that pass through the center of any given symplectically embedded ball. The areas of these disks --- and hence the sizes of these balls --- are controlled by a real-valued fundamental capacity, a quantity derived from the algebraic structure of filtered linearized Legendrian Contact Homology of the Legendrian at the top of the cobordism. Lower bounds come from explicit co…
For $1$-dimensional Legendrian submanifolds of $1$-jet spaces, we extend the functorality of the Legendrian contact homology DG-algebra (DGA) from embedded exact Lagrangian cobordisms, as in \cite{EHK}, to a class of immersed exact Lagrangian cobordisms by considering their Legendrian lifts as conical Legendrian cobordisms. To a conical Legendrian cobordism $Σ$ from $Λ_-$ to $Λ_+$, we associate an immersed DGA map, which is a diagram $$\alg(Λ_+) \stackrel{f}{\rightarrow} \alg(Σ) \stackrel{i}{\hookleftarrow} \alg(Λ_-), $$ where $f$ is a DGA map and $i$ is an inclusion map. This construction giv…
We derive constraints on Lagrangian concordances from Legendrian submanifolds of the standard contact sphere admitting exact Lagrangian fillings. More precisely, we show that such a concordance induces an isomorphism on the level of bilinearised Legendrian contact cohomology. This is used to prove the existence of non-invertible exact Lagrangian concordances in all dimensions. In addition, using a result of Eliashberg-Polterovich, we completely classify exact Lagrangian concordances from the Legendrian unknot to itself in the tight contact-three sphere: every such concordance is the trace of a…
We study Legendrian surfaces determined by cubic planar graphs. Graphs with distinct chromatic polynomials determine surfaces that are not Legendrian isotopic, thus giving many examples of non-isotopic Legendrian surfaces with the same classical invariants. The Legendrians have no exact Lagrangian fillings, but have many interesting non-exact fillings. We obtain these results by studying sheaves on a three-ball with microsupport in the surface. The moduli of such sheaves has a concrete description in terms of the graph and a beautiful embedding as a holomorphic Lagrangian submanifold of a symp…
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.
In the symplectization of standard contact $3$-space, $\mathbb R \times \mathbb R^3$, it is known that an orientable Lagrangian cobordism between a Legendrian knot and itself, also known as an orientable Lagrangian endocobordism for the Legendrian knot, must have genus $0$. We show that any Legendrian knot has a non-orientable Lagrangian endocobordism, and that the crosscap genus of such a non-orientable Lagrangian endocobordism must be a positive multiple of $4$. The more restrictive exact, non-orientable Lagrangian endocobordisms do not exist for any exactly fillable Legendrian knot but do e…
We establish a full $h-$principle ($C^0-$close, relative, parametric) for the simplification of singularities of Lagrangian and Legendrian fronts. More precisely, we prove that if there is no homotopy theoretic obstruction to simplifying the singularities of tangency of a Lagrangian or Legendrian submanifold with respect to an ambient foliation by Lagrangian or Legendrian leaves, then the simplification can be achieved by means of a Hamiltonian isotopy.
Laudenbach and Sikorav proved that closed, half-dimensional non-Lagrangian submanifolds of symplectic manifolds are immediately displaceable as long as there is no topological obstruction. From this they deduced that the $C^0$-limit of a sequence of Lagrangian submanifolds of certain manifolds is again Lagrangian, provided that the limit is smooth. In this note we extend Laudenbach and Sikorav's ideas to contact manifolds. We prove correspondingly that certain non-Legendrian submanifolds of contact manifolds can be displaced immediately without creating short Reeb chords as long as there is no…
In this paper, we construct the first families of distinct Lagrangian ribbon disks in the standard symplectic 4-ball which have the same boundary Legendrian knots, and are not smoothly isotopic or have non-homeomorphic exteriors.
We prove that any Legendrian knot in $(S^3,ξ_{std})$ bounds an exact Lagrangian surface in $\mathbb{R}^4\setminus B^4$ after a sufficient number of stabilizations. In order to show this, we construct a family combinatorial moves on knot projections with some additional data that correspond to Lagrangian cobordisms between knots.
We investigate the ramifications of the Legendrian satellite construction on the relation of Lagrangian cobordism between Legendrian knots. Under a simple hypothesis, we construct a Lagrangian concordance between two Legendrian satellites by stacking up a sequence of elementary cobordisms. This construction narrows the search for "non-decomposable" Lagrangian cobordisms and yields new families of decomposable Lagrangian slice knots. Finally, we show that the maximum Thurston-Bennequin number of a smoothly slice knot provides an obstruction to any Legendrian satellite of that knot being Lagrang…
We introduce constructions of exact Lagrangian cobordisms with cylindrical Legendrian ends and study their invariants which arise from Symplectic Field Theory. A pair $(X,L)$ consisting of an exact symplectic manifold $X$ and an exact Lagrangian cobordism $L\subset X$ which agrees with cylinders over Legendrian links $Λ_+$ and $Λ_-$ at the positive and negative ends induces a differential graded algebra (DGA) map from the Legendrian contact homology DGA of $Λ_+$ to that of $Λ_-$. We give a gradient flow tree description of the DGA maps for certain pairs $(X,L)$, which in turn yields a purely c…
For a Legendrian $(2,n)$ torus knot or link with maximal Thurston-Bennequin number, Ekholm, Honda, and Kálmán constructed $C_n$ exact Lagrangian fillings, where $C_n$ is the $n$-th Catalan number. We show that these exact Lagrangian fillings are pairwise non-isotopic through exact Lagrangian isotopy. To do that, we compute the augmentations induced by the exact Lagrangian fillings $L$ to $\mathbb{Z}_2[H_1(L)]$ and distinguish the resulting augmentations.
The technique of generating families produces obstructions to the existence of embedded Lagrangian cobordisms between Legendrian submanifolds in the symplectizations of 1-jet bundles. In fact, generating families may be used to construct a TQFT-like theory that, in addition to giving the aforementioned obstructions, yield structural information about invariants of Legendrian submanifolds. For example, the obstructions devised in this paper show that there is no generating family compatible Lagrangian cobordism between the Chekanov-Eliashberg Legendrian $m(5_2)$ knots. Further, the generating f…
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.
Embedded Lagrangian cobordisms between Legendrian submanifolds are produced from isotopy, spinning, and handle attachment constructions that employ the technique of generating families. Moreover, any Legendrian with a generating family has an immersed Lagrangian filling with a compatible generating family. These constructions are applied in several directions, in particular to a non-classical geography question: any graded group satisfying a duality condition can be realized as the generating family homology of a connected Legendrian submanifold in R^{2n+1} or in the 1-jet space of any compact…
We prove that there are at least seeds many exact embedded Lagrangian fillings for Legendrian links of type $\mathsf{ADE}$. We also provide seeds many Lagrangian fillings with certain symmetries for type $\mathsf{BCFG}$. Our main tools are $N$-graphs and the combinatorics of seed patterns of finite type.
We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of affine type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with certain symmetries as seeds of type $\tilde{\mathsf{B}}_n$, $\tilde{\mathsf{F}}_4$, $\tilde{\mathsf{G}}_2$, and $\mathsf{E}_6^{(2)}$. These families are the first known Legendrian links with infinitely many fillings that exhaust all seeds in the corresponding cluster structures. Furthermore, we show that Legendrian realization of Coxeter mutation of type $\tilde{\mathsf{D}}$ corresponds…
In any contact manifold of dimension $2n-1\geq 11$, we construct examples of closed legendrian submanifolds which are not diffeomorphic but whose lagrangian cylinders in the symplectization are hamiltonian isotopic.
In this article we define Lagrangian concordance of Legendrian knots, the analogue of smooth concordance of knots in the Legendrian category. In particular we study the relation of Lagrangian concordance under Legendrian isotopy. The focus is primarily on the algebraic aspects of the problem. We study the behavior of the classical invariants under this relation, namely the Thurston-Bennequin number and the rotation number, and we provide some examples of non-trivial Legendrian knots bounding Lagrangian surfaces in $D^4$. Using these examples, we are able to provide a new proof of the local Tho…
Given an immersed, Maslov-$0$, exact Lagrangian filling of a Legendrian knot, if the filling has a vanishing index and action double point, then through Lagrangian surgery it is possible to obtain a new immersed, Maslov-$0$, exact Lagrangian filling with one less double point and with genus increased by one. We show that it is not always possible to reverse the Lagrangian surgery: not every immersed, Maslov-$0$, exact Lagrangian filling with genus $g \geq 1$ and $p$ double points can be obtained from such a Lagrangian surgery on a filling of genus $g-1$ with $p+1$ double points. To show this, …
Arboreal singularities are an important class of Lagrangian singularities. They are conical, meaning that they can be understood by studying their links, which are singular Legendrian spaces in $S^{2n-1}_{\text{std}}$. Loose Legendrians are a class of Legendrian spaces which satisfy an $h$--principle, meaning that their geometric classification is in bijective correspondence with their topological types. For the particular case of the linear arboreal singularities, we show that constructable sheaves suffice to detect whether any closed set of an arboreal link is loose.
We make the elementary observation that the Lagrangian submanifolds of $\mathbb{C}^n$, for each $n \ge 3$, constructed by Ekholm, Eliashberg, Murphy and Smith are non-uniruled and moreover have infinite relative Gromov width. The construction of these submanifolds use exact Lagrangian caps, which obviously are non-uniruled in themselves. This property is also used to show that if a Legendrian submanifold inside a 1-jet space admits an exact Lagrangian cap then its Legendrian contact homology DGA is acyclic.
We provide in this note two relevant examples of Lagrangian cobordisms. The first one gives an example of two exact Lagrangian submanifolds which cannot be composed in an exact fashion. The second one is an example of an exact Lagrangian cobordism on which all primitive of the Liouville form is not constant on the negative end and such that the positive end is a stabilisation whereas the negative end admits augmentations. These examples emphasise point (i) of the definition of exact Lagrangian cobordisms in [6]. In order to provide such examples we construct Lagrangian immersions with single d…
We are proposing Tulczyjew's triple for contact dynamics. The most important ingredients of the triple, namely symplectic diffeomorphisms, special symplectic manifolds, and Morse families, are generalized to the contact framework. These geometries permit us to determine so-called generating family (obtained by merging a special contact manifold and a Morse family) for a Legendrian submanifold. Contact Hamiltonian and Lagrangian Dynamics are recast as Legendrian submanifolds of the tangent contact manifold. In this picture, the Legendre transformation is determined to be a passage between two d…
We investigate when a Legendrian knot in standard contact $\mathbb{R}^3$ has a non-orientable exact Lagrangian filling. We prove analogs of several results in the orientable setting, develop new combinatorial obstructions to fillability, and determine when several families of knots have such fillings. In particular, we determine completely when an alternating knot (and more generally a plus-adequate knot) is decomposably non-orientably fillable, and classify the fillability of most torus and 3-strand pretzel knots. We also describe rigidity phenomena of decomposable non-orientable fillings, in…
We provide an explicit example of a non trivial Legendrian knot $Λ$ such that there exists a Lagrangian concordance from $Λ_0$ to $Λ$ where $Λ_0$ is the trivial Legendrian knot. We then use the map induced in Legendrian contact homology by a concordance and the augmentation category of $Λ$ to show that no Lagrangian concordance exists in the other direction. This proves that the relation of Lagrangian concordance is not symmetric.
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 establish an $h$-principle for exact Lagrangian embeddings with concave Legendrian boundary. We prove, in particular, that in the complement of the unit ball $B$ in the standard symplectic $\R^{2n}, 2n\geq 6$, there exists an embedded Lagrangian $n$-disc transversely attached to $B$ along its Legendrian boundary.
This paper explores the relationship between the existence of an exact embedded Lagrangian filling for a Legendrian knot in the standard contact $\rr^3$ and the hierarchy of positive, strongly quasi-positive, and quasi-positive knots. On one hand, results of Eliashberg and especially Boileau and Orevkov show that every Legendrian knot with an exact, embedded Lagrangian filling is quasi-positive. On the other hand, we show that if a knot type is positive, then it has a Legendrian representative with an exact embedded Lagrangian filling. Further, we produce examples that show that strong quasi-p…
Positive loops of Legendrian embeddings are examined from the point of view of Floer homology of Lagrangian cobordisms. This leads to new obstructions to the existence of a positive loop containing a given Legendrian, expressed in terms of the Legendrian contact homology of the Legendrian submanifold. As applications, old and new examples of orderable contact manifolds are obtained and discussed. We also show that contact manifolds admitting a filling of a Liouville domain with non-zero symplectic homology is strongly orderable in the sense of Liu.
We construct closed arboreal Lagrangian skeleta associated to links of isolated plane curve singularities. This yields closed arboreal Lagrangian skeleta for Weinstein pairs and Weinstein 4-manifolds associated to max-tb Legendrian representatives of algebraic links. We provide computations of Legendrian and Weinstein invariants, and discuss the symplectic topological nature of the Fomin-Pylyavskyy-Shustin-Thurston cluster algebra associated to a singularity. Finally, we present a conjectural ADE-classification for Lagrangian fillings of certain Legendrian links and list some related problems.
First, we show that conjugate Lagrangian fillings, associated to plabic graphs, and Lagrangian fillings obtained as Reeb pinching sequences are both Hamiltonian isotopic to Lagrangian projections of Legendrian weaves. In general, we establish a series of new Reidemeister moves for hybrid Lagrangian surfaces. These allow for explicit combinatorial isotopies between the different types of Lagrangian fillings and we use them to show that Legendrian weaves indeed generalize these previously known combinatorial methods to construct Lagrangian fillings. This generalization is strict, as weaves are t…
We introduce and discuss notions of regularity and flexibility for Lagrangian manifolds with Legendrian boundary in Weinstein domains. There is a surprising abundance of flexible Lagrangians. In turn, this leads to new constructions of Legendrians submanifolds and Weinstein manifolds. For instance, many closed $n$-manifolds of dimension $n>2$ can be realized as exact Lagrangian submanifolds of $T^*S^n$ with possibly exotic Weinstein symplectic structures. These Weinstein structures on $T^* S^n$, infinitely many of which are distinct, are formed by a single handle attachment to the standard $2n…
For a Legendrian link $Λ\subset J^1M$ with $M = \mathbb{R}$ or $S^1$, immersed exact Lagrangian fillings $L \subset \mbox{Symp}(J^1M) \cong T^*(\mathbb{R}_{>0} \times M)$ of $Λ$ can be lifted to conical Legendrian fillings $Σ\subset J^1(\mathbb{R}_{>0} \times M)$ of $Λ$. When $Σ$ is embedded, using the version of functoriality for Legendrian contact homology (LCH) from [30], for each augmentation $α: \mathcal{A}(Σ) \rightarrow \mathbb{Z}/2$ of the LCH algebra of $Σ$, there is an induced augmentation $ε_{(Σ,α)}: \mathcal{A}(Λ) \rightarrow \mathbb{Z}/2$. With $Σ$ fixed, the set of homotopy class…
We investigate the question of the existence of a Lagrangian concordance between two Legendrian knots in $\mathbb{R}^3$. In particular, we give obstructions to a concordance from an arbitrary knot to the standard Legendrian unknot, in terms of normal rulings. We also place strong restrictions on knots that have concordances both to and from the unknot and construct an infinite family of knots with non-reversible concordances from the unknot. Finally, we use our obstructions to present a complete list of knots with up to 14 crossings that have Legendrian representatives that are Lagrangian slic…
