Lemma 29.26.1 (04PW)—The Stacks project

Lemma 29.26.1. Let $X$ be a scheme. The rule which associates to a closed subscheme of $X$ its underlying closed subset defines a bijection

$\left\{ \begin{matrix} \text{closed subschemes }Z \subset X \\ \text{such that }Z \to X\text{ is flat} \end{matrix} \right\} \leftrightarrow \left\{ \begin{matrix} \text{closed subsets }Z \subset X \\ \text{closed under generalizations} \end{matrix} \right\}$

If $Z \subset X$ is such a closed subscheme, every morphism of schemes $g : Y \to X$ with $g(Y) \subset Z$ set theoretically factors (scheme theoretically) through $Z$ .

Proof. The affine case of the bijection is Algebra, Lemma 10.108.4. For general schemes $X$ the bijection follows by covering $X$ by affines and glueing. Details omitted. For the final assertion, observe that the projection $Z \times _{X, g} Y \to Y$ is a flat (Lemma 29.25.8) closed immersion which is bijective on underlying topological spaces and hence must be an isomorphism by the bijection esthablished in the first part of the proof. $\square$

Comments (3)

Comment #5820 by Laurent Moret-Bailly on December 05, 2020 at 04:38

Suggested addition: if $Z$ is such a subscheme, every morphism $Y\to X$ mapping $\vert Y\vert$ into $\vert Z\vert$ factors through $Z$ . (Proof: for $y\in Y$ , any section of the ideal sheaf of $Z$ vanishes in $\mathcal{O}_{X,f(y)}$ ). This simplifies the proof of 0B7R, for instance.

Comment #5844 by Johan on December 16, 2020 at 14:36

Thanks for this suggestion. I have made the corresponding changes here.

Comment #10013 by Tim Holzschuh on February 27, 2025 at 06:10

Typo: "esthablished" in the last sentence of the proof should be established

Comments (3)

Post a comment