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?

The main problem that this paper attempts to solve is to introduce and study the extended theory of wheeled PROPs in order to handle the trace operation and the solutions of master equations, especially those involving the divergence operator. Specifically:

1. **Background problems**:
- Traditional PROP and operad theories are unable to encode the fundamental trace operations in geometry and physics.
- In theoretical physics, master equations involving the divergence operator are often encountered, and these equations cannot be understood with ordinary PROPs and operads.

2. **Research objectives**:
- Introduce the concept of wheeled PROP, which is a new theory that can handle the trace operation.
- Construct a dg - free wheeled PROP, whose representation is in one - to - one correspondence with the germs of formal SP - manifolds, which are the key geometric objects in Batalin - Vilkovisky quantization theory.
- Study the minimal resolution of wheeled PROPs and its applications, especially when calculating the wheeled minimal resolutions of certain classical operads (such as Com and Ass), which involves a mysterious mixture of associahedra and cyclohedra.
- Apply the above results to calculate the cohomology of Kontsevich's directed filamentous graph complex.

3. **Main contributions**:
- Propose the concepts of wheeled PROP and wheeled operad and study their properties.
- Construct the classical wheeled minimal resolution and solve the influence of wheeled completion on classical operads.
- Calculate the cohomology of specific structures and provide new Massey operations and cyclic characteristic classes.

Through these studies, the paper provides a new mathematical tool and framework for understanding and solving problems involving the trace operation and master equations.