Colocalization on Grothendieck categories with applications to coalgebras (Q1814975)

The authors study colocalization on the category \({\mathcal M}^C\) of right comodules over a coalgebra \(C\) over a field \(k\) with special reference to Grothendieck categories and study applications to coalgebras. After giving properties of coflat monomorphisms in Section 1, colocalization in abelian categories is studied in Section 2. They prove that for a Grothendieck category every colocalizing subcategory is also a localizing subcategory. In Section 3, colocalization in the concrete category \({\mathcal M}^C\) is studied. If \({\mathcal T}_A\) is the localizing subcategory of \({\mathcal M}^C\) associated to a co-idempotent subcoalgebra \(A\) of \(C, {\mathcal T}_A\) is a colocalizing subcategory of \({\mathcal M}^C\) if and only if \(C/A\) is a quasi-finite right \(C\)-comodule. If \(C\) is a right semiperfect coalgebra then \({\mathcal T}_A\) is a colocalizing subcategory of \({\mathcal M}^C\) for each co-idempotent subcoalgebra \(A\) of \(C\). In Section 4, perfect colocalizations in \({\mathcal M}^C\) are studied. The main result of this section is the following: If \(A\) is a co-idempotent subcoalgebra of a coalgebra \(C\) such that \({\mathcal T}_A\) is a colocalizing subcategory of \({\mathcal M}^C\), then \({\mathcal T}_A\) is a perfect colocalizing subcategory of \({\mathcal M}^C\) if and only if the natural coalgebra morphism \(\varphi: E \to C\) is a left coflat monomorphism, where \(E\) is the quotient coalgebra associated to \({\mathcal T}_A\). Finally, in the last section applications to Goldie torsion theory are given.