Some categorical remarks on the representation theory of coalgebras (Q4351697)

Fix a field \(k\) and a \(k\)-linear Grothendieck category \({\mathcal A}\). An object \(X \in {\mathcal A}\) is called of finite width if the functor \(G=-\otimes_kX:\text{Mod-}k\to {\mathcal A}\) has a left adjoint \(F\). It is shown in Section 1 that in the case of an object \(X\) of finite width \(A=FX\) carries a natural \(k\)-coalgebra structure and \(F\) induces a functor from \({\mathcal A}\) to Comod-\(A \). By the main result of this section, Theorem 1.13, this functor is a localisation if and only if \(X\) is injective. Moreover, if \(X\) is an injective cogenerator, then this functor is an equivalence. An alternative characterisation of objects \(X\) of finite width is given in Section 2 by using the functor \(\Hom_{\mathcal A} (-,X)^*\) where \(^*\) denotes the \(k\)-linear duality. Section 3 is devoted to the representation theory of coalgebras by using localisation. Section 4 gives an extension of a result of Gabriel to coalgebras. The main result, Theorem 4.13, characterizes split \(k\)-coalgebras by using quivers.