Equivalence and duality of quotient categories (Q1178050)

Let \((_ RU_ S,_ SV_ R;I,J)\) be a Morita context and \(\tau_ I,\tau_ J\) the Gabriel topologies on \(R\)-Mod and \(S\)-Mod generated by the trace ideals. If \(\mathbb{L}(R)=\{\tau\in R\text{-Mod}\mid\tau\supseteq\tau_ I\}\) and \(\mathbb{L}(S)=\{\tau'\in S\text{-Mod}\mid\tau'\supseteq\tau_ J\}\) then there exists a lattice isomorphism \(\mathbb{L}(R)\cong\mathbb{L}(S)\). Let \((\tau_ 1,\tau_ 1')\) and \((\tau_ 2,\tau_ 2')\) be pairs of corresponding Gabriel topologies and \(_{[\tau_ 1,\tau_ 2]}\mathbb{L}=\{M\in R\text{-Mod}\mid M\text{ is }\tau_ 1\text{-free and }\tau_ 2\text{-injective}\}\). It is proved that the functors \(H^ U=\Hom_ R(U,-)\) and \(H^ V=\Hom_ S(V,-)\) establish an equivalence of categories \(_{[\tau_ 1,\tau_ 2]}\mathbb{L}\simeq{_{[\tau_ 1',\tau_ 2']}\mathbb{L}}\) (this is a generalization of Mueller's result: \(_ \tau\mathbb{L}\simeq{_{\tau'}\mathbb{L}}\)). If \(_ RM\) is \(\tau_ I\)-free then \(H^ U(E_ \tau(M))\cong E_{\tau'}(H^ U(M))\), where \(E_ \tau(M)\) is the \(\tau\)-injective envelope of \(_ RM\). By analogy with the quotient category \(_ \tau\mathbb{L}\) of \(R\)-Mod the full subcategory \(\mathbb{K}_ \tau\) in \(\text{Mod-}R\) containing all \(\tau\)-divisible and \(\tau\)-flat modules of \(\text{Mod-}R\) is defined. Here \(C_ R\) is \(\tau\)-divisible if \(C=C{\mathfrak a}\) for every \({\mathfrak a}\in\tau\) and \(C_ R\) is \(\tau\)-flat if \(C\otimes_ Rf\) is a monomorphism for every monomorphism \(f\) of \(R\)-Mod with \(\tau\)-torsion cokernel. For the pair \((\tau,\tau')\) the functors \(T^ U=-\otimes_ RU\) and \(T^ V=- \otimes_ SV\) establish an equivalence \(\mathbb{K}_ \tau\simeq\mathbb{K}_{\tau'}\). Moreover, the same functors induce an equivalence \(\mathbb{K}_{[\tau_ 1,\tau_ 2]}\simeq\mathbb{K}_{[\tau_ 1',\tau_ 2']}\), where \(\mathbb{K}_{[\tau_ 1,\tau_ 2]}=\{C\in\text{Mod-}R\mid C\text{ is }\tau_ 1\text{-divisible and } \tau_ 2\text{-flat}\}\).