9
$\begingroup$

There is an operad whose algebras are objects with a homotopy unital multiplication -- the $A_2$ operad.

There is an operad whose algebras are objects with a homotopy unital, homotopy associative objects -- the $A_3$ operad.

There is an operad $O$ whose algebras are homotopy associative, homotopy commutative objects. It may be constructed by generators and relations.

Question 1: Is there a more enlightening description of $O$? What are the connectivities / dimensionalities of its spaces, for instance?

Question 2: In particular, does $O$ coincide with the operad $A_2 \otimes A_2$, where $\otimes$ is the Boardman-Vogt tensor product?

Question 2 is suggested by the Eckmann-Hilton argument.

$\endgroup$
2
  • 3
    $\begingroup$ Intuitively, I would expect the $1$-skeleton of Kapranov's permutoassociahedron to be a model: doi.org/10.1016/0022-4049(93)90049-Y $\endgroup$ Commented Apr 17, 2021 at 22:20
  • 1
    $\begingroup$ It might not be the exact direction you are looking for, but Hemmi-Kawamoto made use of the permuto-associahedra to define what they call $AC_n$-spaces. Their paper is very readable and the pair authored several similar papers. $\endgroup$
    – Tyrone
    Commented Apr 19, 2021 at 16:28

0

You must log in to answer this question.

Browse other questions tagged .