Symmetries in finite order variational sequences
We refer to Krupka’s variational sequence, i.e. the quotient of the de Rham sequence on a finite order jet space with respect to a ‘variationally trivial’ subsequence. Among the morphisms of the variational sequence there are the Euler-Lagrange operator and the Helmholtz operator. In this note we show that the Lie derivative operator passes to the quotient in the variational sequence. Then we define the variational Lie derivative as an operator on the sheaves of the variational sequence. Explicit...