Ivan Kolář

Learn More
We describe the fiber product preserving bundle functors on the category of all morphisms of fibered manifolds in terms of infinite sequences of Weil algebras and actions of the skeleton of the category of r-jets by algebra homomorphisms. We deduce an explicit formula for the iteration of two such functors. We characterize the functors with values in vector(More)
We first generalize the operation of formal exterior differential in the case of finite dimensional fibered manifolds and then we extend it to certain bundles of smooth maps. In order to characterize the operator order of some morphisms between our bundles of smooth maps, we introduce the concept of fiberwise (k, r)-jet. The relations to the EulerLagrange(More)
We characterize Weilian prolongations of natural bundles from the viewpoint of certain recent general results. First we describe the iteration F (EM) of two natural bundles E and F . Then we discuss the Weilian prolongation of an arbitrary associated bundle. These two auxiliary results enables us to solve our original problem.
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. Generally speaking, a very attractive phenomenon of the problem of classifying the special types of nonholonomic 3-jets is that its solution is heavily based on the Weil algebra technique, even though no(More)
In this paper we prove that each g-natural metric on a linear frame bundle LM over a Riemannian manifold (M, g) is invariant with respect to a lifted map of a (local) isometry of the base manifold. Then we define g-natural metrics on the orthonormal frame bundle OM and we prove the same invariance result as above for OM . Hence we see that, over a space (M,(More)