Let $G$ be a bundle functor of order $(r,s,q)$, $s\ge r\le q$, on the category $ℱ{ℳ}_{m,n}$ of $(m,n)$-dimensional fibered manifolds and local fibered diffeomorphisms. Given a general connection $\Gamma$ on an $ℱ{ℳ}_{m,n}$-object $Y\to M$ we construct a general connection $𝒢(\Gamma ,\lambda ,\Lambda )$ on $GY\to Y$ be means of an auxiliary $q$-th order linear connection $\lambda$ on $M$ and an $s$-th order linear connection $\Lambda$ on $Y$. Then we construct a general connection $𝒢(\Gamma ,{\nabla }_1,{\nabla }_2)$ on $GY\to Y$ by means of auxiliary classical linear connections ${\nabla }_1$ on $M$ and ${\nabla }_2$ on $Y$. In the case $G=J^1$ we determine all general connections $𝒟(\Gamma ,\nabla )$ on $J^{1}Y\to Y$ from...

In this paper the symmetric differential and symmetric Lie derivative are introduced. Using these tools derivations of the algebra of symmetric tensors are classified. We also define a Frölicher-Nijenhuis bracket for vector valued symmetric tensors.

This article deals with vector valued differential forms on $C^{\infty }$-manifolds. As a generalization of the exterior product, we introduce an operator that combines $Hom({⨂}^s\left(W\right),Z)$-valued forms with $Hom({⨂}^s\left(V\right),W)$-valued forms. We discuss the main properties of this operator such as (multi)linearity, associativity and its behavior under pullbacks, push-outs, exterior differentiation of forms, etc. Finally we present applications for Lie groups and fiber bundles.

We prove a generalization of Thom’s transversality theorem. It gives conditions under which the jet map $f_{*}{|}_Y:Y\subseteq J^r(D,M)\to J^r(D,N)$ is generically (for $f:M\to N$) transverse to a submanifold $Z\subseteq J^r(D,N)$. We apply this to study transversality properties of a restriction of a fixed map $g:M\to P$ to the preimage ${\left(j^{s}f\right)}^{-1}\left(A\right)$ of a submanifold $A\subseteq J^s(M,N)$ in terms of transversality properties of the original map $f$. Our main result is that for a reasonable class of submanifolds $A$ and a generic map $f$ the restriction ${g|}_{{\left(j^{s}f\right)}^{-1}\left(A\right)}$ is also generic. We also present an example of $A$ where the...

Suppose that, for each point x in a given subset E ⊂ Rn, we are given an m-jet f(x) and a convex, symmetric set σ(x) of m-jets at x. We ask whether there exist a function F ∈ Cm,w(Rn) and a finite constant M, such that the m-jet of F at x belongs to f(x) + Mσ(x) for all x ∈ E. We give a necessary and sufficient condition for the existence of such F, M, provided each σ(x) satisfies a condition that we call "Whitnet w-convexity".