Vektorbündel/Projektive Varietät/P-ampel/Definition

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}}$ ${}p$-ampel, wenn es für jede kohärente Garbe ${}{\mathcal {H}}$ ein ${}m$ derart gibt, dass für alle  ${}e\geq m$  die Garbe ${}F^{e*}{\mathcal {F}}\otimes {\mathcal {H}}$ von globalen Schnitten erzeugt wird.