Lemma 21.18.1. Let $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}'), \mathcal{O}') \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O})$ be a morphism of ringed topoi. Let $\mathcal{K}^\bullet $ be a K-flat complex of $\mathcal{O}$-modules whose terms are flat $\mathcal{O}$-modules. Then $f^*\mathcal{K}^\bullet $ is a K-flat complex of $\mathcal{O}'$-modules whose terms are flat $\mathcal{O}'$-modules.

**Proof.**
The terms $f^*\mathcal{K}^ n$ are flat $\mathcal{O}'$-modules by Modules on Sites, Lemma 18.39.1. Choose a diagram

as in Lemma 21.17.10. We will use all of the properties stated in the lemma without further mention. Each $\mathcal{K}_ n^\bullet $ is a bounded above complex of flat modules, see Modules on Sites, Lemma 18.28.6. Consider the short exact sequence of complexes

defining $\mathcal{M}^\bullet $. By Lemmas 21.17.8 and 21.17.9 the complex $\mathop{\mathrm{colim}}\nolimits \mathcal{K}_ n^\bullet $ is K-flat and by Modules on Sites, Lemma 18.28.4 it has flat terms. By Modules on Sites, Lemma 18.28.9 $\mathcal{M}^\bullet $ has flat terms, by Lemma 21.17.7 $\mathcal{M}^\bullet $ is K-flat, and by the long exact cohomology sequence $\mathcal{M}^\bullet $ is acyclic (because the second arrow is a quasi-isomorphism). The pullback $f^*(\mathop{\mathrm{colim}}\nolimits \mathcal{K}_ n^\bullet ) = \mathop{\mathrm{colim}}\nolimits f^*\mathcal{K}_ n^\bullet $ is a colimit of bounded below complexes of flat $\mathcal{O}'$-modules and hence is K-flat (by the same lemmas as above). The pullback of our short exact sequence

is a short exact sequence of complexes by Modules on Sites, Lemma 18.39.4. Hence by Lemma 21.17.7 it suffices to show that $f^*\mathcal{M}^\bullet $ is K-flat. This reduces us to the case discussed in the next paragraph.

Assume $\mathcal{K}^\bullet $ is acyclic as well as K-flat and with flat terms. Then Lemma 21.17.16 guarantees that all terms of $\tau _{\leq n}\mathcal{K}^\bullet $ are flat $\mathcal{O}$-modules. We choose a diagram as above and we will use all the properties proven above for this diagram. Denote $\mathcal{M}_ n^\bullet $ the kernel of the map of complexes $\mathcal{K}_ n^\bullet \to \tau _{\leq n}\mathcal{K}^\bullet $ so that we have short exact sequences of complexes

By Modules on Sites, Lemma 18.28.9 we see that the terms of the complex $\mathcal{M}_ n^\bullet $ are flat. Hence we see that $\mathcal{M} = \mathop{\mathrm{colim}}\nolimits \mathcal{M}_ n^\bullet $ is a filtered colimit of bounded below complexes of flat modules in this case. Thus $f^*\mathcal{M}^\bullet $ is K-flat (same argument as above) and we win. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)

There are also: