Background. As we know from Fred Cohen's Thesis, taking homology of the little 2-discs operad $\mathcal{D}_2$ with coefficients in a field of characteristic zero produces the Gerstenhaber operad $\mathcal{Gerst}$. Algebras over that operad have a commutative product, degree $-1$ Lie bracket, and satisfy a compatibility condition analogues to the Poisson identity.
As was defined by Kontsevich and Manin, taking homology of the genus zero Deligne-Mumford operad $\left\{\overline{\mathcal{M}}_{0,d+1}\right\}_d$ defines a non-unital, genus zero, tree-level reduction of a CohFT (or a Frobenius manifolds equivalently).
Now consider the real locus of the DM-spaces, $\left\{\overline{\mathcal{M}}_{0,d+1}(\mathbb{R})\right\}_d$. This are are $K(\pi,1)$-spaces and the fundamental group is called the pure cacti group. It plays a rule analogous to that of the braid group in representation theory is has some interesting applications, e.g., for coboundary categories.
Finally, the real locus of the DM-spaces, $\left\{\overline{\mathcal{M}}_{0,d+1}(\mathbb{R})\right\}_d$ defines the Mosaic operad of Devadoss, which is made by ''choping and patching " copies of Tamari-Stasheff associahedra.
whose homology was famously computed by P. Etingof, A. Henrquies, J. Kamnitzer, and E. Rains in: ''The cohomology ring of the real locus of the moduli space of stable curves". They concludes that algebras over this operad are ''2-Gerstenhaber" which means they have a commutative product and a ''2-Lie" bracket.
Question.
- What is the algebraic relation between 2-Gerstenhaber algebras and Gerstenhaber algebras?
- What is the relation between the Gerstenhaber operad and the Mosaic operad in geometric terms? (i.e. can I define a map that sends cycles to cycles in such a way that I see the relation in 1?)
- I believe that there since the mosaic operad can be seen as the (homotopy ) fixed points loci of the DM-operad under involution, there should be some kind of a short exact sequence of operads involving orbit spectra and Tate cohomology (like the one that appeared in Westerland) which would explain the relation ... does anybody know if there is any description of such an operad and algebras over it?