Definition 52.6.4. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{I} \subset \mathcal{O}$ be a sheaf of ideals. Let $K \in D(\mathcal{O})$. We say that $K$ is derived complete with respect to $\mathcal{I}$ if for every object $U$ of $\mathcal{C}$ and $f \in \mathcal{I}(U)$ the object $T(K|_ U, f)$ of $D(\mathcal{O}_ U)$ is zero.

There are also:

• 2 comment(s) on Section 52.6: Derived completion on a ringed site

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).