Lemma 58.23.2. In Situation 58.19.1 assume

1. $A$ is $f$-adically complete,

2. $f$ is a nonzerodivisor,

3. $H^1_\mathfrak m(A/fA)$ and $H^2_\mathfrak m(A/fA)$ are finite $A$-modules.

Then the restriction functor

$\mathop{\mathrm{colim}}\nolimits _{U_0 \subset U' \subset U\text{ open}} \textit{FÉt}_{U'} \longrightarrow \textit{FÉt}_{U_0}$

is an equivalence.

Proof. This follows from Lemma 58.17.4 and Algebraic and Formal Geometry, Lemma 52.24.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).