Lemma 29.37.9. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $S' \to S$ be a morphism of schemes. Let $f' : X' \to S'$ be the base change of $f$ and denote $\mathcal{L}'$ the pullback of $\mathcal{L}$ to $X'$. If $\mathcal{L}$ is $f$-ample, then $\mathcal{L}'$ is $f'$-ample.

Proof. By Lemma 29.37.4 it suffices to find an affine open covering $S' = \bigcup U'_ i$ such that $\mathcal{L}'$ restricts to an ample invertible sheaf on $(f')^{-1}(U_ i')$ for all $i$. We may choose $U'_ i$ mapping into an affine open $U_ i \subset S$. In this case the morphism $(f')^{-1}(U'_ i) \to f^{-1}(U_ i)$ is affine as a base change of the affine morphism $U'_ i \to U_ i$ (Lemma 29.11.8). Thus $\mathcal{L}'|_{(f')^{-1}(U'_ i)}$ is ample by Lemma 29.37.7. $\square$

There are also:

• 3 comment(s) on Section 29.37: Relatively ample sheaves

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).