The oriented graph complex revisited
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.
math.QA↗
arXiv subjects
Vincent Wolff
Publications and source records attributed to Vincent Wolff.
Polydifferential Lie bialgebras and graph complexes
We study the deformation complex of a canonical morphism $i$ from the properad of (degree shifted) Lie bialgebras $\mathbf{Lieb}_{c,d}$ to its polydifferential version $\mathcal{D}(\mathbf{Lieb}_{c,d})$ and show that it is quasi-isomorphic to the oriented graph complex $\mathbf{GC}^{\text{or}}_{c+d+1}$, up to one rescaling class. As the latter complex is quasi-isomorphic to the original graph complex $\mathbf{GC}_{c+d}$, we conclude that the space of homotopy non-trivial infinitesimal deformations of the canonical map $i$ can be identified with the Grothendieck-Teichm\"uller Lie algebra $\mathfrak{grt}$; moreover, every such an infinitesimal deformation extends to a genuine deformation of the canonical morphism $i$ from $\mathbf{Lieb}_{c,d}$ to $\mathcal{D}(\mathbf{Lieb}_{c,d})$. The full deformation complex is described with the help of a new graph complex of so called entangled graphs, whose suitable quotient complex is shown to contain the tensor product $H(\mathbf{GC}_c) \otimes H(\mathbf{GC}_d)$ of cohomologies of Kontsevich graph complexes $\mathbf{GC}_c \otimes \mathbf{GC}_d$.
math.QA↗
From the Lie operad to the Grothendieck-Teichm\"uller group
We study the deformation complex of the standard morphism from the degree $d$ shifted Lie operad to its polydifferential version, and prove that it is quasi-isomorphic to the Kontsevich graph complex $\mathbf{GC}_d$. In particular, we show that in the case $d=2$ the Grothendieck-Teichm\"uller group $\mathbf{GRT_1}$ is a symmetry group (up to homotopy) of the aforementioned morphism. We also prove that in the case $d=1$ corresponding to the usual Lie algebras the standard morphism admits a unique homotopy non-trivial deformation which is described explicitly with the help of the universal enveloping construction. Finally we prove the rigidity of the strongly homotopy version of the universal enveloping functor in the Lie theory.
math.QA↗