# The Stacks Project

## Tag 02KL

Lemma 34.11.3. Let $$\xymatrix{ X \ar[rr]_f \ar[rd]_p & & Y \ar[dl]^q \\ & S }$$ be a commutative diagram of morphisms of schemes. Assume that $f$ is surjective, flat and locally of finite presentation and assume that $p$ is locally of finite presentation (resp. locally of finite type). Then $q$ is locally of finite presentation (resp. locally of finite type).

Proof. The problem is local on $S$ and $Y$. Hence we may assume that $S$ and $Y$ are affine. Since $f$ is flat and locally of finite presentation, we see that $f$ is open (Morphisms, Lemma 28.24.9). Hence, since $Y$ is quasi-compact, there exist finitely many affine opens $X_i \subset X$ such that $Y = \bigcup f(X_i)$. Clearly we may replace $X$ by $\coprod X_i$, and hence we may assume $X$ is affine as well. In this case the lemma is equivalent to Lemma 34.11.1 (resp. Lemma 34.11.2) above. $\square$

The code snippet corresponding to this tag is a part of the file descent.tex and is located in lines 3501–3518 (see updates for more information).

\begin{lemma}
\label{lemma-flat-finitely-presented-permanence}
\begin{reference}
\cite[IV, 17.7.5 (i) and (ii)]{EGA}.
\end{reference}
Let
$$\xymatrix{ X \ar[rr]_f \ar[rd]_p & & Y \ar[dl]^q \\ & S }$$
be a commutative diagram of morphisms of schemes. Assume that $f$ is
surjective, flat and locally of finite presentation and assume
that $p$ is locally of finite presentation (resp.\ locally of finite type).
Then $q$ is locally of finite presentation (resp.\ locally of finite type).
\end{lemma}

\begin{proof}
The problem is local on $S$ and $Y$. Hence we may assume that
$S$ and $Y$ are affine. Since $f$ is flat and locally of finite
presentation, we see that $f$ is open
(Morphisms, Lemma \ref{morphisms-lemma-fppf-open}).
Hence, since $Y$ is quasi-compact, there exist finitely many affine opens
$X_i \subset X$ such that $Y = \bigcup f(X_i)$.
Clearly we may replace $X$ by $\coprod X_i$, and hence we
may assume $X$ is affine as well.
In this case the lemma is equivalent to
Lemma \ref{lemma-flat-finitely-presented-permanence-algebra}
(resp. Lemma \ref{lemma-finite-type-local-source-fppf-algebra})
above.
\end{proof}

## References

[EGA, IV, 17.7.5 (i) and (ii)].

Comment #1614 by Kestutis Cesnavicius on September 8, 2015 a 5:07 pm UTC

Reference: [EGA IV_4, 17.7.5 (i) and (ii)].

Comment #1677 by Johan (site) on October 8, 2015 a 5:03 pm UTC

Wonderful. Thanks very much. Added here.

## Add a comment on tag 02KL

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 lower-right corner).