Natural operators of smooth mappings of manifoldswith metric fields (Q852094)

Let \(\mathcal{M}f_{m}\times \mathcal{M}f_{n}\) be the category of cartesian products of two manifolds and products of local diffeomorphisms. A natural bundle over \(\mathcal{M}f_{m}\times \mathcal{M}f_{n}\) is a covariant functor \(F:\mathcal{M}f_{m}\times \mathcal{M}f_{n}\longrightarrow \mathcal{FM}\), where \(\mathcal{FM}\) is a category of fibered manifolds and fibered morphisms satisfying certain conditions. The authors prove: Theorem 1. Any \(r-\)th order natural bundle over \((M,N)\) has a structure of an associated fibered bundle \((P^rM \times P^rN)[S,G^r_m \times G^r_n]\). Theorem 2. Let \(F\) and \(G\) be natural bundles. There is a bijective correspondence between \(k-\)th order natural operators \(D:F \longrightarrow G\) and natural transformations \(T:J^k \circ F \longrightarrow G\). Theorem 3. There is a bijective correspondence between the set of all natural transformations between two \(r-\)th order natural bundles over \(\mathcal{M}f_{m}\times \mathcal{M}f_{n}\) and the set of smooth \(G^r_m \times G^r_n\)-equivariant maps between their standard fibers. Theorem 4. Let \(F\) be a natural bundle of order \(r\) with a typical fiber \(S\). Then \(k-\)th jet prolongation of \(F\) is a natural bundle of order \(r+k\), and the typical fiber of \(J^kF\) is \(T^k_{m+n}S=J^k_0(\mathbb R^{m+n},S)\), where \(m\), resp. \(n\), are dimensions of underlying manifolds. Theorem 5. Let \(F\), \(F'\) be natural bundles of order \(r\) and \(r'\), respectively, with typical fibers \(S\), respectively \(S'\). There is a bijective correspondence between the set of all \(k-\)th order natural operators \(D:F \longrightarrow F'\) and the set of all smooth \(G^q_m \times G^q_n\)-equivariant mappings (differential invariants) \(A:T^k_{m+n}S \longrightarrow S'\), where \(q=max(r+k,r')\). Theorem 6. The principal fiber bundle \(P_0^{k,r}=P^{r+k}M \times P^{r+k}N \) is a reduction of the principal fiber bundle \(W^k(P^rM \times P^rN )\) with respect to the subgroup \(G_0^{r,k}=G^{r+k}_m \times G^{r+k}_n \subset W^k_{m+n}(G^r_m \times G^r_n)\). Geometrical interpretations and applications to Physics of these results are provided.