In the section 3.2 of Sheaves in Topology by A. Dimca, the author explains that if $f:X\to Y$ is a continuous map (between locally compact, $\sigma$-compact topological spaces with finite homological dimension, where he doesn't seem to assume that they are Hausdorff) such that $f_!$ has finite cohomological dimension, then the following holds:

(Verdier duality, local form) There is an additive functor of triangulated categories $f^!:\mathsf{D}^+(Y)\to \mathsf{D}^+(X)$ such that there is a functorial isomorphism $$\mathsf{R}\underline{\operatorname{Hom}}^\bullet(\mathsf{R}f_! \mathscr{F}^\bullet,\mathscr{G}^\bullet)\cong \mathsf{R}f_*\mathsf{R}\underline{\operatorname{Hom}}^\bullet(\mathscr{F}^\bullet,f^!\mathscr{G}^\bullet)$$ in $\mathsf{D}^+(Y)$ for any $\mathscr{F}^\bullet\in\mathsf{D}^b(X)$ and $\mathscr{G}^\bullet\in\mathsf{D}^+(Y)$.

He then says that this applies in particular to complex algebraic and analytic varieties. I then have two questions:

1. Do we really need all those hypotheses? Perhaps we can use Brown's representability theorem to prove it under more general conditions for the unbounded derived category? (There's a post here on MO about using this theorem but there it is under less general conditions.)
2. I know the usefulness of Verdier's duality in topology, for étale / $\ell$-adic sheaves, and for $\mathcal{D}$-modules. Is Verdier duality also useful for algebraic varieties (even more general schemes?) endowed with the Zariski topology?