On the induced geometric object on submanifolds of homogeneous spaces
We deduce further properties of connections on the functional bundle of all smooth maps between the fibers over the same base point of two fibered manifolds over the same base, which we introduced in [2]. In particular, we define the vertical prolongation of such a connection, discuss the iterated absolute differentiation by means of an auxiliary linear connection on the base manifold and prove the general Ricci identity.
Using Weil algebra techniques, we determine all finite dimensional homomorphic images of germs of foliation respecting maps.
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.
An approach to the theory of linear differential forms in a radial subset of an (arbitrary) real linear space without a Banach structure is proposed. Only intrinsic (partially linear) topologies on are (implicitly) involved in the definitions and statements. Then a mapping , with , real linear spaces and a radial subset of , is considered. After showing a representation theorem of those bilinear forms on for which