Lemma 64.3.7 (03ST)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 64: The Trace Formula
Section 64.3: Frobenii
Lemma 64.3.7 (cite)

previous remark
next definition

numberstags

history
statistics

Lemma 64.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$

Comments (0)

There are also:

12 comment(s) on Section 64.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).

Comments (0)

Post a comment