Let $\ell$ be a prime number and let $f:X \to Y$ be a morphism of schemes of finite type over the complex numbers (or a regular scheme of dimension at most 1, in which $\ell$ is invertible). How to prove that the $\ell$-cohomological dimension of $Rf_*$ in the etale topology is finite? I don't understand the proof in Kiehl and Weissauer's book "Weil Conjectures, Perverse Sheaves and l’adic Fourier Transform", Appendix D, since there is no base change for $f_*$. The crucial case seems to be when $f$ is an open immersion.
And what about the analytic version? $f:X \to Y$ is a morphism of complex analytic spaces, and $F$ is a sheaf of abelian groups on $X$ (in particular, no $\ell$).