The Stacks project

Lemma 67.9.5. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. The following are equivalent

  1. $f$ is universally closed,

  2. for every scheme $Z$ and every morphism $Z \to Y$ the projection $|Z \times _ Y X| \to |Z|$ is closed,

  3. for every affine scheme $Z$ and every morphism $Z \to Y$ the projection $|Z \times _ Y X| \to |Z|$ is closed,

  4. there exists a scheme $V$ and a surjective étale morphism $V \to Y$ such that $V \times _ Y X \to V$ is a universally closed morphism of algebraic spaces, and

  5. there exists a Zariski covering $Y = \bigcup Y_ i$ such that each of the morphisms $f^{-1}(Y_ i) \to Y_ i$ is universally closed.

Proof. We omit the proof that (1) implies (2), and that (2) implies (3).

Assume (3). Choose a surjective étale morphism $V \to Y$. We are going to show that $V \times _ Y X \to V$ is a universally closed morphism of algebraic spaces. Let $Z \to V$ be a morphism from an algebraic space to $V$. Let $W \to Z$ be a surjective étale morphism where $W = \coprod W_ i$ is a disjoint union of affine schemes, see Properties of Spaces, Lemma 66.6.1. Then we have the following commutative diagram

\[ \xymatrix{ \coprod _ i |W_ i \times _ Y X| \ar@{=}[r] \ar[d] & |W \times _ Y X| \ar[r] \ar[d] & |Z \times _ Y X| \ar[d] \ar@{=}[r] & |Z \times _ V (V \times _ Y X)| \ar[ld] \\ \coprod |W_ i| \ar@{=}[r] & |W| \ar[r] & |Z| } \]

We have to show the south-east arrow is closed. The middle horizontal arrows are surjective and open (Properties of Spaces, Lemma 66.16.7). By assumption (3), and the fact that $W_ i$ is affine we see that the left vertical arrows are closed. Hence it follows that the right vertical arrow is closed.

Assume (4). We will show that $f$ is universally closed. Let $Z \to Y$ be a morphism of algebraic spaces. Consider the diagram

\[ \xymatrix{ |(V \times _ Y Z) \times _ V (V \times _ Y X)| \ar@{=}[r] \ar[rd] & |V \times _ Y X| \ar[r] \ar[d] & |Z \times _ Y X| \ar[d] \\ & |V \times _ Y Z| \ar[r] & |Z| } \]

The south-west arrow is closed by assumption. The horizontal arrows are surjective and open because the corresponding morphisms of algebraic spaces are étale (see Properties of Spaces, Lemma 66.16.7). It follows that the right vertical arrow is closed.

Of course (1) implies (5) by taking the covering $Y = Y$. Assume $Y = \bigcup Y_ i$ is as in (5). Then for any $Z \to Y$ we get a corresponding Zariski covering $Z = \bigcup Z_ i$ such that the base change of $f$ to $Z_ i$ is closed. By a simple topological argument this implies that $Z \times _ Y X \to Z$ is closed. Hence (1) holds. $\square$


Comments (0)


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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 03IT. Beware of the difference between the letter 'O' and the digit '0'.