The Stacks project

76.46 Pseudo-coherent morphisms

This section is the analogue of More on Morphisms, Section 37.60 for morphisms of schemes. The reader is encouraged to read up on pseudo-coherent morphisms of schemes in that section first.

The property “pseudo-coherent” of morphisms of schemes is étale local on the source-and-target. To see this use More on Morphisms, Lemmas 37.60.10 and 37.60.13 and Descent, Lemma 35.32.6. By Morphisms of Spaces, Lemma 67.22.1 we may define the notion of a pseudo-coherent morphism of algebraic spaces as follows and it agrees with the already existing notion defined in More on Morphisms, Section 37.60 when the algebraic spaces in question are representable.

Definition 76.46.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$.

  1. We say $f$ is pseudo-coherent if the equivalent conditions of Morphisms of Spaces, Lemma 67.22.1 hold with $\mathcal{P} =$“pseudo-coherent”.

  2. Let $x \in |X|$. We say $f$ is pseudo-coherent at $x$ if there exists an open neighbourhood $X' \subset X$ of $x$ such that $f|_{X'} : X' \to Y$ is pseudo-coherent.

Beware that a base change of a pseudo-coherent morphism is not pseudo-coherent in general.

Lemma 76.46.2. A flat base change of a pseudo-coherent morphism is pseudo-coherent.

Proof. Omitted. Hint: Use the schemes version of this lemma, see More on Morphisms, Lemma 37.60.3. $\square$

Lemma 76.46.3. A composition of pseudo-coherent morphisms is pseudo-coherent.

Proof. Omitted. Hint: Use the schemes version of this lemma, see More on Morphisms, Lemma 37.60.4. $\square$

Lemma 76.46.4. A pseudo-coherent morphism is locally of finite presentation.

Proof. Immediate from the definitions. $\square$

Lemma 76.46.5. A flat morphism which is locally of finite presentation is pseudo-coherent.

Proof. Omitted. Hint: Use the schemes version of this lemma, see More on Morphisms, Lemma 37.60.6. $\square$

Lemma 76.46.6. Let $f : X \to Y$ be a morphism of algebraic spaces pseudo-coherent over a base algebraic space $B$. Then $f$ is pseudo-coherent.

Proof. Omitted. Hint: Use the schemes version of this lemma, see More on Morphisms, Lemma 37.60.7. $\square$

Lemma 76.46.7. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. If $Y$ is locally Noetherian, then $f$ is pseudo-coherent if and only if $f$ is locally of finite type.

Proof. Omitted. Hint: Use the schemes version of this lemma, see More on Morphisms, Lemma 37.60.9. $\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 06BQ. Beware of the difference between the letter 'O' and the digit '0'.