The discussion in the previous section suggests the following definitions. We take our definition of quasi-projective from [EGA]. The version with the letter “H” is the definition in [H].
Definition 29.40.1. Let $f : X \to S$ be a morphism of schemes.
We say $f$ is quasi-projective if $f$ is of finite type and there exists an $f$-relatively ample invertible $\mathcal{O}_ X$-module.
We say $f$ is H-quasi-projective if there exists a quasi-compact immersion $X \to \mathbf{P}^ n_ S$ over $S$ for some $n$.1
We say $f$ is locally quasi-projective if there exists an open covering $S = \bigcup V_ j$ such that each $f^{-1}(V_ j) \to V_ j$ is quasi-projective.
As this definition suggests the property of being quasi-projective is not local on $S$. At a later stage we will be able to say more about the category of quasi-projective schemes, see More on Morphisms, Section 37.49.
Lemma 29.40.2. A base change of a quasi-projective morphism is quasi-projective.
Proof. This follows from Lemmas 29.15.4 and 29.37.9. $\square$
Lemma 29.40.3. Let $f : X \to Y$ and $g : Y \to S$ be morphisms of schemes. If $S$ is quasi-compact and $f$ and $g$ are quasi-projective, then $g \circ f$ is quasi-projective.
Proof. This follows from Lemmas 29.15.3 and 29.37.8. $\square$
Lemma 29.40.4. Let $f : X \to S$ be a morphism of schemes. If $f$ is quasi-projective, or H-quasi-projective or locally quasi-projective, then $f$ is separated of finite type.
Proof. Omitted. $\square$
Lemma 29.40.5. A H-quasi-projective morphism is quasi-projective.
Proof. Omitted. $\square$
Lemma 29.40.6. Let $f : X \to S$ be a morphism of schemes. The following are equivalent:
The morphism $f$ is locally quasi-projective.
There exists an open covering $S = \bigcup V_ j$ such that each $f^{-1}(V_ j) \to V_ j$ is H-quasi-projective.
Proof. By Lemma 29.40.5 we see that (2) implies (1). Assume (1). The question is local on $S$ and hence we may assume $S$ is affine, $X$ of finite type over $S$ and $\mathcal{L}$ is a relatively ample invertible sheaf on $X/S$. By Lemma 29.39.4 we may assume $\mathcal{L}$ is ample on $X$. By Lemma 29.39.3 we see that there exists an immersion of $X$ into a projective space over $S$, i.e., $X$ is H-quasi-projective over $S$ as desired. $\square$
Lemma 29.40.7. A quasi-affine morphism of finite type is quasi-projective.
Proof. This follows from Lemma 29.37.6. $\square$
Lemma 29.40.8. Let $g : Y \to S$ and $f : X \to Y$ be morphisms of schemes. If $g \circ f$ is quasi-projective and $f$ is quasi-compact2, then $f$ is quasi-projective.
Proof. Observe that $f$ is of finite type by Lemma 29.15.8. Thus the lemma follows from Lemma 29.37.10 and the definitions. $\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)