A classification of all $ℳf_m$-natural operators $A:G{r}_p⟿G{r}_{q}T*$ lifting p-dimensional distributions D ⊂ TM on m-manifolds M to q-dimensional distributions A(D) ⊂ TT*M on the cotangent bundle T*M is given.

We describe all ${}_m\left(G\right)$-gauge-natural operators lifting right-invariant vector fields X on principal G-bundles P → M with m-dimensional bases into vector fields (X) on the rth order principal prolongation $W^{r}P=P^{r}M{\times }_M{J}^{r}P$ of P → M. In other words, we classify all ${}_m\left(G\right)$-natural transformations $J^{r}LP{\times }_M{W}^{r}P\to T{W}^{r}P=L{W}^{r}P{\times }_M{W}^{r}P$ covering the identity of $W^{r}P$, where $J^{r}LP$ is the r-jet prolongation of the Lie algebroid LP=TP/G of P, i.e. we find all ${}_m\left(G\right)$-natural transformations which are similar to the Kumpera-Spencer isomorphism $J^{r}LP=L{W}^{r}P$. We formulate axioms which characterize...

In a previous paper we have given a complete description of linear liftings of p-forms on n-dimensional manifolds M to q-forms on $T^{A}M$, where $T^A$ is a Weil functor, for all non-negative integers n, p and q, except the case p = n and q = 0. We now establish formulas connecting such liftings and the exterior derivative of forms. These formulas contain a boundary operator, which enables us to define a homology of the Weil algebra A. We next study the case p = n and q = 0 under the condition that A is acyclic....

The second order transverse bundle $T_{}^{2}M$ of a foliated manifold $M$ carries a natural structure of a smooth manifold over the algebra ${𝔻}^2$ of truncated polynomials of degree two in one variable. Prolongations of foliated mappings to second order transverse bundles are a partial case of more general ${𝔻}^2$-smooth foliated mappings between second order transverse bundles. We establish necessary and sufficient conditions under which a ${𝔻}^2$-smooth foliated diffeomorphism between two second order transverse bundles maps...

We give a classification of all linear natural operators transforming affinors on each n-dimensional manifold M into affinors on $T^{A}M$, where $T^A$ is the product preserving bundle functor given by a Weil algebra A, under the condition that n ≥ 2.

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. 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...

We define equivariant tensors for every non-negative integer $p$ and every Weil algebra $A$ and establish a one-to-one correspondence between the equivariant tensors and linear natural operators lifting skew-symmetric tensor fields of type $(p,0)$ on an $n$-dimensional manifold $M$ to tensor fields of type $(p,0)$ on $T^{A}M$ if $1\le p\le n$. Moreover, we determine explicitly the equivariant tensors for the Weil algebras ${𝔻}_k^r$, where $k$ and $r$ are non-negative integers.

This paper contains a classification of all linear liftings of symmetric tensor fields of type (1,2) on n-dimensional manifolds to any tensor fields of type (1,2) on Weil bundles under the condition that n ≥ 3.

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 $T^{A}M$, where $T^A$ is a Weil bundle, under the condition that $p\ge 1$, $n\ge p$ and $n\ge 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 $T^A$ is a sum of operators obtained by permuting the indices of the tensor products of linear natural operators lifting...