We show that the tensor product of two cyclic $A_infty$-algebras is, in general, not a cyclic $A_infty$-algebra, but an $A_infty$-algebra with homotopy inner product. More precisely, we construct an explicit combinatorial diagonal on the pairahedra,
which are contractible polytopes controlling the combinatorial structure of an $A_infty$-algebra with homotopy inner products, and use it to define a categorically closed tensor product. A cyclic $A_infty$-algebra can be thought of as an $A_infty$-algebra with homotopy inner products whose higher inner products are trivial. However, the higher inner products on the tensor product of cyclic $A_infty$-algebras are not necessarily trivial.
We show that a square zero, degree one element in W(V), the Weyl algebra on a vector space V, is equivalent to providing V with the structure of an algebra over the properad Cobar(coFrob), the properad arising from the cobar construction applied to the cofrobenius coproperad.
We develop a machinery of Chen iterated integrals for higher Hochschild complexes. These are complexes whose differentials are modeled on an arbitrary simplicial set much in the same way the ordinary Hochschild differential is modeled on the circle.
We use these to give algebraic models for general mapping spaces and define and study the surface product operation on the homology of mapping spaces of surfaces of all genera into a manifold. This is an analogue of the loop product in string topology. As an application, we show this product is homotopy invariant. We prove Hochschild-Kostant-Rosenberg type theorems and use them to give explicit formulae for the surface product of odd spheres and Lie groups.
We describe an explicit action of the prop of the chains on the moduli space of Riemann surfaces on the Hochschild complex of a Calabi-Yau elliptic space. One example of such an elliptic space extends the known string topology operations, for all com
pact simply-connected manifolds, to a collection indexed by the de Rham currents on the moduli space. Another example pertains to the B-model at all genera.
