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

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.

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

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

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

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

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

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.

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

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

Let $k$ be an algebraically closed field of characteristic $p\&gt;0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...

Let ${𝒟}_{\lambda ,\mu }$ be the space of linear differential operators on weighted densities from ${ℱ}_{\lambda }$ to ${ℱ}_{\mu }$ as module over the orthosymplectic Lie superalgebra $\mathrm{𝔬𝔰𝔭}\left(3\right|2)$, where ${ℱ}_{\lambda }$, $ł\in ℂ$ is the space of tensor densities of degree $\lambda$ on the supercircle $S^{1|3}$. We prove the existence and uniqueness of projectively equivariant quantization map from the space of symbols to the space of differential operators. An explicite expression of this map is also given.

Given a locale $L$ and a join semilattice $J$ with bottom element $0_J$, a new concept $(\sigma ,J)$ called $L$-slice is defined,where $\sigma$ is as an action of the locale $L$ on the join semilattice $J$. The $L$-slice $(\sigma ,J)$ adopts topological properties of the locale $L$ through the action $\sigma$. It is shown that for each $a\in L$, ${\sigma }_a$ is an interior operator on $(\sigma ,J)$.The collection $M=\{{\sigma }_a;a\in L\}$ is a Priestly space and a subslice of $L$-$Hom(J,J)$. If the locale $L$ is spatial we establish an isomorphism between the $L$-slices $(\sigma ,L)$ and $(\delta ,M)$. We have shown that the fixed...

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

We consider a convexity notion for complex spaces $X$ with respect to a holomorphic line bundle $L$ over $X$. This definition has been introduced by Grauert and, when $L$ is analytically trivial, we recover the standard holomorphic convexity. In this circle of ideas, we prove the counterpart of the classical Remmert’s reduction result for holomorphically convex spaces. In the same vein, we show that if $H^0(X,L)$ separates each point of $X$, then $X$ can be realized as a Riemann domain over the complex projective...

A metacyclic group $H$ can be presented as $\langle \alpha ,\beta :{\alpha }^n=1$, ${\beta }^m={\alpha }^t$, $\beta \alpha {\beta }^{-1}={\alpha }^r\rangle$ for some $n$, $m$, $t$, $r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma \left(\alpha \right)={\alpha }^{x_1}{\beta }^{y_1}$, $\sigma \left(\beta \right)={\alpha }^{x_2}{\beta }^{y_2}$ for some integers $x_1$, $x_2$, $y_1$, $y_2$. We give sufficient and necessary conditions on $x_1$, $x_2$, $y_1$, $y_2$ for $\sigma$ to be an automorphism.

We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...

Given any compact manifold $M$, we construct a non-empty open subset $𝒪$ of the space ${\mathrm{Diff}}^1\left(M\right)$ of $C^1$-diffeomorphisms and a dense subset $𝒟\subset 𝒪$ such that the centralizer of every diffeomorphism in $𝒟$ is uncountable, hence non-trivial.

Let $G$ be a unitary group defined over a non-Archimedean local field of odd residue characteristic and let $H$ be the centralizer of a semisimple rational Lie algebra element of $G.$ We prove that the Bruhat-Tits building ${𝔅}^1\left(H\right)$ of $H$ can be affinely and $G$-equivariantly embedded in the Bruhat-Tits building ${𝔅}^1\left(G\right)$ of $G$ so that the Moy-Prasad filtrations are preserved. The latter property forces uniqueness in the following way. Let $j$ and $j^{\prime }$ be maps from ${𝔅}^1\left(H\right)$ to ${𝔅}^1\left(G\right)$ which preserve the Moy–Prasad filtrations....

A real form $G$ of a complex semi-simple Lie group $G^{ℂ}$ has only finitely many orbits in any given $G^{ℂ}$-flag manifold $Z=G^{ℂ}/Q$. The complex geometry of these orbits is of interest, e.g., for the associated representation theory. The open orbits $D$ generally possess only the constant holomorphic functions, and the relevant associated geometric objects are certain positive-dimensional compact complex submanifolds of $D$ which, with very few well-understood exceptions, are parameterized by the Wolf cycle...