Schema/R/Invertierbare Garbe/Sehr ampel/Einbettung/Definition

Sehr ample Garbe

Es sei ${}X$ ein Schema über einem kommutativen Ring ${}R$ und sei ${}{\mathcal {L}}$ eine invertierbare Garbe auf ${}X$. Man nennt ${}{\mathcal {L}}$ sehr ampel, wenn es eine Einbettung ${}\varphi \colon X\rightarrow {\mathbb {P} }_{R}^{n}$ (für ein gewisses ${}n$) derart gibt, dass

${}\varphi ^{*}({\mathcal {O}}_{{\mathbb {P} }_{R}^{n}}(1))\cong {\mathcal {L}}\,$

ist.