Lemma 101.27.11 (06Q8)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 7: Algebraic Stacks
Chapter 101: Morphisms of Algebraic Stacks
Section 101.27: Morphisms of finite presentation
Lemma 101.27.11 (cite)

numberstags

Lemma 101.27.11. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $\mathcal{Z} \to \mathcal{Y}$ be a surjective, flat, locally finitely presented morphism of algebraic stacks. If the base change $\mathcal{Z} \times _\mathcal {Y} \mathcal{X} \to \mathcal{Z}$ is locally of finite presentation, then $f$ is locally of finite presentation.

Proof. The property “locally of finite presentation” satisfies the conditions of Lemma 101.27.10. Smooth local on the source-and-target we have seen in the introduction to this section and fppf local on the target is Descent on Spaces, Lemma 74.11.10. $\square$

Comments (0)

There are also:

2 comment(s) on Section 101.27: Morphisms of finite presentation

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

Comments (0)

Post a comment