On the higher order geometry of Weil bundles over smooth manifolds and over parameter-dependent manifolds (Q2572474): Difference between revisions

The Weil bundle \(T^AM_n\) of an \(n\)-dimensional smooth manifold \(M_n\) determined by a local algebra \(A\) in the sense of \textit{A. Weil} [Colloques internat. Centre Nat. Rech. Sci. 52, 111--117 (1953; Zbl 0053.24903)] carries a natural structure of an \(n\)-dimensional \(A\)-smooth manifold. This allows to associate with \(T^AM_n\) the series \(B^r(A)T^AM_n,\) \(r\geq1\) of \(A\)-smooth \(r\)-frame bundles, where \(B^r(A)T^AM_n,\) \(r\geq1\) consists of \(r\)-jets of \(A\)-smooth germs of diffeomorphisms \((A^n,0) \to T^AM_n\). The authors study the structure of \(A\)-smooth \(r\)-frame bundles and, in particular, introduce the structure form of \(B^r(A)T^AM_n,\) \(r\geq1\), and study its properties. Further, they consider several categories of \(m\)-parameter-dependent manifolds whose objects are trivial bundles \(M_n\times {\mathbb R}^m\to{\mathbb R}^m\), define generalized Weil bundles and higher order frame bundles of \(m\)-parameter-dependent manifolds, and study the structure of these bundles. It is also shown, that the product preserving bundle functors on the introduced categories of \(m\)-parameter-dependent manifolds are equivalent to generalized Weil functors.