Remark 52.6.15 (Completed tensor product). Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{I} \subset \mathcal{O}$ be a finite type sheaf of ideals. Denote $K \mapsto K^\wedge $ the adjoint of Proposition 52.6.12. Then we set

This *completed tensor product* defines a functor $D_{comp}(\mathcal{O}) \times D_{comp}(\mathcal{O}) \to D_{comp}(\mathcal{O})$ such that we have

for $K, L, M \in D_{comp}(\mathcal{O})$. Note that $R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(L, M) \in D_{comp}(\mathcal{O})$ by Lemma 52.6.5.

## Comments (0)

There are also: