Some new cohomological invariants for nonlinear differential equations (Q1207167)

For any differential equation \({\mathcal E}\) a complex \[ \partial:\Lambda^ i({\mathcal E})\otimes D^ V({\mathcal E})\to\Lambda^{i+1}({\mathcal E})\otimes D^ V({\mathcal E}),\quad i=0,1,\dots, \] is introduced, where \(\Lambda^ i({\mathcal E})\) is the module of \(i\)-forms. \(D^ V({\mathcal E})\) is the algebra of vertical derivations, while \(\partial\) is associated with the Cartan connection on \({\mathcal E}^{\langle\infty\rangle}\) and is constructed using Frölicher-Nijenhuis brackets. \(0\)-cohomology of this complex coincides with the Lie algebra of (higher) symmetries for \({\mathcal E}\), 1-cohomology is the set of equivalence classes of nontrivial deformations for the equation structure. Three spectral sequences are associated with this complex. Using one of them cohomology super algebra for the ``empty'' \((=J^ \infty(\pi))\) and evolution equations is described. The notion of evolutionary super derivation is introduced. Two examples are considered to illustrate the general theory --- those of the heat and of the Burgers equations.