Kernels of epimorphisms and extensions of flat sheaves of modules over a ringed space are again flat.

Lemma 17.17.8. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let

$0 \to \mathcal{F}_2 \to \mathcal{F}_1 \to \mathcal{F}_0 \to 0$

be a short exact sequence of $\mathcal{O}_ X$-modules.

1. If $\mathcal{F}_2$ and $\mathcal{F}_0$ are flat so is $\mathcal{F}_1$.

2. If $\mathcal{F}_1$ and $\mathcal{F}_0$ are flat so is $\mathcal{F}_2$.

Proof. Since exactness and flatness may be checked at the level of stalks this follows from Algebra, Lemma 10.39.13. $\square$

Comment #878 by on

Suggested slogan: Kernels of epimorphisms and extensions of flat sheaves of modules over a ringed space are again flat.

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