We extend the concept of r-order connections on fibred manifolds to the one of (r,s,q)-order projectable connections on fibred-fibred manifolds, where r,s,q are arbitrary non-negative integers with s ≥ r ≤ q. Similarly to the fibred manifold case, given a bundle functor F of order r on (m₁,m₂,n₁,n₂)-dimensional fibred-fibred manifolds Y → M, we construct a general connection ℱ(Γ,Λ):FY → J¹FY on FY → M from a projectable general (i.e. (1,1,1)-order) connection $\Gamma :Y\to J^{1,1,1}Y$ on Y → M by means of an...

We classify all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $A$ transforming projectable-projectable torsion-free classical linear connections $\nabla$ on fibered-fibered manifolds $Y$ of dimension $(m_1,m_2,n_1,n_2)$ into $r$th order Lagrangians $A\left(r\right)$ on the fibered-fibered linear frame bundle $L^{fib-fib}\left(Y\right)$ on $Y$. Moreover, we classify all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $B$ transforming projectable-projectable torsion-free classical linear connections r on fiberedfibered manifolds $Y$ of dimension $(m_1,m_2,n_1,n_2)$ into Euler morphism $B\left(\nabla \right)$ on $L^{fib-fib}\left(Y\right)$. These classifications can be expanded on...

We describe all ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $D:Q_{proj-proj}^{\tau }⇝Q{T}^{*}$ transforming projectable-projectable classical torsion-free linear connections $\nabla$ on fibred-fibred manifolds $Y$ into classical linear connections $D\left(\nabla \right)$ on cotangent bundles $T^{*}Y$ of $Y$. We show that this problem can be reduced to finding ${ℱ}^2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operators $D:Q_{proj-proj}^{\tau }⇝(T^{*},{\otimes }^p{T}^{*}\otimes {\otimes }^{q}T)$ for $p=2$, $q=1$ and $p=3$, $q=0$.

We prove that any first order ${ℱ}_2{ℳ}_{m_1,m_2,n_1,n_2}$-natural operator transforming projectable general connections on an $(m_1,m_2,n_1,n_2)$-dimensional fibred-fibred manifold $p=(p,p):(p_Y:Y\to Y)\to (p_M:M\to M)$ into general connections on the vertical prolongation $VY\to M$ of $p:Y\to M$ is the restriction of the (rather well-known) vertical prolongation operator $𝒱$ lifting general connections $\overline{\Gamma }$ on a fibred manifold $Y\to M$ into $𝒱\overline{\Gamma }$ (the vertical prolongation of $\overline{\Gamma }$) on $VY\to M$.

We study  how a projectable general connection $\Gamma$ in a 2-fibred manifold $Y^2\to Y^1\to Y^0$  and a general vertical connection $\Theta$ in $Y^2\to Y^1\to Y^0$ induce a general connection $A(\Gamma ,\Theta )$ in $Y^2\to Y^1$.

We classify all $ℱ{ℳ}_{m,n}$-natural operators $:J²⟿J²V^A$ transforming second order connections Γ: Y → J²Y on a fibred manifold Y → M into second order connections $\left(\Gamma \right):V^{A}Y\to J²V^{A}Y$ on the vertical Weil bundle $V^{A}Y\to M$ corresponding to a Weil algebra A.

We prove that the problem of finding all $ℳf_m$-natural operators $B:Q⟿Q{T}^A$ lifting classical linear connections ∇ on m-manifolds M to classical linear connections $B_M\left(\nabla \right)$ on the Weil bundle $T^{A}M$ corresponding to a p-dimensional (over ℝ) Weil algebra A is equivalent to the one of finding all $ℳf_m$-natural operators $C:Q⟿(T{¹}_{p-1},T*\otimes T*\otimes T)$ transforming classical linear connections ∇ on m-manifolds M into base-preserving fibred maps $C_M\left(\nabla \right):T{¹}_{p-1}M={⨁}_M^{p-1}TM\to T*M\otimes T*M\otimes TM$.

Let $M$ be an $m$-dimensional manifold and $A={𝔻}_k^r/I=ℝ\oplus N_A$ a Weil algebra of height $r$. We prove that any $A$-covelocity $T_x^{A}f\in T_x^{A*}M$, $x\in M$ is determined by its values over arbitrary $max\{\mathrm{width}A,m\}$ regular and under the first jet projection linearly independent elements of $T_x^{A}M$. 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 $T^{A*}M\simeq T^{r*}M$ without coordinate computations, which improves and generalizes the partial...

