# Cohomology of inverse image sheaf

It seems to me that in Travaux de Griffiths (equation 3.2.1), Deligne casually mentions a theorem along the following lines:

Let $f: X \to B$ be a proper map of topological spaces. Suppose $\mathcal{A}$ denotes one of the constant sheaves $\mathbb{Z}, \mathbb{C}$ (on any space). Let $\mathcal{B}$ be an $\mathcal{A}$-module on $B$. Then there exists a canonical isomorphism $$\mathcal{B} \otimes_{\mathcal{A}_B} R^n f_* (\mathcal{A}_X) \to R^n f_* (f^{-1} \mathcal{B}).$$

Where does this morphism come from in the first place (presumably adjointness of $f_*$, $f^{-1}$?), and why is it an isomorphism? It feels to me like this should be a standard fact (but I haven't come across it so far), any reference would be appreciated.

Note: in the context of this article, $X$, $B$ are complex manifolds and $f$ is smooth and submersive. My gut feeling is that this should not matter here.

Thanks in advance, Tom

-

Proposition. Let $f:X\to Y$ be a separated and quasi-compact morphism of schemes. Let $\newcommand{\F}{\mathcal F}\F$ be a quasi-coherent sheaf on $X$. Let $\newcommand{\G}{\mathcal G}\G$ be a quasi-coherent sheaf on $Y$. Then for any $p>0$, we have a canonical homomorphism $$(R^pf_\ast\F)\otimes_{\newcommand{\O}{\mathcal O}\O_Y}\G \longrightarrow R^pf_\ast(\F\otimes_{\O_X}f^\ast\G).$$
Now substitute $\G=\newcommand{\B}{\mathcal B}\B$, $\F=\newcommand{\A}{\mathcal A}\A$, $Y=B$ and $n=p$ and this looks very similar.