Definition 29.38.1. Let f : X \to S be a morphism of schemes. Let \mathcal{L} be an invertible \mathcal{O}_ X-module. We say \mathcal{L} is relatively very ample or more precisely f-relatively very ample, or very ample on X/S, or f-very ample if there exist a quasi-coherent \mathcal{O}_ S-module \mathcal{E} and an immersion i : X \to \mathbf{P}(\mathcal{E}) over S such that \mathcal{L} \cong i^*\mathcal{O}_{\mathbf{P}(\mathcal{E})}(1).
Comments (0)
There are also: