This is a two-volume series research monograph on the general Lagrangian Floer theory and on the accompanying homological algebra of filtered $A_\infty$-algebras. This book provides the most important step towards a rigorous foundation of the Fukaya category in general context. In Volume I, general deformation theory of the Floer cohomology is developed in both algebraic and geometric contexts. An essentially self-contained homotopy theory of filtered $A_\infty$ algebras and $A_\infty$ bimodules and applications of their obstruction-deformation theory to the Lagrangian Floer theory are presented. Volume II contains detailed studies of two of the main points of the foundation of the theory: transversality and orientation. The study of transversality is based on the virtual fundamental chain techniques (the theory of Kuranishi structures and their multisections) and chain level intersection theories. A detailed analysis comparing the orientations of the moduli spaces and their fiber products is carried out. A self-contained account of the general theory of Kuranishi structures is also included in the appendix of this volume.

This is a two-volume series research monograph on the general Lagrangian Floer theory and on the accompanying homological algebra of filtered A_\infty-algebras. This book provides the most important step towards a rigorous foundation of the Fukaya category in general context. In Volume I, general deformation theory of the Floer cohomology is developed in both algebraic and geometric contexts. An essentially self-contained homotopy theory of filtered A_\infty algebras and A_\infty bimodules and applications of their obstruction-deformation theory to the Lagrangian Floer theory are presented. Vo.

In this paper the authors first develop various enhancements of the theory of spectral invariants of Hamiltonian Floer homology and of Entov-Polterovich theory of spectral symplectic quasi-states and quasi-morphisms by incorporating bulk deformations, i.e., deformations by ambient cycles of symplectic manifolds, of the Floer homology and quantum cohomology. Essentially the same kind of construction is independently carried out by Usher in a slightly less general context. Then the authors explore various applications of these enhancements to the symplectic topology, especially new construction of symplectic quasi-states, quasi-morphisms and new Lagrangian intersection results on toric and non-toric manifolds. The most novel part of this paper is its use of open-closed Gromov-Witten-Floer theory and its variant involving closed orbits of periodic Hamiltonian system to connect spectral invariants (with bulk deformation), symplectic quasi-states, quasi-morphism to the Lagrangian Floer theory (with bulk deformation). The authors use this open-closed Gromov-Witten-Floer theory to produce new examples. Using the calculation of Lagrangian Floer cohomology with bulk, they produce examples of compact symplectic manifolds which admits uncountably many independent quasi-morphisms . They also obtain a new intersection result for the Lagrangian submanifold in .

A-infinity structure was introduced by Stasheff in the 1960s in his homotopy characterization of based loop space, which was the culmination of earlier works of Sugawara's homotopy characterization of H-spaces and loop spaces. At the beginning of the 1990s, a similar structure was introduced by Fukaya in his categorification of Floer homology in symplectic topology. This structure plays a fundamental role in the celebrated homological mirror symmetry proposal by Kontsevich and in more recent developments of symplectic topology. A detailed construction of A-infinity algebra structure attached to a closed Lagrangian submanifold is given in Fukaya, Oh, Ohta, and Ono's two-volume monograph Lagrangian Intersection Floer Theory (AMS-IP series 46 I & II), using the theory of Kuranishi structures—a theory that has been regarded as being not easily accessible to researchers in general. The present lecture note is provided by one of the main contributors to the Lagrangian Floer theory and is intended to provide a quick, reader-friendly explanation of the geometric part of the construction. Discussion of the Kuranishi structures is minimized, with more focus on the calculations and applications emphasizing the relevant homological algebra in the filtered context. The book starts with a quick explanation of Stasheff polytopes and their two realizations—one by the rooted metric ribbon trees and the other by the genus-zero moduli space of open Riemann surfaces—and an explanation of the A-infinity structure on the motivating example of the based loop space. It then provides a description of the moduli space of genus-zero bordered stable maps and continues with the construction of the (curved) A-infinity structure and its canonical models. Included in the explanation are the (Landau–Ginzburg) potential functions associated with compact Lagrangian submanifolds constructed by Fukaya, Oh, Ohta, and Ono. The book explains calculations of potential functions for toric fibers in detail and reviews several explicit calculations in the literature of potential functions with bulk as well as their applications to problems in symplectic topology via the critical point theory thereof. In the Appendix, the book also provides rapid summaries of various background materials such as the stable map topology, Kuranishi structures, and orbifold Lagrangian Floer theory.