Lemma 29.39.6. 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 very ample, and

there exist an open covering $S = \bigcup V_ j$, for each $j$ an integer $n_ j$, 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}|_{X_ j} \cong i_ j^*\mathcal{O}_{\mathbf{P}^{n_ j}_{V_ j}}(1)$.

## Comments (0)

There are also: