On several varieties of cacti and their relations

From MaRDI portal
Publication:2571346



Abstract: Motivated by string topology and the arc operad, we introduce the notion of quasi-operads and consider four (quasi)-operads which are different varieties of the operad of cacti. These are cacti without local zeros (or spines) and cacti proper as well as both varieties with fixed constant size one of the constituting loops. Using the recognition principle of Fiedorowicz, we prove that spineless cacti are equivalent as operads to the little discs operad. It turns out that in terms of spineless cacti Cohen's Gerstenhaber structure and Fiedorowicz' braided operad structure are given by the same explicit chains. We also prove that spineless cacti and cacti are homotopy equivalent to their normalized versions as quasi-operads by showing that both types of cacti are semi-direct products of the quasi-operad of their normalized versions with a re-scaling operad based on R>0. Furthermore, we introduce the notion of bi-crossed products of quasi-operads and show that the cacti proper are a bi-crossed product of the operad of cacti without spines and the operad based on the monoid given by the circle group S^1. We also prove that this particular bi-crossed operad product is homotopy equivalent to the semi-direct product of the spineless cacti with the group S^1. This implies that cacti are equivalent to the framed little discs operad. These results lead to new CW models for the little discs and the framed little discs operad.


Motivated by string topology the author introduces the notion of quasi-operads and defines direct, semi-direct and bicrossed products of quasi-operads. In this setting, the normalized version of cacti and spinless cacti are homotopy associative quasi-operads, so that their homology quasi-operads are in fact operads. The main result is that spinless cacti are equivalent, in the sense of Fiedorowicz, to the little discs operad. In this way, the cellular chains of normalized spinless cacti become a convenient model of the little disc operad. This fact together with indexing the chains by trees is the basis for a natural topological solution to Deligne's conjecture on the Hochschild cohomology of an associative algebra. A cyclic version of this conjecture is also proved using the cellular chains of normalized cacti. Along the way, the author gives other pictorial realizations of various types of cacti including trees, ribbon graphs and chord diagrams, which might be useful to relate this theory to other parts of mathematics. Two appendices provide a compilation of the relevant notions of graphs and relate various cacti operads with sub-operads of the Arc operad.




Cited in
(29)








This page was built for publication: On several varieties of cacti and their relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2571346)