The calculus of multivectors on noncommutative jet spaces

The Leibniz rule for derivations is invariant under cyclic permutations of co-multiples within the derivations' arguments. Let us explore the implications of this principle: in effect, we develop the calculus of variations on the infinite jet spaces for maps from sheaves of free algebras over commutative manifolds to the generators and then to those associative algebras' quotients over the linear relation of equivalence under cyclic shifts. In the frames of such field-theoretic extension of the Kontsevich formal noncommutative symplectic (super)geometry we prove the main properties of the Batalin-Vilkovisky Laplacian and Schouten bracket.

We show as by-product that the structures which arise in the classical variational Poisson geometry of infinite-dimensional integrable systems do actually not refer to the graded commutativity assumption.