Lemma 57.8.2 (0FYR)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 57: Derived Categories of Varieties
Section 57.8: Fourier-Mukai functors
Lemma 57.8.2 (cite)

numberstags

Lemma 57.8.2. Let $S$ be a scheme. Let $X$ and $Y$ be schemes over $S$ . Let $K \in D(\mathcal{O}_{X \times _ S Y})$ . The corresponding Fourier-Mukai functor $\Phi _ K$ sends $D_\mathit{QCoh}(\mathcal{O}_ X)$ into $D_\mathit{QCoh}(\mathcal{O}_ Y)$ if $K$ is in $D_\mathit{QCoh}(\mathcal{O}_{X \times _ S Y})$ and $X \to S$ is quasi-compact and quasi-separated.

Proof. This follows from the fact that derived pullback preserves $D_\mathit{QCoh}$ (Derived Categories of Schemes, Lemma 36.3.8), derived tensor products preserve $D_\mathit{QCoh}$ (Derived Categories of Schemes, Lemma 36.3.9), the projection $\text{pr}_2 : X \times _ S Y \to Y$ is quasi-compact and quasi-separated (Schemes, Lemmas 26.19.3 and 26.21.12), and total direct image along a quasi-separated and quasi-compact morphism preserves $D_\mathit{QCoh}$ (Derived Categories of Schemes, Lemma 36.4.1). $\square$

Comments (0)

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).

Comments (0)

Post a comment