arXiv++ Combinatorics

Dotsenko and Vallette discovered an extension to nonsymmetric operads of Buchberger's algorithm for Gröbner bases of polynomial ideals. In the free nonsymmetric operad with one ternary operation $({\ast}{\ast}{\ast})$, we compute a Gröbner basis for the ideal generated by partial associativity $((abc)de) + (a(bcd)e) + (ab(cde)$. In the category of $\mathbb{Z}$-graded vector spaces with Koszul signs, the (homological) degree of $({\ast}{\ast}{\ast})$ may be even or odd. We use the Gröbner bases to calculate the dimension formulas for these operads.

We establish a combinatorial model for the Boardman--Vogt tensor product of several absolutely free operads, that is free symmetric operads that are also free as $\mathbb{S}$-modules. Our results imply that such a tensor product is always a free $\mathbb{S}$-module, in contrast with the results of Kock and Bremner--Madariaga on hidden commutativity for the Boardman--Vogt tensor square of the operad of non-unital associative algebras.

Double semigroups have two associative operations $\circ, \bullet$ related by the interchange relation: $( a \bullet b ) \circ ( c \bullet d ) \equiv ( a \circ c ) \bullet ( b \circ d )$. Kock \cite{Kock2007} (2007) discovered a commutativity property in degree 16 for double semigroups: associativity and the interchange relation combine to produce permutations of elements. We show that such properties can be expressed in terms of cycles in directed graphs with edges labelled by permutations. We use computer algebra to show that 9 is the lowest degree for which commutativity occurs, and we give self-contained proofs of the commutativity properties in degree 9.