# Polyfold constructions for Fukaya categories

Fukaya categories were first introduced by Fukaya, Oh, Ohta, Ono in ca.2000. They capture the chain level information contained in Lagrangian Floer theory and its product structures. For an introduction see e.g. Auroux' *Beginner's introduction to Fukaya categories* [A].

There are different constructions (and even more proposals) depending on the properties of the (fixed) ambient symplectic manifold.

For example, Seidel [S] considers exact symplectic manifolds and constructs an (uncurved) Fukaya 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 main difficulty that is not addressed in Seidel's book: How to regularize the moduli spaces of pseudoholomorphic polygons when geometric methods fail (e.g. due to sphere bubbling), and how to capture disk bubbling algebraically.
To limit the classical analytic challenges in studying the pseudoholomorphic curves involved, we restrict our constructions to a fixed **compact** symplectic manifold .
Then - *depending on various open choices and algebraic packaging for which we seek input from the Mirror Symmetry community* - the **Fukaya category ** consists of the following data:

## Objects

An object of is a compact Lagrangian submanifold equipped with a brane structure.

*Here input from the Mirror Symmetry community is needed*

*to determine what specific brane structures should be used. For the time being, we will treat brane structures as abstract gadgets that induce gradings on Floer or Morse complexes (which will form the morphism spaces) and orientations on the moduli spaces of pseudoholomorphic curves (from which we will construct the composition maps).*

For special symplectic manifolds (those equipped with an almost complex structure J for which all J-holomorphic spheres are constant) we could work with Lagrangians without additional brane structure. In this case of **trivial brane structures** we will not have gradings or orientations, and thus will have to (and can) work with coefficients in the following.

## Morphisms

The morphism spaces of an -category form graded modules over a ring. For Fukaya categories this typically is the Novikov ring over a fixed field such as or , with a variable ,

The natural construction of the morphism spaces arises from the geometry of the Lagrangian intersection as follows:

For two Lagrangians that are transverse (i.e. ) and hence have a finite set of intersection points, the natural choice of morphism space is the Floer chain complex

.

When are not transverse, then the construction of the Floer chain complex usually proceeds by choosing a Hamiltonian symplectomorphism such that are transverse. So we define the Floer complex resp. Fukaya category morphism space by .

When considering the isomorphism space of a fixed Lagrangian , then the Hamiltonian symplectomorphism can be obtained by lifting a Morse function to a Hamiltonian function in a Lagrangian neighborhood . After extending it suitably, the intersection points can be identified with the critical points, . Thus in this case we define the morphism space by the Morse chain complex

The universal construction of the morphism spaces is

as module over the Novikov ring that is freely generated by a finite critical set

This requires the choice of a Hamiltonian diffeomorphism or Morse function , respectively, for each pair of objects.

For we will prescribe the canonical choice of . For each nontransverse pair we fix an autonomous Hamiltonian function such that the time-1 flow of the associated Hamiltonian vector field yields the desired transversality . Moreover, we can make these choices symmetric by setting so that . This identifies the morphism spaces via the bijection of critical sets

For most versions of Fukaya categories, these modules also carry a grading induced by brane structures (or with even ) for all . (When working with trivial brane structures, we set .)

*Here input from the Mirror Symmetry community is needed*

*on how to deal with the choices of Hamiltonian symplectomorphisms algebraically, and what gradings to use - resulting from appropriate brane structures.*

*The use of the Novikov ring and the Morse complex for the isomorphism spaces is based on such input.*

## Composition Operations

While a category has a single composition map , an -category has composition maps of every order , which are -linear maps from a tensor product of morphism spaces,

When the morphism spaces carry a grading induced by brane structures, then the composition operation has degree (i.e. shifts the grading down by this amount). In particular, the composition map is a differential (of degree 1) on the morphism space - namely the Floer differential in the case of the Fukaya category. For Fukaya categories of non-exact symplectic manifolds, disk bubbling will moreover result in curvature terms in the -relations, which are encoded in terms of a composition for each Lagrangian brane,

By linearity it suffices to construct these composition maps for any pure tensor given by intersection points . These constructions will result from appropriate ways of counting elements of moduli spaces of pseudoholomorphic polygons ,

