Cellular diagonals of permutahedra

TL;DR

This paper systematically studies geometric cellular diagonals on permutahedra, providing combinatorial enumeration, characterizations respecting operadic structures, and establishing connections with topological and algebraic structures.

Contribution

It introduces a complete enumeration of permutahedron diagonals, characterizes the operad-respecting diagonals, and links these to topological and algebraic structures in operad theory.

Findings

Enumerates faces of hyperplane arrangements using partition forests.

Identifies exactly two operad-respecting diagonals, isomorphic and described via pattern-avoiding permutations.

Shows there are two topological cellular operadic structures and two universal tensor products in the context.

Abstract

We provide a systematic enumerative and combinatorial study of geometric cellular diagonals on the permutahedra. In the first part of the paper, we study the combinatorics of certain hyperplane arrangements obtained as the union of $\ell$ generically translated copies of the classical braid arrangement. Based on Zaslavsky's theory, we derive enumerative results on the faces of these arrangements involving combinatorial objects named partition forests and rainbow forests. This yields in particular nice formulas for the number of regions and bounded regions in terms of exponentials of generating functions of Fuss-Catalan numbers. By duality, the specialization of these results to the case $\ell = 2$ gives the enumeration of any geometric diagonal of the permutahedron. In the second part of the paper, we study diagonals which respect the operadic structure on the family of permutahedra. We show that there are exactly two such diagonals, which are moreover isomorphic. We describe their facets by a simple rule on paths in partition trees, and their vertices as pattern-avoiding pairs of permutations. We show that one of these diagonals is a topological enhancement of the Sanbeblidze-Umble diagonal, and unravel a natural lattice structure on their sets of facets. In the third part of the paper, we use the preceding results to show that there are precisely two isomorphic topological cellular operadic structures on the families of operahedra and multiplihedra, and exactly two infinity-isomorphic geometric universal tensor products of homotopy operads and A-infinity morphisms.