Lemma 100.38.3. Let $f : \mathcal{Y} \to \mathcal{X}$ be a morphism of algebraic stacks. Then the scheme theoretic image of $f$ exists.

**Proof.**
Choose a scheme $V$ and a surjective smooth morphism $V \to \mathcal{Y}$. By Lemma 100.38.2 we may replace $\mathcal{Y}$ by $V$. Thus it suffices to show that if $X \to \mathcal{X}$ is a morphism from a scheme to an algebraic stack, then the scheme theoretic image exists. Choose a scheme $U$ and a surjective smooth morphism $U \to \mathcal{X}$. Set $R = U \times _\mathcal {X} U$. We have $\mathcal{X} = [U/R]$ by Algebraic Stacks, Lemma 93.16.2. By Properties of Stacks, Lemma 99.9.11 the closed substacks $\mathcal{Z}$ of $\mathcal{X}$ are in $1$-to-$1$ correspondence with $R$-invariant closed subschemes $Z \subset U$. Let $Z_1 \subset U$ be the scheme theoretic image of $X \times _\mathcal {X} U \to U$. Observe that $X \to \mathcal{X}$ factors through $\mathcal{Z}$ if and only if $X \times _\mathcal {X} U \to U$ factors through the corresponding $R$-invariant closed subscheme $Z$ (details omitted; hint: this follows because $X \times _\mathcal {X} U \to X$ is surjective and smooth). Thus we have to show that there exists a smallest $R$-invariant closed subscheme $Z \subset U$ containing $Z_1$.

Let $\mathcal{I}_1 \subset \mathcal{O}_ U$ be the quasi-coherent ideal sheaf corresponding to the closed subscheme $Z_1 \subset U$. Let $Z_\alpha $, $\alpha \in A$ be the set of all $R$-invariant closed subschemes of $U$ containing $Z_1$. For $\alpha \in A$, let $\mathcal{I}_\alpha \subset \mathcal{O}_ U$ be the quasi-coherent ideal sheaf corresponding to the closed subscheme $Z_\alpha \subset U$. The containment $Z_1 \subset Z_\alpha $ means $\mathcal{I}_\alpha \subset \mathcal{I}_1$. The $R$-invariance of $Z_\alpha $ means that

as (quasi-coherent) ideal sheaves on (the algebraic space) $R$. Consider the image

Since direct sums of quasi-coherent sheaves are quasi-coherent and since images of maps between quasi-coherent sheaves are quasi-coherent, we find that $\mathcal{I}$ is quasi-coherent. Since pull back is exact and commutes with direct sums we find

Hence $\mathcal{I}$ defines an $R$-invariant closed subscheme $Z \subset U$ which is contained in every $Z_\alpha $ and containes $Z_1$ as desired. $\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).

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.

## Comments (0)