Lemma 30.16.2. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Let $\mathcal{L}$ be an invertible sheaf on $X$. Assume that
$S$ is Noetherian,
$f$ is proper,
$\mathcal{F}$ is coherent, and
$\mathcal{L}$ is relatively ample on $X/S$.
Then there exists an $n_0$ such that for all $n \geq n_0$ we have
for all $p > 0$.
Proof. Choose a finite affine open covering $S = \bigcup V_ j$ and set $X_ j = f^{-1}(V_ j)$. Clearly, if we solve the question for each of the finitely many systems $(X_ j \to V_ j, \mathcal{L}|_{X_ j}, \mathcal{F}|_{V_ j})$ then the result follows. Thus we may assume $S$ is affine. In this case the vanishing of $R^ pf_*(\mathcal{F} \otimes \mathcal{L}^{\otimes n})$ is equivalent to the vanishing of $H^ p(X, \mathcal{F} \otimes \mathcal{L}^{\otimes n})$, see Lemma 30.4.6. Thus the required vanishing follows from Lemma 30.16.1 (which applies because $\mathcal{L}$ is ample on $X$ by Morphisms, Lemma 29.39.4). $\square$
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)