Remark 74.17.4 (Variant with support). Let $S$ be a scheme. Let $X$ be a quasi-compact and quasi-separated algebraic space. Let $T \subset |X|$ be a closed subset such that $|X| \setminus T$ is quasi-compact. The analogue of Theorem 74.17.3 holds for $D_{\mathit{QCoh}, T}(\mathcal{O}_ X)$. This follows from the exact same argument as in the proof of the theorem, using Lemmas 74.15.6 and 74.16.3 and a variant of Lemma 74.17.1 with supports. If we ever need this, we will precisely state the result here and give a detailed proof.
Post a comment
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)