The diagonal of the operahedra

Abstract

The primary goal of this article is to set up a general theory of coherent cellular approximations of the diagonal for families of polytopes by developing the method introduced by N. Masuda, A. Tonks, H. Thomas and B. Vallette. We apply this theory to the study of the operahedra, a family of polytopes ranging from the associahedra to the permutahedra, and which encodes homotopy operads. After defining Loday realizations of the operahedra, we make a coherent choice of cellular approximations of the diagonal, which leads to a compatible topological cellular operad structure on them. This gives a model for topological and algebraic homotopy operads and an explicit functorial formula for their tensor product.

arXiv comment47 pages, 14 figures, complete revision with respect to the use of the normal fan of a polytope, results unchanged, added proposition 3.17 on weak Bruhat order, added references, corrected typos, enlarged font to ease reading, to appear in Advances in Mathematics

References in corpus (12)

• Tensor Constructions of Open String Theories I: Foundations
• Coloured Koszul duality and strongly homotopy operads
• Symmetric homotopy theory for operads
• 2-associahedra
• Tensor products of representations up to homotopy
• Which nestohedra are removahedra?
• Signed tree associahedra
• Permutahedral Structures of $E_2$ Operads
• Combinatorial homotopy theory for operads
• Cellular chains on freehedra and operadic pairs
• An infinity operad of normalized cacti
• Enumerating the Saneblidze-Umble diagonal terms