Polyfold constructions for Fukaya categories

Fukaya categories capture the chain level information contained in Lagrangian Floer theory and its product structures. There are different constructions (and even more proposals) depending on the properties of the (fixed) ambient symplectic manifold. For example, Seidel [1] considers exact symplectic manifolds and constructs an (uncurved) Fukaya $A_{\infty }$ category whose objects are exact Lagrangians (with a brane structure), whose morphism spaces are Floer complexes (depending on the choice of a Hamiltonian), and whose composition operations are given by counting pseudoholomorphic polygons with boundary on the Lagrangians. (Here the benefit of the exactness assumption is that bubbling is excluded, so that the moduli spaces can be regularized by geometric methods (choices of Hamiltonian perturbations and almost complex structures). On the other hand, exact symplectic manifolds (on which the symplectic 2-form is exact) are necessarily noncompact, so one needs to assume certain boundedness and convexity conditions to ensure that pseudoholomorphic curves do not escape to infinity.)

This wiki will focus on the construction of a Fukaya category for a fixed compact symplectic manifold $(M,\omega )$ to develop the polyfold techniques for dealing with sphere and disk bubbling.