We prove that a real Lagrangian submanifold in a closed symplectic manifold is unique up to cobordism. We then discuss the classification of real Lagrangians in $\mathbb{C} P^2$ and $S^2\times S^2$. In particular, we show that a real Lagrangian in $\mathbb{C} P^2$ is unique up to Hamiltonian isotopy and that a real Lagrangian in $S^2\times S^2$ is either Hamiltonian isotopic to the antidialgonal sphere or Lagrangian isotopic to the Clifford torus.
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…
Lagrangian cobordisms between Legendrian knots arise in Symplectic Field Theory and impose an interesting and not well-understood relation on Legendrian knots. There are some known "elementary" building blocks for Lagrangian cobordisms that are smoothly the attachment of $0$- and $1$-handles. An important question is whether every pair of non-empty Legendrians that are related by a connected Lagrangian cobordism can be related by a ribbon Lagrangian cobordism, in particular one that is "decomposable" into a composition of these elementary building blocks. We will describe these and other combi…
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 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…
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…
To a Legendrian knot, one can associate an $\mathcal{A}_{\infty}$ category, the augmentation category. An exact Lagrangian cobordism between two Legendrian knots gives a functor of the augmentation categories of the two knots. We study the functor and establish a long exact sequence relating the corresponding cohomology of morphisms of the two ends. As applications, we prove that the functor between augmentation categories is injective on the level of equivalence classes of objects and find new obstructions to the existence of exact Lagrangian cobordisms in terms of linearized contact homology…
We extend the definition of Lagrangian quantum homology to monotone Lagrangian cobordism and establish its general algebraic properties. In particular we develop a relative version of Lagrangian quantum homology associated to a cobordism relative to a part of its boundary and study relations of this invariant to the ambient quantum homology.
Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a functor that maps this category to a variant of the derived Fukaya category of M in a way that takes into account the triangulated structure of the latter.
We study Lagrangian cobordism groups of oriented surfaces of genus greater than two. We compute the immersed oriented Lagrangian cobordism group of these surfaces. We show that a variant of this group, with relations given by unobstructed immersed Lagrangian cobordisms computes the Grothendieck group of the derived Fukaya category. The proof relies on an argument of Abouzaid.
We show that under some topological assumptions, an exact Lagrangian cobordism $(W; L_{0}, L_{1})$ of dimension $dim(W) >5$ is a Lagrangian pseudo-isotopy. This result is a weaker form of a conjecture proposed by Biran and Cornea, which states that any exact Lagrangian cobordism is Hamiltonian isotopic to a Lagrangian suspension.
We introduce new pseudo-metrics on spaces of Lagrangian submanifolds of a symplectic manifold $(M,ω)$ by considering areas associated to projecting Lagrangian cobordisms in $\mathbb{C} \times M$ to the "time-energy plane" $\mathbb{C}$. We investigate the non-degeneracy properties of these pseudo-metrics, reflecting the rigidity and flexibility aspects of Lagrangian cobordisms.
We study the following quantitative phenomenon in symplectic topology: In many situations, if a Lagrangian cobordism is sufficiently small (in a sense specified below) then its topology is to a large extend determined by its boundary. This principle allows us to derive several homological uniqueness results for small Lagrangian cobordisms. In particular, under the smallness assumption, we prove homological uniqueness of the class of Lagrangian cobordisms which, by Biran-Cornea's Lagrangian cobordism theory, induces operations on a version of the derived Fukaya category. We also establish a lin…
We extend parts of the Lagrangian spectral invariants package recently developed by Leclercq and Zapolsky to the theory of Lagrangian cobordism developed by Biran and Cornea. This yields a nondegenerate Lagrangian "spectral metric" which bounds the Lagrangian "cobordism metric" (recently introduced by Cornea and Shelukhin) from below. It also yields a new numerical Lagrangian cobordism invariant as well as new ways of computing certain asymptotic Lagrangian spectral invariants explicitly.
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…
Floer theory for Lagrangian cobordisms was developed by Biran and Cornea to study the triangulated structure of the derived Fukaya category of monotone symplectic manifolds. This paper explains how to use the language of stops to study Lagrangian cobordisms in Liouville manifolds and the associated exact triangles in the derived wrapped Fukaya category. Furthermore, we compute the cobordism groups of non-compact Riemann surfaces of finite type.
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.
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…
Given an exact Lagrangian $L$ of an exact symplectic manifold $(M,dλ)$, Cornea and Shelukhin recently introduced a remarkable "cobordism metric" $d_c$ on the exact Lagrangian cobordism class $\mathcal{L}(L)$ of $L$. In this note we show that the Liouville flow of $(M,dλ)$ induces a flow on $(\mathcal{L}(L),d_c)$ which expands cobordism distances. In particular we deduce that $(\mathcal{L}(L),d_c)$ has infinite diameter whenever the Liouville flow is complete. We also discuss (Hamiltonian and Lagrangian) Hofer-geometric versions of our result. The proof only uses elementary differential geometr…
We study Lagrangian cobordisms with the tools provided by Lagrangian quantum homology. In particular, we develop the theory for the setting of Lagrangian cobordisms or Lagrangians with cylindrical ends in a Lefschetz fibration, and put the different versions of the quantum homology groups into relation by a long exact sequence. We prove various practical relations of maps in this long exact sequence and we extract invariants that generalize the notion of discriminants to Lagrangian cobordisms in Lefschetz fibrations. We prove results on the relation of the discriminants of the ends of a cobord…
In this article we extend the construction of the Floer fundamental group to the monotone Lagrangian setting and use it to study the fundamental group of a Lagrangian cobordism $W\subset (\mathbb{C}\times M, ω_{st}\oplusω)$ between two Lagrangian submanifolds $L, L'\subset ( M, ω)$. We show that under natural conditions the inclusions $L,L'\hookrightarrow W$ induce surjective maps $π_{1}(L)\twoheadrightarrowπ_{1}(W)$, $π_{1}(L')\twoheadrightarrowπ_{1}(W)$ and when the previous maps are injective then $W$ is an h-cobordism.
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…
This paper discusses the cobordism of Lagrangian submanifolds (in the monotone setting) and structures it as a category that is related in a functorial way to an appropriate (derived) Fukaya category. Are also discussed obstructions to cobordism based on properties of Lagrangian quantum homology, relations to Lagrangian surgery, as well as examples of non-isotopic but cobordant Lagrangians. This is a revision of our earlier preprint from September 2011.
Capacities that provide both qualitative and quantitative obstructions to the existence of a Lagrangian cobordism between two $(n-1)$-dimensional submanifolds in parallel hyperplanes of $\mathbb{R}^{2n}$ are defined using the theory of generating families. Qualitatively, these capacities show that, for example, in $\mathbb R^4$ there is no Lagrangian cobordism between two $\infty$-shaped curves with a negative crossing when the lower end is "smaller". Quantitatively, when the boundary of a Lagrangian ball lies in a hyperplane of $\mathbb{R}^{2n}$, the capacity of the boundary gives a restricti…
Lagrangian $k$-surgery modifies an immersed Lagrangian submanifold by topological $k$-surgery while removing a self-intersection. Associated to a $k$-surgery is a Lagrangian surgery trace cobordism. We prove that every Lagrangian cobordism is exactly homotopic to a concatenation of suspension cobordisms and Lagrangian surgery traces. This exact homotopy can be chosen with as small Hofer norm as desired. Furthermore, we show that each Lagrangian surgery trace bounds a holomorphic teardrop pairing the Morse cochain associated with the handle attachment to the Floer cochain generated by the self-…
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 $Λ'$.
In this paper we study the interplay between Lagrangian cobordisms and stability conditions. We show that any stability condition on the derived Fukaya category $D\mathcal{F}uk(M)$ of a symplectic manifold $(M,ω)$ induces a stability condition on the derived Fukaya category of Lagrangian cobordisms $D\mathcal{F}uk(\mathbb{C} \times M)$. In addition, using stability conditions, we provide general conditions under which the homomorphism $Θ: Ω_{Lag}(M)\to K_0(D\mathcal{F}uk(M))$, introduced by Biran and Cornea, is an isomorphism. This yields a better understanding of how stability conditions affe…
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 compute the Lagrangian cobordism group of the standard symplectic 2-torus and prove that it is isomorphic to the Grothendieck group of its derived Fukaya category. The proofs use homological mirror symmetry for the 2-torus.
We construct a product on the Floer complex associated to a pair of Lagrangian cobordisms. More precisely, given three exact transverse Lagrangian cobordisms in the symplectization of a contact manifold, we define a map $\mathfrak{m}_2$ by a count of rigid pseudo-holomorphic disks with boundary on the cobordisms and having punctures asymptotic to intersection points and Reeb chords of the negative Legendrian ends of the cobordisms. More generally, to a $(d+1)$-tuple of exact transverse Lagrangian cobordisms we associate a map $\mathfrak{m}_d$ such that the family $(\mathfrak{m}_d)_{d\geq1}$ ar…
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 prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable homotopy theory). As corollaries, we show that the map in our previous work from cobordism groups to Floer cohomology lifts to the level of spectra, and one also recovers some results of Biran and Cornea for what we call "vertically collared" cobordisms.
We study a cylindrical Lagrangian cobordism group for Lagrangian torus fibres in symplectic manifolds which are the total spaces of smooth Lagrangian torus fibrations. We use ideas from family Floer theory and tropical geometry to obtain both obstructions to and constructions of cobordisms; in particular, we give examples of symplectic tori in which the cobordism group has no non-trivial cobordism relations between pairwise distinct fibres, and ones in which the degree zero fibre cobordism group is a divisible group. The results are independent of but motivated by mirror symmetry, and a relati…
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 …
In this paper, we present new obstructions to the existence of Lagrangian cobordisms in $\mathbb{R}^4$ that depend only on the enriched knot diagrams of the boundary knots or links, using holomorphic curve techniques. We define enriched knot diagrams for generic smooth links. The existence of Lagrangian cobordisms gives a well-defined transitive relation on equivalence classes of enriched knot diagrams that is a strict partial order when restricted to exact enriched knot diagrams To establish obstructions we study $1$-dimensional moduli spaces of holomorphic disks with corners that have bounda…
Given an exact symplectic manifold M and a support Lagrangian Λ, we construct an infinity-category Lag, which we conjecture to be equivalent (after specialization of the coefficients) to the partially wrapped Fukaya category of M relative to Λ. Roughly speaking, the objects of Lag are Lagrangian branes inside of M x T*(R^n), for large n, and the morphisms are Lagrangian cobordisms that are non-characteristic with respect to Λ. The main theorem of this paper is that Lag is a stable infinity-category, so that its homotopy category is triangulated, with mapping cones given by an elementary constr…
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…
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…
Given a symplectic manifold $(M^{2n},ω)$ we study Lagrangian cobordisms $V\subset E$ where $E$ is the total space of a Lefschetz fibration having $M$ as generic fiber. We prove a generation result for these cobordisms in the appropriate derived Fukaya category. As a corollary, we analyze the relations among the Lagrangian submanifolds $L\subset M$ that are induced by these cobordisms. This leads to a unified treatment - and a generalization - of the two types of relations among Lagrangian submanifolds of $M$ that were previously identified in the literature: those associated to Dehn twists tha…
We show that a quasipositive surface with disconnected boundary induces a map between the knot Floer homology groups of its boundary components preserving the transverse invariant. As an application, we show that this invariant can be used to obstruct decomposable Lagrangian cobordisms of arbitrary genus within Weinstein cobordisms. The construction of our maps rely on the comultiplicativity of the transverse invariant. Along the way, we also recover various naturality statements for the invariant under contact +1 surgery.
