My first real post in a while! It turns out that writing an actual paper (cf. previous blog post) takes a lot of time and effort. Who knew?
The Voronov product of operads is an operation introduced by Voronov in his paper The Swiss-cheese operad (he just called it “the product”). It combines an operad and a multiplicative operad to yield a new colored operad; the main example I know is the homology of the Swiss-cheese operad. This is a construction that I use in my preprint Swiss-Cheese operad and Drinfeld center, where as far as I know I coined the name “Voronov product” – I haven’t seen this operation at all outside of Voronov’s paper. I wanted to advertise it a bit because I find it quite interesting and I’m eager to see what people can do with it.
The setting is as follows. Consider two symmetric one-colored operads, and , in some monoidal category. Suppose that you’re also given a morphism of operads , where is the operad of commutative algebras. Then Voronov builds a new, bicolored operad .
This operad has two colors, and , that you can think of as “open” and “closed” colors. The operations with closed output are exactly given by , that is:
whereas if any of the colors is not ,
This is an example of a relative operad (over ), also known as a Swiss-cheese type operad. This type of operad can equivalently be seen as an operad in the category of right modules over .
Composition of such operations is given by the composition of . The operations of with open inputs, closed inputs, and an open output, are given by:
There are two kinds of composition to define. To insert an operation with closed output in an operation with open output, one must define:
This composition doesn’t touch the factor, and uses the composition of on the rest. To insert an operation with open output, one must also define:
On the factors, this is simply given by the composition of . On the factors, recall that we are given a morphism of operads ; we thus have some multiplication , and we can use it to define:
Algebras over Voronov products
Algebras over have a particularly nice description. Such an algebra is a pair where is an algebra over and is an algebra over . Since we are given a fixed morphism , it follows that is endowed with a commutative algebra. There is finally an action of on :
corresponding to . This action has to satisfy the following condition, for all :
Example: the homology of the Swiss-cheese operad
The main example of a Voronov product I know is the homology of the Swiss-cheese operad . Morally speaking, the Swiss-cheese operad is a combination of the little disks operad and the little intervals operad. It makes sense that its homology is given by a combination of their respective homologies.
This is indeed the case. The homology of the little disks operad , the operad encoding Gerstenhaber algebras, and the homology of the little intervals operad is , the operad encoding associative algebras. If we consider Voronov’s original version of the Swiss-cheese operad, which forbids operations with an open output and no closed input, then the homology is given by the Voronov product ! That’s as good as can be expected. An algebra over this homology is a pair where is a Gerstenhaber algebra and is an associative algebra which is also a module over the underlying commutative algebra of , satisfying:
(Here we see the Eckmann–Hilton argument appearing in the background…)
If we now allow operations with an open output and only closed inputs, things get a bit more complicated. The description of the homology of this new operad can be found in the paper “Open-closed homotopy algebras and strong homotopy Leibniz pairs through Koszul operad theory” by Hoefel and Livernet. Just like before, an algebra over this operad is given by a pair consisting of a Gerstenhaber algebra and an associative algebra . Instead of an action of on , there is a morphism of commutative algebras from to the center of the algebra . If is a unital algebra, this is exactly the same thing as before, with (and the Eckmann–Hilton argument shows that this lands in the center of ).
This new operad can almost be described as the Voronov product of two operads. The remark about unital algebras tips us off. Instead of and , consider instead and , the operads encoding unital Gerstenhaber algebras and unital associative algebras. There is still a morphism , so we can build the Voronov product .
This is not quite right: this encodes a pair consisting of a unital Gerstenhaber algebra, a unital associative algebra, and a central morphism from the former to the latter. To recover the homology of the variant of Swiss-cheese, one simply removes the operations with zero inputs, something I denote in my paper (section 4). When we remove these operations we don’t have units anymore in our algebras, but we keep a central morphism and an action , related by:
where the first dot is the action of on and the second one the multiplication in .
The main motivation for my paper was to try and “lift” this splitting of the homology of Swiss-cheese to the topological level. Due to the non-formality of the Swiss-cheese operad (cf. Livernet, Non-formality of the Swiss-cheese operad), it is not actually possible to do; nevertheless I think I succeeded in showing that the Swiss-cheese operad splits as a “shuffled” Voronov product, a notion that I’d like to formalize someday – read my paper for more details ;).