Equivalences induced by infinitely generated silting modules (Q829528)

One of the central results in tilting theory is the following ``Tilting Theorem'': If \((\mathcal{T},\mathcal{F})\) is the torsion theory generated by a finitely presented (i.e., a classical) tilting right \(R\)-module \(T\) then there exists a torsion theory \((\mathcal{X},\mathcal{Y})\) in the category of right \(E\)-modules (\(E=\)End\(_R(T)\)) and a pair of equivalences \[ \mathrm{Hom}_R(T ,-) :\mathcal{T}\to\mathcal{Y}\qquad -\otimes_ET:\mathcal{Y}\to \mathcal{T} \] and \[ \mathrm{Ext}^1_R(T ,-) :\mathcal{T}\to\mathcal{X}\qquad \mathrm{Tor}_1^E(-,T):\mathcal{X}\to \mathcal{T}. \] The main aim of this paper is to study some equivalences induced by silting modules, providing a Silting Theorem corresponding to the Tilting Theorem. The authors study the equivalences induced by a silting module associated to a silting complex \(\mathbb{P}\), and extend some of the results proved in [\textit{A. B. Buan} and \textit{Y. Zhou}, J. Pure Appl. Algebra 220, No. 7, 2748--2770 (2016; Zbl 1362.16013); \textit{M. Hoshino} et al., J. Pure Appl. Algebra 167, No. 1, 15--35 (2002; Zbl 1006.18011)] for the support \(\tau\)-tilting case. The authors study equivalences induced by a complex\(\mathbb{P}\) consisting of projective modules and concentrated in degrees \(-1\) and \(0\), which is silting in the derived category \(\mathbf{D}(R)\) of a ring \(R\). The results are too technical to be summarized here. The paper is very well written and is pleasant to read, in particular the introduction.