Let $ℳf_m$ be the category of $m$-dimensional manifolds and local diffeomorphisms and  let $T$ be the tangent functor on $ℳf_m$. Let $𝒱$ be the category of real vector spaces and linear maps and let ${𝒱}_m$ be the category of $m$-dimensional real vector spaces and linear isomorphisms. We characterize all regular covariant functors $F:{𝒱}_m\to 𝒱$ admitting $ℳf_m$-natural operators $\tilde{J}$ transforming classical linear connections $\nabla$ on $m$-dimensional manifolds $M$ into almost complex structures $\tilde{J}\left(\nabla \right)$ on $F\left(T\right)M={\bigcup }_{x\in M}F\left(T_{x}M\right)$.

Let m,n be positive integers such that m < n and let G(n,m) be the Grassmann manifold of all m-dimensional subspaces of ℝⁿ. For V ∈ G(n,m) let ${\pi }_V$ denote the orthogonal projection from ℝⁿ onto V. The following characterization of purely unrectifiable sets holds. Let A be an ${}^m$-measurable subset of ℝⁿ with ${}^m\left(A\right)<\infty$. Then A is purely m-unrectifiable if and only if there exists a null subset Z of the universal bundle $(V,v)\left|V\in G\right(n,m),v\in V$ such that, for all P ∈ A, one has ${}^{m(n-m)}\left(V\in G(n,m)\left|\right(V,{\pi }_V\left(P\right))\in Z\right)>0$. One can replace “for all P ∈ A” by “for...

Let m and r be natural numbers and let $P^r:ℳf_m\to ℱℳ$ be the rth order frame bundle functor. Let $F:ℳf_m\to ℱℳ$ and $G:ℳf_k\to ℱℳ$ be natural bundles, where $k=dim\left(P^r{ℝ}^m\right)$. We describe all $ℳf_m$-natural operators A transforming sections σ of $FM\to M$ and classical linear connections ∇ on M into sections A(σ,∇) of $G\left(P^{r}M\right)\to P^{r}M$. We apply this general classification result to many important natural bundles F and G and obtain many particular classifications.

Let $X$ be a smooth projective curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p\&gt;0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F_{*}E$ under the Frobenius map $F$ of $X$ is again semistable. We deduce a numerical characterization of the stable rank-$p$ vector bundles $F_{*}L$, where $L$ is a line bundle over $X$.

A regular normal parabolic geometry of type $G/P$ on a manifold $M$ gives rise to sequences $D_i$ of invariant differential operators, known as the curved version of the BGG resolution. These sequences are constructed from the normal covariant derivative ${\nabla }^{\omega }$ on the corresponding tractor bundle $V$, where $\omega$ is the normal Cartan connection. The first operator $D_0$ in the sequence is overdetermined and it is well known that ${\nabla }^{\omega }$ yields the prolongation of this operator in the homogeneous case $M=G/P$. Our first...

Let $E$ denote a holomorphic bundle with fiber $D$ and with basis $B$. Both $D$ and $B$ are assumed to be Stein. For $D$ a Reinhardt bounded domain of dimension $d=2$ or $3$, we give a necessary and sufficient condition on $D$ for the existence of a non-Stein such $E$ (Theorem $1$); for $d=2$, we give necessary and sufficient criteria for $E$ to be Stein (Theorem $2$). For $D$ a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for $E$ to be Stein (Theorem...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

Let $k$ be a field of characteristic $p\&gt;0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

We describe all ${}_m\left(G\right)$-gauge-natural operators lifting right-invariant vector fields X on principal G-bundles P → M with m-dimensional bases into vector fields (X) on the rth order principal prolongation $W^{r}P=P^{r}M{\times }_M{J}^{r}P$ of P → M. In other words, we classify all ${}_m\left(G\right)$-natural transformations $J^{r}LP{\times }_M{W}^{r}P\to T{W}^{r}P=L{W}^{r}P{\times }_M{W}^{r}P$ covering the identity of $W^{r}P$, where $J^{r}LP$ is the r-jet prolongation of the Lie algebroid LP=TP/G of P, i.e. we find all ${}_m\left(G\right)$-natural transformations which are similar to the Kumpera-Spencer isomorphism $J^{r}LP=L{W}^{r}P$. We formulate axioms which...

If $(M,g)$ is a Riemannian manifold, we have the well-known base preserving   vector bundle isomorphism $TM\widetilde{=}{T}^{*}M$ given by $v\to g(v,-)$ between the tangent $TM$ and the cotangent $T^{*}M$ bundles of $M$. In the present note, we generalize this isomorphism to the one $T^{\left(r\right)}M\widetilde{=}{T}^{r*}M$ between the $r$-th order vector tangent $T^{\left(r\right)}M={\left(J^r{(M,R)}_0\right)}^{*}$ and the $r$-th order cotangent $T^{r*}M=J^r{(M,R)}_0$ bundles of $M$. Next, we describe all base preserving  vector bundle maps $C_M\left(g\right):T^{\left(r\right)}M\to T^{r*}M$ depending on a Riemannian metric $g$ in terms of natural (in $g$) tensor fields on $M$.