Kernel algebras and generalized Fourier-Mukai transforms (Q535407): Difference between revisions

It is known that any exact equivalence between the bounded derived categories of coherent sheaves \({\text D}^{\text b}(X)\) and \({\text D}^{\text b}(Y)\) on two smooth projective varieties \(X\) and \(Y\) is of Fourier--Mukai type, that is, it is given by an object in \({\text D}^{\text b}(X\times Y)\), often called a kernel. In general, we can associate an exact functor to any object in \({\text D}^{\text b}(X\times Y)\) and composition of these so-called integral transforms corresponds to taking convolution of the kernels. The paper under review studies kernel algebras, that is, algebra objects in the category of kernels with respect to the monoidal structure given by the convolution. It can be checked that many interesting categories, for example \(D\)-modules, can be viewed as (suitably defined) categories of modules over kernel algebras. One of the results proved in the paper is the following. An equivalence of derived categories of sheaves over \(X\) and \(Y\) extends to a correspondence between kernel algebras over \(X\) and \(Y\) and, under certain technical assumptions, the corresponding derived categories of modules are equivalent. The author also proves that one can associate a kernel algebra with an action of a finite group scheme \(G\) on the derived category of quasi-coherent sheaves on \(X\) and if \(G\) actually acts on \(X\), then the category of modules over the algebra is equivalent to the category of \(G\)-equivariant sheaves. This latter result admits generalisations: For example, if \(G\) acts on the category of sheaves on \(X\) by autoequivalences induced by automorphisms of \(X\) combined with tensoring by line bundles, then the modules over the corresponding algebra can be interpreted as twisted \(G\)-equivariant sheaves on \(X\). In the last section the developed techniques are applied to construct an analogue of Fourier--Mukai transform for generalised 1-motives.