Weil functors and product preserving functors on the category of parameter dependent manifolds (Q881216)

Let \(\mathbb A=\mathbb R[N]/\mathbb I\) be a quotient algebra of the algebra \(\mathbb R[N]\) of formal power series in \(N\) variables modulo an ideal \(\mathbb I\), and let \(\overset {_{\circ}}{\mathbb A}\) be the maximal ideal of \(\mathbb A\) consisting of nilpotent elements. The Weil functor \(T^ {\mathbb A} : {\mathcal{M}}f\rightarrow{\mathcal{F}}{\mathcal{M}}\) assigns to a smooth manifold \(M_ n\) the bundle \(T^ {\mathbb A}M_ n\) of \(\mathbb A\)-velocities. In [Motions in Generalized Spaces, Penza, 24--34 (2002)], the author studied the category \({\mathcal{M}}f^ N\) of manifolds depending on \(N\) parameters whose objects are trivial bundles \(p: M_ n\times \mathbb R^ N \rightarrow \mathbb R^ N\). The generalization \(\widehat{T}^{\mathbb A}\) of the Weil functor \(T^{\mathbb A}\) to the category \({\mathcal{M}}f^ N\) was constructed. The functor \(\widehat{T}^{\mathbb A} : {\mathcal{M}}f^ N\rightarrow{\mathcal{F}}{\mathcal{M}}^ N\) assigns to a manifold \(M_ n\times \mathbb R^ N\) the bundle \(\widehat{T}^{\mathbb A}(M_ n\times \mathbb R^ N)\rightarrow M_ n\times \mathbb R^ N\) formed by \(\mathbb A\)-velocities of germs of sections \(s : \mathbb R^ N \rightarrow M_ n\times \mathbb R^ N\), and preserves the product in the category \({\mathcal{M}}f^ N\). In this paper, the author studies the structure of product-preserving functors on \({\mathcal{M}}f^ N\). It is shown that any product-preserving fibered functor \(\overline{F} : {\mathcal{M}}f\times \mathbb R^ N\rightarrow{\mathcal{F}}{\mathcal{M}}^ N\) is naturally equivalent to some \(N\)-parameter family of Weil functors \(\widetilde{T}^{\mathbb A(t)} : {\mathcal{M}}f\times \mathbb R^ N\rightarrow{\mathcal{F}}{\mathcal{M}}^ N\), and any product-preserving fibered functor \(F : {\mathcal{M}}f^ N\rightarrow{\mathcal{F}}{\mathcal{M}}^ N\) is uniquely defined by an \(N\)-parameter family of Weil functors \(\widetilde{T}^{\mathbb A(t)}\) and a set of functions \(\mathbb R^ N\ni t\mapsto \overset {_{\;\circ}}{S}^ {a}(t)\in\overset {_{\circ}}{\mathbb A}(t)\), \(a\in\{1,\dots,N\}\). Two examples of product-preserving functors \(F : {\mathcal{M}}f^ N\rightarrow{\mathcal{F}}{\mathcal{M}}^ N\) are presented.