Lemma 59.107.1. Let $p$ be a prime number. Let $S$ be a scheme over $\mathbf{F}_ p$. Consider the sheaf $\mathcal{O}^{perf} = \mathop{\mathrm{colim}}\nolimits _ F \mathcal{O}$ on $(\mathit{Sch}/S)_{fppf}$. Then $\mathcal{O}^{perf}$ is in the essential image of $R\epsilon _* : D((\mathit{Sch}/S)_ h) \to D((\mathit{Sch}/S)_{fppf})$.

Proof. We prove this using the criterion of Lemma 59.106.3. Before check the conditions, we note that for a quasi-compact and quasi-separated object $X$ of $(\mathit{Sch}/S)_{fppf}$ we have

$H^ i_{fppf}(X, \mathcal{O}^{perf}) = \mathop{\mathrm{colim}}\nolimits _ F H^ i_{fppf}(X, \mathcal{O})$

See Cohomology on Sites, Lemma 21.16.1. We will also use that $H^ i_{fppf}(X, \mathcal{O}) = H^ i(X, \mathcal{O})$, see Descent, Proposition 35.9.3.

Let $A, f, J$ be as in More on Flatness, Example 38.37.10 and consider the associated almost blow up square. Since $X$, $X'$, $Z$, $E$ are affine, we have no higher cohomology of $\mathcal{O}$. Hence we only have to check that

$0 \to \mathcal{O}^{perf}(X) \to \mathcal{O}^{perf}(X') \oplus \mathcal{O}^{perf}(Z) \to \mathcal{O}^{perf}(E) \to 0$

is a short exact sequence. This was shown in (the proof of) More on Flatness, Lemma 38.38.2.

Let $X, X', Z, E$ be as in More on Flatness, Example 38.37.11. Since $X$ and $Z$ are affine we have $H^ p(X, \mathcal{O}_ X) = H^ p(Z, \mathcal{O}_ X) = 0$ for $p > 0$. By More on Flatness, Lemma 38.38.1 we have $H^ p(X', \mathcal{O}_{X'}) = 0$ for $p > 0$. Since $E = \mathbf{P}^1_ Z$ and $Z$ is affine we also have $H^ p(E, \mathcal{O}_ E) = 0$ for $p > 0$. As in the previous paragraph we reduce to checking that

$0 \to \mathcal{O}^{perf}(X) \to \mathcal{O}^{perf}(X') \oplus \mathcal{O}^{perf}(Z) \to \mathcal{O}^{perf}(E) \to 0$

is a short exact sequence. This was shown in (the proof of) More on Flatness, Lemma 38.38.2. $\square$

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