Jump to content

Torsor over curve/Strong Harder-Narasimhan filtration/Affineness criterion/Fact

From Wikiversity

Let denote a smooth projective curve over an algebraically closed field and let be a vector bundle over together with a cohomology class . Let

be a strong Harder-Narasimhan filtration. We choose such that has degree and that has degree . We set . Then the following are equivalent.

  1. The torsor is not an affine scheme.
  2. Some Frobenius power of the image of inside is .