Vektorbündel/Projektive Varietät/Kohomologisch p-ampel/Definition
Kohomologisch p-ample
Es sei eine projektive Varietät über einem algebraisch abgeschlossenen Körper der Charakteristik und sei eine lokal freie Garbe auf . Man nennt kohomologisch -ampel, wenn es für jede kohärente Garbe und jedes ein derart gibt, dass für alle
gilt.