Zum Inhalt springen

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

Aus Wikiversity

Let K denote a finite field (or the algebraic closure of a finite field) and let X be a smooth projective curve over K. Let E be a locally free sheaf over X and let  cH1(X,E)  denote a cohomology class. Let  E1Et  be a strong Harder-Narasimhan filtration of Fe(E). We choose i such that Ei/Ei1 has degree 0 and that Ei+1/Ei has degree <0. We set  𝒬=Fe(E)/Ei

Then the following are equivalent.

  1. The class c can be annihilated by a finite morphism.
  2. Some Frobenius power of the image of Fe(c) inside H1(X,𝒬) is 0.