Anti-successors and anti-replicators, Manin products and Koszul duality

Abstract

We develop an operadic theory of anti-splitting and anti-replication for binary operads. For a binary operad $\opd$, we define its anti-bisuccessor $\ABSu(\opd)$ and anti-trisuccessor $\ATSu(\opd)$, with the property that an operation of $\opd$ splits into a negative sum of two or three operations, yielding canonical operad morphisms $\opd \to\ABSu(\opd)$ and $\opd\to\ATSu(\opd)$. For binary quadratic operads, the process gives Manin black products, \[ \ABSu(\opd) \cong \antiprelie \bullet \opd, \qquad \ATSu(\opd)\cong \antipostlie\bullet\opd. \] Dually, we introduce the anti-duplicator \(\ADup(\mathcal P)\) and anti-triplicator \(\ATrip(\mathcal P)\) and prove \[ \ADup(\opd^!)\cong \ABSu(\opd)^!, \qquad \ATrip(\opd^!)\cong \ATSu(\opd)^!. \] Consequently, the anti-duplicator gives a new way to calculate Manin white products. %, in particular, $\ADup(\opd)\cong \antiperm\circ\opd$. The framework recovers known anti-splittings, including anti-dendriform, anti-pre-Lie, and anti-pre-Poisson structures, in a uniform operadic form and produces further examples and dual pairs.