arXiv++ Combinatorics

In 2008, Loday shed light on the existence of Hopf-Boreltheorems for operads. Using the vocabulary of category theory, Livernet,Mesablishvili and Wisbauer extended such theorems to monads. In bothcases, the reasoning was to start from a mixed distributive law andthen to prove that it induces an isomorphism of species to finally geta rigidity theorem. Our reasoning goes here backward: we prove thatfrom an isomorphism of species one can get what we called a confluencelaw, which generalises mixed distributive laws, and that it is enough toobtain a rigidity theorem. This enables us to show that for any operadsP and Q having the same underlying S-module, there exists a confluencelaw $α$ such that any conilpotent P coQ-bialgebra satisfying $α$ is free andcofree over its primitive elements. Our reasoning permits us to generatemany new examples, while recovering the known ones by consideringdual relations.

We extend the definition of tridendriform bialgebra by introducing a weight q. The subspace of primitive elements of a q-tridendriform bialgebra is equipped with an associative product and a natural structure of brace algebra, related by a distributive law. This data is called q-Gerstenhaber-Voronov algebras. We prove the equivalence between the categories of connected q-tridendriform bialgebras and of q-Gerstenhaber-Voronov algebras. The space spanned by surjective maps, as well as the space spanned by parking functions, have natural structures of q-tridendriform bialgebras, denoted ST(q) and PQSym(q)*, in such a way that ST(q) is a sub-tridendriform bialgebra of PQSym(q)*. Finally we show that the bialgebra of M-permutations defined by T. Lam and P. Pylyavskyy may be endowed with a natural structure of q-tridendriform algebra which is a quotient of ST(q).

A partial magmatic bialgebra, (T;S)-magmatic bialgebra where T \subset S are subsets of the set of positive integers, is a vector space endowed with an n-ary operation for each n in S and an m-ary co-operation for each m in T satisfying some compatibility and unitary relations. We prove an analogue of the Poincaré-Birkhoff-Witt theorem for these partial magmatic bialgebras.