arXiv++ Combinatorics

We prove that the notion of a curved pre-Calabi--Yau algebra is equivalent to the notion of a curved homotopy double Poisson gebra, thereby settling the equivalence between the two ways to define derived noncommutative Poisson structures. We actually prove that the respective differential graded Lie algebras controlling both deformation theories are isomorphic.This allows us to apply the recent developments of the properadic calculus in order to establish the homotopical properties of curved pre-Calabi--Yau algebras: infinity-morphisms, homotopy transfer theorem, formality, Koszul hierarchy, and twisting procedure.

This paper introduces a new method to solve the problem of the approximation of the diagonal for face-coherent families of polytopes. We recover the classical cases of the simplices and the cubes and we solve it for the associahedra, also known as Stasheff polytopes. We show that it satisfies an easy-to-state cellular formula. For the first time, we endow a family of realizations of the associahedra (the Loday realizations) with a topological and cellular operad structure; it is shown to be compatible with the diagonal maps.

We define a poset of partitions associated to an operad. We prove that the operad is Koszul if and only if the poset is Cohen-Macaulay. In one hand, this characterisation allows us to compute the homology of the poset. This homology is given by the Koszul dual operad. On the other hand, we get new methods for proving that an operad is Koszul.