Invariant Differential Forms on Complexes of Graphs and Feynman Integrals

We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential forms in question generate the stable real cohomology of the general linear group, as shown by Borel. By integrating such invariant forms over the space of metrics on a graph, we define canonical period integrals associated to graphs, which we prove are always finite and take the form of generalised Feynman integrals. Furthermore, canonical integrals can be used to detect the non-vanishing of homology classes in the commutative graph complex. This theory leads to insights about the structure of the cohomology of the commutative graph complex, and new connections between graph complexes, motivic Galois groups and quantum field theory.

Multi-directed Graph Complexes and Quasi-isomorphisms Between Them II: Sourced Graphs

We prove that the projection from graph complex with at least one source to oriented graph complex is a quasi-isomorphism, showing that homology of the “sourced” graph complex is also equal to the homology of standard Kontsevich’s graph complex. This result may have applications in theory of multi-vector fields $T_{\textrm{poly}}^{\geq 1}$ of degree at least one, and to the hairy graph complex that computes the rational homotopy of the space of long knots. The result is generalized to multi-directed graph complexes, showing that all such graph complexes are quasi-isomorphic. These complexes play a key role in the deformation theory of multi-oriented props recently invented by Sergei Merkulov. We also develop a theory of graph complexes with arbitrary edge types.

Deformation Theory of Lie Bialgebra Properads

This chapter presents the homotopy derivations of the properads governing even and odd Lie bialgebras, as well as involutive Lie bialgebras. The answer may be expressed in terms of the Kontsevich graph complexes. In particular, this shows that the Grothendieck–Teichmuller group acts faithfully and essentially transitively on the completions of the properads governing even Lie bialgebras and involutive Lie bialgebras, up to homotopy. This shows also that, in contrast to the even case, the properad governing odd Lie bialgebras admits precisely one non-trivial automorphism—the standard rescaling automorphism, and that it has precisely one non-trivial deformation, which we describe explicitly.

Rational homology and homotopy of high-dimensional string links

Arone and the second author showed that when the dimensions are in the stable range, the rational homology and homotopy of the high-dimensional analogues of spaces of long knots can be calculated as the homology of a direct sum of finite graph-complexes that they described explicitly. They also showed that these homology and homotopy groups can be interpreted as the higher-order Hochschild homology, also called Hochschild–Pirashvili homology. In this paper, we generalize all these results to high-dimensional analogues of spaces of string links. The methods of our paper are applicable in the range when the ambient dimension is at least twice the maximal dimension of a link component plus two, which in particular guarantees that the spaces under study are connected. However, we conjecture that our homotopy graph-complex computes the rational homotopy groups of link spaces always when the codimension is greater than two, i.e. always when the Goodwillie–Weiss calculus is applicable. Using Haefliger’s approach to calculate the groups of isotopy classes of higher-dimensional links, we confirm our conjecture at the level of {\pi_{0}}.