
Lemma 54.78.8. In Situation 54.78.1 assume $X$ reduced. Let $j : U \to X$ an open immersion with $U$ connected. Let $\ell$ be a prime number. Let $\mathcal{G}$ a finite locally constant sheaf of $\mathbf{F}_\ell$-vector spaces on $U$. Let $\mathcal{F} = j_!\mathcal{G}$. Then statements (1) – (8) hold for $\mathcal{F}$.

Proof. Let $f : V \to U$ be a finite étale morphism of degree prime to $\ell$ as in Lemma 54.65.2. The discussion in Section 54.65 gives maps

$\mathcal{G} \to f_*f^{-1}\mathcal{G} \to \mathcal{G}$

whose composition is an isomorphism. Hence it suffices to prove the lemma with $\mathcal{F} = j_!f_*f^{-1}\mathcal{G}$. By Zariski's Main theorem (More on Morphisms, Lemma 36.38.3) we can choose a diagram

$\xymatrix{ V \ar[r]_{j'} \ar[d]_ f & Y \ar[d]^{\overline{f}} \\ U \ar[r]^ j & X }$

with $\overline{f} : Y \to X$ finite and $j'$ an open immersion with dense image. We may replace $Y$ by its reduction (this does not change $V$ as $V$ is reduced being étale over $U$). Since $f$ is finite we have $V = U \times _ X Y$. Hence $j_!f_*f^{-1}\mathcal{G} = \overline{f}_*j'_!f^{-1}\mathcal{G}$ by Lemma 54.54.3. By Lemma 54.78.5 it suffices to prove the lemma for $j'_!f^{-1}\mathcal{G}$. The existence of the filtration given by Lemma 54.65.2, the fact that $j'_!$ is exact, and Lemma 54.78.4 reduces us to the case $\mathcal{F} = j'_!\underline{\mathbf{Z}/\ell \mathbf{Z}}$ which is Lemma 54.78.7. $\square$

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