Combinatorial 2d higher topological quantum field theory from a local cyclic A∞ algebra

We construct combinatorial analogs of 2d higher topological quantum field theories. We consider triangulations as vertices of a certain CW complex Ξ. In the "flip theory," cells of Ξflip correspond to polygonal decompositions obtained by erasing the edges in a triangulation. These theories assign to a cobordism Σ a cochain Z on Ξflip constructed as a contraction of structure tensors of a cyclic A∞ algebra V assigned to polygons. The cyclic A∞ equations imply the closedness equation (δ+Q)Z=0. In this context, we define combinatorial BV operators and give examples with coefficients in Z2. In the "secondary polytope theory," Ξsp is the secondary polytope (due to Gelfand–Kapranov–Zelevinsky) and the cyclic A∞ algebra has to be replaced by an appropriate refinement that we call an A^∞ algebra. We conjecture the existence of a good Pachner CW complex Ξ for any cobordism, whose local combinatorics is described by secondary polytopes and the homotopy type is that of Zwiebach's moduli space of complex structures. Depending on this conjecture, one has an "ideal model" of combinatorial 2d HTQFT determined by a local A^∞ algebra.