Lemma 36.23.3. Let $f : X \to Y$ be a morphism of schemes with $Y = \mathop{\mathrm{Spec}}(A)$ affine. Let $\mathcal{U} : X = \bigcup _{i \in I} U_ i$ be a finite affine open covering such that all the finite intersections $U_{i_0 \ldots i_ p} = U_{i_0} \cap \ldots \cap U_{i_ p}$ are affine. Let $\mathcal{F}^\bullet $ be a bounded complex of $f^{-1}\mathcal{O}_ Y$-modules. Assume for all $n \in \mathbf{Z}$ the sheaf $\mathcal{F}^ n$ is a flat $f^{-1}\mathcal{O}_ Y$-module and $\mathcal{F}^ n$ has the structure of a quasi-coherent $\mathcal{O}_ X$-module compatible with the given $p^{-1}\mathcal{O}_ Y$-module structure (but the differentials in the complex $\mathcal{F}^\bullet $ need not be $\mathcal{O}_ X$-linear). Then the complex $\text{Tot}(\check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}^\bullet ))$ is K-flat as a complex of $A$-modules.

**Proof.**
We may write

Arguing by induction on $b - a$ and considering the distinguished triangle

and using More on Algebra, Lemma 15.59.5 we reduce to the case where $\mathcal{F}^\bullet $ consists of a single quasi-coherent $\mathcal{O}_ X$-module $\mathcal{F}$ placed in degree $0$. In this case the Čech complex for $\mathcal{F}$ and $\mathcal{U}$ is homotopy equivalent to the alternating Čech complex, see Cohomology, Lemma 20.23.6. Since $U_{i_0 \ldots i_ p}$ is always affine, we see that $\mathcal{F}(U_{i_0 \ldots i_ p})$ is $A$-flat. Hence $\check{\mathcal{C}}_{alt}^\bullet (\mathcal{U}, \mathcal{F})$ is a bounded complex of flat $A$-modules and hence K-flat by More on Algebra, Lemma 15.59.7. $\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)