Lemma 63.18.2. Let $\{ \mathcal{G}_ n\} _{n\geq 1}$ be an inverse system of constructible $\mathbf{Z}/\ell ^ n\mathbf{Z}$-modules. Suppose that for all $k\geq 1$, the maps

$\mathcal{G}_{n+1}/\ell ^ k \mathcal{G}_{n+1}\to \mathcal{G}_ n /\ell ^ k \mathcal{G}_ n$

are isomorphisms for all $n\gg 0$ (where the bound possibly depends on $k$). In other words, assume that the system $\{ \mathcal{G}_ n/\ell ^ k\mathcal{G}_ n\} _{n\geq 1}$ is eventually constant, and call $\mathcal{F}_ k$ the corresponding sheaf. Then the system $\left\{ \mathcal{F}_ k\right\} _{k\geq 1}$ forms a $\mathbf{Z}_\ell$-sheaf on $X$.

Proof. The proof is obvious. $\square$

There are also:

• 2 comment(s) on Section 63.18: On l-adic sheaves

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