Baptiste Chantraine, Vincent Colin, Georgios Dimitroglou Rizell
备注：
43 pages. v2: more details, mainly in Section 5. Changes in introduction, added some references and Theorem 1.19. v3: minor corrections, v4: update in the bibliography and change the references accordingly. To appear at "Annales de l'Institut Fourier"
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 non-compact contact manifolds containing compact Legendrians which can be displaced from their Reeb flow with arbitrarily small oscillation energy. We use this to show the Shelukhin-Chekanov-Hofer pseudo-metric considered by Rosen and Zhang is degenerate on the isotopy class of the constructed Legendrians. Other aspects related to oscillation energy of Legendrian isotopies are explored.
The classical Bott-Samelson theorem states that if on a Riemannian manifold all geodesics issuing from a certain point return to this point, then the universal cover of the manifold has the cohomology ring of a compact rank one symmetric space. This result on geodesic flows has been generalized to Reeb flows and partially to positive Legendrian isotopies by Frauenfelder-Labrousse-Schlenk. We prove the full theorem for positive Legendrian isotopies.
We show that there is no positive loop inside the component of a fiber in the space of Legendrian embeddings in the contact manifold $ST^*M$, provided that the universal cover of $M$ is $\RM^n$. We consider some related results in the space of one-jets of functions on a compact manifold. We give an application to the positive isotopies in homogeneous neighborhoods of surfaces in a tight contact 3-manifold.
We construct a Legendrian 2-torus in the 1-jet space of $S^1\times\R$ (or of $\R^2$) from a loop of Legendrian knots in the 1-jet space of $\R$. The differential graded algebra (DGA) for the Legendrian contact homology of the torus is explicitly computed in terms of the DGA of the knot and the monodromy operator of the loop. The contact homology of the torus is shown to depend only on the chain homotopy type of the monodromy operator. The construction leads to many new examples of Legendrian knotted tori. In particular, it allows us to construct a Legendrian torus with DGA which does not admit…
Floer theory relates the dynamics of Hamiltonian isotopies and the homology of the ambient manifold. It was extended to similarly relate the dynamics of symplectic isotopies and the Novikov homology associated to their flux. We discuss this picture regarding the fundamental group, and prove that when the flux is not too big, the associated Novikov fundamental group is generated by Floer moduli spaces associated to closed orbits of the symplectic isotopy.
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 modifyi…
We prove a neighbourhood theorem for arbitrary knots in contact 3-manifolds. As an application we show that two topologically isotopic Legendrian knots in a contact 3-manifold become Legendrian isotopic after suitable stabilisations.
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 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…
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.
The Chekanov-Eliashberg dg-algebra is a holomorphic curve invariant associated to Legendrian submanifolds of a contact manifold. We extend the definition to Legendrian embeddings of skeleta of Weinstein manifolds. Via Legendrian surgery, the new definition gives direct proofs of wrapped Floer cohomology push-out diagrams. It also leads to a proof of a conjectured isomorphism between partially wrapped Floer cohomology and Chekanov-Eliashberg dg-algebras with coefficients in chains on the based loop space.
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 a new Legendrian isotopy invariant for any closed orientable Legendrian surface $L$ embedded in a closed contact $5$-manifold $(M, ξ)$ which admits an "admissable" open book $(B, f)$ (supporting $ξ$) for $L$. We show that to any such $L$ and a fixed page $X$, one can assign an integer $M\mathcal{P}_{X}(L)$, called "Relative Maximal Page Crossing Number of $L$ with respect to $X$", which is invariant under Legendrian isotopies of $L$. We also show that one can extend this to a page-free invariant, i.e., one can assign an integer $M\mathcal{P}_{(B,f)}(L)$, called "Absolute Maximal P…
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 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 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.
We define an integer-valued non-degenerate bi-invariant metric (the discriminant metric) on the universal cover of the identity component of the contactomorphism group of any contact manifold. This metric has a very simple geometric definition, based on the notion of discriminant points of contactomorphisms. Using generating functions we prove that the discriminant metric is unbounded for the standard contact structures on R^{2n} x S^1 and RP^{2n+1}. On the other hand we also show by elementary arguments that the discriminant metric is bounded for the standard contact structures on R^{2n+1} an…
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.
In this note, we observe that the hat version of the Heegaard Floer invariant of Legendrian knots in contact three-manifolds defined by Lisca-Ozsvath-Stipsicz-Szabo can be combinatorially computed. We rely on Plamenevskaya's combinatorial description of the Heegaard Floer contact invariant.
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.
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 $Λ'$.
We give a construction of embedded contact homology (ECH) for a contact $3$-manifold $Y$ with convex sutured boundary and a pair of Legendrians $Λ_+$ and $Λ_-$ contained in $\partial Y$ satisfying an exactness condition. The chain complex is generated by certain configurations of closed Reeb orbits of $Y$ and Reeb chords of $Λ_+$ to $Λ_-$. The main ingredients include: a general Legendrian adjunction formula for curves in $\mathbb{R} \times Y$ with boundary on $\mathbb{R} \times Λ$; a relative writhe bound for curves in contact $3$-manifolds asymptotic to Reeb chords; and a Legendrian ECH inde…
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…
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 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 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 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.
Let $X$ be a Weinstein manifold with ideal contact boundary $Y$. If $Λ\subset Y$ is a link of Legendrian spheres in $Y$ then by attaching Weinstein handles to $X$ along $Λ$ we get a Weinstein cobordism $X_Λ$ with a collection of Lagrangian co-core disks $C$ corresponding to $Λ$. In \cite{BEE, EL} it was shown that the wrapped Floer cohomology $CW^{\ast}(C)$ of $C$ in the Weinstein manifold $X'_Λ=X\cup X_Λ$is naturally isomorphic to the Legendrian differential graded algebra $CE^{\ast}(Λ)$ of $Λ$ in $Y$. The argument uses properties of moduli spaces of holomorphic curves, the proofs of which we…
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.
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…
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 study the following rigidity problem in symplectic geometry:can one displace a Lagrangian submanifold from a hypersurface? We relate this to the Arnold Chord Conjecture, and introduce a refined question about the existence of relative leaf-wise intersection points, which are the Lagrangian-theoretic analogue of the notion of leaf-wise intersection points defined by Moser. Our tool is Lagrangian Rabinowitz Floer homology, which we define first for Liouville domains and exact Lagrangian submanifolds with Legendrian boundary. We then extend this to the `virtually contact' setting. By means of …
In this article we prove existence of Reeb orbits for Bohr-Sommerfeld Legendrians in certain pre-quantization spaces. We give a quantitative estimate from below. These estimates are obtained by studying Floer homology for fibre-wise quadratic Hamiltonian functions on negative line bundles.
Using a knot concordance invariant from the Heegaard Floer theory of Ozsvath and Szabo, we obtain new bounds for the Thurston-Bennequin and rotation numbers of Legendrian knots in S^3. We also apply these bounds to calculate the knot concordance invariant for certain knots.
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…
Contact action functional, calculus of variation and canonical generating function of Legendrian submanifolds
Center for Geometry and Physics, Institute for Basic Science (IBS)（基础科学研究所几何物理中心）；POSTECH（浦项科技大学）；CNRS, Laboratoire de Mathématiques Jean Leray, Nantes Université（法国国家科学研究中心让·勒雷数学实验室南特大学）
We derive a new exact sequence in the hat-version of Heegaard Floer homology. As a consequence we see a functorial connection between the invariant of Legendrian knots and the contact element. As an application we derive two vanishing results of the contact element making it possible to easily read off its vanishing out of a surgery presentation in suitable situations.
In this article, the main goal is to give a dynamical point of view of Floer homology barcodes for Hamiltonian homeomorphisms of surfaces. More specifically, we describe a way to construct barcodes for Hamiltonian homeomorphisms of surfaces from graphs. We will define graphes associated to maximal isotopies of a Hamiltonian homeomorphism using Le Calvez's positively transverse foliation theory and to those graphs we will associate barcodes. In particular, we will prove that for the simplest cases, our constructions coincide with the Floer Homology barcodes.
A positive contactomorphism of a contact manifold $M$ is the end point of a contact isotopy on $M$ that is always positively transverse to the contact structure. Assume that $M$ contains a Legendrian sphere $Λ$, and that $(M,Λ)$ is fillable by a Liouville domain $(W,ω)$ with exact Lagrangian $L$ such that $ω|_{π_2(W,L)}=0$. We show that if the exponential growth of the action filtered wrapped Floer homology of $(W,L)$ is positive, then every positive contactomorphism of $M$ has positive topological entropy. This result generalizes the result of Alves and Meiwes from Reeb flows to positive cont…
We study the effect of surgery on transverse knots in contact 3-manifolds. In particular, we investigate the effect of such surgery on open books, the Heegaard Floer contact invariant, and tightness. The overarching theme of this paper is to show that in many contexts, surgery on transverse knots is more natural than surgery on Legendrian knots. Besides reinterpreting surgery on Legendrian knots in terms of transverse knots, our main results on are in two complementary directions: conditions under which inadmissible transverse surgery (\textit{cf.\@} positive contact surgery on Legendrian knot…
We prove that the number of Reeb chords between a Legendrian submanifold and its contact Hamiltonian push-off is at least the sum of the $\mathbb{Z}_2$-Betti numbers of the submanifold, provided that the contact isotopy is sufficiently small when compared to the smallest Reeb chord on the Legendrian. Moreover, the established invariance enables us to use two different contact forms: one for the count of Reeb chords and another for the measure of the smallest length, under the assumption that there is a suitable symplectic cobordism from the latter to the former. The size of the contact isotopy…
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 define an invariant of contact structures in dimension three from Heegaard Floer homology. This invariant takes values in the set $\mathbb{Z}_{\geq0}\cup\{\infty\}$. It is zero for overtwisted contact structures, $\infty$ for Stein fillable contact structures, non-decreasing under Legendrian surgery, and computable from any supporting open book decomposition. As an application, we obstruct Stein fillability on contact 3-manifolds with non-vanishing Ozsváth-Szabó contact class.
We recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Matić in the latter theory. One consequence is that the Legendrian invariants in knot Floer homology behave functorially with respect to Lagrangian concordance. In particular, these invariants provide computable and effective obstructions to the existence …
Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsvath-Szabo contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston-Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than the three-sphere with negative maximal Thurston-Bennequin invariant. Perhaps more interesting, …
