Related papers: The H_N filtration of bundles as Frobenius pull-ba…

Let $X$ be a smooth projective variety over a perfect field $k$ of characteristic $p>0$, and $V$ be a vector bundle over $X$. It is well known that if $X$ is a curve and $V$ is not strongly semistable, then some Frobenius pullback…

In this short note we provide explicit examples in characteristic $p$ on certain smooth projective curves where for a given semistable vector bundle $\mathcal{E}$ the length of the Harder-Narasimhan filtration of $F^\ast \mathcal{E}$ is…

Here we prove that for a smooth projective variety $X$ of arbitrary dimension and for a vector bundle $E$ over $X$, the Harder-Narasimhan filtration of a Frobenius pull back of $E$ is a refinement of the Frobenius pull-back of the…

Let $X$ be a smooth projective variety over an algebraically field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. When ${\rm dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$…

Let X be a smooth projective curve of genus g>1 over an algebraically closed field of characteristic 2. Pull-back by the (absolute) Frobenius on X only defines a rational morphism on the moduli scheme of rank-2 vector bundles on X, because…

Let $X$ be a smooth projective variety of dimension $n$ over an algebraically closed field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. For any vector bundle $W$ on $X$, we prove that instability of…

We compute the Harder-Narasimhan filtration of vector bundles $f_*\mathcal O_Y$ for certain finite morphisms $f\,:\,Y\,\longrightarrow\, X$ and in some other cases.

Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$ and $F_{X/k}:X\rightarrow X^{(1)}$ be the relative Frobenius morphism. Let $\mathfrak{M}^{s(ss)}_X(r,d)$ (resp.…

Let $X$ be a smooth projective curve of genus $g\geq 2$ over an algebraically closed field $k$ of characteristic $p>0$, $F_X:X\rightarrow X$ the absolute Frobenius morphism. Let $\M^s_X(r,d)$ be the moduli space of stable vector bundles of…

Let $X$ be a normal projective variety defined over an algebraically closed field $k$ of positive characteristic. Let $G$ be a connected reductive group defined over $k$. We prove that some Frobenius pull back of a principal $G$-bundle…

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present the formalization of…

Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…

Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with…

We give a new proof of the Mordell-Lang conjecture in positive characteristic, in the situation where the variety under scrutiny is a smooth subvariety of an abelian variety. Our proof is based on the theory of semistable sheaves in…

Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$, $\M^s_X(r,d)$ the moduli space of stable vector bundles of rank $r$ and degree $d$ on $X$. We study the Frobenius…

Let $X=G/P$ be a partial flag variety, where $G$ is a semi-simple, simply connected algebraic group defined over an algebraically closed field $K$ of positive characteristic. Let $\mathsf{F}\colon X\to X$ be the absolute Frobenius morphism.…

Given two arbitrary vector bundles on the Fargues-Fontaine curve, we give an explicit criterion in terms of Harder-Narasimhan polygons on whether they realize a semistable vector bundle as their extensions. Our argument is largely…

In this paper we describe the Frobenius pull-backs of the syzygy bundles $Syz_C(X^a, Y^a, Z^a)$, $a \geq 1$, on the projective Fermat curve C of degree n in characteristics coprime to n, either by giving their strong Harder-Narasimhan…

Let X be a smooth projective curve of genus $g\geq 2$ defined over an algebraically closed field k of characteristic $p>0$ and let $F:X\rightarrow X_{1}$ be the relative k-linear Frobenius map. We prove (Theorem 1.1) E is a stable bundle on…

We give a new, shorter computation of Frobenius push-forwards of line bundles on toric varieties.