New enhancements of derived categories of coherent sheaves and applications (Q891659): Difference between revisions

Let \(\mathscr T\) be a triangulated category. An enhancement of \(\mathscr T\) is a pair \((\mathfrak A, \epsilon)\), where \(\mathfrak A\) is a pretriangulated DG category and \(\epsilon\) is an equivalence between \(H^0(\mathfrak A)\) and \(\mathscr T\). The authors find new enhancements for the bounded derived category \(D^b(\text{Coh} X)\) of coherent sheaves, and for its subcategory \(\text{Perf} X\) of perfect complexes. Here \(X\) is a Globally Strictly Perfect scheme, that is a quasi-compact separated scheme such that any perfect complex on it is isomorphic to a bounded complex of vector bundles. These enhancements allows the authors to compare Fourier-Mukai functors to functors between derived categories of dg-algebras. They proved the following. Let \(X\) and \(Y\) be Globally Strictly Perfect schemes. Any choice of compact generators provides dg algebras \(A\) and \(B\) such that the derived categories \(D(\text{QCoh} X)\) and \(D(\text{QCoh} Y)\) are equivalent to the derived categories of dg modules \(D(A)\) and \(D(B)\), respectively. Given a Fourier-Mukai functor \(\Phi_K:D(\text{QCoh} X) \to D(\text{QCoh} Y)\), there exists an equivalence \(\Theta: D(\text{QCoh} X \times Y) \cong D(A^{\text{op}} \otimes B)\), such that the following diagram commutes \[ \begin{tikzcd} D(\text{QCoh} X)\arrow[r, "\Phi_K"] \arrow[d, "\sim" '] & D(\text{QCoh} Y)\arrow[d, "\sim"] \\ D(A) \arrow[r, "- \otimes_A^{\mathrm L}M" '] & D(B)\end{tikzcd} \] In the second part of the work, the authors use these results to find relations between homological smoothness of \(\text{Perf} X\) and geometric smoothness of \(X\). Moreover, they also characterize the properness of \(\text{Perf} X\) and \(D^b(\text{Coh} X)\) geometrically. The three appendices at the end of the paper contains several results about triangulated categorie, dg endomorphism algebras and Čech enhancements for locally integral schemes.