Lemma 100.3.3 (04XD)—The Stacks project

Lemma 100.3.3. Let $P$ be a property of morphisms of algebraic spaces as above. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks representable by algebraic spaces. Let $W$ be an algebraic space and let $W \to \mathcal{Y}$ be surjective, locally of finite presentation, and flat. Set $V = W \times _\mathcal {Y} \mathcal{X}$ . Then

$(f\text{ has }P) \Leftrightarrow (\text{the projection }V \to W\text{ has }P).$

Proof. The implication from left to right follows from Lemma 100.3.2. Assume $V \to W$ has $P$ . Let $T$ be a scheme, and let $T \to \mathcal{Y}$ be a morphism. Consider the commutative diagram

$\xymatrix{ T \times _\mathcal {Y} \mathcal{X} \ar[d] & T \times _\mathcal {Y} V \ar[d] \ar[l] \ar[r] & V \ar[d] \\ T & T \times _\mathcal {Y} W \ar[l] \ar[r] & W }$

of algebraic spaces. The squares are cartesian. The bottom left morphism is a surjective, flat morphism which is locally of finite presentation, hence $\{ T \times _\mathcal {Y} V \to T\}$ is an fppf covering. Hence the fact that the right vertical arrow has property $P$ implies that the left vertical arrow has property $P$ . $\square$

Comments (2)

Comment #7041 by Joshua Ciappara on February 10, 2022 at 17:20

I believe $W$ and $V$ are mixed up in the commutative diagram.

Comment #7240 by Johan on April 30, 2022 at 15:45

Thanks and fixed in these two commits.

Comments (2)

Post a comment