Lemma 38.20.14. In Situation 38.20.13.

1. The functor $F_{flat}$ satisfies the sheaf property for the fpqc topology.

2. If $f$ is quasi-compact and locally of finite presentation and $\mathcal{F}$ is of finite presentation, then the functor $F_{flat}$ is limit preserving.

Proof. Part (1) follows from the following statement: If $T' \to T$ is a surjective flat morphism of schemes over $S$, then $\mathcal{F}_{T'}$ is flat over $T'$ if and only if $\mathcal{F}_ T$ is flat over $T$, see More on Morphisms, Lemma 37.15.2. Part (2) follows from Limits, Lemma 32.10.4 after reducing to the case where $X$ and $S$ are affine (compare with the proof of Lemma 38.20.12). $\square$

There are also:

• 2 comment(s) on Section 38.20: Flattening functors

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