No label defined (Q4034836)

Let \(\mathbb{A}\) be an associative commutative finite-dimensional unitary algebra over \(\mathbb{R}\) and \({\mathfrak M}\) be a finitely generated \(\mathbb{A}\)- module. A mapping \(f:{\mathfrak M}\to{\mathfrak M}\) is said to be \(\mathbb{A}\)- differentiable if \(df\) is an \(\mathbb{A}\)-linear mapping (\(T{\mathfrak M}\cong{\mathfrak M}\)). Let us denote by \(\Gamma\) the pseudogroup of \(\mathbb{A}\)- differentiable mappings of \({\mathfrak M}\), then an \(\mathbb{A}\)-manifold modeled on \({\mathfrak M}\) is a topological space endowed by a \(\Gamma\)-atlas [see \textit{V. Vishnevskij}, \textit{A. Shirokov} and the author, Spaces over algebras (Russian), Kazan University (1985; Zbl 0592.53001)]. A local algebra \(\mathbb{A}\) is isomorphic to \(\mathbb{R}(N,q)/Q\), where \(\mathbb{R}(N,q)=\mathbb{R}(N)/({\overset\circ\mathbb{R}}(N))^{q+1}\), \(\mathbb{R}(N)=\mathbb{R}[x_ 1,\ldots,x_ N]\) is the polynomial algebra, \({\overset\circ\mathbb{R}}(N)\) is the ideal of polynomials with zero constant term, and \(Q\subset\mathbb{R}(N,q)\) is an ideal. In [the author, J. Sov. Math. 44, No. 2, 85-98 (1989); translation from Itogi Nauki Tekh., Ser. Probl. Geom. 19, 3-22 (1987; Zbl 0721.53064)] two mappings \(f,g:(\mathbb{R}^ N,0)\to(M,x)\), where \(M\) is a manifold, are said to be \(\mathbb{A}\)-equivalent if their jets represent the same element of \(\mathbb{A}^ N\), and the equivalence class \(j^ \mathbb{A} f\) of \(f\) is called an \(\mathbb{A}\)- jet of \(f\). In the present paper the author gives a generalization of the notion of an \(\mathbb{A}\)-jet, namely, defines a transversal \(\mathbb{A}\)-jet of a mapping \(f:(\mathbb{R}^ N,0)\to(M,x)\), where \(M\) is an \((n+m)\)-dimensional manifold endowed with a foliation of codimension \(m\). He demonstrates that the set \(J^ \mathbb{A} M\) of \(\mathbb{A}\)-jets on \(M\) carries a structure of an \(\mathbb{A}\)-manifold modeled on the \(\mathbb{A}\)-module \(\mathbb{A}^ N\oplus\mathbb{R}^ m\) and also a structure of a locally trivial bundle on \(M\). Then he considers \(\mathbb{A}\)-manifolds modeled on the \(\mathbb{A}\)-module \(\mathbb{A}^ N\oplus\mathbb{R}^ m\) and constructs lifts of geometrical objects into \(J^ \mathbb{A} M\). For the entire collection see [Zbl 0748.00026].