arXiv++ Combinatorics

Let $P$ be a Poisson structure on a finite-dimensional affine real manifold. Can $P$ be deformed in such a way that it stays Poisson? The language of Kontsevich graphs provides a universal approach -- with respect to all affine Poisson manifolds -- to finding a class of solutions to this deformation problem. For that reasoning, several types of graphs are needed. In this paper we outline the algorithms to generate those graphs. The graphs that encode deformations are classified by the number of internal vertices $k$; for $k \leqslant 4$ we present all solutions of the deformation problem. For $k \geqslant 5$, first reproducing the pentagon-wheel picture suggested at $k=6$ by Kontsevich and Willwacher, we construct the heptagon-wheel cocycle that yields a new unique solution without $2$-loops and tadpoles at $k=8$.

The real vector space of non-oriented graphs is known to carry a differential graded Lie algebra structure. Cocycles in the Kontsevich graph complex, expressed using formal sums of graphs on $n$ vertices and $2n-2$ edges, induce -- under the orientation mapping -- infinitesimal symmetries of classical Poisson structures on arbitrary finite-dimensional affine real manifolds. Willwacher has stated the existence of a nontrivial cocycle that contains the $(2\ell+1)$-wheel graph with a nonzero coefficient at every $\ell\in\mathbb{N}$. We present detailed calculations of the differential of graphs; for the tetrahedron and pentagon-wheel cocycles, consisting at $\ell = 1$ and $\ell = 2$ of one and two graphs respectively, the cocycle condition $d(γ) = 0$ is verified by hand. For the next, heptagon-wheel cocycle (known to exist at $\ell = 3$), we provide an explicit representative: it consists of 46 graphs on 8 vertices and 14 edges.