A first application is the characterization of finite morphisms as proper morphisms with finite fibres.
Lemma 76.35.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent:
$f$ is finite,
$f$ is proper and locally quasi-finite,
$f$ is proper and $|X_ k|$ is a discrete space for every morphism $\mathop{\mathrm{Spec}}(k) \to Y$ where $k$ is a field,
$f$ is universally closed, separated, locally of finite type and $|X_ k|$ is a discrete space for every morphism $\mathop{\mathrm{Spec}}(k) \to Y$ where $k$ is a field.
Proof. We have (1) $\Rightarrow $ (2) by Morphisms of Spaces, Lemmas 67.45.9, 67.45.8. We have (2) $\Rightarrow $ (3) by Morphisms of Spaces, Lemma 67.27.5. By definition (3) implies (4).
Assume (4). Since $f$ is universally closed it is quasi-compact (Morphisms of Spaces, Lemma 67.9.7). Pick a point $y$ of $|Y|$. We represent $y$ by a morphism $\mathop{\mathrm{Spec}}(k) \to Y$. Note that $|X_ k|$ is finite discrete as a quasi-compact discrete space. The map $|X_ k| \to |X|$ surjects onto the fibre of $|X| \to |Y|$ over $y$ (Properties of Spaces, Lemma 66.4.3). By Morphisms of Spaces, Lemma 67.34.8 we see that $X \to Y$ is quasi-finite at all the points of the fibre of $|X| \to |Y|$ over $y$. Choose an elementary étale neighbourhood $(U, u) \to (Y, y)$ and decomposition $X_ U = V \amalg W$ as in Lemma 76.33.1 adapted to all the points of $|X|$ lying over $y$. Note that $W_ u = \emptyset $ because we used all the points in the fibre of $|X| \to |Y|$ over $y$. Since $f$ is universally closed we see that the image of $|W|$ in $|U|$ is a closed set not containing $u$. After shrinking $U$ we may assume that $W = \emptyset $. In other words we see that $X_ U = V$ is finite over $U$. Since $y \in |Y|$ was arbitrary this means there exists a family $\{ U_ i \to Y\} $ of étale morphisms whose images cover $Y$ such that the base changes $X_{U_ i} \to U_ i$ are finite. We conclude that $f$ is finite by Morphisms of Spaces, Lemma 67.45.3. $\square$
As a consequence we have the following useful result.
Lemma 76.35.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $y \in |Y|$. Assume
$f$ is proper, and
$f$ is quasi-finite at all $x \in |X|$ lying over $y$ (Decent Spaces, Lemma 68.18.10).
Then there exists an open neighbourhood $V \subset Y$ of $y$ such that $f|_{f^{-1}(V)} : f^{-1}(V) \to V$ is finite.
Proof. By Morphisms of Spaces, Lemma 67.34.7 the set of points at which $f$ is quasi-finite is an open $U \subset X$. Let $Z = X \setminus U$. Then $y \not\in f(Z)$. Since $f$ is proper the set $f(Z) \subset Y$ is closed. Choose any open neighbourhood $V \subset Y$ of $y$ with $Z \cap V = \emptyset $. Then $f^{-1}(V) \to V$ is locally quasi-finite and proper. Hence $f^{-1}(V) \to V$ is finite by Lemma 76.35.1. $\square$
Lemma 76.35.3. Let $S$ be a scheme. Let
be a commutative diagram of morphism of algebraic spaces over $S$. Let $b \in B$ and let $\mathop{\mathrm{Spec}}(k) \to B$ be a morphism in the equivalence class of $b$. Assume
$X \to B$ is a proper morphism,
$Y \to B$ is separated and locally of finite type,
one of the following is true
the image of $|X_ k| \to |Y_ k|$ is finite,
the image of $|f|^{-1}(\{ b\} )$ in $|Y|$ is finite and $B$ is decent.
Then there is an open subspace $B' \subset B$ containing $b$ such that $X_{B'} \to Y_{B'}$ factors through a closed subspace $Z \subset Y_{B'}$ finite over $B'$.
Proof. Let $Z \subset Y$ be the scheme theoretic image of $h$, see Morphisms of Spaces, Section 67.16. By Morphisms of Spaces, Lemma 67.40.8 the morphism $X \to Z$ is surjective and $Z \to B$ is proper. Thus
and $|X_ k| \to |Z_ k|$ are surjective. We see that either (3)(a) or (3)(b) imply that $Z \to B$ is quasi-finite all points of $|Z|$ lying over $b$ by Decent Spaces, Lemma 68.18.10. Hence $Z \to B$ is finite in an open neighbourhood of $b$ by Lemma 76.35.2. $\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)