Abstract
The aim of this mainly expository note is to point out that, given an Fourier-Mukai functor, the condition making it fully faithful is an instance of generic vanishing. We test this point of view on some fairly classical examples, including the strong simplicity criterion of Bondal and Orlov, the standard flip and the Mukai flop.
Similar content being viewed by others
Notes
Note that in loc cit condition (i) is stated in a different way, namely \(R^j\Phi ^{Y\rightarrow Z}_{{\mathcal {E}}^\vee \otimes p_Z^*\omega _Z}({\mathcal {F}}^\vee \otimes \omega _Y)=0\) for \(j>\dim Y\). This is equivalent to (i) by duality and base-change. Indeed by duality (i) is equivalent to the fact the loci \(V^j_{{\mathcal {P}}^\vee \otimes p_Z^*\omega _Z}(Y, {\mathcal {F}}^\vee \otimes \omega _Y)\) are empty for all \(j>\dim Y\), which is in turn equivalent (by an easy application of base-change) to the vanishing of the sheaves \(R^j\Phi ^{ Y\rightarrow Z}_{{\mathcal {E}}^\vee \otimes p_Z^*\omega _Z}({\mathcal {F}}^\vee \otimes \omega _Y)=0\) for all \(j>\dim Y\).
Condition (c) is more usually expressed in the dual way, namely \(H^i(Y,F\otimes \Phi _{{\mathcal {P}}[\dim Z]}^{Z\rightarrow Y}(A^\vee ))=0\) for \(i\ne 0\) (see e.e. [21] Cor. 3.11(b)). By duality and Serre vanishing it is easily seen that the two formulations are equivalent.
In fact it is well known that the sheaf \({{\widehat{\omega _Y}}}\) has the “base-change property”, namely, in the present case, the natural map \(tor_0({{\widehat{\omega _Y}}},k_{(x,x\prime )})\rightarrow H^{\dim Y}(Y,\omega _Y\otimes \Phi _{{\mathcal {E}}^\vee \boxtimes _Y{\mathcal {E}}}^{X\times X\rightarrow Y}(k_{(x,x^\prime )}))\) is an isomorphism. This is proved as follows: condition (a) can be stated as \(V^i_{{\mathcal {E}}\boxtimes _Y{\mathcal {E}}^\vee }(Y, OO_Y)=\emptyset \) for \(i>0\) or, dually, \(V^i_{{\mathcal {E}}^\vee \boxtimes _Y{\mathcal {E}}}(\omega _Y)=\emptyset \) for \(i>\dim Y\). By a well known base change argument (see e.g. [17] 1.3 or [21], proof of Lemma 3.6) this implies that \({{\widehat{\omega _Y}}}\) has the base change property.
This is also the key ingredient in the proof of the equivalence between (b) and (c) of Theorem 2.3.
Note that this implies that \(\Phi _{\mathcal {P}}^{X\rightarrow {\widehat{X}}}\) it is in fact an equivalence. Moreover, since \({\mathcal {P}}^\vee =(-id,id)^*=(id,-id)^*{\mathcal {P}}\), this proves also that
$$\begin{aligned} \Phi _{\mathcal {P}}^{X\rightarrow {\widehat{X}}}\circ \Phi _{\mathcal {P}}^{{\widehat{X}}\rightarrow X}=(-id)^*[-\dim X] \end{aligned}$$i.e. the theorem of Mukai in [14].
References
Bondal, A., Orlov, D.: Semiorthogonal decomposition for algebraic varieties. ar**v:alg-geom/9506012
Bridgeland, T.: Equivalences of triangulated categories and Fourier-Mukai functors. Bull. Lond. Math. Soc. 31, 25–34 (1999)
Cautis, S.: Equivalences and stratified flops. Compos. Math. 148, 185–208 (2012)
Green, M., Lazarsfeld, R.: Deformation theory, generic vanishing theorems, and some conjectures of Enriques, Catanese and Beauville. Invent. Math. 90, 389–407 (1987)
Green, M., Lazarsfeld, R.: Higher obstructions to deforming cohomology groups of line bundles. J. Am. Math. Soc. 1, 87–103 (1991)
Hacon, Ch.: A derived category approach to generic vanishing. J. Reine Angew. Math. 575, 173–187 (2004)
Hernández, D., Ruipérez, A.C., López Martín, F., de Salas, Sancho: Fourier-Mukai transform for Gorenstein schemes. Adv. Math. 211, 594–620 (2007)
Huybrechts, D.: Fourier-Mukai transforms in algebraic geometry. Clarendon, Oxford (2006)
Kashiwara, M.: t-structures on the derived categories of holonomic \({\cal D}\)-modules and coherent \({\cal O}\)-modules. Moscow Math. J. 4, 847–868 (2004)
Kawamata, Y.: D-equivalence and K-equivalence. J. Differ. Geom. 61, 147–171 (2002)
Kawamata, Y.: Derived equivalence for stratified Mukai flop on G(2,4), in Mirror symmetry V, AMS/IP Stud. Adv. Math. Am. Math. Soc. 38, 285–294 (2006)
López-Martín, A.C.: Fully faithfulness criteria, appendix to: M. Melo, A. Rapagnetta, F. Viviani, Fourier-Mukai and autoduality for compactified jacobians, I, (version 2). ar**v:1207.7233v2 [alg-geom]
Markman, E.: Brill-Noether duality for moduli spaces of sheaves on K3 surfaces. J. Algebraic Geom. 10, 623–694 (2001)
Mukai, S.: Duality between D(\(X\)) and D(\({\hat{X}}\)) with its application to Picard sheaves. Nagoya Math. J. 81, 153–175 (1981)
Namikawa, Y.: Mukai flops and derived categories. J. Reine Angew. Math. 560, 65–76 (2003)
Namikawa, Y.: Mukai flops and derived categories II, in Algebraic structures and moduli spaces, CRM Proc. Lecture Notes. Am. Math. Soc. 38, 149–175 (2004)
Pareschi, G.: Basic results on irregular varieties via Fourier-Mukai methods. In: Current developments in algebraic geometry, vol. 59, pp. 379–403. MSRI Publications, Cambridge University Press, Cambridge (2012)
Pareschi, G., Popa, M.: Regularity on abelian varieties I. J. Am. Math. Soc. 16, 285–302 (2003)
Pareschi, G., Popa, M.: Generic vanishing and minimal cohomology classes on abelian varieties. Math. Ann. 340(1), 209–222 (2008)
Pareschi, G., Popa, M.: Strong generic vanishing and a higher-dimensional Castelnuovo-de Franchis inequality. Duke Math. J. 150, 269–285 (2009)
Pareschi, G., Popa, M.: GV-sheaves, Fourier-Mukai transform, and generic vanishing. Am. J. Math. 133, 235–271 (2011)
Popa, M.: Generic vanishing filtrations and perverse objects in derived categories of coherent sheaves. In: Derived categories in algebraic geometry, pp. 251–277. European Mathematical Society (2012), Tokyo (2011)
Popa, M., Schnell, Ch.: Generic vanishing theory via mixed Hodge modules. Forum Math. Sigma 1, 1–60 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Alexandru T. Lascu.
Rights and permissions
About this article
Cite this article
Pareschi, G. Fully faithful Fourier-Mukai functors and generic vanishing . Ann Univ Ferrara 63, 185–199 (2017). https://doi.org/10.1007/s11565-016-0256-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11565-016-0256-9