Here denotes a regularization of the moduli space (e.g. a perturbation), which in particular induces a weight function (e.g. in case ), and is a symplectic area function. Finally, the superscript in indicates the part of the moduli space of expected dimension 0.

An example of this regularization construction by means of polyfold theory can be found in [J.Li thesis], which constructs a curved -algebra on the Morse complex of a fixed Lagrangian .

More precisely, [J.Li thesis] assumes that contains no -holomorphic spheres, which allows to work with coefficients in the Novikov ring over . Generalizing this work to all compact symplectic manifolds requires inclusion of sphere bubble trees, which cause nontrivial isotropy. In that case, the need for multivalued perturbations rules out working with -coefficients, and requires the construction of coherent orientations on the regularized moduli spaces.

## Curved -Relations

The -relations generalize the associativity relation for classical composition of morphisms in categories. They also describe the failure of the Floer differential to square to zero, due to a curvature term. So, more precisely, we need to establish the **curved -relations**.

The curved -relations can be phrased as , where is given by the composition maps acting on the total complex

We will denote the length of a pure tensor by . Now the abstract sum of all composition maps is a -linear map on that is given on pure tensors by

Here we sum over all decompositions into pure tensors of lengths , in particular allow to have length . The sign is determined by the length \ell(c_n \otimes \ldots \otimes c_1) = n) and the grading induced by brane structures (or with even ). With this notation, the curved -relations for are .

Spelling this out, the first two relations are

Using linearity it suffices to prove the -relations for and

where .

To prove these identities we will identify the summands with Cartesian products of 0-dimensional parts of regularized moduli spaces, identify these with the boundary facets of 1-dimensional regularized moduli space,

where we abbreviate and appeal to the fact that the boundary of a sufficiently regular moduli space is null homologous. In addition, the proof relies on additivity of the symplectic area and requires the regularizations of these moduli spaces to be related by .

More precisely, by construction of the the -relation above is equivalent to the identity for each fixed

Now the relationship between 1- and 0-dimensional regularized moduli spaces above says more precisely that the boundary of the 1-dimensional regularized moduli space consists of pairs for any and . Since the symplectic area is constant on every connected component of the moduli space, we can partition the claimed identity into sums of the weight function over the boundary of a union of components, for some . Now the -relations finally follow from a version of Stokes' theorem for the boundary of a 1-dimensional regularized moduli space,

## Invariance

There are many choices involved in the above construction of a Fukaya category. These can roughly be separated into *geometric, local choices* (the almost complex structure , and Hamiltonian diffeomorphisms resp. Morse functions ) and *abstract, global choices* (the perturbation and setups of ambient space/bundle in which it gets constructed). Sometimes we can even obtain the required regularization by a geometric choice of the perturbations.

To prove independence of the Fukaya category (up to an appropriate notion of equivalence) from a geometric/local choice, we can construct *continuation maps*

as in [3.4 Salamon notes] or [(10c) Seidel book] to obtain direct -functors between the Fukaya categories for two different choices. Such constructions use moduli spaces of solutions of a Cauchy-Riemann PDE in which the geometric data (almost complex structure and Hamiltonian perturbation term) interpolates between the two different choices.

For abstract/global choices, such a *continuation map PDE* is not available

since the abstract maps are generally not given by a local differential operator - i.e. depends on the entire map , not just on the value and some derivatives of at the point . Instead, one is led to considering a 1-parameter family of Cauchy-Riemann PDEs which interpolates between the two abstract choices. This *homotopy method* was originally introduced by Floer, and is outlined in the exact -context in [(10e) Seidel book]. For general symplectic manifolds, curvature terms form a major obstacle which can be resolved in special cases by *obstruction bundle gluing*-like analysis [J.Li thesis].

A general invariance proof will likely require a setup along the following lines:
To compare the Fukaya categories resulting from two different sets of choices, use a homotopy between the perturbation data to construct an -category together with two *restriction functors* and .

*Here input from the Mirror Symmetry community is needed*

"as to what algebraic notion of curved equivalence is desired ... and possible given the context of abstract perturbations that cannot exclude bubbling, even if the two categories under comparison are 'unobstructed'.