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 $R$. To substitute the integration of vector fields, we study the fibers of such families on points of the real spectrum $\widetilde{R^p}$ 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 $r$-th order cotangent bundle $T^{r*}M$ are determined. Basic affinors of this type are the identity affinor id of $T{T}^{r*}M$ and the $s$-th power affinors $Q_M^s:T{T}^{r*}M\to V{T}^{r*}M$ with $s=1,\cdots ,r$ defined by the $s$-th power transformations $A_s^{r,r}$ of $T^{r*}M$. An arbitrary natural affinor is a linear combination of the basic ones.

Let $r,s,q,m,n\in \mathbb{N}$ be such that $s\ge r\le q$. Let $Y$ be a fibered manifold with $m$-dimensional basis and $n$-dimensional fibers. All natural affinors on ${\left(J^{r,s,q}{(Y,{ℝ}^{1,1})}_0\right)}^{*}$ are classified. It is deduced that there is no natural generalized connection on ${\left(J^{r,s,q}{(Y,{ℝ}^{1,1})}_0\right)}^{*}$. Similar problems with ${\left(J^{r,s}{(Y,ℝ)}_0\right)}^{*}$ instead of ${\left(J^{r,s,q}{(Y,{ℝ}^{1,1})}_0\right)}^{*}$ are solved.

We deduce that for $n\ge 2$ and $r\ge 1$, every natural affinor on $J^{r}T$ over $n$-manifolds is of the form $\lambda \delta$ for a real number $\lambda$, where $\delta$ is the identity affinor on $J^{r}T$.

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 $T^{r,s,q*}Y$ over an (m,n)-dimensional fibered manifold Y.

Let $F$ and $G$ be two natural bundles over $n$-manifolds. We prove that if $F$ is of type (I) and $G$ is of type (II), then any natural differential operator of $F$ into $G$ 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 $T^{*}{T}^{\left(r\right)}$ and $T^{*}{T}^{r*}$.

We determine all first order natural operators transforming $(0,2)$–tensor fields on a manifold $M$ into $(0,2)$–tensor fields on $TM$.

Natural liftings $D:I\to IT{T}^{*}$ are classified for $n\ge 2$. It is proved that they form a 5-parameter family of operators.

We clarify how the natural transformations of fiber product preserving bundle functors on $ℱ{ℳ}_m$ can be constructed by using reductions of the rth order frame bundle of the base, $ℱ{ℳ}_m$ being the category of fibered manifolds with m-dimensional bases and fiber preserving maps with local diffeomorphisms as base maps. The iteration of two general r-jet functors is discussed in detail.

We prove that the only natural differential operations between holomorphic forms on a complex manifold are those obtained using linear combinations, the exterior product and the exterior differential. In order to accomplish this task we first develop the basics of the theory of natural holomorphic bundles over a fixed manifold, making explicit its Galoisian structure by proving a categorical equivalence à la Galois.

We prove, that $r$-th order gauge natural operators on the bundle of Cartan connections with a target in the gauge natural bundles of the order $(1,0)$ (“tensor bundles”) factorize through the curvature and its invariant derivatives up to order $r-1$. 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 $A:T_{|ℳfₙ}^{(0,0)}⟿T^{(1,1)}{T}^{r*}$ transforming functions from n-manifolds into affinors (i.e. tensor fields of type (1,1)) on the r-cotangent bundle are classified.