Lagrangian Floer theory on compact toric manifolds II: bulk deformations

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.     

Localization for Involutions in Floer Cohomology

We consider Lagrangian Floer cohomology for a pair of Lagrangian submanifolds in a symplectic manifold M. Suppose that M carries a symplectic involution, which preserves both submanifolds. Under various topological hypotheses, we prove a localization theorem for Floer cohomology, which implies a Smith-type inequality for the Floer cohomology groups in M and its fixed point set. Two applications to symplectic Khovanov cohomology are included.     

On the Floer homology of cotangent bundles

This paper concerns Floer homology for periodic orbits and for a Lagrangian intersection problem on the cotangent bundle T* M of a compact orientable manifold M. The first result is a new L^∞ estimate for the solutions of the Floer equation, which allows us to deal with a larger—and more natural—class of Hamiltonians. The second and main result is a new construction of the isomorphism between the Floer homology and the singular homology of the free loop space of M in the periodic case, or of the based loop space of M in the Lagrangian intersection problem. The idea for the construction of such an isomorphism is to consider a Hamiltonian that is the Legendre transform of a Lagrangian on T M and to construct an isomorphism between the Floer complex and the Morse complex of the classical Lagrangian action functional on the space of W^1,2 free or based loops on M. © 2005 Wiley Periodicals, Inc.     

Hofer’s metric on the space of Lagrangian submanifolds and wrapped Floer homology

In this paper, we study the relationship between wrapped Floer homology and displaceability of a Lagrangian submanifold which we call vanishing theorem of wrapped Floer homology. We also use this theorem to study Hofer’s pseudometric on the space of Lagrangian submanifolds. We prove an inequality, the Lagrangian version of the inequality of Gromov width and displacement energy, which is called energy-capacity inequality.     

The Künneth formula in Floer homology for manifolds with restricted contact type boundary

We prove the Künneth formula in Floer (co)homology for manifolds with restricted contact type boundary. We use Viterbo's definition of Floer homology, involving the symplectic completion by adding a positive cone over the boundary. The Künneth formula implies the vanishing of Floer (co)homology for subcritical Stein manifolds. Other applications include the Weinstein conjecture in certain product manifolds, obstructions to exact Lagrangian embeddings, existence of holomorphic curves with Lagrangian boundary condition, as well as symplectic capacities. Supported by ENS Lyon, école Polytechnique (Palaiseau) and ETH (Zürich).     

Categorification of invariants in gauge theory and symplectic geometry

This is a mixture of survey article and research announcement. We discuss instanton Floer homology for 3 manifolds with boundary. We also discuss a categorification of the Lagrangian Floer theory using the unobstructed immersed Lagrangian correspondence as a morphism in the category of symplectic manifolds. During the year 1998–2012, those problems have been studied emphasizing the ideas from analysis such as degeneration and adiabatic limit (instanton Floer homology) and strip shrinking (Lagrangian correspondence). Recently we found that replacing those analytic approach by a combination of cobordism type argument and homological algebra, we can resolve various difficulties in the analytic approach. It thus solves various problems and also simplify many of the proofs.     

Holomorphic triangles and invariants for smooth four-manifolds

In earlier articles, the authors introduced invariants for closed, oriented three-manifolds, defined using a variant of Lagrangian Floer homology in the symmetric products of Riemann surfaces. The aim of this article is to introduce invariants of oriented, smooth four-manifolds, built using these Floer homology groups. This four-dimensional theory also endows the corresponding three-dimensional theories with additional structure: an absolute grading of certain of its Floer homology groups.     

Piunikhin-Salamon-Schwarz isomorphisms for Lagrangian intersections

We study the intersections of gradient trajectories and holomorphic discs with Lagrangian boundary conditions in cotangent bundles, and give a construction of Piunikhin-Salamon-Schwarz isomorphisms in Lagrangian intersections Floer homology.     

Gauged Floer Theory Of Toric Moment Fibers

We investigate the small area limit of the gauged Lagrangian Floer cohomology of Frauenfelder [Fr1]. 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 [FuOOO3,1] and Cho–Oh [CO] on non-displaceability of moment fibers of not-necessarily-Fano toric varieties and extend their results to toric orbifolds, without using virtual fundamental chains. Finally, we describe a conjectural relationship with Floer cohomology in the quotient.     

A nondisplaceable Lagrangian torus in T*S2

We show that the Lagrangian torus in the cotangent bundles of the 2‐sphere obtained by applying the geodesic flow to the unit circle in a fiber is not displaceable by computing its Lagrangian Floer homology. The computation is based on a symmetry argument. © 2007 Wiley Periodicals, Inc.     

Lagrangian Rabinowitz Floer homology and twisted cotangent bundles

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 (Acta. Math. 141(1–2):17–34, 1978). 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 an Abbondandolo–Schwarz short exact sequence we compute the Lagrangian Rabinowitz Floer homology of certain regular level sets of Tonelli Hamiltonians of sufficiently high energy in twisted cotangent bundles, where the Lagrangians are conormal bundles. We deduce that in this situation a generic Hamiltonian diffeomorphism has infinitely many relative leaf-wise intersection points.     

Geometric composition in quilted Floer theory

