The Stacks project

Lemma 30.26.1. Let $f : X \to S$ be a morphism of schemes which is locally of finite type. Let $Z \subset X$ be a closed subset. The following are equivalent

  1. the morphism $Z \to S$ is proper if $Z$ is endowed with the reduced induced closed subscheme structure (Schemes, Definition 26.12.5),

  2. for some closed subscheme structure on $Z$ the morphism $Z \to S$ is proper,

  3. for any closed subscheme structure on $Z$ the morphism $Z \to S$ is proper.

Proof. The implications (3) $\Rightarrow $ (1) and (1) $\Rightarrow $ (2) are immediate. Thus it suffices to prove that (2) implies (3). We urge the reader to find their own proof of this fact. Let $Z'$ and $Z''$ be closed subscheme structures on $Z$ such that $Z' \to S$ is proper. We have to show that $Z'' \to S$ is proper. Let $Z''' = Z' \cup Z''$ be the scheme theoretic union, see Morphisms, Definition 29.4.4. Then $Z'''$ is another closed subscheme structure on $Z$. This follows for example from the description of scheme theoretic unions in Morphisms, Lemma 29.4.6. Since $Z'' \to Z'''$ is a closed immersion it suffices to prove that $Z''' \to S$ is proper (see Morphisms, Lemmas 29.41.6 and 29.41.4). The morphism $Z' \to Z'''$ is a bijective closed immersion and in particular surjective and universally closed. Then the fact that $Z' \to S$ is separated implies that $Z''' \to S$ is separated, see Morphisms, Lemma 29.41.11. Moreover $Z''' \to S$ is locally of finite type as $X \to S$ is locally of finite type (Morphisms, Lemmas 29.15.5 and 29.15.3). Since $Z' \to S$ is quasi-compact and $Z' \to Z'''$ is a homeomorphism we see that $Z''' \to S$ is quasi-compact. Finally, since $Z' \to S$ is universally closed, we see that the same thing is true for $Z''' \to S$ by Morphisms, Lemma 29.41.9. This finishes the proof. $\square$

Comments (2)

Comment #7073 by Manuel Hoff on

There is a typo in the first line of the proof: '(3) (2)' should be replaced by '(3) (1)'.

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 0CYL. Beware of the difference between the letter 'O' and the digit '0'.