Difference between revisions of "Polyfold constructions for Fukaya categories"

From Polyfolds.org
Jump to: navigation, search
(→‎Morphisms)
(→‎Morphisms)
Line 22: Line 22:
 
When <math>L_0, L_1 \subset M</math> are not transverse, then we will choose a Hamiltonian symplectomorphism <math>\phi:(M,\omega)\to (M, \omega)</math> such that <math>\phi(L_0), L_1</math> are transverse, and define <math>\text{Hom}(L_0,L_1) := \text{Hom}(\phi(L_0),L_1) </math>.
 
When <math>L_0, L_1 \subset M</math> are not transverse, then we will choose a Hamiltonian symplectomorphism <math>\phi:(M,\omega)\to (M, \omega)</math> such that <math>\phi(L_0), L_1</math> are transverse, and define <math>\text{Hom}(L_0,L_1) := \text{Hom}(\phi(L_0),L_1) </math>.
  
−
When considering the isomorphism space <math>\text{Hom}(L,L)</math> of a fixed Lagrangian <math>L_0 = L_1=L</math>, then the Hamiltonian symplectomorphism <math>\phi</math> can be obtained by lifting a Morse function <math>f: L \to </math> to a Hamiltonian function in a neighborhood <math> T^*L \subset M</math>. After extending it suitably, the intersection points can be identified with the critical points, <math>\phi(L)\cap L = \text{Crit} f</math>. Thus in this case we define <math>\text{Hom}(L,L) :=  \sum_{x\in \text{Crit} f} {\mathbb K} x </math>.
+
When considering the isomorphism space <math>\text{Hom}(L,L)</math> of a fixed Lagrangian <math>L_0 = L_1=L</math>, then the Hamiltonian symplectomorphism <math>\phi</math> can be obtained by lifting a Morse function <math>f: L \to \R</math> to a Hamiltonian function in a neighborhood <math> T^*L \subset M</math>. After extending it suitably, the intersection points can be identified with the critical points, <math>\phi(L)\cap L = \text{Crit} f</math>. Thus in this case we define <math>\text{Hom}(L,L) :=  \sum_{x\in \text{Crit} f} {\mathbb K} x </math>.
  
 
== Composition Operations ==  
 
== Composition Operations ==  

Revision as of 20:56, 19 May 2017


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 main difficulty that is not addressed in Seidel's book: How to achieve transversality 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 which will induce orientations of moduli spaces and is needed to discuss the coefficient systems for the Floer theory.

Here input from the Mirror Symmetry community is needed to determine what specific brane structures and coefficient systems should be used. For the time being, we will treat brane structures as abstract gadget that induces orientations on the moduli spaces and denote the coefficient system (often a field) by {{\mathbb K}}.

Morphisms

For two Lagrangians L_{0},L_{1}\subset M that are transverse -- 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 {\text{Hom}}(L_{0},L_{1}):=\sum _{{x\in L_{0}\cap L_{1}}}{{\mathbb K}}x.

When L_{0},L_{1}\subset M are not transverse, then we will choose a Hamiltonian symplectomorphism \phi :(M,\omega )\to (M,\omega ) such that \phi (L_{0}),L_{1} are transverse, and define {\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 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 {\text{Hom}}(L,L):=\sum _{{x\in {\text{Crit}}f}}{{\mathbb K}}x.

Composition Operations

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

Invariance

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