We introduce the concept of modified vertical Weil functors on the category \mathcal{F}\mathcal{M}_m of fibred manifolds with m-dimensional bases and their fibred maps with embeddings as base maps. Then we describe all fiber product preserving bundle functors on \mathcal{F}\mathcal{M}_m in terms of modified vertical Weil functors. The construction of modified vertical Weil functors is an (almost direct) generalization of the usual vertical Weil functor. Namely, in the construction of the usual vertical Weil functors, we replace the usual Weil functors T^{a} corresponding to Weil algebras A by the so called modified Weil functors T^{a} corresponding to Weil algebra bundle functors A on the category \mathcal{F}\mathcal{M}_m of m-dimensional manifolds and their embeddings., Włodzimierz M. Mikulski., and Obsahuje seznam literatury
We study the prolongation of semibasic projectable tangent valued $k$-forms on fibered manifolds with respect to a bundle functor $F$ on local isomorphisms that is based on the flow prolongation of vector fields and uses an auxiliary linear $r$-th order connection on the base manifold, where $r$ is the base order of $F$. We find a general condition under which the Frölicher-Nijenhuis bracket is preserved. Special attention is paid to the curvature of connections. The first order jet functor and the tangent functor are discussed in detail. Next we clarify how this prolongation procedure can be extended to arbitrary projectable tangent valued $k$-forms in the case $F$ is a fiber product preserving bundle functor on the category of fibered manifolds with $m$-dimensional bases and local diffeomorphisms as base maps.
We generalize the concept of an $(r,s,q)$-jet to the concept of a non-holonomic $(r,s,q)$-jet. We define the composition of such objects and introduce a bundle functor ${\tilde{J}}^{r,s,q}\: \mathcal{F}\mathcal{M}_{k,l} \times \mathcal{F}\mathcal{M}$ defined on the product category of $(k,l)$-dimensional fibered manifolds with local fibered isomorphisms and the category of fibered manifolds with fibered maps. We give the description of such functors from the point of view of the theory of Weil functors. Further, we introduce a bundle functor $\tilde{J}^{r,s,q}_1\: 2\text{-}\mathcal{F}\mathcal{M}_{k,l} \rightarrow \mathcal{F}\mathcal{M}$ defined on the category of $2$-fibered manifolds with $\mathcal{F}\mathcal{M}_{k,l}$-underlying objects.
We classify all bundle functors $G$ admitting natural operators transforming connections on a fibered manifold $Y\rightarrow M$ into connections on $GY\rightarrow M$. Then we solve a similar problem for natural operators transforming connections on $Y\rightarrow M$ into connections on $GY\rightarrow Y$.
For every bundle functor we introduce the concept of subordinated functor. Then we describe subordinated functors for fiber product preserving functors defined on the category of fibered manifolds with $m$-dimensional bases and fibered manifold morphisms with local diffeomorphisms as base maps. In this case we also introduce the concept of the underlying functor. We show that there is an affine structure on fiber product preserving functors.
Let M be an m-dimensional manifold and A = Dr k/I = R⊕NA a Weil algebra of height r. We prove that any A-covelocity TA x f ∈ TA x M, x ∈ M is determined by its values over arbitrary max{widthA,m} regular and under the first jet projection linearly independent elements of TA x M. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result TA M ≃ T r M without coordinate computations, which improves and generalizes the partial result obtained in Tomáš (2009) from m > k to all cases of m. We also introduce the space JA(M,N) of A-jets and prove its rigidity in the sense of its coincidence with the classical jet space Jr(M,N)., Jiří Tomáš., and Seznam literatury