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.