There exists a prolongation functor of infinite order
By a torsion of a general connection on a fibered manifold we understand the Frölicher-Nijenhuis bracket of and some canonical tangent valued one-form (affinor) on . Using all natural affinors on higher order cotangent bundles, we determine all torsions of general connections on such bundles. We present the geometrical interpretation and study some properties of the torsions.
We introduce the concept of a dynamical connection on a time-dependent Weil bundle and we characterize the structure of dynamical connections. Then we describe all torsions of dynamical connections.
A total connection of order in a Lie groupoid over is defined as a first order connections in the -st jet prolongations of . A connection in the groupoid together with a linear connection on its base, ie. in the groupoid , give rise to a total connection of order , which is called simple. It is shown that this simple connection is curvature-free iff the generating connections are. Also, an -th order total connection in defines a total reduction of the -th prolongation of to ....
We prove that the most interesting operators in the Euler-Lagrange complex from the variational bicomplex in infinite order jet spaces are determined up to multiplicative constant by the naturality requirement, provided the fibres of fibred manifolds have sufficiently large dimension. This result clarifies several important phenomena of the variational calculus on fibred manifolds.
The aim of this article is to show that systems of linear partial differential equations on filtered manifolds, which are of weighted finite type, can be canonically rewritten as first order systems of a certain type. This leads immediately to obstructions to the existence of solutions. Moreover, we will deduce that the solution space of such equations is always finite dimensional.
We will pose the inverse problem question within the Krupka variational sequence framework. In particular, the interplay of inverse problems with symmetry and invariance properties will be exploited considering that the cohomology class of the variational Lie derivative of an equivalence class of forms, closed in the variational sequence, is trivial. We will focalize on the case of symmetries of globally defined field equations which are only locally variational and prove that variations of local...
First of all, we find some further properties of the characterization of fiber product preserving bundle functors on the category of all fibered manifolds in terms of an infinite sequence of Weil algebras and a double sequence of their homomorphisms from [5]. Then we introduce the concept of Weilian prolongation of a smooth category over and of its action . We deduce that the functor transforms -bundles into -bundles.