Localising embeddings of comodule categories with applications to tame and Euler coalgebras (Q2370227)

Let \(K\) be a field, let \(C=(C,\Delta,\varepsilon)\) be a \(K\)-coalgebra and let \(E\) be an injective left \(C\)-comodule. In the paper the author constructs a coalgebra \(C_E=e_ECe_E\) (called colocalisation of \(C\) at \(E\)), where \(e_E\colon C\to K\) is defined by \(e_E|_E=\varepsilon|_E\), \(e_E|_{E'}=0\), where \(E'\) is such that \(C=E'\oplus E\). In the paper there are investigated connections between the category \(C\)-Comod of left \(C\)-comodules and the category \(C_E\)-Comod of left \(C_E\)-comodules. The main tools developed by the author are three functors: \(\square_E,L_E\colon C_E\text{-Comod}\to C\)-Comod, \(\text{res}_E\colon C\text{-Comod}\to C_E\)-Comod and their properties. Applying these functors the author shows how to reduce several local properties of the category \(C\)-Comod to the corresponding category \(C_E\)-Comod. In particular, it is proved (under the assumption that the functor \(\square_E\) carries finite dimensional comodules to finite dimensional ones) that \(C_E\) is of tame comodule type if \(C\) is of tame comodule type. If in addition the functor \(\square_E\) is exact, it is proved that \(C\) is wild if \(C_E\) is wild. Moreover, in the paper the functors \(L_e\) and \(\square_E\) are developed to the study of left Euler coalgebras and their basic properties, such that as Euler defect, Euler characteristic, Betti numbers. Finally, methods of localising reduction of Euler coalgebras to countable dimensional Euler coalgebras are described.