Generalizing Morita duality: a homological approach (Q1588405)

For a bimodule \(_RW_S\) the following functors are studied: \(\Delta_R=\text{Hom}_R(-,W)\), \(\Gamma_R=\text{Ext}^1_R(-,W)\colon R\text{-Mod}\to\text{Mod-}S\), \(\Delta_S=\text{Hom}_S(-,W)\), \(\Gamma_S=\text{Ext}^1_S(-,W)\colon\text{Mod-}S\to R\text{-Mod}\) (short notations: \(\Delta_S\Delta_S=\Delta^2_{SR}\), \(\Gamma_S\Gamma_R=\Gamma^2_{SR}\), etc.). The behaviour and relationships among \(\Gamma^2\), identity functors and \(\Delta^2\) are investigated. The left derived functors \(L_n\Delta^2\) of \(\Delta^2\) are constructed, obtaining in particular the natural maps \(L_0\delta=\delta^{(0)}\colon L_01_{R\text{-Mod}}\cong 1_{R\text{-Mod}}\to L_0\Delta^2_{SR}\) and \(\beta\colon L_0\Delta^2_{SR}\to\Delta^2_{SR}\), where \(\delta\) is the evaluation map. If \(\text{Cogen }W_S\subseteq\text{Ker }\Gamma_S\) then also the natural map \(\alpha\) is obtained such that the row of functors in the commutative diagram \[ \begin{tikzcd}&& 1_{R\text{-Mod}}\ar[d,"\delta^{(0)}"]\ar[dr, "\delta"]\\ 0 \ar[r] & \Gamma^2_{SR} \ar[r,"\alpha"] & L_0\Delta^2_{SR} \ar[r,"\beta" near start] & \Delta^2_{SR}\ar[r] & 0\end{tikzcd} \] is exact. A module \(_RW\) is called weakly cotilting if \(\text{Cogen}{_RW}\subseteq\text{Ker }\Gamma_R\) and \(\text{id}(_RW)\leq 1\). In the following the bimodule \(_RW_S\) is supposed to be weakly cotilting, i.e. both \(_RW\) and \(W_S\) are weakly cotilting. A module \(M\) is \(\Delta\)-reflexive (i.e. \(\delta_M\) is iso) if and only if \(\delta^{(0)}_M\) and \(\beta_M\) are iso. By analogy, a module \(M\) is called \(\Gamma\)-reflexive if \(\delta^{(0)}_M\) and \(\alpha_M\) are iso. In this cases one can define \(\gamma_M\colon\Gamma^2_{SR}(M)\to M\) as \([\delta^{(0)}_M]^{-1}\circ\alpha_M\). The following classes of modules (in both categories \(R\text{-Mod}\) and \(\text{Mod-}S\)) are considered: \({\mathcal M}_0=\{M\mid\delta^{(0)}_M\text{ is iso}\}\), \({\mathcal M}_1=\{M\mid\delta^{(1)}_M:=L_1\delta_M\text{ is iso}\}\), \({\mathcal M}={\mathcal M}_0\cap{\mathcal M}_1\). For every module \(M\in{\mathcal M}_0\) the sequence \(0\to \Gamma^2M@>\gamma_M>>M@>\delta_M>>\Delta^2M\to 0\) is exact, \(\Delta M\) and \(\Delta^2 M\) are \(\Delta\)-reflexive, \(\Gamma^2M\) is \(\Gamma\)-reflexive. A similar result is proved for modules \(M\in{\mathcal M}\), which permits to obtain the ``cotilting theorem'', in particular: (1) \(\Delta_R\) and \(\Delta_S\) induce a duality between the full subcategories \(\text{Ker }\Gamma\cap{\mathcal M}\); (2) \(\Gamma_R\) and \(\Gamma_S\) induced a duality between the full subcategories \(\text{Ker }\Delta\cap{\mathcal M}\); (3) \(\mathcal M\) is an Abelian subcategory in \(R\text{-Mod}\) or \(\text{Mod-}S\); (4) \(\Gamma_R\) and \(\Gamma_S\) are left adjoint in \(\mathcal M\) with the natural maps \(\gamma\) as counities.