Point systems in saturated dg-categories (Q341059)

The result presented in this paper should be put in the context of so called reconstruction theorems. General philosophy of modern non-commutative geometry, which motivated greatly the study of dg-categories and dg-algebras, is that the bounded derived category (or dg-category of complexes) of a scheme contains many geometric invariants and is intrinsically a non commutative object associated to a scheme. However, a natural question that arises is under which conditions from a triangulated category (or pretriangulated dg-category) one can reconstruct an actual scheme whose bounded derived category (dg-category of complexes) is equivalent to the given one. A first instance of these type of theorems is a famous result by \textit{A. Bondal} and \textit{D. Orlov} [Compos. Math. 125, No. 3, 327--344 (2001; Zbl 0994.18007)]: they show that for a smooth projective variety \(X\) whose canonical (general type case) or anti-canonical (Fano case) bundle is trivial the bounded derived category of coherent sheaves determines uniquely the isomorphism class of \(X\) as a variety. The results of this paper can be seen as a remarkable upgrade of this statement. The authors provide necessary and sufficient conditions on a subset of equivalence classes of objects in a dg-category \(T\) under which there exists a smooth, separated of finite type algebraic space \(X\), a \(\mathbb{G}_m\)-gerbe over it and a dg-functor from \(T^{op}\) to the dg-category of perfect complexes over \(X\) twisted by the class corresponding to the gerbe under which the given subset corresponds to the skyscraper sheaves on \(X\). Moreover, they show that \(X\) is proper if and only if such a dg-functor is an equivalence. Stated in less technical terms, they show under which conditions on a dg-category and a set of its objects, one can construct a genuine space such that these objects correspond to the skyscraper sheaves on the space in the dg-category of perfect complexes. The proofs presented appear to be correct. The conditions that both the dg-category and the subset of equivalence classes of object need to satisfy, however, as stated by the authors themselves in the introduction, are quite delicate to check in terms of the given dg-category alone and hence they present a level of complexity for direct applications. Nevertheless, this work is subject to further improvements and should be understood as a first step in this direction. Very interesting how the authors show that instances of the Mc-Kay correspondence manifest from their result and the possible directions of applications highlighted in the introduction (Homological Mirror Symmetry and construction of derived equivalences).