On the existence of some type constructions on connections (Q2456621): Difference between revisions

For a bundle functor \(G : \mathcal {FM}_{m, n}\to \mathcal {FM}\) there are two corresponding natural bundles \(G^ 1 : \mathcal Mf_ m\to \mathcal {FM}\), \(G^ 1 M = G(M \times \mathbb R^ n)\), \(G^ 1 f = G(f\times \text{id}_{\mathbb R^ n})\) and \(G^ 2 : \mathcal Mf_ n\to \mathcal{FM}\), \(G^ 2 N = G(\mathbb R^ m\times N)\), \(G^ 2 g = G(\text{id}_{\mathbb R^ m}\times g)\), where \(\mathcal Mf_ m\) is the category of \(m\)-dimensional manifolds and their embeddings and \(\mathcal {FM}_{m, n}\) is the category of fibred manifolds with \(m\)-dimensional bases and \(n\)-dimensional fibers and their fibered embeddings. In this paper, the author describes all bundle functors \(G : \mathcal {FM}_{m, n}\to \mathcal {FM}\) such that the natural bundle \(G^ 2 : \mathcal Mf_ n\to \mathcal{FM}\), \(G^ 2 N = G(\mathbb R^ m\times N)\), \(G^ 2 g = G(\text{id}_{\mathbb R^ m}\times g)\) is of order \(0\). Moreover, he describes all bundle functors \(G : \mathcal {FM}_{m, n}\to \mathcal {FM}\) of order \(r\) such that there is a canonical construction of a general connection \(D(\Gamma,\Lambda)\) on \(GY\to Y\) from a general connection \(\Gamma\) on a fibred manifold \(p : Y\to M\) by means of an \(r\)-th order linear connection \(\Gamma : T M \to J^ rT M\) of \(M\).