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$.

It is well known that the concept of holonomic $r$-jet can be geometrically characterized in terms of the contact of individual curves. However, this is not true for the semiholonomic $r$-jets, [5], [8]. In the present paper, we discuss systematically the semiholonomic case.

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...

We classify classical linear connections $A(\Gamma ,\Lambda ,\Theta )$ on the total space $Y$ of a fibred manifold $Y\to M$ induced in a natural way by the following three objects: a general connection $\Gamma$ in $Y\to M$, a classical linear connection $\Lambda$ on $M$ and a linear connection $\Theta$ in the vertical bundle $VY\to Y$. The main result says that if $\dim \left(M\right)\ge 3$ and $\dim \left(Y\right)-\dim \left(M\right)\ge 3$ then the natural operators $A$ under consideration form the $17$ dimensional affine space.

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 $𝒜={\left\{A_t\right\}}_{t\in G}$ and $ℬ={\left\{B_t\right\}}_{t\in G}$ be $C^{*}$-algebraic bundles over a finite group $G$. Let $C={⨁}_{t\in G}{A}_t$ and $D={⨁}_{t\in G}{B}_t$. Also, let $A=A_e$ and $B=B_e$, where $e$ is the unit element in $G$. We suppose that $C$ and $D$ are unital and $A$ and $B$ have the unit elements in $C$ and $D$, respectively. In this paper, we show that if there is an equivalence $𝒜-ℬ$-bundle over $G$ with some properties, then the unital inclusions of unital $C^{*}$-algebras $A\subset C$ and $B\subset D$ induced by $𝒜$ and $ℬ$ are strongly Morita equivalent. Also, we suppose that $𝒜$ and $ℬ$ are saturated and that $A^{\text{'}}\cap C=𝐂1$. We show that...

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 $L_c\left(X\right)=\{f\in C\left(X\right):\overline{C_f}=X\}$, where $C_f$ is the union of all open subsets $U\subseteq X$ such that $\left|f\left(U\right)\right|\le {\aleph }_0$. In this paper, we present a pointfree topology version of $L_c\left(X\right)$, named ${ℛ}_{\ell c}\left(L\right)$. We observe that ${ℛ}_{\ell c}\left(L\right)$ enjoys most of the important properties shared by $ℛ\left(L\right)$ and ${ℛ}_c\left(L\right)$, where ${ℛ}_c\left(L\right)$ is the pointfree version of all continuous functions of $C\left(X\right)$ with countable image. The interrelation between $ℛ\left(L\right)$, ${ℛ}_{\ell c}\left(L\right)$, and ${ℛ}_c\left(L\right)$ is examined. We show that $L_c\left(X\right)\cong {ℛ}_{\ell c}\left(𝔒\left(X\right)\right)$ for any space $X$. Frames $L$ for which ${ℛ}_{\ell c}\left(L\right)=ℛ\left(L\right)$ are characterized.