Lemma 63.3.7. In the situation above denote $\alpha : X \to \mathop{\mathrm{Spec}}(k)$ the structure morphism. Consider the stalk $(R^ j\alpha _*\mathcal{F})_{\mathop{\mathrm{Spec}}(\bar k)}$ endowed with its natural Galois action as in Étale Cohomology, Section 59.56. Then the identification

$(R^ j\alpha _*\mathcal{F})_{\mathop{\mathrm{Spec}}(\bar k)} \cong H^ j (X_{\bar k}, \mathcal{F}|_{X_{\bar k}})$

from Étale Cohomology, Theorem 59.53.1 is an isomorphism of $G_ k$-modules.

Proof. Omitted. $\square$

There are also:

• 12 comment(s) on Section 63.3: Frobenii

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