Abstract: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üller 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$.

What problem does this paper attempt to address?

This paper aims to solve problems related to the deformation theory of Lie bialgebras. Specifically, the author studies the deformation complex from the regular mapping $i$ of the degree - shifted Lie bialgebra to its polynomial differential version $D(\text{Lieb}_{c,d})$, and shows that this complex is quasi - isomorphic to the oriented graph complex $GC_{c + d+ 1}$ in the case of a first - order rescaling class. Since the latter is quasi - isomorphic to the original graph complex $GC_{c + d}$, it can be concluded that the homotopy - nontrivial infinitesimal deformation space of the regular mapping $i$ can be identified with the Grothendieck - Teichmüller Lie algebra $\text{grt}$; moreover, each such infinitesimal deformation can be extended to a true deformation of the regular mapping $i$. ### Main problems 1. **Study of the deformation complex**: - The paper studies the deformation complex from the regular mapping $i$ of the Lie bialgebra to its polynomial differential version $D(\text{Lieb}_{c,d})$. - It is proved that this deformation complex is quasi - isomorphic to the oriented graph complex $GC_{c + d+ 1}$, and the latter is also quasi - isomorphic to the original graph complex $GC_{c + d}$. 2. **Homotopy classification of deformations**: - Through the above quasi - isomorphism relations, the paper determines that the homotopy - nontrivial infinitesimal deformation space of the regular mapping $i$ can be identified with the Grothendieck - Teichmüller Lie algebra $\text{grt}$. - Each such infinitesimal deformation can be extended to a true deformation of the regular mapping $i$. 3. **Introduction of a new graph complex**: - A new graph complex, called "entangled graphs", is introduced, and the complete deformation complex is described by studying its quotient complex. - It is proved that the appropriate quotient complex of the entangled graphs contains the cohomology tensor product $H(GC_c)\otimes H(GC_d)$ of the Kontsevich graph complexes $GC_c$ and $GC_d$. ### Key results - **Homotopy properties of the deformation complex**: - It is proved that the deformation complex $\text{Def}(\text{Lieb}_{c,d}\xrightarrow{i}D_c(\text{Lieb}_{c,d}))$ has the same cohomology as $\text{Def}(\text{Lieb}_{c,d}\xrightarrow{\text{id}}\text{Lieb}_{c,d})$. - This result shows that any homotopy - nontrivial deformation $i$ comes from an infinitesimal deformation of the identity mapping $\text{id}:\text{Lieb}_{c,d}\to\text{Lieb}_{c,d}$. - **Properties of the entangled graph complex**: - The cohomology of the entangled graph complex $f\text{cGC}_{c,d}$ is studied, and a subcomplex $GC^1_{c,d}$ consisting of single - valued entangled graphs is found. - It is proved that the quotient complex $GC^{\geq 2}_{c,d}$ has a rich cohomology, and there is an injective homomorphism of cohomology groups $H(GC_c)\otimes H(GC_d)\to H(GC^{\geq 2}_{c,d})$. ### Conclusion By introducing and studying new graph complexes, this paper successfully solves key problems in the deformation theory of Lie bialgebras, especially the classification and extension problems of homotopy - nontrivial deformations. These results not only deepen the understanding of the deformation theory of Lie bialgebras, but also provide new tools and methods for further research.

Polydifferential Lie bialgebras and graph complexes

Graph complexes and Deformation theories of the (wheeled) properads of quasi- and pseudo-Lie bialgebras

Deformation theory of the wheeled properad of strongly homotopy Lie bialgebras and graph complexes

The deformation complex is a homotopy invariant of a homotopy algebra

On deformation quantization of quadratic Poisson structures

The geometric deformation of curved $L_\infty$ algebras and Lie algebroids

The Deformation Complex For DG Hopf Algebras

Pre-Lie algebras with divided powers and the Deligne groupoid in positive characteristic

Deformations of ideals in Lie algebras

On Deformations of Lie Algebroids

Derived deformation theory of algebraic structures

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

Bialgebra cohomology, deformations, and quantum groups

Compact convergence, deformation of the $L^2$-$\overline{\partial}$-complex and canonical $K$-homology classes

Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight

Deformation Theory and Partition Lie Algebras

The Diffeological Čech-de Rham Obstruction

Lie algebroid connections, twisted Higgs bundles and motives of moduli spaces

The oriented graph complex revisited

Deformation quantization and perverse sheaves

The category $Θ_2$, derived modifications, and deformation theory of monoidal categories