English

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

Algebraic Geometry 2017-01-03 v1

Abstract

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

Keywords

Cite

@article{arxiv.1701.00252,
  title  = {Semistability of Rational Principal $GL_n$-Bundles in Positive Characteristic},
  author = {Lingguang Li},
  journal= {arXiv preprint arXiv:1701.00252},
  year   = {2017}
}

Comments

14 pages. All comments are welcome