graph homology


This entry will be (for now) both about graph homology and about graph cohomology, which were originally introduced by Maxim Kontsevich; once the material grows, it can be separated into two entries. Kontsevich produced few version of the graph complex, the basic one attached to the operad of 3-valent ribbon graphs. A graph complex can be produced as an output from the Feynman transform of a modular operad.

Graph homology

Graph homology H𝒢 H\mathcal{G}_{\bullet\bullet} is the cohomology of the graph complex (𝒢 ,)(\mathcal{G}_{\bullet\bullet}, \partial) which is the free C\mathbf{C}-vector space generated by isomorphism classes of oriented ribbon graphs modulo relation (Γ,σ)=(Γ,σ)(\Gamma,-\sigma) = - (\Gamma, \sigma) where Γ\Gamma is a ribbon graph with orientation σ\sigma. The differential is given by

(Γ):= eE(Γ)\Loop(Γ)Γ/e \partial(\Gamma) := \sum_{e\in E(\Gamma)\backslash Loop(\Gamma)} \Gamma/e

where the sum is over edges ee which are not loops and Γ/e\Gamma/e is obtained from Γ\Gamma by contraction at edge ee (cf. ribbon graph). The map \partial is really a differential ( 2=0\partial^2 = 0) because two contractions in different order produce a different orientation. There is a canonical bigrading on the graph complex, where 𝒢 ij\mathcal{G}_{ij} is generated by those graphs which have ii vertices and jj edges; the differential has bidegree (1,1)(-1,-1); each 𝒢 ij\mathcal{G}_{ij} is finite-dimensional, while the whole complex is infinte-dimensional. Graph splits into a direct sum of subcomplexes labelled by the Euler characteristics of the underlying graph. The structure of a graph complex reflects a structure in the Chevalley-Eilenberg complex of a certain Lie algebra; and the graph homology to the relative Lie homology of that Lie algebra as shown by Kontsevich.

Graph cohomology


L L_\infty-algebra structure

The Graph complex carries the structure of a dg-Lie algebra (L-infinity algebra) which acts on the space of choices of formal deformation quantization of Poisson manifolds. Its degree-0 chain homology is the Lie algebra of the Grothendieck-Teichmüller group.

The homology in negative degree vanishes and that in positive degree is still unknown, but computer experiements show that at least the third cohomology contains nontrivial elements.

The degree-0 homology is also isomorphic, up to one “scaling class”, to the 0th cohomology of the derivations of the E2 operad.

(Willwacher 10)

Relation to Grothendieck-Teichmüller group and deformation quantization

See at deformation quantization – Motivic Galois group action on the space of quantizations.

See at Grothendieck-Teichmüller group – relation to the graph complex.


…moduli spaces

…deformation theory

…Rozansky-Witten theory

…Vassiliev invariants

…description of the classifying space BOut(F n)BOut(F_n) of the group of outer automorphisms of a free group with nn generators

Graph complex controls the universal L L_\infty-deformations of the space of polyvector fields.


There are generalizations for dd-algebras (algebras over little disc operad in higher dimension). The cohomological graph complex is then the case for d=2d=2. There is also a “directed” version. On the other hand, graph complex


Cf. also Rozansky-Witten theory, formal noncommutative symplectic geometry

  • Vasily Dolgushev, Christopher L. Rogers, Thomas Willwacher, Kontsevich’s graph complex, GRT, and the deformation complex of the sheaf of polyvector fields, arxiv/1211.4230

  • Damien Calaque, Carlo A. Rossi, Lectures on Duflo isomorphisms in Lie algebra and complex geometry, European Math. Soc. 2011

  • S. A. Merkulov, Graph complexes with loops and wheels, in (Manin’s Festschrift:) Algebra, Arithmetic, and Geometry, Progress in Mathematics 270 (2009) 311-354, doi, pdf

The following survey has discussion of context between the graph complex and Batalin-Vilkovisky formalism:

  • Jian Qiu, Maxim Zabzine, Introduction to graded geometry, Batalin-Vilkovisky formalism and their applications, arxiv/1105.2680
  • Jian Qiu, Maxim Zabzine, Knot weight systems from graded symplectic geometry, arxiv/1110.5234
Revised on January 30, 2016 17:11:28 by Noam Zeilberger (