Definition 67.40.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. We say $f$ is proper if $f$ is separated, finite type, and universally closed.
67.40 Proper morphisms
The notion of a proper morphism plays an important role in algebraic geometry. Here is the definition of a proper morphism of algebraic spaces.
Lemma 67.40.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent
$f$ is proper,
for every scheme $Z$ and every morphism $Z \to Y$ the projection $Z \times _ Y X \to Z$ is proper,
for every affine scheme $Z$ and every morphism $Z \to Y$ the projection $Z \times _ Y X \to Z$ is proper,
there exists a scheme $V$ and a surjective étale morphism $V \to Y$ such that $V \times _ Y X \to V$ is proper, and
there exists a Zariski covering $Y = \bigcup Y_ i$ such that each of the morphisms $f^{-1}(Y_ i) \to Y_ i$ is proper.
Proof. Combine Lemmas 67.4.12, 67.23.4, 67.8.8, and 67.9.5. $\square$
Lemma 67.40.3. A base change of a proper morphism is proper.
Lemma 67.40.4. A composition of proper morphisms is proper.
Lemma 67.40.5. A closed immersion of algebraic spaces is a proper morphism of algebraic spaces.
Proof. As a closed immersion is by definition representable this follows from Spaces, Lemma 65.5.8 and the corresponding result for morphisms of schemes, see Morphisms, Lemma 29.41.6. $\square$
Lemma 67.40.6. Let $S$ be a scheme. Consider a commutative diagram of algebraic spaces over $S$.
If $X \to B$ is universally closed and $Y \to B$ is separated, then the morphism $X \to Y$ is universally closed. In particular, the image of $|X|$ in $|Y|$ is closed.
If $X \to B$ is proper and $Y \to B$ is separated, then the morphism $X \to Y$ is proper.
\[ \xymatrix{ X \ar[rr] \ar[rd] & & Y \ar[ld] \\ & B & } \]
Proof. Assume $X \to B$ is universally closed and $Y \to B$ is separated. We factor the morphism as $X \to X \times _ B Y \to Y$. The first morphism is a closed immersion, see Lemma 67.4.6 hence universally closed. The projection $X \times _ B Y \to Y$ is the base change of a universally closed morphism and hence universally closed, see Lemma 67.9.3. Thus $X \to Y$ is universally closed as the composition of universally closed morphisms, see Lemma 67.9.4. This proves (1). To deduce (2) combine (1) with Lemmas 67.4.10, 67.8.9, and 67.23.6. $\square$
Lemma 67.40.7. Let $S$ be a scheme. Let $B$ be an algebraic space over $S$. Let $f : X \to Y$ be a morphism of algebraic spaces over $B$. If $X$ is universally closed over $B$ and $f$ is surjective then $Y$ is universally closed over $B$. In particular, if also $Y$ is separated and of finite type over $B$, then $Y$ is proper over $B$.
Proof. Assume $X$ is universally closed and $f$ surjective. Denote $p : X \to B$, $q : Y \to B$ the structure morphisms. Let $B' \to B$ be a morphism of algebraic spaces over $S$. The base change $f' : X_{B'} \to Y_{B'}$ is surjective (Lemma 67.5.5), and the base change $p' : X_{B'} \to B'$ is closed. If $T \subset Y_{B'}$ is closed, then $(f')^{-1}(T) \subset X_{B'}$ is closed, hence $p'((f')^{-1}(T)) = q'(T)$ is closed. So $q'$ is closed. $\square$
Lemma 67.40.8. Let $S$ be a scheme. Let be a commutative diagram of morphism of algebraic spaces over $S$. Assume
$X \to B$ is a proper morphism,
$Y \to B$ is separated and locally of finite type,
\[ \xymatrix{ X \ar[rr]_ h \ar[rd]_ f & & Y \ar[ld]^ g \\ & B } \]
Then the scheme theoretic image $Z \subset Y$ of $h$ is proper over $B$ and $X \to Z$ is surjective.
Proof. The scheme theoretic image of $h$ is constructed in Section 67.16. Observe that $h$ is quasi-compact (Lemma 67.8.10) hence $|h|(|X|) \subset |Z|$ is dense (Lemma 67.16.3). On the other hand $|h|(|X|)$ is closed in $|Y|$ (Lemma 67.40.6) hence $X \to Z$ is surjective. Thus $Z \to B$ is a proper (Lemma 67.40.7). $\square$
Lemma 67.40.9. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent:
$f$ is separated,
$\Delta _{X/Y} : X \to X \times _ Y X$ is universally closed, and
$\Delta _{X/Y} : X \to X \times _ Y X$ is proper.
Proof. The implication (1) $\Rightarrow $ (3) follows from Lemma 67.40.5. We will use Spaces, Lemma 65.5.8 without further mention in the rest of the proof. Recall that $\Delta _{X/Y}$ is a representable monomorphism which is locally of finite type, see Lemma 67.4.1. Since proper $\Rightarrow $ universally closed for morphisms of schemes we conclude that (3) implies (2). If $\Delta _{X/Y}$ is universally closed then Étale Morphisms, Lemma 41.7.2 implies that it is a closed immersion. Thus (2) $\Rightarrow $ (1) and we win. $\square$
Post a comment
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)