Algebraization of complex analytic varieties and derived categories. (Q957872): Difference between revisions

From the introduction: ``If \(X\) is a smooth proper scheme over \(\mathbb C\) (or more generally a smooth and proper complex algebraic space), the triangulated category \(D_{parf}(X)\) of complex perfect \(\mathcal{O}_X\)-modules has remarkable finiteness properties. \textit{A. Bondal} and \textit{M. van den Bergh} have shown [Mosc. Math. J. 3, No. 1, 1--36 (2003; Zbl 1135.18302)] that \(D_{parf}(X)\) is saturated, i.e. the global Exts have finite dimension and every cohomological functor \(H: D_{parf}(X)^{op} \rightarrow Vect\) of finite type is representable. Moreover they also showed that if \(X\) is a complex compact surface that does not contain any compact curve, then \(D_{parf}(X)\) is not saturated. Thus one expects that if the perfect triangulated category of a compact complex variety is saturated, the variety is algebraizable.'' The aim of the article under review is to show this statement under a slightly modified hypothesis: one replaces the triangulated categories by the more flexible dg-categories. For a compact complex variety \(X\), the triangulated category \(D_{parf}(X)\) is the homotopy category of a natural dg-category \(L_{parf}(X)\) introduced by the authors in [Ann. Sci. Éc. Norm. Supér. (4) 40, No. 3, 387--444 (2007; Zbl 1140.18005)]. Furthermore they defined a notion of saturated dg-category similar to the one for triangulated categories. The main statement is as follows: let \(X\) be a compact, smooth analytic space. Then \(X\) is algebraizable (by an algebraic space) if and only if the dg-category \(L_{parf}(X)\) is saturated. While it is well-known that the condition on the dg-category is necessary, the difficult part of the proof is to show that it is sufficient. It is an application of the authors' previous paper [loc. cit.] where it had been shown that the moduli stack of simple objects in the saturated dg-category \(L_{parf}(X)\) is an algebraic space.