No label defined (Q4523993)

Let \(F_1\) be a natural bundle of order \(r_1\); a basis of the \(s\)-th order differential operators of \(F_1\) with values in \(r_2\)-th order bundles is an operator \(D\) of that type such that any other one is obtained by composing \(D\) with a suitable zero-order operator. In this article a basis is found in the following two cases: for \(F_1=\text{semi} F^{r_1}\) (semi-holonomic \(r_1\)-th order frame bundle), \(s=0\), \(r_2<r_1\) and \(F_1=F^1\) (\(1\)-st order frame bundle), \(r_2\leq s\). The author uses here the so-called method of orbit reduction which provides one with a criterion for checking a basis in terms of the \(K^{r_1+s,r_2}_n\)-action on the type fiber of the concerned bundle, where \(K^{r_1+s,r_2}_n\) denotes the kernel of the projection of the \((n,r_1+s)\) jet group onto the \((n,r_2)\) jet group [see \textit{I. Kolár, P. Michor} and \textit{J. Slovák}, `Natural operations in differential geometry' (Springer-Verlag, Berlin) (1993; Zbl 0782.53013) or \textit{D. Krupka}, Local invariants of a linear connection, Differential Geometry, Budapest 1979, Colloq. Math. Soc. János Bolyai 31, 349-369 (1982; Zbl 0513.53038)]. Then he deals with the vector bundle structure associated to the affine bundle \(\text{semi} F^{r_1}\to \text{semi} F^{r_1-1}\) in order to factorize any zero-order operator of \(\text{semi} F^{r_1}\), which allows to solve the first case under analysis; the second case is reduced to the previous one by injecting the \(s\)-th order jet prolongation of \(F^1\) into \(\text{semi} F^{s+1}\). Finally, the author shows a nice explicit description of the basis found for \(F^1\), \(s=1,2\), in terms of the Lie bracket. For the entire collection see [Zbl 0940.00040].