The oriented graph complex revisited

Sergei Merkulov,Thomas Willwacher,Vincent Wolff
2024-11-29
Abstract:We prove that the Kontsevich graph complex $GC_d^{2}$ and its oriented version $OGC_{d+1}^2$ are quasi-isomorphic as dg Lie algebras.
Quantum Algebra
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the Kontsevich Graph Complex (GC) and its oriented version (Oriented Graph Complex, OGC) are quasi - isomorphic at the level of dg Lie algebras. Specifically, the authors hope to prove that the following two complexes are quasi - isomorphic: 1. Kontsevich Graph Complex \( \text{GC}_2^d \) 2. Oriented Graph Complex \( \text{OGC}_2^{d + 1} \) These complexes have wide applications in homological algebra and algebraic geometry. For example, they control the highest - weight cohomology of the moduli space of curves, the homotopy automorphisms of the little disk operad, etc. ### Main Results The main theorem of the paper is: For any integer \( d \), there exists a dg Lie algebra \( \tilde{\text{OGC}}^{d,d + 1} \) which makes the following quasi - isomorphic diagram of dg Lie algebras hold: \[ \text{GC}_0^d \xleftarrow{\pi_1} \tilde{\text{OGC}}^{d,d + 1} \xrightarrow{\pi_2} \text{OGC}_0^{d + 1} \] Furthermore, by extending this diagram, the authors also prove the following quasi - isomorphic relations: - Quasi - isomorphism connecting the bivalent version: \[ \text{GC}_2^d \simeq \text{OGC}_2^{d + 1} \] - In the case of loop order \( \geq 2 \), further quasi - isomorphism connecting the trivalent version: \[ \text{GC}^d \simeq \text{OGC}_3^{d + 1} \] ### Methods and Techniques To prove the above results, the authors introduce a new dg Lie algebra \( \tilde{\text{OGC}}^{d,d + 1} \) which is generated by graphs with two types of vertices and two types of edges and is equipped with a relatively complex differential. By constructing specific mappings \( \pi_1 \) and \( \pi_2 \) and verifying that they are quasi - isomorphisms, the proof of the main theorem is finally completed. ### Applications and Significance This work not only improves the previous isomorphism results only at the homological level, but also establishes a stronger quasi - isomorphic relationship at the chain level, which is of great significance for understanding graph complexes and their applications in mathematical physics. In particular, these results are helpful for studying problems such as the Grothendieck - Teichmüller group and the deformation quantization of Poisson structures. In conclusion, this paper solves the problem of the deep - seated connection between the Kontsevich Graph Complex and its oriented version, providing a powerful tool for further research in related fields.