We study the homotopy theory of the wheeled prop controlling Poisson structures on formal graded finite-dimensional manifolds and prove, in particular, that Grothendieck-Teichmuller group acts on that wheeled prop faithfully and homotopy non-trivially. Next we apply this homotopy theory to the study of the deformation complex of an arbitrary Maxim Kontsevich formality map and compute the full cohomology group of that deformation complex in terms of the cohomology of a certain graph complex introduced and studied by Maxim Kontsevich and Thomas Willwacher.
The talk is based on a joint work arXiv:1911.09089 with Assar Andersson.