A-infinity algebras for Lagrangians via polyfold theory for Morse trees with holomorphic disks

Abstract

For a Lagrangian submanifold, we define a moduli space of trees of holomorphic disk maps with Morse flow lines as edges, and construct an ambient space around it which we call the quotient space of disk trees. We show that this ambient space is an M-polyfold with boundary and corners by combining the infinite dimensional analysis in sc-Banach space with the finite dimensional analysis in Deligne-Mumford space. We then show that the Cauchy-Riemann section is sc-Fredholm, and by applying the polyfold perturbation we construct an A[infinity]. algebra over Z₂ coefficients. Under certain assumptions, we prove the invariance of this algebra with respect to choices of almost-complex structures.