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?