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 establish a new version of Floer homology for monotone Lagrangian submanifolds and apply it to prove the following (generalized) version of Audin's conjecture : if $L$ is an aspherical manifold which admits a monotone Lagrangian embedding in ${\bf C^{n}}$, then its Maslov number equals $2$. We also prove other results on the topology of monotone Lagrangian submanifolds $L\subset M$ of maximal Maslov number under the hypothesis that they are displaceable through a Hamiltonian isotopy.
We extend Floer theory for monotone Lagrangians to allow coefficients in local systems of arbitrary rank. Unlike the rank 1 case, this is often obstructed by Maslov 2 discs. We study exactly what the obstruction is and define some natural unobstructed subcomplexes. To illustrate these constructions we do some explicit calculations for the Chiang Lagrangian $L_Δ \subseteq \mathbb{C}P^3$. For example, we equip $L_Δ$ with a particular rank 2 local system $W$ over the field with 2 elements such that the resulting Floer complex $CF^*(W,W)$ is unobstructed despite the presence of Maslov 2 discs. We …
In this article, we consider the Floer cohomology (with $\Z_2$ coefficients) between torus fibers and the real Lagrangian in Fano toric manifolds. We first investigate the conditions under which the Floer cohomology is defined, and then develop a combinatorial description of the Floer complex based on the polytope of the toric manifold. We show that if the Floer cohomology is defined, and the Floer cohomology of the torus fiber is non-zero, then the Floer cohomology of the pair is non-zero. We use this result to develop some applications to non-displaceability and the minimum number of interse…
We show that a monotone Lagrangian $L$ in $\mathbb{CP}^n$ of minimal Maslov number $n + 1$ is homeomorphic to a double quotient of a sphere, and thus homotopy equivalent to $\mathbb{RP}^n$. To prove this we use Zapolsky's canonical pearl complex for $L$ with coefficients in $\mathbb{Z}$, and various twisted versions thereof, where the twisting is determined by connected covers of $L$. The main tool is the action of the quantum cohomology of $\mathbb{CP}^n$ on the resulting Floer homologies.
We investigate the small area limit of the gauged Lagrangian Floer cohomology of Frauenfelder. The resulting cohomology theory, which we call quasimap Floer cohomology, is an obstruction to displaceability of Lagrangians in the symplectic quotient. We use the theory to reproduce the results of Fukaya-Oh-Ohta-Ono and Cho-Oh on non-displaceability of moment fibers of not-necessarily-Fano toric varieties and extend their results to toric orbifolds, without virtual fundamental chains. Finally we describe a conjectural relationship to Floer cohomology in the quotient.
We incorporate pearly Floer trajectories into the transversality scheme for pseudoholomorphic maps introduced by Cieliebak-Mohnke. By choosing generic domain-dependent almost complex structures we obtain zero and one-dimensional moduli spaces with the structure of cell complexes with rational fundamental classes. This gives a definition of Floer cohomology over Novikov rings via stabilizing divisors for compact symplectic manifolds with rational symplectic classes and Lagrangians that are fixed point sets of anti-symplectic involutions satisfying certain Maslov index conditions, in particular,…
We compute the Lagrangian Floer cohomology groups of certain tori in closed simply connected symplectic 4-manifolds arising from Fintushel-Stern knot surgery. These manifolds are usually not symplectically aspherical. As a result of the computation we observe examples where $HF(L_0)\cong HF(L_1)$ and $L_0$ and $L_1$ are smoothly isotopic but $L_0,L_1$ are not symplectically isotopic and are distinguished by $HF(L_0,L_1)$.
We examine symplectic topological features of certain family of monotone Lagrangian submanifolds in CP^n. Firstly, we give a cohomological restriction for Lagrangian submanifolds in CP^n whose first integral homologies are 3-torsion. In particular, in the case where n=5,8, we prove the cohomologies with coefficients in Z_2 of such Lagrangian submanifolds are isomorphic to that of SU(3)/(SO(3) Z_3) and SU(3)/Z_3, respectively. Secondly, we calculate the Floer cohomology of a monotone Lagrangian submanifold SU(p)/Z_p in CP^{p^2-1} with coefficients in Z_2 by using Biran-Cornea's theory.
In this article we consider a variant of Rabinowitz Floer homology in order to define a homological count of discriminant points for paths of contactomorphisms. The growth rate of this count can be seen as an analogue of Givental's nonlinear Maslov index. As an application we prove a Bott-Samelson type obstruction theorem for positive loops of contactomorphisms.
In this article we address two issues. First, we explore to what extent the techniques of Piunikhin, Salamon and Schwarz in [PSS96] can be carried over to Lagrangian Floer homology. In [PSS96] an isomorphism between Hamiltonian Floer homology and the singular homology is established. In contrast, Lagrangian Floer homology is not isomorphic to the singular homology of the Lagrangian submanifold, in general. Depending on the minimal Maslov number, we construct for certain degrees two homomorphisms between Lagrangian Floer homology and singular homology. In degrees where both maps are defined we …
This is a continuation of part I in the series of the papers on Lagrangian Floer theory on toric manifolds. Using the deformations of Floer cohomology by the ambient cycles, which we call bulk deformations, we find a continuum of non-displaceable Lagrangian fibers on some compact toric manifolds. We also provide a method of finding all fibers with non-vanishing Floer cohomology with bulk deformations in arbitrary compact toric manifolds, which we call bulk-balanced Lagrangian fibers.
We construct an exotic monotone Lagrangian torus in CP^2 using techniques motivated by mirror symmetry. We show that it bounds 10 families of Maslov index 2 holomorphic discs, and it follows that this exotic torus is not Hamiltonian isotopic to the known Clifford and Chekanov tori.
In this paper we study Lagrangian Floer theory on toric manifolds from the point of view of mirror symmetry. We construct a natural isomorphism between the Frobenius manifold structures of the (big) quantum cohomology of the toric manifold and of Saito's theory of singularities of the potential function constructed in \cite{fooo09} via the Floer cohomology deformed by ambient cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten theory of one-loop.
We show that in many examples the non-displaceability of Lagrangian submanifolds by Hamiltonian isotopy can be proved via Lagrangian Floer cohomology with non-unitary line bundle. The examples include all monotone Lagrangian torus fibers in toric Fano manifold (which was also proven by Entov and Polterovich via the theory of symplectic quasi-states), some non-monotone Lagrangian torus fibers. We also extend the results by Oh and the author about the computations of Floer cohomology of Lagrangian torus fibers to the case of all toric Fano manifolds, removing the convexity assumption in the prev…
We construct infinitely many families of monotone Lagrangian tori in $\mathbb{R}^6$, no two of which are related by Hamiltonian isotopies (or symplectomorphisms). These families are distinguished by the (arbitrarily large) numbers of families of Maslov index 2 pseudo-holomorphic discs that they bound.
We show that blow-ups or reverse flips (in the sense of the minimal model program) of rational symplectic manifolds with point centers create Floer-non-trivial Lagrangian tori. As applications, we demonstrate the existence of Hamiltonian non-displaceable Lagrangian tori in, for example, small symplectic blow-ups of compact symplectic manifolds and moduli spaces of polygons. These results are part of a conjectural description of generators for the Fukaya category of a compact symplectic manifold with a singularity-free running of the minimal model program.
The purpose of this paper is to extend the construction of the PSS-type isomorphism between the Floer homology and the quantum homology of a monotone Lagrangian submanifold $L$ of a symplectic manifold $M$, provided that the minimal Maslov number of $L$ is at least two, to arbitrary coefficients. We provide a proof, again over arbitrary coefficients, that this isomorphism respects the natural algebraic structures on both sides, such as the quantum product and the quantum module action. This isomorphism serves as the technical foundation for the construction of Lagrangian spectral invariants in…
Mironov, Panov and Kotelskiy studied Hamiltonian-minimal Lagrangians inside $\mathbb{C}^n$. They associated a closed embedded Lagrangian $L$ to each Delzant polytope $P$. In this paper we develop their ideas and prove that $L$ is monotone if and only if the polytope $P$ is Fano. In some examples, we further compute the minimal Maslov numbers. Namely, let $\mathcal{N}\to T^k$ be some fibration over the $k$-dimensional torus with a fiber equal to either $S^k \times S^l$, or $S^k \times S^l \times S^m$, or $\#_5(S^{2p-1} \times S^{n-2p-2})$. We construct monotone Lagrangian embeddings $\mathcal{N…
Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of the bordered Floer complex of $Y(K)$ in terms of the knot Floer complex associated with $K$. As a corollary, we show that if a homology sphere has the same Heegaard Floer homology as $S^3$ it does not contain any incompressible tori. Consequently, if $Y$ is an irreducible homology sphere $L$-space then $Y$ is either $S^3$, or the Poicaré sphere $Σ(2,3,5)$, or…
We develop a new approach to Lagrangian-Floer gluing. The construction of the gluing map is based on the intersection theory in some Hilbert manifold of paths $\mathcal{P} $. We consider some moduli spaces of perturbed holomorphic curves whose domains are either strips or more general Riemann surfaces with strip-like ends. These moduli spaces can be injectively immersed into the Hilbert manifold $\mathcal{P} $ by taking the restriction to non-Lagrangian boundary. Some subsets $ \mathcal{M}^T(U) $ and $ \mathcal{M}^{\infty} (U) $ of the aforementioned moduli spaces of perturbed holomorphic stri…
In this article we define and compute the Novikov Floer homology associated to a non-resonant magnetic field and a mechanical Hamiltonian on a flat torus T^{2N}. As a result, we deduce that this Hamiltonian system always has 2N+1 contractible solutions, and generically even 2^{2N} contractible solutions. Moreover if there exists a non-degenerate non-contractible solution then there necessarily exists another.
Let X be the Fermat quintic threefold. The set of real solutions L forms a Lagrangian submanifold of X. Multiplying the homogeneous coordinates of X by various fifth roots of unity gives automorphisms of X; the images of L under these automorphisms defines a family of 625 different Lagrangian submanifolds, called real Lagrangians. In this paper we try to calculate the Floer cohomology between all pairs of these Lagrangians. We are able to complete most of the calculations, but there are a few cases we cannot do. The basic idea is to explicitly describe some low energy moduli spaces and then us…
This article is a survey of a series of papers [FOOO3,FOOO4,FOOO5] in which we developed the method of calculation of Floer cohomology of Lagrangian torus orbits in compact toric manifolds, and its applications to symplectic topology and to mirror symmetry. In this article we summarize the main ingredients of calculation and illustrate them by examples. The second half of the survey is devoted to discussion of the most recent result from [FOOO5] (arXiv:1009.1648) where the mirror symmetry between the two Frobenius manifolds arising from the big quantum cohomology and from the K. Saito theory o…
We define the Maslov index of a loop tangent to the characteristic foliation of a coisotropic submanifold as the mean Conley--Zehnder index of a path in the group of linear symplectic transformations, incorporating the "rotation" of the tangent space of the leaf -- this is the standard Lagrangian counterpart -- and the holonomy of the characteristic foliation. Furthermore, we show that, with this definition, the Maslov class rigidity extends to the class of the so-called stable coisotropic submanifolds including Lagrangian tori and stable hypersurfaces.
Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered manifold, in terms of twisted knot Floer homology. Using this, we compute the twisted Heegaard Floer homology \underline{HF}^+ of the mapping torus of a diffeomorphism of a closed Riemann surface whose mapping class is periodic, giving an almost complete description of the structure of these groups. When the mapping class is nontrivial, we find in particula…
We calculate the Heegaard Floer homologies$HF^+(M,s) for mapping tori M associated to certain surface diffeomorphisms, where s is any Spin^c structure on M whose first Chern class is non-torsion. Let gamma and delta be a pair of geometrically dual nonseparating curves on a genus g Riemann surface Sigma_g, and let sigma be a curve separating Sigma_g into components of genus 1 and g-1. Write t-gamma, t_delta, and t_sigma for the right-handed Dehn twists about each of these curves. The examples we consider are the mapping tori of the diffeomorphisms t_gamma^m circ t_delta^n for m,n in Z and that …
We use quasimap Floer cohomology for varying symplectic quotients to resolve several puzzles regarding displaceability of toric moment fibers. For example, we (i) present a compact Hamiltonian torus action containing an {\em open} subset of non-displaceable orbits and a codimension four singular set, partly answering a question of McDuff, and (ii) determine displaceability for most of the moment fibers of a symplectic ellipsoid.
This is the first part of an article in two parts, which builds the foundation of a Floer-theoretic invariant, (I_F). (See math.DG/0505013 for part II). The Floer homology can be trivial in many variants of the Floer theory; it is therefore interesting to consider more refined invariants of the Floer complex. We consider one such instance--the Reidemeister torsion (τ_F) of the Floer-Novikov complex of (possibly non-hamiltonian) symplectomorphisms. (τ_F) turns out NOT to be invariant under hamiltonian isotopies, but this failure may be fixed by introducing certain ``correction term'': We define…
In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co)chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter $T^{2π} = e^{-1}$, our computation verifies the folklore that FOOO's obstruction (co)chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspo…
This is the second part of an article in two parts, which builds the foundation of a Floer-theoretic invariant, I_F. (See math.DG/0111313 for part I). Having constructed I_F and outlined a proof of its invariance based on bifurcation analysis in part I, in this part we prove a series of gluing theorems to confirm the bifurcation behavior predicted in part I. These gluing theorems are different from (and much harder than) the more conventional versions in that they deal with broken trajectories or broken orbits connected at degenerate rest points. The issues of orientation and signs are also se…
We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several ex…
We define an integer graded symplectic Floer cohomology and a Fintushel-Stern type spectral sequence which are new invariants for monotone Lagrangian sub-manifolds and exact isotopes. The Z-graded symplectic Floer cohomology is an integral lifting of the usual Z_Sigma(L)-graded Floer-Oh cohomology. We prove the Kunneth formula for the spectral sequence and an ring structure on it. The ring structure on the Z_Sigma(L)-graded Floer cohomology is induced from the ring structure of the cohomology of the Lagrangian sub-manifold via the spectral sequence. Using the Z-graded symplectic Floer cohomolo…
We introduce a new version of Floer theory of a non-monotone Lagrangian submanifold which only uses least area holomorphic disks with boundary on it. We use this theory to prove non-displaceability theorems about continuous families of Lagrangian tori in the complex projective plane and other del Pezzo surfaces.
This paper is concerned with the rational symplectic field theory in the Floer case. For this observe that in the general geometric setup for symplectic field theory the contact manifolds can be replaced by mapping tori of symplectic manifolds with symplectomorphisms. While the cylindrical contact homology is given by the Floer homologies of powers of the symplectomorphism, the other algebraic invariants of symplectic field theory provide natural generalizations of symplectic Floer homology. For symplectically aspherical manifolds and Hamiltonian symplectomorphisms we study the moduli spaces o…
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…
We prove the existence of a one-parameter family of nondisplaceable Lagrangian tori near a linear chain of Lagrangian 2-spheres in a symplectic 4-manifold. When the symplectic structure is rational we prove that the deformed Floer cohomology groups of these tori are nontrivial. The proof uses the idea of toric degeneration to analyze the full potential functions with bulk deformations of these tori.
We use a neck stretching argument for holomorphic curves to produce symplectic disks of small area and Maslov class with boundary on Lagrangian submanifolds of nonpositive curvature. Applications include the proof of Audin's conjecture on the Maslov class of Lagrangian tori in linear symplectic space, the construction of a new symplectic capacity, obstructions to Lagrangian embeddings into uniruled symplectic manifolds, a quantitative version of Arnold's chord conjecture, and estimates on the size of Weinstein neighbourhoods. The main technical ingredient is transversality for the relevant mod…
We prove that any embedded Maslov index two analytic disc attached to a totally real torus in the complex two-dimensional affine space extends to an analytic filling provided that the torus is contained in a regular level set of a strictly plurisubharmonic function.
We compute the ring structure of Floer cohomology groups of Lagrangian torus fibers in some toric Fano manifolds continuing the study of \cite{CO}. Related $\AI$-formulas hold for transversal choice of chains. Two different computations are provided: a direct calculation using the classification of holomorphic discs by Oh and the author in \cite{CO}, and another method by using an {\it analogue of divisor equation} in Gromov-Witten invariants to thecase of discs. Floer cohomology rings are shown to be isomorphic to Clifford algebras, whose quadratic forms are given by the Hessians of functions…
We investigate the relationship between the Lagrangian Floer superpotentials for a toric orbifold and its toric crepant resolutions. More specifically, we study an open string version of the crepant resolution conjecture (CRC) which states that the Lagrangian Floer superpotential of a Gorenstein toric orbifold $\mathcal{X}$ and that of its toric crepant resolution $Y$ coincide after analytic continuation of quantum parameters and a change of variables. Relating this conjecture with the closed CRC, we find that the change of variable formula which appears in closed CRC can be explained by relat…
We compute the Bott-Morse Floer cohomology of the Clifford torus in $\CP^n$ with all possible spin-structures. Each spin structure is known to determine an orientation of the moduli space of holomorphic discs, and we analyze the change of orientation according to the change of spin structure of the Clifford torus. Also, we classify all holomorphic discs with boundary lying on the Clifford torus by establishing a Maslov index formula for such discs. As a result, we show that in odd dimensions there exist two spin structures which give non-vanishing Floer cohomology of the Clifford torus, and in…
We consider exact Lagrangian submanifolds in cotangent bundles. Under certain additional restrictions (triviality of the fundamental group of the cotangent bundle, and of the Maslov class and second Stiefel-Whitney class of the Lagrangian submanifold) we prove such submanifolds are Floer-cohomologically indistinguishable from the zero-section. This implies strong restrictions on their topology. An essentially equivalent result was recently proved independently by Nadler, using a different approach.
Consider a Maslov zero Lagrangian submanifold diffeomorphic to a Lie group on which an anti-symplectic involution acts by the inverse map of the group. We show that the Fukaya $A_\infty$ endomorphism algebra of such a Lagrangian is quasi-isomorphic to its de Rham cohomology tensored with the Novikov field. In particular, it is unobstructed, formal, and its Floer and de Rham cohomologies coincide. Our result implies that the smooth fibers of a large class of singular Lagrangian fibrations are unobstructed and their Floer and de Rham cohomologies coincide. This is a step in the SYZ and family Fl…
There are two purposes of the present article. One is to correct an error in the proof of Theorem 6.1.25 in \cite{fooo:book}, from which Theorem J \cite{fooo:book} follows. In the course of doing so, we also obtain a new lower bound of the displacement energy of polydisks in general dimension. The results of the present article are motivated by the recent preprint of Hind \cite{hind} where the 4 dimensional case is studied. Our proof is different from Hind's even in the 4 dimensional case and provides stronger result, and relies on the study of torsion thresholds of Floer cohomology of Lagrang…
Let $(M,ω)$ be a symplectic manifold compact or convex at infinity. Consider a closed Lagrangian submanifold $L$ such that $ω|_{π_2(M,L)}=0$ and $μ|_{π_2(M,L)}=0$, where $μ$ is the Maslov index. Given any Lagrangian submanifold $L'$, Hamiltonian isotopic to $L$, we define Lagrangian spectral invariants associated to the non zero homology classes of $L$, depending on $L$ and $L'$. We show that they naturally generalize the Hamiltonian spectral invariants introduced by Oh and Schwarz, and that they are the homological counterparts of higher order invariants, which we also introduce here, via spe…
We use the theory of sutured TQFT to classify contact elements in the sutured Floer homology, with $\Z$ coefficients, of certain sutured manifolds of the form $(Σ\times S^1, F \times S^1)$ where $Σ$ is an annulus or punctured torus. Using this classification, we give a new proof that the contact invariant in sutured Floer homology with $\Z$ coefficients of a contact structure with Giroux torsion vanishes. We also give a new proof of Massot's theorem that the contact invariant vanishes for a contact structure on $(Σ\times S^1, F \times S^1)$ described by an isolating dividing set.
In this paper, we give a formula for the Maslov index of a gradient holomorphic disc, which is a relative version of the Chern number formula of a gradient holomorphic sphere for a Hamiltonian $S^1$-action. Using the formula, we classify all monotone Lagrangian non-toric fibers of Gelfand-Cetlin systems on partial flag manifolds.
The present authors introduced the notion of \emph{weakly unobstructed} Lagrangian submanifolds and constructed their \emph{potential function} $\mathfrak{PO}$ purely in terms of $A$-model data in [FOOO2]. In this paper, we carry out explicit calculations involving $\mathfrak{PO}$ on toric manifolds and study the relationship between this class of Lagrangian submanifolds with the earlier work of Givental [Gi1] which advocates that quantum cohomology ring is isomorphic to the Jacobian ring of a certain function, called the Landau-Ginzburg superpotential. Combining this study with the results fr…
