• Consider the differential forms $A^*(L)$ on a Lagrangian submanifold $L \subset X$. Following ideas of Fukaya-Oh-Ohta-Ono, we construct a family of cyclic unital curved $A_\infty$ structures on $A^*(L),$ parameterized by the cohomology of $X$ relative to $L.$ The family of $A_\infty$ structures satisfies properties analogous to the axioms of Gromov-Witten theory. Our construction is canonical up to $A_\infty$ pseudoisotopy. We work in the situation that moduli spaces are regular and boundary evaluation maps are submersions, and thus we do not use the theory of the virtual fundamental class.
  • We use $A_\infty$ algebras to define open Gromov-Witten invariants with both boundary and interior constraints, associated to a Lagrangian submanifold $L\subset X$ of arbitrary dimension. The boundary constraints are bounding chains, which are shown to behave like points. The interior constraints are classes in the cohomology of $X$ relative to $L.$ We show the invariants satisfy analogs of the axioms of closed Gromov-Witten theory. Our open Gromov-Witten invariants extend Fukaya's invariants for Maslov zero Lagrangians in Calabi-Yau threefolds as well as both Welschinger's and Georgieva's real enumerative invariants. The definition depends on the vanishing of a series of obstruction classes. One way to show vanishing is to impose certain cohomological conditions on $L.$ Alternatively, if there exists an anti-symplectic involution fixing $L$, then part of the obstructions vanish a priori, and weaker cohomological conditions suffice to guarantee vanishing of the remaining obstructions. In the cases considered by Welschinger and Georgieva, all obstructions vanish a priori.