The Stacks project

Compare with discussion in [Rizzardo].

Lemma 56.9.8. Let $S$ be a Noetherian scheme. Let $Y \to S$ be a flat proper Gorenstein morphism and let $X \to S$ be a finite type morphism. Denote $\omega ^\bullet _{Y/S}$ the relative dualizing complex of $Y$ over $S$. Let $\Phi : D_\mathit{QCoh}(\mathcal{O}_ X) \to D_\mathit{QCoh}(\mathcal{O}_ Y)$ be a Fourier-Mukai functor with perfect kernel $K \in D_\mathit{QCoh}(\mathcal{O}_{X \times _ S Y})$. Denote

\[ K' = (Y \times _ S X \to X \times _ S Y)^*(K^\vee \otimes _{\mathcal{O}_{X \times _ S Y}}^\mathbf {L} L\text{pr}_2^*\omega ^\bullet _{Y/S}) \in D_\mathit{QCoh}(\mathcal{O}_{Y \times _ S X}) \]

and denote $\Phi ' : D_\mathit{QCoh}(\mathcal{O}_ Y) \to D_\mathit{QCoh}(\mathcal{O}_ X)$ the corresponding Fourier-Mukai transform. There is a canonical isomorphism

\[ \mathop{\mathrm{Hom}}\nolimits _ Y(N, \Phi (M)) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _ X(\Phi '(N), M) \]

functorial in $M$ in $D_\mathit{QCoh}(\mathcal{O}_ X)$ and $N$ in $D_\mathit{QCoh}(\mathcal{O}_ Y)$.

Proof. By Lemma 56.9.2 we obtain a functor $\Phi $ as in the statement.

Observe that formation of the relative dualizing complex commutes with base change in our setting, see Duality for Schemes, Remark 48.12.5. Thus $L\text{pr}_2^*\omega ^\bullet _{Y/S} = \omega ^\bullet _{X \times _ S Y/X}$. Moreover, we observe that $\omega ^\bullet _{Y/S}$ is an invertible object of the derived category, see Duality for Schemes, Lemma 48.25.10, and a fortiori perfect.

To actually prove the lemma we're going to cheat. Namely, we will show that if we replace the roles of $X$ and $Y$ and $K$ and $K'$ then these are as in Lemma 56.9.7 and we get the result. It is clear that $K'$ is perfect as a tensor product of perfect objects so that the discussion in Lemma 56.9.7 applies to it. To show that the procedure of Lemma 56.9.7 applied to $K'$ on $Y \times _ S X$ produces a complex isomorphic to $K$ it suffices (details omitted) to show that

\[ R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (K, \omega ^\bullet _{X \times _ S Y/X}), \omega ^\bullet _{X \times _ S Y/X}) = K \]

This is clear because $K$ is perfect and $\omega ^\bullet _{X \times _ S Y/X}$ is invertible; details omitted. Thus Lemma 56.9.7 produces a map

\[ \mathop{\mathrm{Hom}}\nolimits _ Y(N, \Phi (M)) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _ X(\Phi '(N), M) \]

functorial in $M$ in $D_\mathit{QCoh}(\mathcal{O}_ X)$ and $N$ in $D_\mathit{QCoh}(\mathcal{O}_ Y)$ which is an isomorphism because $K'$ is perfect. This finishes the proof. $\square$


Comments (4)

Comment #5341 by Bogdan on

Don't we want to assume that is flat and proper as opposed to ?

This would guarantee that is flat and proper, so is in . Otherwise, it seems false unless I miss something.

If we take and , we get that is not coherent. And if we take and , we get that is not bounded.

Comment #5342 by Bogdan on

Also, it seems that the argument only constructs a map . Tag 0FYW guarantees that it is an isomorphism if is perfect. If , it boils down to perfectness of . And if we further assume that and is proper over , the complex is perfect if and only if is Gorenstein.

Comment #5343 by on

Yes, I think you are right. I will carefully look at this and fix this tomorrow. Luckily the assumptions hold in the only place we use it. Thanks very much!

Comment #5345 by on

Again thanks. I have now fixed this here in exactly the manner you suggested.


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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FYX. Beware of the difference between the letter 'O' and the digit '0'.