Glatte projektive Varietät/Positive Charakteristik/Sehr amples Geradenbündel/Kohomologieklasse/Projektion/Fakt
Es sei eine glatte projektive Varietät der Dimension über einem algebraisch abgeschlossenen Körper der Charakteristik . Es sei eine sehr geräumige invertierbare Garbe auf , eine Kohomologieklasse und ein (projektiv) -dimensionales basispunktfreies lineares System mit dem zugehörigen endlichen Morphismus
Dann annulliert ein Schemamorphismus
der annulliert, auch eine -te Kohomologieklasse von mit negativ.