First we deduce some general properties of product preserving bundle functors on the category of fibered manifolds. Then we study the prolongation of projectable tangent valued forms with respect to these functors and describe the complete lift of the Frölicher-Nijenhuis bracket. We also present the coordinate formula for composition of semiholonomic jets.
We study systematically the prolongation of second order connections in the sense of C. Ehresmann from a fibered manifold into its vertical bundle determined by a Weil algebra . In certain situations we deduce new properties of the prolongation of first order connections. Our original tool is a general concept of a -field for another Weil algebra and of its -prolongation.
We prove that the so-called complete lifting of tangent valued forms from a manifold to an arbitrary Weil bundle over preserves the Frölicher-Nijenhuis bracket. We also deduce that the complete lifts of connections are torsion-free in the sense of M. Modugno and the second author.
We prove the (first) reduction theorem for general and classical connections, i.e. we prove that any natural operator of a general connection Γ on a fibered manifold and a classical connection Λ on the base manifold can be expressed as a zero order operator of the curvature tensors of Γ and Λ and their appropriate derivatives.
We study relations between functions on the cotangent bundle of a spacetime which are constants of motion for geodesics and functions on the odd-dimensional phase space conserved by the Reeb vector fields of geometrical structures generated by the metric and an electromagnetic field.
All natural operations transforming linear connections on the tangent bundle of a fibred manifold to connections on the 1-jet bundle are classified. It is proved that such operators form a 2-parameter family (with real coefficients).
This short note completes the results of [3] by removing the locality assumption on the operators. After providing a quick survey on (infinitesimally) natural operations, we show that all the bilinear operators classified in [3] can be characterized in a completely algebraic way, even without any continuity assumption on the operations.
We study the second order connections in the sense of C. Ehresmann. On a fibered manifold , such a connection is a section from into the second non-holonomic jet prolongation of . Our main aim is to extend the classical theory to the functional bundle of all smooth maps between the fibers over the same base point of two fibered manifolds over the same base. This requires several new geometric results about the second order connections on , which are deduced in the first part of the paper.
We consider cohomology defined by a system of local Lagrangian and investigate under which conditions the variational Lie derivative of associated local currents is a system of conserved currents. The answer to such a question involves Jacobi equations for the local system. Furthermore, we recall that it was shown by Krupka et al. that the invariance of a closed Helmholtz form of a dynamical form is equivalent with local variationality of the Lie derivative of the dynamical form; we remark that...