Semistability of Rational Principal $GL_n$-Bundles in Positive Characteristic

TL;DR

This paper establishes conditions under which the semistability of a rational $GL_n$-bundle in positive characteristic implies the semistability of its induced bundles, with applications to Frobenius direct images of sheaves.

Contribution

It provides a new criterion linking the semistability of a rational $GL_n$-bundle after Frobenius pullback to the semistability of the induced bundle, extending understanding in positive characteristic.

Findings

Semistability of $F_X^{N*}(E)$ implies semistability of the induced $GL_m$-bundle.

Derived a sufficient condition for the semistability of Frobenius direct images of sheaves.

Applied results to the case of $ ho_*( abla^1_X)$, a sheaf from the cotangent bundle.

Abstract

Let $k$ be an algebraically closed field of characteristic $p>0$, $X$ a smooth projective variety over $k$ with a fixed ample divisor $H$. Let $E$ be a rational $GL_n(k)$-bundle on $X$, and $\rho:GL_n(k)\rightarrow GL_m(k)$ a rational $GL_n(k)$-representation at most degree $d$ such that $\rho$ maps the radical $R(GL_n(k))$ of $GL_n(k)$ into the radical $R(GL_m(k))$ of $GL_m(k)$. We show that if $F_X^{N*}(E)$ is semistable for some integer $N\geq\max\limits_{0<r<m}C^r_m\cdot\log_p(dr)$, then the induced rational $GL_m(k)$-bundle $E(GL_m(k))$ is semistable. As an application, if $\dim X=n$, we get a sufficient condition for the semistability of Frobenius direct image ${F_X}_*(\rho_*(\Omega^1_X))$, where $\rho_*(\Omega^1_X)$ is the locally free sheaf obtained from $\Omega^1_X$ via the rational representation $\rho$.