Lemma 37.14.5. Let $X \to X'$ be a thickening of schemes and let $X \to Y$ be an affine morphism of schemes. Let $Y' = Y \amalg _ X X'$ be the pushout (see Lemma 37.14.3). Let $V' \to Y'$ be a morphism of schemes. Set $V = Y \times _{Y'} V'$, $U' = X' \times _{Y'} V'$, and $U = X \times _{Y'} V'$. There is an equivalence of categories between

quasi-coherent $\mathcal{O}_{V'}$-modules flat over $Y'$, and

the category of triples $(\mathcal{G}, \mathcal{F}', \varphi )$ where

$\mathcal{G}$ is a quasi-coherent $\mathcal{O}_ V$-module flat over $Y$,

$\mathcal{F}'$ is a quasi-coherent $\mathcal{O}_{U'}$-module flat over $X'$, and

$\varphi : (U \to V)^*\mathcal{G} \to (U \to U')^*\mathcal{F}'$ is an isomorphism of $\mathcal{O}_ U$-modules.

The equivalence maps $\mathcal{G}'$ to $((V \to V')^*\mathcal{G}', (U' \to V')^*\mathcal{G}', can)$. Suppose $\mathcal{G}'$ corresponds to the triple $(\mathcal{G}, \mathcal{F}', \varphi )$. Then

$\mathcal{G}'$ is a finite type $\mathcal{O}_{V'}$-module if and only if $\mathcal{G}$ and $\mathcal{F}'$ are finite type $\mathcal{O}_ Y$ and $\mathcal{O}_{U'}$-modules.

if $V' \to Y'$ is locally of finite presentation, then $\mathcal{G}'$ is an $\mathcal{O}_{V'}$-module of finite presentation if and only if $\mathcal{G}$ and $\mathcal{F}'$ are $\mathcal{O}_ Y$ and $\mathcal{O}_{U'}$-modules of finite presentation.

## Comments (2)

Comment #3176 by Matthieu Romagny on

Comment #3289 by Johan on

There are also: