arXiv++ Combinatorics

Kontsevich's graphs from deformation quantisation allow encoding multi-vectors whose coefficients are differential-polynomial in components of Poisson brackets on finite-dimensional affine manifolds. The calculus of Kontsevich graphs can be made dimension-specific for the class of Nambu--Poisson brackets given by Jacobian determinants. Using the Kontsevich--Nambu micro-graphs in dimensions $d\geqslant 2$, we explore the open problem of (non)triviality for Kontsevich's tetrahedral graph cocycle action on the space of Nambu--Poisson brackets. We detect a conjecturally infinite new set of differential-polynomial identities for Jacobian determinants of arbitrary sizes $d\times d$.

Kontsevich's graphs allow encoding multi-vectors whose coefficients are differential-polynomial in the coefficients of a given Poisson bracket on an affine real manifold. Encoding formulas by directed graphs adapts to the class of Nambu-determinant Poisson brackets, yet the graph topology becomes dimension-specific. To inspect whether a given Kontsevich graph cocycle $γ$ acts (non)trivially -- in the second Poisson cohomology -- on the space of Nambu brackets, taking a vector field solution $\smash{\vec{X}^γ_d}$ from dimension $d$ does not work in $d+1$. For $2 \leqslant d \leqslant 4$, the action of tetrahedron $γ_3$ on Nambu brackets is known to be a Poisson coboundary, $\dot{P} = [[ P,\smash{\vec{X}^{γ_3}_d} (P)]]$. We explore which minimal (sub)sets of graphs, encoding (non)vanishing objects over $\mathbb{R}^d_{\text{aff}}$, generate the topological data that suffice for a solution $\smash{\vec{X}^{γ_3}_{d+1}}$ to appear. We detect that there can be no solution in higher dimension without invisible graphs that vanish as formulas in $d=3$, but whose descendants do not all vanish over $d=4$.

In this series of papers, we established that $Q^{γ_3}_{d=4}(P)$ is a coboundary in 4D (paper II arXiv:2409.12555), and we presented a series of experimental results about the (non)trivialisation of Kontsevich graph flows of Nambu--Poisson brackets on $\mathbb{R}^d$ (paper IV). This immediate sequel V. to I.--IV. is a guide to working with the package $\textsf{gcaops}$ (https://github.com/rburing/gcaops) ($\textbf{G}$raph $\textbf{C}$omplex $\textbf{A}$ction $\textbf{O}$n $\textbf{P}$oisson $\textbf{S}$tructures) for $\textsf{SageMath}$ by Buring (2022). Specifically, we shall explain the script used in paper II (arXiv:2409.12555) and the use of it.