Kontsevich graphs act on Nambu-Poisson brackets, I. New identities for Jacobian determinants
Authors:
Arthemy V. Kiselev,
Mollie S. Jagoe Brown,
Floor Schipper
Abstract:
Nambu-determinant brackets on $R^d\ni x=(x^1,...,x^d)$, $\{f,g\}_d(x)=ρ(x) \det(\partial(f,g,a_1,...,a_{d-2})/\partial(x^1,...,x^d))$, with $a_i\in C^\infty(R^d)$ and $ρ\partial_x\in\mathfrak{X}^d(R^d)$, are a class of Poisson structures with (non)linear coefficients, e.g., polynomials of arbitrarily high degree. With good cocycles in the graph complex, Kontsevich associated universal -- for all P…
▽ More
Nambu-determinant brackets on $R^d\ni x=(x^1,...,x^d)$, $\{f,g\}_d(x)=ρ(x) \det(\partial(f,g,a_1,...,a_{d-2})/\partial(x^1,...,x^d))$, with $a_i\in C^\infty(R^d)$ and $ρ\partial_x\in\mathfrak{X}^d(R^d)$, are a class of Poisson structures with (non)linear coefficients, e.g., polynomials of arbitrarily high degree. With good cocycles in the graph complex, Kontsevich associated universal -- for all Poisson bivectors $P$ on affine $R^d_{aff}$ -- elements $\dot{P}=Q^γ(P)\in H^2_{P}(R^d_{aff})$ in the Lichnerowicz-Poisson second cohomology groups; we note that known graph cocycles $γ$ preserve the Nambu-Poisson class $\{P(ρ,a)\}$, and we express, directly from $γ$, the evolution $\dotρ$,$\dot{a}$ that induces $\dot{P}$.
Over all $d\geq2$ at once, there is no universal mechanism for the bivector cocycles $Q^γ_d$ to be trivial, $Q^γ_d=[\![P,\vec{X}^γ_d(P)]\!]$, w.r.t. vector fields defined uniformly for all dimensions $d$ by the same graph formula. While over $R^2$, the graph flows $\dot{P} = Q^{γ_i}_{2D}(P(ρ))$ for $γ\in\{γ_3,γ_5,γ_7,...\}$ are trivialized by vector fields $\vec{X}^{γ_i}_{2D}=(dx\wedge dy)^{-1}d_{dR}(Ham^{γ_i}(P))$ of peculiar shape, we detect that in $d\geq3$, the 1-vectors from 2D, now with $P(ρ,a_1,...,a_{d-2})$ inside, do not solve the problems $Q^{γ_i}_{d\geq3}=[\![P,{\vec{X}^{γ_i}_{d\geq3}}(P(ρ,a))]\!]$, yet they do yield good Ansatz where we find solutions $\vec{X}^{γ_i}_{d=3,4}(P(ρ,a))$. In the study of the step $d\mapsto d+1$, by adapting the Kontsevich graph calculus to the Nambu-Poisson class of brackets, we discover more identities for the Jacobian determinants within $P(ρ,a)$, i.e. for multivector-valued $GL(d)$-invariants on $R^d_{aff}$.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
Kontsevich graphs act on Nambu-Poisson brackets, III. Uniqueness aspects
Authors:
Floor Schipper,
Mollie S Jagoe Brown,
Arthemy V Kiselev
Abstract:
Kontsevich constructed a map between `good' graph cocycles $γ$ and infinitesimal deformations of Poisson bivectors on affine manifolds, that is, Poisson cocycles in the second Lichnerowicz--Poisson cohomology. For the tetrahedral graph cocycle $γ_3$ and for the class of Nambu-determinant Poisson bivectors $P$ over $\mathbb{R}^2$, $\mathbb{R}^3$ and $\mathbb{R}^4$, we know the fact of trivializatio…
▽ More
Kontsevich constructed a map between `good' graph cocycles $γ$ and infinitesimal deformations of Poisson bivectors on affine manifolds, that is, Poisson cocycles in the second Lichnerowicz--Poisson cohomology. For the tetrahedral graph cocycle $γ_3$ and for the class of Nambu-determinant Poisson bivectors $P$ over $\mathbb{R}^2$, $\mathbb{R}^3$ and $\mathbb{R}^4$, we know the fact of trivialization, $\dot{P}=[[ P, \vec{X}^{γ_3}_{\text{dim}}]]$, by using dimension-dependent vector fields $\vec{X}^{γ_3}_{\text{dim}}$ expressed by Kontsevich (micro-) graphs. We establish that these trivializing vector fields $\vec{X}^{γ_3}_{\text{dim}}$ are unique modulo Hamiltonian vector fields $\vec{X}_{H}=d_P(H)= [[ P, H]]$, where $d_P$ is the Lichnerowicz--Poisson differential and where the Hamiltonians $H$ are also represented by Kontsevich (micro-)graphs. However, we find that the choice of Kontsevich (micro-)graphs to represent the aforementioned multivectors is not unique.
△ Less
Submitted 23 November, 2024; v1 submitted 24 September, 2024;
originally announced September 2024.
Kontsevich graphs act on Nambu--Poisson brackets, II. The tetrahedral flow is a coboundary in 4D
Authors:
Mollie S. Jagoe Brown,
Floor Schipper,
Arthemy V. Kiselev
Abstract:
Kontsevich constructed a map from suitable cocycles in the graph complex to infinitesimal deformations of Poisson bi-vector fields. Under the deformations, the bi-vector fields remain Poisson. We ask, are these deformations trivial, meaning, do they amount to a change of coordinates along a vector field? We examine this question for the tetrahedron, the smallest nontrivial suitable graph cocycle i…
▽ More
Kontsevich constructed a map from suitable cocycles in the graph complex to infinitesimal deformations of Poisson bi-vector fields. Under the deformations, the bi-vector fields remain Poisson. We ask, are these deformations trivial, meaning, do they amount to a change of coordinates along a vector field? We examine this question for the tetrahedron, the smallest nontrivial suitable graph cocycle in the Kontsevich graph complex, and for the class of Nambu--Poisson brackets on $\mathbb{R}^d$.
Within Kontsevich's graph calculus, we use dimension-specific micro-graphs, in which each vertex represents an ingredient of the Nambu--Poisson bracket. For the tetrahedron, Kontsevich knew that the deformation is trivial for $d = 2$ (1996). In 2020, Buring and the third author found that the deformation is trivial for $d = 3$. Building on these discoveries, we now establish that the deformation is trivial for $d = 4$.
△ Less
Submitted 9 October, 2024; v1 submitted 19 September, 2024;
originally announced September 2024.
