Lemma 57.87.3. Let $A$ be a henselian local ring. Let $f : X \to \mathop{\mathrm{Spec}}(A)$ be a proper morphism of schemes. Let $X_0 \subset X$ be the fibre of $f$ over the closed point. For any sheaf $\mathcal{F}$ on $X_{\acute{e}tale}$ we have $\Gamma (X, \mathcal{F}) = \Gamma (X_0, \mathcal{F}|_{X_0})$.

Proof. This is a special case of Lemma 57.87.2. $\square$

There are also:

• 4 comment(s) on Section 57.87: The proper base change theorem

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