Uniqueness results for operators in the variational sequence
We prove that the most interesting operators in the Euler-Lagrange complex from the variational bicomplex in infinite order jet spaces are determined up to multiplicative constant by the naturality requirement, provided the fibres of fibred manifolds have sufficiently large dimension. This result clarifies several important phenomena of the variational calculus on fibred manifolds.