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.