Boundary values as Hamiltonian variables. II. Graded structures

It is shown that the new formula for the field theory Poisson brackets arises naturally in the proposed extension of the formal variational calculus incorporating divergences. The linear spaces of local functionals, evolutionary vector fields, functional forms, multi-vectors and differential operators become graded with respect to divergences. The bilinear operations, such as the action of vector fields onto functionals, the commutator of vector fields, the interior product of forms and vectors and the Schouten-Nijenhuis bracket are compatible with the grading. A definition of the adjoint graded operator is proposed and antisymmetric operators are constructed with the help of boundary terms. The fulfilment of the Jacobi identity for the new Poisson brackets is shown to be equivalent to vanishing of the Schouten-Nijenhuis bracket of the Poisson bivector with itself