Lemma 37.64.7. In Situation 37.64.1 the category of schemes flat, separated, and locally quasi-finite over the pushout $Y \amalg _ Z X$ is equivalent to the category of $(X', Y', Z', i', j', f, g, h)$ as in Lemma 37.64.6 with $f, g, h$ flat. Similarly with “flat” replaced with “étale”.

Proof. If we start with $(X', Y', Z', i', j', f, g, h)$ as in Lemma 37.64.6 with $f, g, h$ flat or étale, then $Y' \amalg _{Z'} X' \to Y \amalg _ Z X$ is flat or étale by More on Algebra, Lemma 15.7.7.

For the converse, let $W \to Y \amalg _ Z X$ be a separated and locally quasi-finite morphism. Set $X' = W \times _{Y \amalg _ Z X} X$, $Y' = W \times _{Y \amalg _ Z X} Y$, and $Z' = W \times _{Y \amalg _ Z X} Z$ with obvious morphisms $i', j', f, g, h$. Form the pushout $Y' \amalg _{Z'} X'$. We obtain a morphism

$Y' \amalg _{Z'} X' \longrightarrow W$

of schemes over $Y \amalg _ X Z$ by the universal property of the pushout. If we do not assume that $W \to Y \amalg _ Z X$ is flat, then in general this morphism won't be an isomorphism. (In fact, More on Algebra, Lemma 15.6.5 shows the displayed arrow is a closed immersion but not an isomorphism in general.) However, if $W \to Y \times _ Z X$ is flat, then it is an isomorphism by More on Algebra, Lemma 15.7.7. $\square$

There are also:

• 4 comment(s) on Section 37.64: Pushouts in the category of schemes, II

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