Lemma 62.13.3. Let $f : X \to S$ be a proper smooth morphism of schemes with geometrically connected fibres of dimension $1$. Let $\Lambda $ be a Noetherian ring. Let $M$ be a finite $\Lambda $-module annihilated by an integer $n > 0$. Then $R^ qf_*\underline{M}$ is a constructible sheaf of $\Lambda $-modules on $S$.

**Proof.**
If $n = \ell n'$ for some prime number $\ell $, then we get a short exact sequence $0 \to M[\ell ] \to M \to M' \to 0$ of finite $\Lambda $-modules and $M'$ is annihilated by $n'$. This produces a corresponding short exact sequence of constant sheaves, which in turn gives rise to an exact sequence

Thus, if we can show the result in case $M$ is annihilated by a prime number, then by induction on $n$ we win by Étale Cohomology, Lemma 59.71.6.

Let $\ell $ be a prime number such that $\ell $ annihilates $M$. Then we can replace $\Lambda $ by the $\mathbf{F}_\ell $-algebra $\Lambda /\ell \Lambda $. Namely, the sheaf $R^ qf_*\underline{M}$ where $\underline{M}$ is viewed as a sheaf of $\Lambda $-modules is the same as the sheaf $R^ qf_*\underline{M}$ computed by viewing $\underline{M}$ as a sheaf of $\Lambda /\ell \Lambda $-modules, see Cohomology on Sites, Lemma 21.20.7.

Assume $\ell $ be a prime number such that $\ell $ annihilates $M$ and $\Lambda $. Let us reduce to the case where $M$ is a finite free $\Lambda $-module. Namely, choose a resolution

Recall that $f_*$ has finite cohomological dimension on sheaves of $\Lambda $-modules, see Étale Cohomology, Lemma 59.92.2 and Derived Categories, Lemma 13.32.2. Thus we see that $R^ qf_*\underline{M}$ is the $q$th cohomology sheaf of the object

in $D(S_{\acute{e}tale}, \Lambda )$ for some integer $a$ large enough. Using the first spectral sequence of Derived Categories, Lemma 13.21.3 (or alternatively using an argument with truncations) we conclude that it suffices to prove that $R^ qf_*\underline{\Lambda })$ is constructible.

At this point we can finally use that

by Étale Cohomology, Lemma 59.96.6. Since any module over the field $\mathbf{Z}/\ell \mathbf{Z}$ is flat we obtain

Hence it suffices to prove the result for $R^ qf_*\underline{\mathbf{Z}/\ell \mathbf{Z}}$ by Étale Cohomology, Lemma 59.71.10. This case is Lemma 62.13.2. $\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 (0)