For every product preserving bundle functor $T^\mu $ on fibered manifolds, we describe the underlying functor of any order $(r,s,q), s\ge r\le q$. We define the bundle $K_{k,l}^{r,s,q} Y$ of $(k,l)$-dimensional contact elements of the order $(r,s,q)$ on a fibered manifold $Y$ and we characterize its elements geometrically. Then we study the bundle of general contact elements of type $\mu $. We also determine all natural transformations of $K_{k,l}^{r,s,q} Y$ into itself and of $T(K_{k,l}^{r,s,q} Y)$ into itself and we find all natural operators lifting projectable vector fields and horizontal one-forms from $Y$ to $K_{k,l}^{r,s,q} Y$.
The paper contains a classification of linear liftings of skew symmetric tensor fields of type $(1,2)$ on $n$-dimensional manifolds to tensor fields of type $(1,2)$ on Weil bundles under the condition that $n\ge 3.$ It complements author's paper ``Linear liftings of symmetric tensor fields of type $(1,2)$ to Weil bundles'' (Ann. Polon. Math. {\it 92}, 2007, pp. 13--27), where similar liftings of symmetric tensor fields were studied. We apply this result to generalize that of author's paper "Affine liftings of torsion-free connections to Weil bundles'' (Colloq. Math. {\it 114}, 2009, pp. 1--8) and get a classification of affine liftings of all linear connections to Weil bundles.
We give a classification of all linear natural operators transforming p-vectors (i.e., skew-symmetric tensor fields of type (p, 0)) on n-dimensional manifolds M to tensor fields of type (q, 0) on TAM, where TA is a Weil bundle, under the condition that p ≥ 1, n ≥ p and n ≥ q. The main result of the paper states that, roughly speaking, each linear natural operator lifting p-vectors to tensor fields of type (q, 0) on TA is a sum of operators obtained by permuting the indices of the tensor products of linear natural operators lifting p-vectors to tensor fields of type (p, 0) on TA and canonical tensor fields of type (q − p, 0) on TA., Jacek Dębecki., and Obsahuje seznam literatury
A natural $T$-function on a natural bundle $F$ is a natural operator transforming vector fields on a manifold $M$ into functions on $FM$. For any Weil algebra $A$ satisfying $\dim M \ge {\mathrm width}(A)+1$ we determine all natural $T$-functions on $T^*T^AM$, the cotangent bundle to a Weil bundle $T^AM$.
Let $A$ be a Weil algebra. The bijection between all natural operators lifting vector fields from $m$-manifolds to the bundle functor $K^A$ of Weil contact elements and the subalgebra of fixed elements $SA$ of the Weil algebra $A$ is determined and the bijection between all natural affinors on $K^A$ and $SA$ is deduced. Furthermore, the rigidity of the functor $K^A$ is proved. Requisite results about the structure of $SA$ are obtained by a purely algebraic approach, namely the existence of nontrivial $SA$ is discussed.
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.
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.
In this paper we give a new definition of the classical contact elements of a smooth manifold M as ideals of its ring of smooth functions: they are the kernels of Weil’s near points. Ehresmann’s jets of cross-sections of a fibre bundle are obtained as a particular case. The tangent space at a point of a manifold of contact elements of M is shown to be a quotient of a space of derivations from the same ringC∞(M) into certain finite-dimensional local algebras. The prolongation of an ideal of functions from a Weil
bundle to another one is the same ideal, when its functions take values into certain Weil algebras; following the same idea vector fields are prolonged, without any considerations about local one-parameter groups. As a consequence, we give an algebraic definition of Kuranishi’s fundamental identification on Weil bundles, and study their affine structures, as a generalization of the classical results on spaces of jets of cross-sections.