Hereditary cotilting modules (Q5936916)

A module \(U_R\) is cotilting if \(\text{Cogen}(U_R)=\text{Ker}(\text{Ext}^1_R(-,U_R))\). A cotilting bimodule \(_RU_S\) is a faithfully balanced bimodule which is cotilting on both sides. The contravariant functors \(\Delta_R=\Hom_R(-,U)\) and \(\Gamma_R=\text{Ext}_R(-,U)\) (similarly: \(\Delta_S\) and \(\Gamma_S\)) are considered. A cotilting module \(U_R\) determines the torsion theory \((\text{Ker }\Delta_R,\text{Ker }\Gamma_R)\) in Mod-\(R\). If this torsion theory is hereditary then \(U_R\) is called hereditary cotilting module. This article is concerned with the study of such kind of cotilting modules. In particular, \(U_R\) is hereditary if and only if \(\Delta^2\) preserves monomorphisms in Mod-\(R\). If \(U_R\) is hereditary, then \(\text{Im }\Gamma_R\subseteq\text{Ker }\Delta_S\) (\(S=\text{End}(U_R)\)) and \(\Gamma_R\) is isomorphic to the functor \(\Hom_R(-,E(U_R)/U)\circ\text{Rej}_U(-)\). If \(U_R\) is hereditary, then the class of \(\Delta\)-reflexive modules is hereditary and the subcategories involved in the cotilting dualities have closure properties analogous to the Morita case. Some necessary or sufficient conditions for a cotilting bimodule to be hereditary are given. For example, the condition \(\text{Ker }\Delta\subseteq\text{Cogen}(E(U)/U)\) is necessary for a cotilting module to be hereditary; it is also sufficient when \(R\) is a right semi-Artinian ring or \(U_R\) is finitely cogenerated.