On functorial isomorphism in the derived category of \(\ell\)-adic sheaves (Q5954026)

Let \(\mathbb F\) be the algebraic closure of the field \({\mathbb F}_{p}\) of \(p\) elements and \({\mathbb Q}_{\ell}\) the field of \(\ell\)-adic numbers, \(\ell\) is a prime, \(\ell\not=p.\) The bounded derived category of \(\ell\)-adic sheaves on a scheme \(X\) over \(\mathbb F\) is denoted by \(D^{b}(X, {\mathbb Q}_{\ell}).\) Let \(B\) be a quasicompact scheme over \(\mathbb F\) and \(h: E\to B\) a vector bundle of dimension \(d\) over \(\mathbb F .\) It is shown that the functor \(\overline{R}h h^{\ast}: D^{b}(B, {\mathbb Q}_{\ell})\to D^{b}(B, {\mathbb Q}_{\ell})\) is isomorphic to the (twisted) shift functor \([-2d](-d)\).