We prove that Floer cohomology of cyclic Lagrangian correspondences is invariant under transverse and embedded composition under a general set of assumptions.     

Floer cohomology and geometric composition of Lagrangian correspondences

We prove an isomorphism of Floer cohomologies under geometric composition of Lagrangian correspondences in exact and monotone settings.     

The Role of the Legendre Transform in the Study of the Floer Complex of Cotangent Bundles

Consider a classical Hamiltonian H on the cotangent bundle T*M of a closed orientable manifold M, and let L:TM → R be its Legendre‐dual Lagrangian. In a previous paper we constructed an isomorphism Φ from the Morse complex of the Lagrangian action functional that is associated to L to the Floer complex that is determined by H. In this paper we give an explicit construction of a homotopy inverse Ψ of Φ. Contrary to other previously defined maps going in the same direction, Ψ is an isomorphism at the chain level and preserves the action filtration. Its definition is based on counting Floer trajectories on the negative half‐cylinder that on the boundary satisfy half of the Hamilton equations. Albeit not of Lagrangian type, such a boundary condition defines Fredholm operators with good compactness properties. We also present a heuristic argument which, independently of any Fredholm and compactness analysis, explains why the spaces of maps that are used in the definition of Φ and Ψ are the natural ones. The Legendre transform plays a crucial role both in our rigorous and in our heuristic arguments. We treat with some detail the delicate issue of orientations and show that the homology of the Floer complex is isomorphic to the singular homology of the loop space of M with a system of local coefficients, which is defined by the pullback of the second Stiefel‐Whitney class of TM on 2‐tori in M.© 2015 Wiley Periodicals, Inc.     

L 2-Topology and Lagrangians in the Space of Connections Over a Riemann Surface

We examine the L ²-topology of the gauge orbits over a closed Riemann surface. We prove a subtle local slice theorem based on the div-curl lemma of harmonic analysis, and deduce local pathwise connectedness of the gauge orbits. Based on a quantitative version of the connectivity, we generalize compactness results for anti-self-dual instantons with Lagrangian boundary conditions to general gauge-invariant Lagrangian submanifolds. This provides the foundation for the construction of instanton Floer homology for pairs of a 3-manifold with boundary and a Lagrangian in the configuration space over the boundary.     

Floer–Novikov homology and applications to Lagrangian submanifolds

We use a non-Hamiltonian version of Lagrangian Floer homology to prove that an exact Lagrangian submanifold in the cotangent bundle of the 3-torus T ³ must be diffeomorphic to T ³. This improves a previous result of Fukaya, Seidel and Smith.     

Functors and Computations in Floer Homology with Applications, I

This paper is concerned with Floer cohomology of manifolds with contact type boundary. In this case, there is no conjecture on this ring, as opposed to the compact case, where it is isomorphic to the usual cohomology (with the quantum product). We construct two mappings in Floer cohomology and prove some functorial properties of these two mappings. The first one is a map from the Floer cohomology of M to the relative cohomology of M modulo its boundary. The other is associated to a codimension zero embedding, and may be considered as a cohomological transfer. These maps are used to define some properties of symplectic manifolds with contact type boundary. These are algebraic versions of the Weinstein conjecture, asserting existence of closed characteristics on . This is proved for many cases, Euclidean space and subcritical Stein manifolds, vector bundles, products, cotangent bundles. It is also proved that the above property implies some restrictions on Lagrangian embeddings, and also yields in certain cases, existence results for holomorphic curves bounded by the Lagrange submanifold. The last section is devoted to applications of this existence result, to real forms of Stein manifolds and obstructions to polynomial convexity in Stein manifolds. Many of our applications rely on the computation of the Floer cohomology of a cotangent bundle, that is the subject of Part II. Submitted: December 1997, revised version: February 1999.     

Künneth formulae and cross products for the symplectic Floer cohomology

For a symplectic monotone manifold (P,ω) and φSymp₀(P,ω), we define a -graded symplectic Floer cohomology (a local invariant) over integral coefficients. There is a spectral sequence which arises from a filtration on the -graded symplectic Floer cochain complex. The spectral sequence converges to the -graded symplectic Floer cohomology (a global invariant). We show that there are cross products on the -graded symplectic Floer cohomology and on the spectral sequence, hence on the usual -graded symplectic Floer cohomology. The Künneth formula for the -graded symplectic Floer cohomology is proved and similar results for the spectral sequence are obtained.     

An iterated graph construction and periodic orbits of Hamiltonian delay equations

According to the Arnold conjectures and Floer's proofs, there are non-trivial lower bounds for the number of periodic solutions of Hamiltonian differential equations on a closed symplectic manifold whose symplectic form vanishes on spheres. We use an iterated graph construction and Lagrangian Floer homology to show that these lower bounds also hold for certain Hamiltonian delay equations.     

Coherent orientation of mixed moduli spaces in Morse-Floer theory

We give the coherent orientation for the spaces of intersections of gradient trajectories and holomorphic disks in cotangent bundle. This construction provides the Piunikhin-Salamon-Schwarz isomorphism between Morse homology and Floer homology for Lagrangian intersections in cotangent bundles, with integer coefficients. This work is partially supported by Ministry of Science and Environmental Protection of Republic of Serbia Project #144020.