Compatible structures of nonsymmetric operads, Manin products and Koszul duality (Q6181355)

The aim of this article is to unify various examples and notions of parametrizations of operads, such as matching associative or Rota-Baxter algebras, multiple pre-Lie algebras, etc. Its objects of interests are nonsymmetric operads with unary and binary operations, with quadratic and cubic relations. The first introduced notion is the linear compatibility: each generator of the operad is replaced by a family of generators indexed by a given set, and it is required that any linear span of these products still satisfy the relations of the initial operad. The linearly compatibility operad \(P_\Omega^{LC}\) associated to an operad \(P\) is described and it is shown that it can be obtained by taking a black Manin product with the operad \(As_\Omega^{LC}\) associated to the operad of associative algebras. A similar work is done for two other types of compatibility: another condition (total compatibility) is introduced, and it is shown that the totality compatibility operad can be obtained by a white Manin product; moreover, the Koszul dual of the linearly compatibility operad associated to \(P\) is the totality compatibility operad associated to the Koszul dual of \(P\). An intermediate condition between linear and total is introduced, the matching condition. It is shown that it corresponds to taking the black or the white Manin product with the matching condition operad associated to the operad of associative algebras, and that this condition is self-dual, in the Koszul sense of duality.