The diagonal of the multiplihedra and the tensor product of A ∞ -morphisms

Abstract

We define a cellular approximation for the diagonal of the Forcey-Loday realizations of the multiplihedra, and endow them with a compatible topological cellular operadic bimodule structure over the Loday realizations of the associahedra. This provides us with a model for topological and algebraic A∞-morphisms, as well as a universal and explicit formula for their tensor product. We study the monoidal properties of this newly defined tensor product and conclude by outlining several applications, notably in algebraic and symplectic topology. Résumé (La diagonale des multiplièdres et le produit tensoriel de morphismes A-infini)On définit une approximation cellulaire de la diagonale des réalisations de Forcey-Loday des multiplièdres, et on les munit d'une structure de bimodule opéradique topologique et cellulaire compatible sur les réalisations de Loday des associaèdres. On obtient ainsi un modèle algébrique et topologique pour les morphismes A-infini, de même qu'une formule universelle explicite pour leur produit tensoriel. On étudie la monoïdalité de ce nouveau produit tensoriel et on conclut en esquissant plusieurs applications en topologie algébrique et en topologie symplectique.