Lemma 30.17.1. Let $R$ be a Noetherian ring. Let $f : X \to \mathop{\mathrm{Spec}}(R)$ be a proper morphism. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. The following are equivalent
$\mathcal{L}$ is ample on $X$ (this is equivalent to many other things, see Properties, Proposition 28.26.13 and Morphisms, Lemma 29.39.4),
for every coherent $\mathcal{O}_ X$-module $\mathcal{F}$ there exists an $n_0 \geq 0$ such that $H^ p(X, \mathcal{F} \otimes \mathcal{L}^{\otimes n}) = 0$ for all $n \geq n_0$ and $p > 0$, and
for every quasi-coherent sheaf of ideals $\mathcal{I} \subset \mathcal{O}_ X$, there exists an $n \geq 1$ such that $H^1(X, \mathcal{I} \otimes \mathcal{L}^{\otimes n}) = 0$.
Comments (3)
Comment #2704 by Zhang on
Comment #2743 by Takumi Murayama on
Comment #7415 by Arnab Kundu on