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.
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.
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 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.
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.
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 int…
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 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 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 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.
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 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.
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…
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.
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--…
We prove two main results: (a) Suppose $L$ is a closed, embedded, exact special Lagrangian $m$-fold in ${\mathbb C}^m$ for $m\ge 3$ asymptotic at infinity to the union $Π_1\cupΠ_2$ of two transverse special Lagrangian planes $Π_1,Π_2$ in ${\mathbb C}^m$. Then $L$ is one of the explicit 'Lawlor neck' family of examples found by Lawlor (Invent. math. 95, 1989). (b) Suppose $L$ is a closed, embedded, exact Lagrangian mean curvature flow expander in ${\mathbb C}^m$ for $m\ge 3$ asymptotic at infinity to the union $Π_1\cupΠ_2$ of two transverse Lagrangian planes $Π_1,Π_2$ in ${\mathbb C}^m$. Then $…
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…
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 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…
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.
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.
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 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…
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…
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…
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-…
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…
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.
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…
In this paper we first develop various enhancements of the theory of spectral invariants of Hamiltonian Floer homology and of Entovi-Polterovich theory of spectral symplectic quasi-states and quasimorphisms by incorporating \emph{bulk deformations}, i.e., deformations by ambient cycles of symplectic manifolds, of the Floer homology and quantum cohomology. Essentially the same kind of construction is independently carried out by Usher [Us4] in a slightly less general context. Then we explore various applications of these enhancements to the symplectic topology, especially new construction of sy…
In this note we present a brief introduction to Lagrangian Floer homology and its relation with the solution of Arnol'd conjecture, on the minimal number of non-degenerate fixed points of a Hamiltonian diffeomorphism. We start with the basic definition of critical point on smooth manifolds, in oder to sketch some aspects of Morse theory. Introduction to the basics concepts of symplectic geometry are also included, with the idea of understanding the statement of Arnol'd Conjecture and how is related to the intersection of Lagrangian submanifolds.
Lagrangian Intersections, Symplectic Reduction and Kirwan Surjectivity
The Institute of Mathematical Sciences and Department of Mathematics The Chinese University of Hong Kong（香港中文大学数学科学研究所及数学系）；School of Mathematical Sciences Shenzhen University（深圳大学数学科学学院）；Kavli Institute for the Physics and Mathematics of the Universe (WPI) The University of Tokyo Institutes for Advanced Study The University of Tokyo（东京大学前沿研究研究院理数宇宙物理研究所（WPI））
Let $ω$ denote an area form on $S^2$. Consider the closed symplectic 4-manifold $M=(S^2\times S^2, Aω\oplus a ω)$ with $0<a<A$. We show that there are families of displaceable Lagrangian tori $L_{0,x},\, L_{1,x} \subset M$, for $x \in [0,1]$, such that the two-component link $L_{0,x} \cup L_{1,x}$ is non-displaceable for each $x$.
Given a Lagrangian sphere in a symplectic 4-manifold $(M, ω)$ with $b^+=1$, we find embedded symplectic surfaces intersecting it minimally. When the Kodaira dimension $κ$ of $(M, ω)$ is $-\infty$, this minimal intersection property turns out to be very powerful for both the uniqueness and existence problems of Lagrangian spheres. On the uniqueness side, for a symplectic rational manifold and any class which is not characteristic and ternary, we show that homologous Lagrangian spheres are smoothly isotopic, and when the Euler number is less than 8, we generalize Hind and Evans' Hamiltonian uniq…
A Maslov cycle is a singular variety in the lagrangian grassmannian L(V) of a symplectic vector space V consisting of all lagrangian subspaces having nonzero intersection with a fixed one. Givental has shown that a Maslov cycle is a Legendre singularity, i.e. the projection of a smooth conic lagrangian submanifold S in the cotangent bundle of L(V). We show here that S is the wavefront set of a Fourier integral distribution which is "evaluation at 0 of the quantizations".
The main goal of this paper is to give a unified treatment to many known cuplength estimates. As the base case, we prove that for $C^0$-perturbations of a function which is Morse-Bott along a closed submanifold, the number of critical points is bounded below in terms of the cuplength of that critical submanifold. As we work with rather general assumptions the proof also applies in a variety of Floer settings. For example, this proves lower bounds for the number of fixed points of Hamiltonian diffeomorphisms, Hamiltonian chords for Lagrangian submanifolds, translated points of contactomorphisms…
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.
