Wheeled PROPs, graph complexes and the master equation

M. Markl,S. Merkulov,S. Shadrin
DOI: https://doi.org/10.1016/j.jpaa.2008.08.007
2007-07-14
Abstract:We introduce and study wheeled PROPs, an extension of the theory of PROPs which can treat traces and, in particular, solutions to the master equations which involve divergence operators. We construct a dg free wheeled PROP whose representations are in one-to-one correspondence with formal germs of SP-manifolds, key geometric objects in the theory of Batalin-Vilkovisky quantization. We also construct minimal wheeled resolutions of classical operads Com and Ass as rather non-obvious extensions of Com_infty and Ass_infty, involving, e.g., a mysterious mixture of associahedra with cyclohedra. Finally, we apply the above results to a computation of cohomology of a directed version of Kontsevich's complex of ribbon graphs.
Algebraic Geometry,K-Theory and Homology
What problem does this paper attempt to address?