**Proof.**
Proof of (1). Let $U$ be an object of $\mathcal{C}$. By replacing $U$ by the members of a covering and replacing $\mathcal{C}$ by the localization $\mathcal{C}/U$ we may assume there exist strictly perfect complexes $\mathcal{K}^\bullet $ and $\mathcal{L}^\bullet $ and maps $\alpha : \mathcal{K}^\bullet \to K$ and $\beta : \mathcal{L}^\bullet \to L$ with $H^ i(\alpha )$ and isomorphism for $i > n$ and surjective for $i = n$ and with $H^ i(\beta )$ and isomorphism for $i > m$ and surjective for $i = m$. Then the map

\[ \alpha \otimes ^\mathbf {L} \beta : \text{Tot}(\mathcal{K}^\bullet \otimes _\mathcal {O} \mathcal{L}^\bullet ) \to K \otimes _\mathcal {O}^\mathbf {L} L \]

induces isomorphisms on cohomology sheaves in degree $i$ for $i > t$ and a surjection for $i = t$. This follows from the spectral sequence of tors (details omitted).

Proof of (2). Let $U$ be an object of $\mathcal{C}$. We may first replace $U$ by the members of a covering and $\mathcal{C}$ by the localization $\mathcal{C}/U$ to reduce to the case that $K$ and $L$ are bounded above. Then the statement follows immediately from case (1).
$\square$

## Comments (0)