In this paper we use Floer theory to study topological restrictions on Lagrangian embeddings in closed symplectic manifolds. One of the phenomena arising from our results is ``homological rigidity'' of Lagrangian submanifolds. Namely, in certain symplectic manifolds, conditions on low dimensional topological invariants of a Lagrangian (such as its first homology) completely determine its entire homology.
We also develop methods for studying Hamiltonian displacement of Lagrangian submanifolds and its relations to the topology of Lagrangians. Finally we present some new results on Lagrangian intersections.
In this paper we make the first steps towards developing a theory of intersections of coisotropic submanifolds, similar to that for Lagrangian submanifolds. For coisotropic submanifolds satisfying a certain stability requirement we establish persistence of coisotropic intersections under Hamiltonian diffeomorphisms, akin to the Lagrangian intersection property. To be more specific, we prove that the displacement energy of a stable coisotropic submanifold is positive, provided that the ambient symplectic manifold meets some natural conditions. We also show that a displaceable, stable, coisotrop…
In this paper we consider the Arnold conjecture on the Lagrangian intersections of some closed Lagrangian submanifold of a closed symplectic manifold with its image of a Hamiltonian diffeomorphism. We prove that if the Hofer's symplectic energy of the Hamiltonian diffeomorphism is less than a topology number defined by the Lagrangian submanifold, then the Arnold conjecture is true in the degenerated (non-transversal) case.
Two smooth map germs are right-equivalent if and only if they generate two Lagrangian submanifolds in a cotangent bundle which have the same contact with the zero-section. In this paper we provide a reverse direction to this classical result of Golubitsky and Guillemin. Two Lagrangian submanifolds of a symplectic manifold have the same contact with a third Lagrangian submanifold if and only if the intersection problems correspond to stably right equivalent map germs. We, therefore, obtain a correspondence between local Lagrangian intersection problems and catastrophe theory while the classical…
We consider Floer homology associated to a pair of closed Lagrangian submanifolds that satisfy a monotonicty assumption. If the Lagrangians intersect cleanly we decribe two spectral sequences which help to compute their Floer homology. The spectral sequences are constructed using a Morse-Bott version of Floer homology. We give a full treatment of the theory including orientations.
In this article we prove a rigidity theorem for lagrangian singularities by studying the local cohomology of the lagrangian de Rham complex that was introduced in math.AG/0002083. The result can be applied to show the rigidity of all open swallowtails of dimension greater or equal than two. In the case of lagrangian complete intersection singularities the lagrangian de Rham complex turns out to be perverse. We also show that lagrangian complete intersection in dimension greater than two cannot be regular in codimension one.
We investigate leaf-wise intersection points on hypersurfaces of contact type in monotone symplectic manifolds. We show that monotone Floer-essential Lagrangians detect periodic leaf-wise intersection points in hypersurfaces of contact type whose Reeb flow is Zoll. Examples include the prequantization bundles appearing in monotone toric negative line bundles. Generalizing, we prove the existence of leaf-wise intersection points for certain annulus subbundles in weak+-monotone negative line bundles, not necessarily toric. The proofs combine reduced symplectic cohomology with the original method…
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.
In this article, we give proofs on the Arnold Lagrangian intersection conjecture on the cotangent bundles, Arnold-Givental Lagrangian intersection conjecture and the Arnold fixed point conjecture.
For a transversal pair of closed Lagrangian submanifolds L, L' of a symplectic manifold M so that $π_{1}(L)=π_{1}(L')=0=c_{1}|_{π_{2}(M)}=ω|_{π_{2}(M)}$ and a generic almost complex structure J we construct an invariant with a high homotopical content which consists in the pages of order $\geq 2$ of a spectral sequence whose differentials provide an algebraic measure of the high-dimensional moduli spaces of pseudo-holomorpic strips of finite energy that join L and L'. When L and L' are hamiltonian isotopic, these pages coincide (up to a horizontal translation) with the terms of the Serre-spect…
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 study the topology of Hamiltonian-minimal Lagrangian submanifolds N in C^m constructed from intersections of real quadrics in a work of the first author. This construction is linked via an embedding criterion to the well-known Delzant construction of Hamiltonian toric manifolds. We establish the following topological properties of N: every N embeds as a submanifold in the corresponding moment-angle manifold Z, and every N is the total space of two different fibrations, one over the torus T^{m-n} with fibre a real moment-angle manifold R, and another over a quotient of R by a finite group wi…
We prove a compactness result for holomorphic curves with boundary on an immersed Lagrangian submanifold with clean self-intersection. As a consequence, we show that the number of intersections of such holomorphic curves with the self-intersection locus is uniformly bounded in terms of the Hofer energy.
We give a construction of the Floer homology of the pair of {\it non-compact} Lagrangian submanifolds, which satisfies natural continuity property under the Hamiltonian isotopy which moves the infinity but leaves the intersection set of the pair compact. This construction uses the concept of Lagrangian cobordism and certain singular Lagrangian submanifolds. We apply this construction to conormal bundles (or varieties) in the cotangent bundle, and relate it to a conjecture made by MacPherson on the intersection theory of the characteristic Lagrangian cycles associated to the perverse sheaves co…
In this note we observe that Arnold conjecture for the Hamiltonian maps still holds on weighted projective spaces $\CP^n({\bf q})$, and that Arnold conjecture for the Lagrange intersections for $(\CP^n({\bf q}), \RP^n({\bf q}))$ is also true if each weight $q_i\in {\bf q}=\{q_1,..., q_{n+1}\}$ is odd.
We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperkahler manifolds. We give a Plucker type formula for Lagrangian intersections under thi…
We define a new family of open Gromov-Witten type invariants based on intersection theory on the moduli space of pseudoholomorphic curves of arbitrary genus with boundary in a Lagrangian submanifold. We assume the Lagrangian submanifold arises as the fixed points of an anti-symplectic involution and has dimension 2 or 3. In the strongly semi-positive genus 0 case, the new invariants coincide with Welschinger's invariant counts of real pseudoholomorphic curves. Furthermore, we calculate the new invariant for the real quintic threefold in genus 0 and degree 1 to be 30.
We consider Lagrangian submanifolds lying on a fiberwise strictly convex hypersurface in some cotangent bundle or, respectively, in the domain bounded by such a hypersurface. We establish a new boundary rigidity phenomenon, saying that certain Lagrangians on the hypersurface cannot be deformed (via Lagrangians having the same Liouville class) into the interior domain. Moreover, we study the "non-removable intersection set" between the Lagrangian and the hypersurface, and show that it contains a set with specific dynamical behavior, known as Aubry set in Aubry-Mather theory.
We consider two natural Lagrangian intersection problems in the context of symplectic toric manifolds: displaceability of torus orbits and of a torus orbit with the real part of the toric manifold. Our remarks address the fact that one can use simple cartesian product and symplectic reduction considerations to go from basic examples to much more sophisticated ones. We show in particular how rigidity results for the above Lagrangian intersection problems in weighted projective spaces can be combined with these considerations to prove analogous results for all monotone toric symplectic manifolds…
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 …
We construct an example of a non-trivial homogeneous quasimorphism on the group of Hamiltonian diffeomorphisms of the two and four dimensional quadric hypersurfaces which is continuous with respect to both the $C^0$-metric and the Hofer metric. This answers a variant of a question of Entov--Polterovich--Py which is one of the open problems listed in the monograph of McDuff--Salamon. Throughout the proof, we make extensive use of the idea of working with different coefficient fields in quantum cohomology rings. As a by-product of the arguments in the paper, we answer a question of Polterovich--…
Given a symplectic cohomology class of degree 1, we define the notion of an equivariant Lagrangian submanifold. The Floer cohomology of equivariant Lagrangian submanifolds has a natural endomorphism, which induces a grading by generalized eigenspaces. Taking Euler characteristics with respect to the induced grading yields a deformation of the intersection number. Dehn twists act naturally on equivariant Lagrangians. Cotangent bundles and Lefschetz fibrations give fully computable examples. A key step in computations is to impose the "dilation" condition stipulating that the BV operator applied…
The paper generalizes a result of Behrend-Fantechi and Baranovsky-Ginzburg to the 1-shifted cotangent bundle $T^*X[1]$ of a smooth scheme $X$ over the field of complex numbers. We show how one can obtain twisted cotangent bundles as derived intersections of Lagrangians in $T^*X[1]$, moreover and we show that the derived intersection of the quantized Lagrangians coincide with the canonical quantization of the twisted cotangent bundles.
We develop Lagrangian Floer Theory for exact, graded, immersed Lagrangians with clean self-intersection using Seidel's setup. A positivity assumption on the index of the self intersection points is imposed to rule out certain (but not all) disc bubbles. This allows the Lagrangians to be included in the exact Fukaya category. We also study quasi-isomorphism of Lagrangians under certain exact deformations which are not Hamiltonian.
This is a survey on bi-Lagrangian manifolds, which are symplectic manifolds endowed with two transversal Lagrangian foliations. We also study the non-integrable case (i.e., a symplectic manifold endowed with two transversal Lagrangian distributions). We show that many different geometric structures can be attached to these manifolds and we carefully analyse the associated connections. Moreover, we introduce the problem of the intersection of two leaves, one of each foliation, through a point and show a lot of significative examples.
In this paper, we prove that if a continuous Hamiltonian flow fixes the points in an open subset $U$ of a symplectic manifold $(M,ω)$, then its associated Hamiltonian is constant at each moment on $U$. As a corollary, we prove that the Hamiltonian of compactly supported continuous Hamiltonian flows is unique both on a compact $M$ with smooth boundary $\del M$ and on a non-compact manifold bounded at infinity. An essential tool for the proof of the locality is the Lagrangian intersection theorem for the conormals of open subsets proven by Kasturirangan and the author, combined with Viterbo's sc…
This is the third paper in a series of papers studying intersection Floer theory of Lagrangians in the complement of a smooth divisor. We complete the construction of Floer homology for such Lagrangians.
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-…
Floer's chain complexes for Lagrangian submanifolds in closed symplectic manifolds are generated by intersection points of Lagrangian submanifolds and whose differentials count pseudo-holomorphic strips with Lagrangian boundary conditions. In this paper we will propose Floer's chain complexes for Lagrangian submanifolds in symplectic manifolds with concave ends.
In this remark we discuss a relationship between (co)homology classes of a symplectic manifold realized by symplectic and lagrangian objects. We establish some transversality condition for the classes, realized by symplectic divisors and smooth lagrangian tori with some special condition on their intersections.
Answering a question of Witten, we introduce a novel method for defining an integral version of Lagrangian Floer homology, removing the standard restriction that the Lagrangians in question must be relatively Pin. Using this technique, we derive stronger bounds on the self-intersection of certain exact Lagrangians $\mathbb{RP}^2 \times L'$ than those that follow from traditional methods. We define a integral version of Lagrangian Floer homology all oriented closed exact Lagrangians $L$ in a Liouville domain and prove a general self-intersection bound coming from the algebraic properties of the…
We consider Hamiltonian diffeomorphisms $ϕ$ of the unit cotangent bundle over a closed Riemannian manifold $(M,g)$ which extend to Hamiltonian diffeomorphisms of $T^*M$ equal to the time-1-map of the geodesic flow for $|p| \ge 1$. For such diffeomorphisms we establish uniform lower bounds for the fiberwise volume growth of $ϕ$ which were previously known for geodesic flows and which depend only on $(M,g)$ or on the homotopy type of $M$. More precisely, we show that for each $q \in M$ the volume growth of the unit ball in $T_q^*M$ under the iterates of $ϕ$ is at least linear if $M$ is rationall…
We describe isotropic orbits for the restricted action of a subgroup of a Lie group acting on a symplectic manifold by Hamiltonian symplectomorphisms and admitting an Ad*-equivariant moment map. We obtain examples of Lagrangian orbits of complex flag manifolds, of cotangent bundles of orthogonal Lie groups, and of products of flags. We introduce the notion of infinitesimally tight and study the intersection theory of such Lagrangian orbits, giving many examples.
We define partial quasi-morphisms on the group of Hamiltonian diffeomorphisms of the cotangent bundle using the spectral invariants in Lagrangian Floer homology with conormal boundary conditions, where the product compatible with the PSS isomorphism and the homological intersection product is lacking.
We obtain families of non-isotopic closed exact Lagrangian submanifolds in quasi-projective holomorphic symplectic manifolds that admit contracting $\mathbb{C}^*$-actions. We show that the Floer cohomologies of these Lagrangians are topological in nature, recovering the ordinary cohomologies of their intersection. Moreover, by using these Lagrangians and a version of Carrell-Goresky's integral decomposition theorem, we obtain degree-wise lower bounds on the symplectic cohomology of these spaces.
The purpose of this paper is to prove a gluing theorem for a given special Lagrangian submanifold of a Calabi-Yau 3-fold. The proof will be an adaption of the gluing techniques in J-holomorphic curve theory. It is a well known procedure in geometric analysis to construct new solutions to a given nonlinear partial differential equation by gluing known solutions. First an approximate solution is constructed and then using analytic methods it is perturbed to a real solution. In this paper the gluing theorem will be used for smoothing a singularity of a special Lagrangian submanifold. In particula…
We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for coassociative submanifolds.
We use Floer cohomology to prove the monotone version of a conjecture of Audin: the minimal Maslov number of a monotone Lagrangian torus in C^n is 2. Our approach is based on the study of the quantum cup product on Floer cohomology and in particular the behaviour of Oh's spectral sequence with respect to this product. As further applications we prove existence of holomorphic disks with boundaries on Lagrangians as well as new results on Lagrangian intersections.
We investigate the extrinsic topology of Lagrangian submanifolds and of their submanifolds in closed symplectic manifolds using Floer homological methods. The first result asserts that the homology class of a displaceable monotone Lagrangian submanifold vanishes in the homology of the ambient symplectic manifold. Combining this with spectral invariants we provide a new mechanism for proving Lagrangian intersection results e.g. entailing that any two simply connected Lagrangian submanifold in $\CP^n\times\CP^n$ must intersect.
We prove that any closed connected exact Lagrangian manifold L in a connected cotangent bundle T*N is up to a finite covering space lift a homology equivalence. We prove this by constructing a fibrant parametrized family of ring spectra FL parametrized by the manifold N. The homology of FL will be (twisted) symplectic cohomology of T*L. The fibrancy property will imply that there is a Serre spectral sequence converging to the homology of FL and the product combined with intersection product on N induces a product on this spectral sequence. This product structure and its relation to the interse…
In this paper, we extend Rabinowitz Floer homology theory which has been established and extensively studied for hypersurfaces to coisotropic submanifolds of higher codimension. With this generalized version of Rabinowitz Floer homology theory, we explore the coisotropic intersection problem which interpolates between the Lagrangian intersection problem and the closed orbit problem. To be specific, we study the existence of leafwise intersection points on contact coisotropic submanifolds and the displaceability of stable coisotropic submanifolds.
Let k > 2. We show that if a closed orientable 2k-manifold K, with Euler characteristic not equal to -2, admits an exact Lagrangian immersion into complex Euclidean 2k-space with one transverse double point and no other self-intersections, then K is diffeomorphic to the standard sphere. The proof combines Floer homological arguments with a detailed study of moduli spaces of holomorphic disks with boundary in a monotone Lagrangian submanifold obtained by Lagrange surgery on K.
