Natural operations with projectable tangent valued forms on a fibred manifold (Q1191335)

Let \(p: E\to B\) be a fibered manifold, \(\Omega^ r(B)\) the sheaf of differential \(r\)-forms on \(B\), \({\mathcal P}(E)\) the sheaf of projectable vector fields on \(E\). Then the sheaf \({\mathfrak P}(E)=\oplus\Omega^ r(B)\oplus {\mathcal P}(E)\) of vector valued differential forms on \(B\) may be regarded as a Lie algebra with the (restriction of the) Frölicher- Nijenhuis bracket. The author determines all natural \(R\)-bilinear operations \({\mathfrak P}^ r(E)\times {\mathfrak P}^ s(E)\to {\mathfrak P}^{r+s}(E)\). They constitute a three-dimensional vector space (which involves the bracket itself and certain simple operators noted \(p^*dC\underline{\varphi}\wedge\psi\), \(\varphi\wedge pdC\underline{\psi}\) where \(C\) is the contraction). The result is derived by lengthy direct calculations based on the ancient Lie's infinitesimal transformation method for the group of \(k\)-jets of diffeomorphisms.