Vektorbündel/Projektive Varietät/Kohomologisch p-ampel/Definition

Kohomologisch p-ample

Es sei ${}X$ eine projektive Varietät über einem algebraisch abgeschlossenen Körper ${}K$ der Charakteristik  ${}p>0$  und sei ${}{\mathcal {F}}$ eine lokal freie Garbe auf ${}X$. Man nennt ${}{\mathcal {F}}$ kohomologisch ${}p$-ampel, wenn es für jede kohärente Garbe ${}{\mathcal {H}}$ und jedes  ${}i\geq 1$  ein ${}m$ derart gibt, dass für alle  ${}e\geq m$ 

${}H^{i}(X,F^{e*}{\mathcal {F}}\otimes {\mathcal {H}})=0\,$

gilt.