The affine bundle theorem in synthetic differential geometry of jet bundles.
We prove that every natural affinor on is proportional to the identity affinor if dim.
We determine all natural operators D transforming general connections Γ on fibred manifolds Y → M and torsion free classical linear connections ∇ on M into general connections D(Γ,∇) on the second order jet prolongation J2Y → M of Y → M
Jets of a manifold can be described as ideals of . This way, all the usual processes on jets can be directly referred to that ring. By using this fact, we give a very simple construction of the contact system on jet spaces. The same way, we also define the contact system for the recently considered -jet spaces, where is a Weil algebra. We will need to introduce the concept of derived algebra.
This paper is a continuation of [MMR:98], where we give a construction of the canonical Pfaff system on the space of -velocities of a smooth manifold . Here we show that the characteristic system of agrees with the Lie algebra of , the structure group of the principal fibre bundle , hence it is projectable to an irreducible contact system on the space of -jets (-th order contact elements of dimension ) of . Furthermore, we translate to the language of Weil bundles the structure form...
We study naturality of the Euler and Helmholtz operators arising in the variational calculus in fibered manifolds with oriented bases.
Let be an -dimensional manifold and a Weil algebra of height . We prove that any -covelocity , is determined by its values over arbitrary regular and under the first jet projection linearly independent elements of . Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result without coordinate computations, which improves and generalizes the partial result obtained...
First-order jet bundles can be put at the foundations of the modern geometric approach to nonlinear PDEs, since higher-order jet bundles can be seen as constrained iterated jet bundles. The definition of first-order jet bundles can be given in many equivalent ways - for instance, by means of Grassmann bundles. In this paper we generalize it by means of flag bundles, and develop the corresponding theory for higher-oder and infinite-order jet bundles. We show that this is a natural geometric framework...
Let , , , , be natural numbers such that . We prove that any --natural operator transforming -projectable vector fields on -dimensional -fibred manifolds into vector fields on the -jet prolongation bundle is a constant multiple of the flow operator .
For natural numbers and a complete classification of natural affinors on the natural bundle dual to -jet prolongation of the cotangent bundle over -manifolds is given.
We classify all natural affinors on vertical fiber product preserving gauge bundle functors on vector bundles. We explain this result for some more known such . We present some applications. We remark a similar classification of all natural affinors on the gauge bundle functor dual to as above. We study also a similar problem for some (not all) not vertical fiber product preserving gauge bundle functors on vector bundles.
For natural numbers r,s,q,m,n with s≥r≤q we determine all natural functions g: T *(J (r,s,q)(Y, R 1,1)0)*→R for any fibered manifold Y with m-dimensional base and n-dimensional fibers. For natural numbers r,s,m,n with s≥r we determine all natural functions g: T *(J (r,s)(Y, R)0)*→R for any Y as above.
For natural numbers n ≥ 3 and r a complete description of all natural bilinear operators is presented. Next for natural numbers r and n ≥ 3 a full classification of all natural linear operators is obtained.
Let F:ℳ f→ ℬ be a vector bundle functor. First we classify all natural operators transforming vector fields to functions on the dual bundle functor . Next, we study the natural operators lifting 1-forms to . As an application we classify the natural operators for some well known vector bundle functors F.