Irreducible Morphisms and Locally Finite Dimensional Representations

Let 𝓐\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {A}$\end{document} be a Hom-finite additive Krull-Schmidt k-category where k is an algebraically closed field. Let mod𝓐\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\text {mod}\mathcal {A}$\end{document} denote the category of locally finite dimensional 𝓐\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {A}$\end{document}-modules, that is, the category of covariant functors 𝓐→modk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {A} \to \text {mod}k$\end{document}. We prove that an irreducible monomorphism in mod𝓐\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\text {mod}\mathcal {A}$\end{document} has a finitely generated cokernel, and that an irreducible epimorphism in mod𝓐\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\text {mod}\mathcal {A}$\end{document} has a finitely co-generated kernel. Using this, we get that an almost split sequence in mod𝓐\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\text {mod}\mathcal {A}$\end{document} has to start with a finitely co-presented module and end with a finitely presented one. Finally, we apply our results to the study of rep(Q), the category of locally finite dimensional representations of a strongly locally finite quiver. We describe all possible shapes of the Auslander-Reiten quiver of rep(Q).