Lemma 29.37.3 (01VI)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 2: Schemes
Chapter 29: Morphisms of Schemes
Section 29.37: Relatively ample sheaves
Lemma 29.37.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
3 tags refer to this tag

Lemma 29.37.3. Let $f : X \to S$ be a morphism of schemes. If there exists an $f$-ample invertible sheaf, then $f$ is separated.

Proof. Being separated is local on the base (see Schemes, Lemma 26.21.7 for example; it also follows easily from the definition). Hence we may assume $S$ is affine and $X$ has an ample invertible sheaf. In this case the result follows from Properties, Lemma 28.26.8. $\square$

Comments (0)

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

Comments (0)

Post a comment