Wheeled PROPs, graph complexes and the master equation

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 non-trivial extensions of the well-known dg operads Com ∞ and Ass ∞ . Finally, we apply the above results to a computation of cohomology of a directed version of Kontsevich’s complex of ribbon graphs.

[1]  Bruno Vallette,et al.  Dualité de Koszul des PROPs , 2004, math/0405057.

[2]  J. M. BoardmanAbstract,et al.  Contemporary Mathematics , 2007 .

[3]  S. Merkulov.  PROP Profile of Poisson Geometry , 2004, math/0401034.

[4]  S. Merkulov.  Strong homotopy algebras of a Kähler manifold , 1998 .

[5]  Martin Markl.  Operads and PROPs , 2006 .

[6]  Martin Markl.  Models for operads , 1994 .

[7]  A. Schwarz.  Geometry of Batalin-Vilkovisky quantization , 1992, hep-th/9205088.

[8]  E. Getzler,et al.  Modular operads , 1994, Compositio Mathematica.

[9]  M. Kontsevich,et al.  Frobenius manifolds and formality of Lie algebras of polyvector fields , 1997, alg-geom/9710032.

[10]  M. Kontsevich,et al.  Gromov-Witten classes, quantum cohomology, and enumerative geometry , 1994 .

[11]  Jim Stasheff,et al.  Homotopy associativity of $H$-spaces. II , 1963 .

[12]  On a theorem of Kontsevich , 2002, math/0208169.

[13]  Wee Liang Gan.  Koszul duality for dioperads , 2002, math/0201074.

[14]  Martin Markl,et al.  Operads in algebra, topology, and physics , 2002 .

[15]  S. Eilenberg,et al.  Adjoint functors and triples , 1965 .

[16]  Michiel Hazewinkel,et al.  Handbook of algebra , 1995 .

[17]  M. Kapranov,et al.  Koszul duality for Operads , 1994, 0709.1228.

[18]  M. Kontsevich.  FORMAL (NON)-COMMUTATIVE SYMPLECTIC GEOMETRY , 1993 .

[19]  S. Merkulov.  Graph Complexes with Loops and Wheels , 2009 .

[20]  Ezra Getzler,et al.  Homotopy algebra and iterated integrals for double loop spaces , 1994 .

[21]  M. Markl.  Cotangent cohomology of a category and deformations , 1996 .

[22]  Simplex, associahedron, and cyclohedron , 1997, alg-geom/9707009.

[23]  BRUNO VALLETTE.  A Koszul duality for props , 2007 .

[24]  S. Barannikov.  Non-Commutative Periods and Mirror Symmetry¶in Higher Dimensions , 1999, math/9903124.

[25]  S. Merkulov.  nijenhuis infinity and contractible differential graded manifolds , 2005, Compositio Mathematica.

[26]  R. Ho.  Algebraic Topology , 2022 .

[27]  PROPped-Up Graph Cohomology , 2003, math/0307081.

[28]  S. Lane.  Natural Associativity and Commutativity , 1979 .