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 $ℱ$ eine lokal freie Garbe auf $X$. Man nennt $ℱ$ kohomologisch $p$-ampel, wenn es für jede kohärente Garbe $\mathscr{H}$ und jedes  $i\ge 1$  ein $m$ derart gibt, dass für alle  $e\ge m$ 

$H^i(X,F^{e\ast }ℱ\otimes \mathscr{H})=0$

gilt.