Lemma 106.5.2. Consider a commutative diagram
\[ \xymatrix{ (\mathcal{X} \subset \mathcal{X}') \ar[rr]_{(f, f')} \ar[rd] & & (\mathcal{Y} \subset \mathcal{Y}') \ar[ld] \\ & (\mathcal{B} \subset \mathcal{B}') } \]
of thickenings of algebraic stacks. Assume $\mathcal{Y}' \to \mathcal{B}'$ locally of finite type, $\mathcal{X}' \to \mathcal{B}'$ flat and locally of finite presentation, $\mathcal{X} = \mathcal{B} \times _{\mathcal{B}'} \mathcal{X}'$, and $\mathcal{Y} = \mathcal{B} \times _{\mathcal{B}'} \mathcal{Y}'$. Then
$f$ is flat if and only if $f'$ is flat,
$f$ is an isomorphism if and only if $f'$ is an isomorphism,
$f$ is an open immersion if and only if $f'$ is an open immersion,
$f$ is a monomorphism if and only if $f'$ is a monomorphism,
$f$ is locally quasi-finite if and only if $f'$ is locally quasi-finite,
$f$ is syntomic if and only if $f'$ is syntomic,
$f$ is smooth if and only if $f'$ is smooth,
$f$ is unramified if and only if $f'$ is unramified,
$f$ is étale if and only if $f'$ is étale,
$f$ is finite if and only if $f'$ is finite, and
add more here.
Proof.
In case (1) this follows from Lemma 106.5.1.
In cases (6), (7) this can be proved by the method used in the proof of Lemma 106.5.1. Namely, choose an algebraic space $U'$ and a surjective smooth morphism $U' \to \mathcal{B}'$. Choose an algebraic space $V'$ and a surjective smooth morphism $V' \to U' \times _{\mathcal{B}'} \mathcal{Y}'$. Choose an algebraic space $W'$ and a surjective smooth morphism $W' \to V' \times _{\mathcal{Y}'} \mathcal{X}'$. Let $U, V, W$ be the base change of $U', V', W'$ by $\mathcal{B} \to \mathcal{B}'$. Then the property for $f$, resp. $f'$ is equivalent to the property for of $W' \to V'$, resp. $W \to V$. Hence we may apply the lemma in the case of algebraic spaces to the diagram
\[ \xymatrix{ (W \subset W') \ar[rr] \ar[rd] & & (V \subset V') \ar[ld] \\ & (U \subset U') } \]
of thickenings of algebraic spaces. See More on Morphisms of Spaces, Lemma 76.18.5.
In cases (8) and (9) we first see that the assumption for $f$ or $f'$ implies that both $f$ and $f'$ are DM morphisms of algebraic stacks, see Lemma 106.4.1. Then we can choose an algebraic space $U'$ and a surjective smooth morphism $U' \to \mathcal{B}'$. Choose an algebraic space $V'$ and a surjective smooth morphism $V' \to U' \times _{\mathcal{B}'} \mathcal{Y}'$. Choose an algebraic space $W'$ and a surjective étale(!) morphism $W' \to V' \times _{\mathcal{Y}'} \mathcal{X}'$. Let $U, V, W$ be the base change of $U', V', W'$ by $\mathcal{B} \to \mathcal{B}'$. Then $W \to V \times _\mathcal {Y} \mathcal{X}$ is surjective étale as well. Hence the property for $f$, resp. $f'$ is equivalent to the property for of $W' \to V'$, resp. $W \to V$. Hence we may apply the lemma in the case of algebraic spaces to the diagram
\[ \xymatrix{ (W \subset W') \ar[rr] \ar[rd] & & (V \subset V') \ar[ld] \\ & (U \subset U') } \]
of thickenings of algebraic spaces. See More on Morphisms of Spaces, Lemma 76.18.5.
In cases (2), (3), (4), (10) we first conclude by Lemma 106.4.1 that $f$ and $f'$ are representable by algebraic spaces. Thus we may choose an algebraic space $U'$ and a surjective smooth morphism $U' \to \mathcal{B}'$, an algebraic space $V'$ and a surjective smooth morphism $V' \to U' \times _{\mathcal{B}'} \mathcal{Y}'$, and then $W' = V' \times _{\mathcal{Y}'} \mathcal{X}'$ will be an algebraic space. Let $U, V, W$ be the base change of $U', V', W'$ by $\mathcal{B} \to \mathcal{B}'$. Then $W = V \times _\mathcal {Y} \mathcal{X}$ as well. Then we have to see that $W' \to V'$ is an isomorphism, resp. an open immersion, resp. a monomorphism, resp. finite, if and only if $W \to V$ has the same property. See Properties of Stacks, Lemma 100.3.3. Thus we conclude by applying the results for algebraic spaces as above.
In the case (5) we first observe that $f$ and $f'$ are locally of finite type by Morphisms of Stacks, Lemma 101.17.8. On the other hand, the morphism $f$ is quasi-DM if and only if $f'$ is by Lemma 106.4.1. The last thing to check to see if $f$ or $f'$ is locally quasi-finite (Morphisms of Stacks, Definition 101.23.2) is a condition on underlying topological spaces which holds for $f$ if and only if it holds for $f'$ by the discussion in the first paragraph of the proof.
$\square$
Comments (0)