Showing 1–9 of 9 results for author: Poliakova, D

Asymptotic lengths of permutahedra and associahedra

Authors: Daria Poliakova

Abstract: 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. 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. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Comments: 9 pages, 7 figures

MSC Class: 52B05; 52B11; 52B12; 06A07

Higher-Categorical Associahedra

Authors: Spencer Backman, Nathaniel Bottman, Daria Poliakova

Abstract: 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 com… ▽ More 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. △ Less

Submitted 5 September, 2024; originally announced September 2024.

Comments: 143 pages, 39 figures

MSC Class: 53D37; 51M20; 52B05; 14T90; 14A21

Hochschild polytopes

Authors: Vincent Pilaud, Daria Poliakova

Abstract: 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 sk… ▽ More 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. △ Less

Submitted 13 January, 2025; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 35 pages, 28 figures, 7 tables. Version 5: minor corrections

MSC Class: 52B11; 52B12; 05A15; 05E99; 06B10

Journal ref: Math. Ann. 392(2):2395-2441, 2025

Constrainahedra

Authors: Nathaniel Bottman, Daria Poliakova

Abstract: 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 constrainahedr… ▽ More 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. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 17 pages, 12 figures

Report number: MPIM-Bonn-2022

Freehedra are short

Authors: Daria Poliakova

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

Submitted 30 December, 2021; originally announced December 2021.

Comments: 11 pages

From polytopes to operads and back

Authors: Sergey Arkhipov, Daria Poliakova

Abstract: 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. 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. △ Less

Submitted 27 December, 2021; originally announced December 2021.

Comments: 28 pages

Cellular chains on freehedra and operadic pairs

Authors: Daria Poliakova

Abstract: 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… ▽ More 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. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 25 pages, many figures

Report number: CPH-GEOTOP-DNRF151 MSC Class: 18M65; 52B05; 55P48

Homotopy characters as a homotopy limit

Authors: Sergey Arkhipov, Daria Poliakova

Abstract: For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG-categories. The objects of the resulting DG-category are Maurer-Cartan elements of $\operatorname{Cobar}(A)$, or 1-dimensional $A_\infty$-comodules ov… ▽ More For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model category of DG-categories. The objects of the resulting DG-category are Maurer-Cartan elements of $\operatorname{Cobar}(A)$, or 1-dimensional $A_\infty$-comodules over $A$. These can be viewed as characters up to homotopy of the corresponding derived group. Their tensor product is interpreted in terms of Kadeishvili's multibraces. We also study the coderived category of DG-modules over this DG-category. △ Less

Submitted 22 August, 2020; originally announced August 2020.

Comments: 21 pages, no figures

Report number: CPH-SYM-DNRF92 MSC Class: 18G35 (Primary); 18G80; 55U35 (Secondary)

A note on a Holstein construction

Authors: Sergey Arkhipov, Daria Poliakova

Abstract: We clarify details and fill certain gaps in the construction of a canonical Reedy fibrant resolution for a constant simplicial DG-category due to Holstein. We clarify details and fill certain gaps in the construction of a canonical Reedy fibrant resolution for a constant simplicial DG-category due to Holstein. △ Less

Submitted 7 February, 2021; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 12 pages, no figures; revised argument in Appendix A; Appendix B (Erratum) added

Report number: CPH-SYM-DNRF92

Journal ref: Homology, Homotopy and Applications, Vol. 22, No. 2, 04.2020, p. 151-162