Equivariant A-infinity algebras for nonorientable Lagrangians

Abstract: We set up an algebraic framework for the study of pseudoholomorphic discs bounding nonorientable Lagrangians, as well as equivariant extensions of such structures arising from a torus action. First, we define unital cyclic twisted $A_\infty$ algebras and prove some basic results about them, including a homological perturbation lemma which allows one to construct minimal models of such algebras. We then construct an equivariant extension of $A_\infty$ algebras which are invariant under a torus action on the underlying complex. Finally, we construct a homotopy retraction of the Cartan-Weil complex to equivariant cohomology, which allows us to construct minimal models for equivariant cyclic twisted $A_\infty$ algebras. In a forthcoming paper we will use these results to define and obtain fixed-point expressions for the open Gromov-Witten theory of $\mathbb{RP}^{2n} \hookrightarrow \mathbb{CP}^{2n}$, as well as its equivariant extension.