Associahedra, cyclohedra and a topological solution to the \(A_{\infty }\) Deligne conjecture (Q962146)

Many different methods have been used to prove the Deligne Conjecture, which says the Hochschild cochains of an associative algebra have an action of the chains on the little discs operad. When one generalizes to the case of an \(A_\infty\)-algebra, however, there have been only two methods of proof: a homological algebra approach by Kontsevich and Soibelman, and the one given in this paper, which is of a more combinatorial flavor. The authors use the previously developed proof, in particular the minimal operad \(\mathcal M\) which acts on the Hochschild cochains of an \(A_\infty\)-algebra. What is new in this paper is a specific topological model whose cochain operad is equivalent to \(\mathcal M\). This description relies heavily on many different flavors of trees whose definitions take up much of the beginning of the paper. These trees are used to define CW models for associahedra and cyclohedra, and then to define a corresponding topological operad \(K^\infty\). To show that the chains on it give an operad equivalent to \(\mathcal M\), the authors compare \(K^\infty\) to an operad \(K^1\), defined via spineless cacti and known to be a model for the little discs operad. The two operads \(K^\infty\) and \(K^1\) are compared via an intermediate operad \(K^{ht}\) which is a refinement of \(K^\infty\) yet contracts to \(K^1\). Two appendices elaborate on some related results. The first gives a description of an alternative approach using arc graphs, as well as further details on some of the operad structures which arise in the paper but are not needed in the proof. The second gives further details on using trees to describe blow-ups of a simplex to a cyclohedron.