-transitivity of certain diffeomorphism groups.
We study triviality of Nash families of proper Nash submersions or, in a more general setting, the triviality of pairs of proper Nash submersions. We work with Nash manifolds and mappings defined over an arbitrary real closed field . To substitute the integration of vector fields, we study the fibers of such families on points of the real spectrum and we construct models of proper Nash submersions over smaller real closed fields. Finally we obtain results on finiteness of topological types in...
All natural affinors on the -th order cotangent bundle are determined. Basic affinors of this type are the identity affinor id of and the -th power affinors with defined by the -th power transformations of . An arbitrary natural affinor is a linear combination of the basic ones.
Let be such that . Let be a fibered manifold with -dimensional basis and -dimensional fibers. All natural affinors on are classified. It is deduced that there is no natural generalized connection on . Similar problems with instead of are solved.
We deduce that for and , every natural affinor on over -manifolds is of the form for a real number , where is the identity affinor on .
We describe all F2Mm1,m2,n1,n2-natural affinors on the r-th order adapted frame bundle PrAY over (m1,m2, n1, n2)-dimensional fibered-fibered manifolds Y.
For natural numbers r,s,q,m,n with s ≥ r ≤ q we describe all natural affinors on the (r,s,q)-cotangent bundle over an (m,n)-dimensional fibered manifold Y.
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 define natural first order Lagrangians for immersions of Riemannian manifolds and we prove a bijective correspondence between such Lagrangians and the symmetric functions on an open subset of m-dimensional Euclidean space.
We determine all natural functions on and .
One studies the flow prolongation of projectable vector fields with respect to a bundle functor of order on the category of fibered manifolds. As a result, one constructs an operator transforming connections on a fibered manifold into connections on an arbitrary vertical bundle over . It is deduced that this operator is the only natural one of finite order and one presents a condition on vertical bundles over under which every natural operator in question has finite order.
We determine all first order natural operators transforming –tensor fields on a manifold into –tensor fields on .