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 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.

LaTeX2e, 63 pages; Theorem 4.2.5 on bar-cobar construction is strengthened

References in corpus (1)

• Nijenhuis infinity and contractible dg manifolds

Cited by in corpus (31)

• The structure of 2D semi-simple field theories
• Deformation theory of representations of prop(erad)s
• Homotopy theory for algebras over polynomial monads
• Geometric stochastic heat equations
• Infinity Properads and Infinity Wheeled Properads
• The Frobenius properad is Koszul
• The oriented graph complexes
• Characteristic classes of Q-manifolds: classification and applications
• Givental group action on Topological Field Theories and homotopy Batalin--Vilkovisky algebras
• Koszul duality for operadic categories
• Tensor network language model
• Wheeled pro(p)file of Batalin-Vilkovisky formalism
• Unimodular L-infinity algebras
• Graphical combinatorics and a distributive law for modular operads
• Operadic categories as a natural environment for Koszul duality
• Algebraic structures on the topology of moduli spaces of curves and maps
• Symmetric Boolean Algebras
• Invariant tensors and graphs
• On the wheeled PROP of stable cohomology of Aut(F_n) with bivariant coefficients
• Cospan construction of the graph category of Borisov and Manin
• Categories of graphs for operadic structures
• The odd origin of Gerstenhaber brackets, Batalin-Vilkovisky operators, and master equations
• Differential operators and BV structures in noncommutative geometry
• Quantizations of Lie bialgebras, duality involution and oriented graph complexes
• Segal conditions for generalized operads
• Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras
• Open-closed moduli spaces and related algebraic structures
• Combinatorics and algebra of tensor calculus
• Categorifying equivariant monoids
• Stable cohomology of $Aut(F_n)$ with bivariant twisted coefficients
• Natural differential operators and graph complexes