Fourier--Mukai transforms for Gorenstein schemes (Q877734): Difference between revisions

What is now called a Fourier-Mukai functor was first studied by \textit{S. Mukai} [Nagoya Math. J. 81, 153--175 (1981; Zbl 0417.14036)]. Such a functor sends an object \(F\) of a derived category on \(X\) to \(Rq_{\ast}(K \otimes p^{\ast} F)\), where the so-called kernel \(K\) is an object of a derived category on \(X\times Y\) and \(p: X\times Y \rightarrow X\) and \(q: X\times Y\rightarrow Y\) are projections in the category of schemes. Such functors were shown to be a useful tool in the study of moduli spaces of coherent sheaves and to understand the structure of the derived category of coherent sheaves on a smooth variety. More recently, attempts were made to use derived categories and Fourier-Mukai functors to tackle problems in higher dimensional birational geometry. The relevance of Fourier-Mukai functors in the smooth case is highlighted by Orlov's Theorem which says that any exact equivalence between bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. Fourier-Mukai functors on singular varieties have not yet been studied in depth. The paper under review is one of the first attempts to generalise results to singular varieties which were previously known in the smooth case only. One of the main results of this article is a characterisation of those kernels \(K\) which give fully faithful functors (resp. equivalences) between bounded derived categories on Gorenstein schemes. This generalises a result of \textit{A. Bondal} and \textit{D. Orlov} [Semiorthogonal decomposition for algebraic varieties, preprint MPIM 95/15 (1995), see also \url{arXiv:math/9506012}]. An interesting example in characteristic \(p>0\) is provided which shows that the given criterion does not hold in the case of positive characteristic. As an application of their characterisation of Fourier-Mukai equivalences, the authors show that the dimension and the order of the canonical line bundle are Fourier-Mukai invariants of projective Gorenstein schemes. In the final section of this paper, relative Fourier-Mukai transforms are studied. As their main application, they give a new proof of a result of \textit{I. Burban} and the reviewer [Manuscr. Math. 120, No. 3, 283--306 (2006; Zbl 1105.18011)] which says that the Fourier-Mukai functor, given by the relative Poincaré bundle of an elliptic fibration with irreducible fibres, is an equivalence.