Under some weak assumptions on a bundle functor $F:F{M}_{m,n}\to FM$ we prove that there is no $F{M}_{m,n}$-natural operator transforming connections on $Y\to M$ into connections on $FY\to Y$.

Let n,r,k be natural numbers such that n ≥ k+1. Non-existence of natural operators $C^r₀⟿Q\left(reg{T}_k^r\to K_k^r\right)$ and $C^r₀⟿Q\left(reg{T}_k^{r*}\to K_k^{r*}\right)$ over n-manifolds is proved. Some generalizations are obtained.

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}ℱ{ℳ}_{k,l}\times ℱℳ$ 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}}_1^{r,s,q}2\text{-}ℱ{ℳ}_{k,l}\to ℱℳ$ defined on the category of $2$-fibered manifolds with $ℱ{ℳ}_{k,l}$-underlying...

A regular normal parabolic geometry of type $G/P$ on a manifold $M$ gives rise to sequences $D_i$ of invariant differential operators, known as the curved version of the BGG resolution. These sequences are constructed from the normal covariant derivative ${\nabla }^{\omega }$ on the corresponding tractor bundle $V$, where $\omega$ is the normal Cartan connection. The first operator $D_0$ in the sequence is overdetermined and it is well known that ${\nabla }^{\omega }$ yields the prolongation of this operator in the homogeneous case $M=G/P$. Our first main result...

In this paper we examine a natural concept of a curve on a supermanifold and the subsequent notion of the jet of a curve. We then tackle the question of geometrically defining the higher order tangent bundles of a supermanifold. Finally we make a quick comparison with the notion of a curve presented here are other common notions found in the literature.

We prove that the problem of finding all $ℳf_m$-natural operators $B:Q⟿Q{T}^A$ lifting classical linear connections ∇ on m-manifolds M to classical linear connections $B_M\left(\nabla \right)$ on the Weil bundle $T^{A}M$ corresponding to a p-dimensional (over ℝ) Weil algebra A is equivalent to the one of finding all $ℳf_m$-natural operators $C:Q⟿(T{¹}_{p-1},T*\otimes T*\otimes T)$ transforming classical linear connections ∇ on m-manifolds M into base-preserving fibred maps $C_M\left(\nabla \right):T{¹}_{p-1}M={⨁}_M^{p-1}TM\to T*M\otimes T*M\otimes TM$.

We describe all F2Mm1,m2,n1,n2-natural operators D: Qτproj-prj ↝QT* transforming projectable-projectable classical torsion-free linear connections ∇ on fibred-fibred manifolds Y into classical linear connections D(∇) on cotangent bundles T*Y of Y . We show that this problem can be reduced to finding F2Mm1,m2,n1,n2-natural operators D: Qτproj-proj ↝ (T*,⊗pT*⊗⊗qT) for p = 2, q = 1 and p = 3, q = 0.

For a product preserving gauge bundle functor on vector bundles, we present some lifts of smooth functions that are constant or linear on fibers, and some lifts of projectable vector fields that are vector bundle morphisms.

Some properties and applications of natural vector bundle morphisms $T_A\circ {⨂}_s^q\to {⨂}_s^q\circ T_A$ over $i{d}_{T_A}$ are presented.

Let $𝒫{ℬ}_m$ be the category of all principal fibred bundles with $m$-dimensional bases and their principal bundle homomorphisms covering embeddings. We introduce the concept of the so called $(r,m)$-systems and describe all gauge bundle functors on $𝒫{ℬ}_m$ of order $r$ by means of the $(r,m)$-systems. Next we present several interesting examples of fiber product preserving gauge bundle functors on $𝒫{ℬ}_m$ of order $r$. Finally, we introduce the concept of product preserving $(r,m)$-systems and describe all fiber product preserving gauge...

Let Y → M be a fibred manifold with m-dimensional base and n-dimensional fibres. Let r, m,n be positive integers. We present a construction $B^r$ of rth order holonomic connections $B^r(\Gamma ,\nabla ):Y\to J^{r}Y$ on Y → M from general connections Γ:Y → J¹Y on Y → M by means of torsion free classical linear connections ∇ on M. Then we prove that any construction B of rth order holonomic connections $B(\Gamma ,\nabla ):Y\to J^{r}Y$ on Y → M from general connections Γ:Y → J¹Y on Y → M by means of torsion free classical linear connections ∇ on M is equal to $B^r$. Applying...

We describe all bundle functors G admitting natural operators transforming rth order holonomic connections on a fibered manifold Y → M into rth order holonomic connections on GY → M. For second order holonomic connections we classify all such natural operators.

We extend the concept of r-order connections on fibred manifolds to the one of (r,s,q)-order projectable connections on fibred-fibred manifolds, where r,s,q are arbitrary non-negative integers with s ≥ r ≤ q. Similarly to the fibred manifold case, given a bundle functor F of order r on (m₁,m₂,n₁,n₂)-dimensional fibred-fibred manifolds Y → M, we construct a general connection ℱ(Γ,Λ):FY → J¹FY on FY → M from a projectable general (i.e. (1,1,1)-order) connection $\Gamma :Y\to J^{1,1,1}Y$ on Y → M by means of an (r,r,r)-order...

Using a general connection Γ on a fibred manifold p:Y → M and a torsion free classical linear connection ∇ on M, we distinguish some “special” fibred coordinate systems on Y, and then we construct a general connection $\widetilde{ℱ}(\Gamma ,\nabla )$ on Fp:FY → FM for any vector bundle functor F: ℳ f → of finite order.

We deduce a classification of all special types of nonholonomic $3$-jets. In the introductory part, we summarize the basic properties of nonholonomic $r$-jets.

First we summarize some properties of the nonholonomic $r$-jets from the functorial point of view. In particular, we describe the basic properties of our original concept of nonholonomic $r$-jet category. Then we deduce certain properties of the Weil algebras associated with nonholonomic $r$-jets. Next we describe an algorithm for finding the nonholonomic $r$-jet categories. Finally we classify all special types of semiholonomic $3$-jets.

Let $F=F^{(A,H,t)}$ and $F^1=F^{(A^1,H^1,t^1)}$ be fiber product preserving bundle functors on the category ${\mathrm{ℱℳ}}_m$ of fibred manifolds $Y$ with $m$-dimensional bases and fibred maps covering local diffeomorphisms. We define a quasi-morphism $(A,H,t)\to (A^1,H^1,t^1)$ to be a $GL\left(m\right)$-invariant algebra homomorphism $\nu :A\to A^1$ with $t^1=\nu \circ t$. The main result is that there exists an ${\mathrm{ℱℳ}}_m$-natural transformation $FY\to F^{1}Y$ depending on a classical linear connection on the base of $Y$ if and only if there exists a quasi-morphism $(A,H,t)\to (A^1,H^1,t^1)$. As applications, we study existence problems of symmetrization (holonomization)...

We classify all bundle functors $G$ admitting natural operators transforming connections on a fibered manifold $Y\to M$ into connections on $GY\to M$. Then we solve a similar problem for natural operators transforming connections on $Y\to M$ into connections on $GY\to Y$.