Difference between revisions of "Polyfold constructions for Fukaya categories"

From Polyfolds.org
Jump to: navigation, search
(→‎Morphisms)
(→‎Morphisms)
Line 47: Line 47:
 
\text{Crit}(f) &; L_0=L_1 ,\\
 
\text{Crit}(f) &; L_0=L_1 ,\\
 
\phi(L_0)\cap L_1 &\; L_0\neq L_1 .
 
\phi(L_0)\cap L_1 &\; L_0\neq L_1 .
−
\end{cases]</math>
+
\end{cases}</math>
 
</center>
 
</center>
 
Note that this involves a choice of Hamiltonian diffeomorphism <math>\phi</math> or Morse function <math>f</math>, respectively, for each pair. Only for <math>L_0\pitchfork L_1</math> there is a canonical choice of <math>\phi=\text{id}_M</math>.
 
Note that this involves a choice of Hamiltonian diffeomorphism <math>\phi</math> or Morse function <math>f</math>, respectively, for each pair. Only for <math>L_0\pitchfork L_1</math> there is a canonical choice of <math>\phi=\text{id}_M</math>.

Revision as of 13:42, 20 May 2017


Fukaya categories 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 [1].

There are different constructions (and even more proposals) depending on the properties of the (fixed) ambient symplectic manifold. For example, Seidel [2] 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 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 (M,\omega ). Then the Fukaya category of M consists of the following data:

Objects

The Objects of \operatorname {Fuk}(M) are - roughly speaking - the compact Lagrangian submanifolds L\subset M. More precisely, each object is a Lagrangian 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 work with {{\mathbb K}}={{\mathbb Z}}_{2} coefficients in the following.

Morphisms

The morphism spaces of an A_{\infty }-category forms a graded vector space over a field. For Fukaya categories this typically is the Novikov field over a fixed field {{\mathbb K}} such as {{\mathbb K}}=\mathbb{Q} or {{\mathbb K}}=\mathbb{Z } _{2}, with a variable T,

\Lambda :=\Lambda _{{{\mathbb K}}}:=\left\{\sum _{{i=0}}^{\infty }a_{i}T^{{\lambda _{i}}}\,\left|\,\mathbb{R} \ni \lambda _{i}{\underset {i\to \infty }{\to }}\infty ,a_{i}\in {\mathbb {K}}\right.\right\}

Now for two Lagrangians L_{0},L_{1}\subset M that are transverse (i.e. T_{x}L_{0}\oplus T_{x}L_{1}=T_{x}M\;{\text{for each}}\;x\in L_{0}\cap L_{1}) and hence have a finite set of intersection points, the natural choice of morphism space is the Floer chain complex

{\text{Hom}}(L_{0},L_{1}):=\sum _{{x\in L_{0}\cap L_{1}}}\Lambda \,x.

When L_{0},L_{1}\subset M are not transverse, then the construction of the Floer chain complex usually proceeds by choosing a Hamiltonian symplectomorphism \phi :(M,\omega )\to (M,\omega ) such that \phi (L_{0}),L_{1} are transverse. Then we define the Floer complex resp. Fukaya category morphism space by {\text{Hom}}(L_{0},L_{1}):={\text{Hom}}(\phi (L_{0}),L_{1}).


When considering the isomorphism space {\text{Hom}}(L,L) of a fixed Lagrangian L_{0}=L_{1}=L, then the Hamiltonian symplectomorphism \phi can be obtained by lifting a Morse function f:L\to \mathbb{R} to a Hamiltonian function in a Lagrangian neighborhood T^{*}L\subset M. After extending it suitably, the intersection points can be identified with the critical points, \phi (L)\cap L={\text{Crit}}f. Thus in this case we define the morphism space by the Morse chain complex

{\text{Hom}}(L,L):=\sum _{{x\in {\text{Crit}}f}}\Lambda \,x.

Each of the morphism spaces is a vector space over the Novikov field \Lambda =\Lambda _{{{\mathbb K}}}. For most versions of Fukaya categories, these vector spaces should also be graded over {{\mathbb Z}} or {{\mathbb Z}}_{N}. This grading will arise from additional data in the brane structure for each Lagrangian. To simplify notation, we will in the following use the universal construction of these vector spaces as

{\text{Hom}}(L_{0},L_{1}):=\sum _{{x\in {\text{Crit}}(L_{0},L_{1})}}\Lambda \,x,\qquad {\text{as freely generated by}}\quad {\text{Crit}}(L_{0},L_{1}):={\begin{cases}{\text{Crit}}(f)&;L_{0}=L_{1},\\\phi (L_{0})\cap L_{1}&\;L_{0}\neq L_{1}.\end{cases}}

Note that this involves a choice of Hamiltonian diffeomorphism \phi or Morse function f, respectively, for each pair. Only for L_{0}\pitchfork L_{1} there is a canonical choice of \phi ={\text{id}}_{M}.


Here the use of the Morse complex for the isomorphism spaces is based on input from the Mirror Symmetry community. Further input is needed to decide how to track or deal with the choices of Hamiltonian symplectomorphisms algebraically, and what gradings to use - resulting from appropriate brane structures.

Composition Operations

While a category has a single composition map {\text{Hom}}(L_{0},L_{1})\times {\text{Hom}}(L_{1},L_{2})\to {\text{Hom}}(L_{0},L_{2}), an A_{\infty }-category has composition maps of every order d\geq 1, which are \Lambda -linear maps from a tensor product of morphism spaces,

\mu ^{d}:{\text{Hom}}(L_{{d-1}},L_{d})\otimes \ldots \otimes {\text{Hom}}(L_{1},L_{2})\otimes {\text{Hom}}(L_{0},L_{1})\to {\text{Hom}}(L_{0},L_{d}).

For Fukaya categories of non-exact symplectic manifolds, disk bubbling will moreover result in curvature terms in the A_{\infty }-relations, which are encoded in terms of a d=0 composition for each Lagrangian brane,

\mu ^{0}:\Lambda \to {\text{Hom}}(L,L),\qquad \mu ^{0}:\lambda \mapsto \lambda \,\mu ^{0}(1).

For any pure tensor given by intersection points x_{i}\in {\text{Crit}}(L_{i},L_{{i-1}})

\mu ^{d}(x_{d}\otimes \ldots \otimes x_{2}\otimes x_{1})=\sum _{{x_{0}\in {\text{Crit}}(L_{d},L_{0})}}\sum _{{b\in {\mathcal {M}}^{0}(x_{0};x_{1},\ldots ,x_{d})}}q_{b}\,T^{{\omega (b)}}\,x_{0}.

{\mathbf {A}}_{{\mathbf {\infty }}}-Relations

Invariance

Retrieved from "http://www.polyfolds.org/index.php?title=Polyfold_constructions_for_Fukaya_categories&oldid=113"