Lemma 58.66.1. Let $\ell $ be a prime number and $n$ an integer $> 0$. Let $S$ be a quasi-compact and quasi-separated scheme. Let $X = \mathop{\mathrm{lim}}\nolimits _{i \in I}{X_ i}$ be the limit of a directed system of $S$-schemes each $X_ i \to S$ being finite étale of constant degree relatively prime to $\ell $. For any abelian $\ell $-power torsion sheaf $\mathcal{G}$ on $S$ such that $H_{\acute{e}tale}^ n(S, \mathcal{G}) \neq 0$ there exists an $\ell $-power torsion sheaf $\mathcal{F}$ on $X$ such that $H_{\acute{e}tale}^ n(X, \mathcal{F}) \neq 0$

**Proof.**
Let $g : X \to S$ and $g_ i : X_ i \to S$ denote the structure morphisms. Fix an $\ell $-power torsion sheaf $\mathcal{G}$ on $S$ with $H^ n_{\acute{e}tale}(S, \mathcal{G}) \not= 0$. The system given by $\mathcal{G}_ i = g_ i^{-1}\mathcal{G}$ satisify the conditions of Theorem 58.51.3 with colimit sheaf given by $g^{-1}\mathcal{G}$. This tells us that:

By virtue of the $g_ i$ being finite étale morphism of degree prime to $\ell $ we can apply “la méthode de la trace” and we find the maps

are all injective (and compatible with the transition maps). See Section 58.65. Thus, the colimit is non-zero, i.e., $H^ n(X,g^{-1}\mathcal{G}) \neq 0$, giving us the desired result with $\mathcal{F} = g^{-1}\mathcal{G}$.

Conversely, suppose given an $\ell $-power torsion sheaf $\mathcal{F}$ on $X$ with $H^ n_{\acute{e}tale}(X, \mathcal{F}) \not= 0$. We note that since the $g_ i$ are finite morphisms the higher direct images vanish (Proposition 58.54.2). Then, by applying Lemma 58.51.7 we may also conclude the same for $g$. The vanishing of the higher direct images tells us that $H^ n_{\acute{e}tale}(X, \mathcal{F}) = H^ n(S, g_*\mathcal{F}) \neq 0$ by Leray (Proposition 58.53.2) giving us what we want with $\mathcal{G} = g_*\mathcal{F}$. $\square$

## Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (1)

Comment #5360 by Laurent Moret-Bailly on

There are also: