Point-like non-commutative families of bounding cochains

TL;DR

This paper introduces a novel framework for defining genus zero open Gromov-Witten invariants with boundary and interior constraints for even-dimensional Lagrangians, utilizing non-commutative bounding cochains and developing an obstruction theory in this setting.

Contribution

It develops a non-commutative approach to bounding cochains in Fukaya A-infinity algebras, enabling the definition of new invariants for a broader class of Lagrangians.

Findings

Defined genus zero open Gromov-Witten invariants with boundary and interior constraints.

Established an obstruction theory for non-commutative bounding cochains.

Connected invariants in dimension 2 to Welschinger's invariants.

Abstract

We define genus zero open Gromov-Witten invariants with boundary and interior constraints for a Lagrangian submanifold of arbitrary even dimension. The definition relies on constructing a canonical family of bounding cochains that satisfy the point-like condition of the second author and Tukachinsky. Since the Lagrangian is even dimensional, the parameter of the family is odd. Thus, to avoid the vanishing of invariants with more than one boundary constraint, the parameter must be non-commutative. The invariants are defined either when the Lagrangian is a rational cohomology sphere or when the Lagrangian is fixed by an anti-symplectic involution, has dimension $2$ modulo $4$, and its cohomology is that of a sphere aside from degree $1$ modulo $4$. In dimension $2$, these invariants recover Welschinger's invariants. We develop an obstruction theory for the existence and uniqueness of bounding cochains in a Fukaya $A_\infty$ algebra with non-commutative coefficients. The obstruction classes belong to twisted cohomology groups of the Lagrangian instead of the de Rham cohomology of the commutative setting. A spectral sequence is constructed to compute the twisted cohomology groups. The extension of scalars of an $A_\infty$ algebra by a non-commutative ring is treated in detail. A theory of pseudo-completeness is introduced to guarantee the convergence of the Maurer-Cartan equation, which defines bounding cochains, even though the non-commutative parameter is given zero filtration.