arXiv++ Combinatorics

We show that the order dimension of the poset of regions in a simplicial hyperplane arrangement can exceed its rank, answering a question of Reading and Segovia. Examples are Coxeter arrangements \(H_4\) and \(E_6\), with \( \dim W(H_4) \geq 5\) and \( \dim W(E_6) \geq 7\).

We prove Reiner's conjecture for higher Bruhat orders in corank 3: the facial intervals of B(n,n-3) are precisely the spherical intervals, and all other intervals are contractible.

We study cubic realizations of posets compatible with projection maps, meaning that the projection is represented by deletion of the last coordinate. For cylindrical projections, we introduce the pre-Reeb graph and the augmented pre-Reeb graph, which control compatible cubic lifts and compatible order-embedding cubic lifts, respectively. We apply this construction to the deletion towers in weak order of types \(A\) and \(B\). The pre-Reeb graphs are the \(1\)-skeleta of, respectively, cubes and certain zonotopes. In both cases, the augmented pre-Reeb graphs have reachability posets that are total orders, yielding combinatorial uniqueness of the compatible order-embedding cubic coordinates.

We define asymptotic lengths for families of oriented polytopes. We show that permutahedra with weak order orientations have asymptotic total length 1 and associahedra with Tamari order orientations have asymptotic total length 1/2.

The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fans, whose coordinates encode the relative velocities of pairs of colliding coordinate subspaces, and whose face posets are the categorical $n$-associahedra. In particular, this gives the first fan realization of 2-associahedra. In the case of the classical associahedron, the velocity fan specializes to the normal fan of Loday's realization of the associahedron. For proving that the velocity fan is a fan, we first construct a cone complex of metric $n$-bracketings and then exhibit a piecewise-linear isomorphism from this complex to the velocity fan. We demonstrate that the velocity fan, which is not simplicial, admits a canonical smooth flag triangulation on the same set of rays, and we describe a second, finer triangulation which provides a new extension of the braid arrangement. We describe piecewise-unimodular maps on the velocity fan such that the image of each cone is a union of cones in the braid arrangement, and we highlight a connection to the theory of building sets and nestohedra. We explore the local iterated fiber product structure of categorical $n$-associahedra and the extent to which this structure is realized by the velocity fan. For the class of concentrated $n$-associahedra we exhibit generalized permutahedra having velocity fans as their normal fans.

The $(m,n)$-multiplihedron is a polytope whose faces correspond to $m$-painted $n$-trees, and whose oriented skeleton is the Hasse diagram of the rotation lattice on binary $m$-painted $n$-trees. Deleting certain inequalities from the facet description of the $(m,n)$-multiplihedron, we construct the $(m,n)$-Hochschild polytope whose faces correspond to $m$-lighted $n$-shades, and whose oriented skeleton is the Hasse diagram of the rotation lattice on unary $m$-lighted $n$-shades. Moreover, there is a natural shadow map from $m$-painted $n$-trees to $m$-lighted $n$-shades, which turns out to define a meet semilattice morphism of rotation lattices. In particular, when $m=1$, our Hochschild polytope is a deformed permutahedron whose oriented skeleton is the Hasse diagram of the Hochschild lattice.

We define a family of convex polytopes called constrainahedra, which index collisions of horizontal and vertical lines. Our construction proceeds by first defining a poset $C(m,n)$ of good rectangular preorders, then proving that $C(m,n)$ is a lattice, and finally constructing a polytopal realization by taking the convex hull of a certain explicitly-defined collection of points. The constrainahedra will form the combinatorial backbone of the second author's construction of strong homotopy duoids. We indicate how constrainahedra could be realized as Gromov-compactified configuration spaces of horizontal and vertical lines; viewed from this perspective, the constrainahedra include naturally into the first author's notion of 2-associahedra.

We prove the combinatorial property of shortness for freehedra. Note that associahedra, a sibling family of polytopes, are not short.

For a directed polytope, we construct a colored operad whose Poincare-Hilbert series encodes certain operations on the cellular complex of the polytope. We conjecture that for a class of short polytopes the constructed operads are Koszul and self-dual. We verify the conjecture for simplices, polygons, and products thereof.

The paper is devoted to explaining the operadic meaning of freehedra, a family of polytopes originally defined to study free loop spaces. We introduce the notion of operadic pairs and algebras over them. Cellular chains on Stasheff associahedra and Stasheff multiplihedra assemble into a two-colored operadic pair that governs $A_\infty$-algebras and $A_\infty$-modules over them, with maps that are $A_\infty$ in both colors. An important quotient of this operadic pair is given by cellular chains on cubes and freehedra.