Natural affinors on time-dependent Weil bundles
Let and be two natural bundles over -manifolds. We prove that if is of type (I) and is of type (II), then any natural differential operator of into is of order 0. We give examples of natural bundles of type (I) or of type (II). As an application of the main theorem we determine all natural differential operators between some natural bundles.
We determine all natural functions on and .
We determine all first order natural operators transforming –tensor fields on a manifold into –tensor fields on .
Natural liftings are classified for . It is proved that they form a 5-parameter family of operators.
We prove, that -th order gauge natural operators on the bundle of Cartan connections with a target in the gauge natural bundles of the order (“tensor bundles”) factorize through the curvature and its invariant derivatives up to order . On the course to this result we also prove that the invariant derivations (a generalization of the covariant derivation for Cartan geometries) of the curvature function of a Cartan connection have the tensor character. A modification of the theorem is given for...
For natural numbers n ≥ 3 and r ≥ 1 all natural operators transforming functions from n-manifolds into affinors (i.e. tensor fields of type (1,1)) on the r-cotangent bundle are classified.
The complete description of all natural operators lifting real valued functions to bundle functors on fibered manifolds is given. The full collection of all natural operators lifting projectable real valued functions to bundle functors on fibered manifolds is presented.
Let be a Weil algebra. The bijection between all natural operators lifting vector fields from -manifolds to the bundle functor of Weil contact elements and the subalgebra of fixed elements of the Weil algebra is determined and the bijection between all natural affinors on and is deduced. Furthermore, the rigidity of the functor is proved. Requisite results about the structure of are obtained by a purely algebraic approach, namely the existence of nontrivial is discussed.
In this paper are determined all natural transformations of the natural bundle of -covelocities over -manifolds into such a linear natural bundle over -manifolds which is dual to the restriction of a linear bundle functor, if .
A classification of natural transformations transforming functions (or vector fields) to functions on such natural bundles which are restrictions of bundle functors is given.
A classification of natural transformations transforming vector fields on -manifolds into affinors on the extended -th order tangent bundle over -manifolds is given, provided .
In [7], it is proved that all -natural metrics on tangent bundles of -dimensional Riemannian manifolds depend on arbitrary smooth functions on positive real numbers, whose number depends on and on the assumption that the base manifold is oriented, or non-oriented, respectively. The result was originally stated in [8] for the oriented case, but the smoothness was assumed and not explicitly proved. In this note, we shall prove that, both in the oriented and non-oriented cases, the functions generating...