Non-uniqueness of Fourier-Mukai kernels (Q455629)

Let \(X_1\) and \(X_2\) be two smooth projective varieties and let \(\mathcal{E}\) be an object in \(D^b(X_1\times X_2)\), the bounded derived category of coherent sheaves on \(X_1\times X_2\). The Fourier--Mukai functor \(\Phi_\mathcal{E}\) with kernel \(\mathcal{E}\) is by definition the functor \(\Phi_\mathcal{E}: D^b(X_1)\to D^b(X_2)\), \(F\mapsto (p_{X_2})_*(\mathcal{E}\otimes p_{X_1}^*F)\). In fact, this defines a functor \(\Phi^{X_1\to X_2}_-: D^b(X_1\times X_2)\to \text{ExFun}(D^b(X_1),D^b(X_2))\), where the latter is the category of exact functors from \(D^b(X_1)\) to \(D^b(X_2)\). In the paper under review the authors investigate the functor \(\Phi^{X_1\to X_2}_-\). More precisely, they show that if \(X_1=X_2=X\) is an elliptic curve over an algebraically closed field, then there exist \(\mathcal{E}_1\), \(\mathcal{E}_2\) in \(D^b(X\times X)\) such that \(\mathcal{E}_1\ncong \mathcal{E}_2\) but \(\Phi_{\mathcal{E}_1}\cong \Phi_{\mathcal{E}_2}\). Hence, \(\Phi^{X_1\to X_2}_-\) is not essentially injective. The proof uses, in particular, statements about indecomposable vector bundles on elliptic curves and is given in Section 3. In the previous section the authors show that \(\Phi^{X_1\to X_2}_-\) is neither faithful nor full if either \(X_1\) or \(X_2\) is one-dimensional. It is also shown that \(\Phi^{X_1\to X_2}_-\) is essentially injective, if either \(X_1\) or \(X_2\) is \(\mathbb{P}^1\). Combined with the previous statement, this implies that if either \(X_1\) or \(X_2\) is \(\mathbb{P}^1\) and the other variety is not zero-dimensional, there does not exist a triangulated structure on \(\text{ExFun}(D^b(X_1),D^b(X_2))\) such that \(\Phi^{X_1\to X_2}_-\) is exact. In the last section the authors prove the following statement. If \(X_1\) and \(X_2\) are projective schemes and \(\Phi_{\mathcal{E}_1}\), \(\Phi_{\mathcal{E}_2}\) are isomorphic Fourier--Mukai functors from \(\text{Perf}(X_1)\), the category of perfect complexes on \(X_1\), to \(D^b(X_2)\), then the cohomology objects of \(\mathcal{E}_1\) and \(\mathcal{E}_2\) are isomorphic.