On the higher order geometry of Weil bundles over smooth manifolds and over parameter-dependent manifolds.
Let be a fibred manifold with -dimensional base and -dimensional fibres and be a vector bundle with the same base and with -dimensional fibres (the same ). If and , we classify all canonical constructions of a classical linear connection on from a system consisting of a general connection on , a torsion free classical linear connection on , a vertical parallelism on and a linear connection on . An example of such is the connection by I. Kolář.
First we deduce some general results on the covariant form of the natural transformations of Weil functors. Then we discuss several geometric properties of these transformations, special attention being paid to vector bundles and principal bundles.
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 -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.
We characterize Weilian prolongations of natural bundles from the viewpoint of certain recent general results. First we describe the iteration of two natural bundles and . Then we discuss the Weilian prolongation of an arbitrary associated bundle. These two auxiliary results enables us to solve our original problem.
It is well known that the concept of holonomic -jet can be geometrically characterized in terms of the contact of individual curves. However, this is not true for the semiholonomic -jets, [5], [8]. In the present paper, we discuss systematically the semiholonomic case.