A differential graded approach to the silting theorem (Q2674528)

Let \(A\) be a dg-algebra over a base ring \(k\). The aim of the paper under review is to give a version of a silting theorem analogous to the celebrated tilting theorem of [\textit{V. Dlab} (ed.) and \textit{P. Gabriel} (ed.), Representation theory II. Proceedings of the Second International Conference on Representations of Algebras, Ottawa, Carleton University, August 13-25, 1979. Ed. by V. Dlab and P. Gabriel. Springer, Cham (1980; Zbl 0431.00007)]. Some other versions of a silting theorem are already appeared in the literature, the precise relationships between all of them are yet unclear. Note that until now the terminology is not fully stabilized and the paper use for \textit{silting} the definition of a small silting object in an essentially small subcategory, that is an object \(T\) in the derived category \(\mathcal{D}(A)\) over a dg-agebra \(A\) which is compact, the smallest thick subcategory which contains \(T\) coincide with the category of all compact objects and \({\mathrm{Hom}}_{\mathcal{D}(A)}(T,\Sigma^iT)=0\), for all \(i>0\), where \(\Sigma\) denotes the suspension functor. It is obvious that \(A\) seen as an object in its derived category is compact generator. Moreover if \(A\) is supposed non-positive, that is \(A^i=0\), for \(i>0\), then \({\mathrm{Hom}}_{\mathcal{D}(A)}(A,\Sigma^iA)=0\), for all \(i>0\). That is \(A\) satiafies the condition which appear in the definition of a (small) silting object. Combining this observation with the well known result of [\textit{B. Keller}, Ann. Sci. Ec. Norm. Super. (4) 27, 63--102 (1994; 0799.18007)], that every compact generator \(X\) in an algebraic triangulated categories gives rises to an equivalence with the derived category over its endomorphism dg-algebra \({\mathcal{E}}nd(X)\), sending \(X\) into \({\mathcal{E}}nd(X)\), it follows that a silting object \(T\) in \(\mathcal{D}(A)\), induces an equivalence with \(\mathcal{D}(B)\), where \(B\) is the truncated dg-edomorphism algebra of \(T\) (we need to take the truncation since the original dg-endomorphism algebra is not necessary non-positive, but is quasi-equivalent to its truncation \(B={\mathcal{E}}nd(X)^{\leq0}\) which satisfies this property). The paper under review exploits this point of view and studies for a non-positive dg-algebra \(A\) equivalences of categories obtained at three levels: the bounded derived category of all \(A\)-modules, the unbounded category of all finitely generated modules over the base noetherian ring \(k\), respectively derived category of all complexes of finitely dimensional modules over the base ring \(k\), which is a field, with the total cohomology also finitely dimensional.