Lemma 29.39.7. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{L}$ be an invertible sheaf on $X$. Assume $f$ is of finite type. The following are equivalent:

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

there exist an open covering $S = \bigcup V_ j$, for each $j$ an integers $d_ j \geq 1$, $n_ j \geq 0$, and immersions

\[ i_ j : X_ j = f^{-1}(V_ j) = V_ j \times _ S X \longrightarrow \mathbf{P}^{n_ j}_{V_ j} \]over $V_ j$ such that $\mathcal{L}^{\otimes d_ j}|_{X_ j} \cong i_ j^*\mathcal{O}_{\mathbf{P}^{n_ j}_{V_ j}}(1)$.

## Comments (0)