The Stacks project

Definition 64.18.6. A $\mathbf{Z}_\ell$-sheaf $\mathcal{F}$ is torsion if $\ell ^ n : \mathcal{F} \to \mathcal{F}$ is the zero map for some $n$. The abelian category of $\mathbf{Q}_\ell$-sheaves on $X$ is the quotient of the abelian category of $\mathbf{Z}_\ell$-sheaves by the Serre subcategory of torsion sheaves. In other words, its objects are $\mathbf{Z}_\ell$-sheaves on $X$, and if $\mathcal{F}, \mathcal{G}$ are two such, then

We denote by $\mathcal{F} \mapsto \mathcal{F} \otimes \mathbf{Q}_\ell$ the quotient functor (right adjoint to the inclusion). If $\mathcal{F} = \mathcal{F}' \otimes \mathbf{Q}_\ell$ where $\mathcal{F}'$ is a $\mathbf{Z}_\ell$-sheaf and $\bar x$ is a geometric point, then the stalk of $\mathcal{F}$ at $\bar x$ is $\mathcal{F}_{\bar x} = \mathcal{F}'_{\bar x} \otimes \mathbf{Q}_\ell$.