Zum Inhalt springen

Endlicher Körper/Projektive glatte Kurve/Vektorbündel/Endliche Annulation/Harder-Narasimhan-Kriterium/Fakt/en

Aus Wikiversity

Let denote a finite field (or the algebraic closure of a finite field) and let be a smooth projective curve over . Let be a locally free sheaf over and let    denote a cohomology class. Let    be a strong Harder-Narasimhan filtration of . We choose such that has degree and that has degree . We set  

Then the following are equivalent.

  1. The class can be annihilated by a finite morphism.
  2. Some Frobenius power of the image of inside is .