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) 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)$.
> 
> 
> 


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.)


**Edit:** Let me be clear about my "proposed" proof. Let $f:X\to Y$ be a morphism of (locally compact) ringed spaces and $\mathsf{D}(X),\mathsf{D}(Y)$ be their derived categories of modules. The tag 0F5Y on the Stacks Project implies that any triangulated functor $\mathsf{D}(X)\to\mathsf{D}(Y)$ which preserves direct sums has a right adjoint.


If we could prove that $\mathsf{R}f\_!$ preserves infinite direct sums, then we would conclude the existence of a functor $f^!:\mathsf{D}(Y)\to\mathsf{D}(X)$ such that
$$\hom\_{\mathsf{D}(Y)}(\mathsf{R}f\_!\mathscr{F}^\bullet,\mathscr{G}^\bullet)\cong \hom\_{\mathsf{D}(X)}(\mathscr{F}^\bullet,f^!\mathscr{G}^\bullet)$$
naturally in $\mathscr{F}^\bullet$ and $\mathscr{G}^\bullet$. This yields the local form as usual (for example, prop. 3.1.10 in Sheaves in Manifolds).



Verdier duality under more general conditions
The status of the following answer is a bit speculative, unfortunately. To be precise, I believe that all of what I say below is true; I also believe that there is no proof in the literature of some of the things I state below, and I am not enough of an expert to supply those proofs. Nevertheless I'm putting it out there in the hope that it can be helpful.


First of all, when dealing with unbounded complexes of sheaves one runs into the issue of *hypercompleteness*, and I have to say something about this. Let's first do the purely psychological change that instead of complexes of sheaves, we think of sheaves of complexes. Chain complexes are most naturally thought of as an $\infty$-category, once we localize at quasi-isomorphisms, so one is then led to thinking about sheaves valued in an $\infty$-category. Now a sheaf on a space $X$ in a complete 1-category $C$ is is a functor $F \colon \mathrm{Op}(X)^{op} \to C$ such that if $\{U\_i \to U\}$ is an open cover of a subset $U$, then $F(U)$ is the equalizer (limit) of the two arrows $\prod\_i F(U\_i) \to \prod\_{i,j} F(U\_i \cap U\_j)$. If $C$ is an $\infty$-category then the limit must be a homotopy limit, taking higher coherences into account, and then the proper definition of a $C$-valued sheaf turns out to be that the natural map from $F(U)$ to the (homotopy) limit of the cosimplicial diagram which in level $n$ is given by $\prod\_{i\_1,\ldots,i\_n} F(U\_{i\_1} \cap \ldots \cap U\_{i\_n})$, is an isomorphism. This specializes to the usual $1$-categorical sheaf axiom when $C$ is a 1-category.


When we take $C$ to be the $\infty$-category of bounded below cochain complexes modulo quasi-isomorphism, then the $\infty$-category of $C$-valued sheaves on $X$ is an $\infty$-categorical enhancement of the derived category $D^+(X)$. But if we consider instead *unbounded* complexes, the analogous statement is *false*. Namely, the $\infty$-categorical sheaf axiom from the previous paragraph describes what's known as descent for *Cech covers*. To recover the classical unbounded derived category one must instead impose descent for *hypercovers*. In a sense this has been known since the 60's, and traditionally this has been interpreted as meaning that Cech descent produces the "wrong" answer, and hypercovers "correct" this deficiency. After Lurie, a more modern perspective is that Cech descent is for many purposes more natural. In any case, the upshot is that for a space $X$ there are two typically inequivalent notions one can consider: $\infty$-sheaves on $X$ valued in unbounded complexes of sheaves, and hypersheaves on $X$ valued in unbounded complexes. The latter category can be recovered from the former via the process of hypercompletion, and the latter produces an $\infty$-categorical enhancement of the classical unbounded derived category.


Now you mention the condition $(\ast)$ in Spaltenstein's paper, which looks like it is just an annoying technicality, and whether it can be removed using more modern homotopical machinery. I believe instead that the result is just plain false without some condition like $(\ast)$. More specifically I think that if a space $X$ satisfies condition $(\ast)$ then this forces Cech descent and hyperdescent to coincide for abelian sheaves, and that this is fundamentally the reason that $(\ast)$ appears in Spaltenstein's paper. Namely, Spaltenstein's Theorem B concerns the classical unbounded derived category, and I believe that all of these results fail in general when one works with hypersheaves. But a very general version of Spaltenstein's Theorem B should hold if one works with $\infty$-sheaves throughout, with no condition like $(\ast)$ or finiteness.


Here's one reason to believe this. Part of Spaltenstein's Theorem B is proper base change. In Higher Topos Theory, Lurie proves a very general nonabelian version of proper base change, which implies the classical one. Crucially, Lurie's version of proper base change is a theorem for $\infty$-sheaves, not hypersheaves (and he gives an example where proper base change fails for hypersheaves). In particular it implies a form of proper base change for $\infty$-sheaves of unbounded complexes on a space $X$, and *not* for hypersheaves. Now I should add that in Higher Topos Theory Lurie only considers proper morphisms, so he works in the setting where $f\_! = f\_\ast$. So he does not introduce the functors $f\_!$ or $f^!$ to state his result.


Another indication that $(\ast)$ is actually about hypercompleteness is that Spaltenstein remarks that locally finite dimensional spaces satisfy $(\ast)$. But locally finite dimensional things should also be hypercomplete. More precisely, Lurie proves this statement in HTT, if "dimension" is interpreted as "homotopy dimension", a notion that he introduces. For paracompact topological spaces, "homotopy dimension" coincides with "covering dimension". Spaltenstein doesn't elaborate on what notion of dimension he's thinking of but I assume cohomological dimension.


In any case, it is true that higher category theory can be used to give constructions of $f\_!$ and $f^!$, under milder hypotheses than what Spaltenstein uses. Namely, $f\_!$ and $f^!$ should exist for any continuous map between locally compact Hausdorff spaces, for $\infty$-sheaves valued in any complete and cocomplete stable $\infty$-category. Unlike Lurie's proper base theorem which is fully nonabelian (ie works for sheaves of spaces), this part of the story uses stability in a crucial way. In Higher Topos Theory, Lurie proves that on a locally compact Hausdorff space $X$, $\infty$-sheaves on $X$ can be described equivalently in terms of functors taking values on open subsets of $X$, or taking values on compact subsets of $X$. If the target category is moreover stable then this can be used to construct an equivalence of $\infty$-categories between *sheaves* and *cosheaves* on $X$. There is a natural pushforward operation on cosheaves, much like the pushforward of sheaves. Translating the pushforward functor via the sheaf-cosheaf equivalence to an operation on sheaves, one recovers precisely the functor $f\_!$. By the adjoint functor theorem one directly gets $f^!$, too. This is sketched in [https://www.math.ias.edu/~lurie/282ynotes/LectureXXI-Verdier.pdf](https://www.math.ias.edu/%7Elurie/282ynotes/LectureXXI-Verdier.pdf)


In your second question it sort of sounds like you are asking about whether versions of the functors $f\_!$ and $f^!$ can be useful in coherent cohomology (and you are not just asking about Grothendieck duality). Something like this is true in the setting of condensed mathematics. One version of six-functors formalism is in the final chapter of Scholze's "Condensed mathematics", but even closer to what you're looking for is I think the material from Dustin Clausen's final lecture in the Copenhagen Masterclass (you can find it on Youtube), which I will not attempt to summarize.


