Equivalences Induced by Adjoint Functors (Q4807585)

Let \(L: \mathcal B\rightarrow \mathcal A\) and \(R: \mathcal A\rightarrow \mathcal B\) be an adjoint pair of functors between Grothendieck categories \(\mathcal A\) and \(\mathcal B\). For a generator \(S\) of \(\mathcal B\), consider \(U := L(S)\). Let \(\mathcal T_{\mathcal A}\) denote the torsion class in \(\mathcal A\) generated by the objects \(A/\text{Tr}_U(A)\), where \(A\) runs through the objects of \(\mathcal A\), and \(\text{Tr}_U\) denotes the trace functor. Then \(\mathcal T_{\mathcal A}\) is a hereditary torsion class in \(\mathcal A\). Assume that \(\text{Ker} L(g)\in\mathcal T_{\mathcal A}\) for every monomorphism \(g\in\mathcal B\). Then \(\mathcal T_{\mathcal B} := L^{-1}(\mathcal T_{\mathcal A})\) is a hereditary torsion class in \(\mathcal B\). The author provides several equivalent properties for \(L\dashv R\) to induce an equivalence between the Grothendieck localizations \(\mathcal A/\mathcal T_{\mathcal A}\) and \(\mathcal B/\mathcal T_{\mathcal B}\). Moreover, he considers a generalization to rings with several objects (i.~e. small preadditive categories) which leads, in particular, to equivalences in the case of graded modules. The article extends results of \textit{J. L. García} and \textit{M. Saorín} [J. Algebra 127, 182-205 (1989; Zbl 0685.16023)], and recent work of Castaño Iglesias, Gómez Torrecillas, and Wisbauer.