Coalgebras, comodules, pseudocompact algebras and tame comodule type

Daniel Simson¹

¹ Faculty of Mathematics and Computer Science Nicholas Copernicus University Chopina 12/18 87-100 Toru/n, Poland

Colloquium Mathematicum, Tome 90 (2001) no. 1, pp. 101-150.

Résumé

We develop a technique for the study of $K$-coalgebras and their representation types by applying a quiver technique and topologically pseudocompact modules over pseudocompact $K$-algebras in the sense of Gabriel [17], [19]. A definition of tame comodule type and wild comodule type for $K$-coalgebras over an algebraically closed field $K$ is introduced. Tame and wild coalgebras are studied by means of their finite-dimensional subcoalgebras. A weak version of the tame-wild dichotomy theorem of Drozd [13] is proved for a class of $K$-coalgebras. By applying [17] and [19] it is shown that for any length $K$-category ${\frak A}$ there exists a basic $K$-coalgebra $C$ and an equivalence of categories ${\frak A}\cong C\hbox{-}{\rm comod}$. This allows us to define tame representation type and wild representation type for any abelian length $K$-category.Hereditary coalgebras and path coalgebras $KQ$ of quivers $Q$ are investigated. Tame path coalgebras $KQ$ are completely described in Theorem 9.4 and the following $K$-coalgebra analogue of Gabriel's theorem [18] is established in Theorem 9.3. An indecomposable basic hereditary $K$-coalgebra $C$ is left pure semisimple (that is, every left $C$-comodule is a direct sum of finite-dimensional $C$-comodules) if and only if the quiver $_CQ^*$ opposite to the Gabriel quiver ${}_CQ$ of $C$ is a pure semisimple locally Dynkin quiver (see Section 9) and $C$ is isomorphic to the path $K$-coalgebra $K(_CQ)$. Open questions are formulated in Section~10.

Détail

DOI : 10.4064/cm90-1-9

Mots-clés : develop technique study k coalgebras their representation types applying quiver technique topologically pseudocompact modules pseudocompact k algebras sense gabriel definition tame comodule type wild comodule type k coalgebras algebraically closed field introduced tame wild coalgebras studied means their finite dimensional subcoalgebras weak version tame wild dichotomy theorem drozd proved class k coalgebras applying shown length k category frak there exists basic k coalgebra equivalence categories frak cong hbox comod allows define tame representation type wild representation type abelian length k category hereditary coalgebras path coalgebras quivers investigated tame path coalgebras completely described theorem following k coalgebra analogue gabriels theorem established theorem indecomposable basic hereditary k coalgebra pure semisimple every c comodule direct sum finite dimensional c comodules only quiver * opposite gabriel quiver pure semisimple locally dynkin quiver see section isomorphic path k coalgebra questions formulated section