Lemma 29.39.5. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Assume $S$ quasi-compact and $f$ of finite type. The following are equivalent

$\mathcal{L}$ is $f$-ample,

$\mathcal{L}^{\otimes d}$ is $f$-very ample for some $d \geq 1$,

$\mathcal{L}^{\otimes d}$ is $f$-very ample for all $d \gg 1$.

## Comments (0)