A functorial approach to monomorphism categories II: Indecomposables

arXiv2303.07753MaRDI QIDQ6429489FDOQ6429489

Authors: Nan Gao, Julian Külshammer, Sondre Kvamme, Chrysostomos Psaroudakis 

Publication date: 14 March 2023

Abstract: We investigate the (separated) monomorphism category $operatornamemono(Q,Lambda)$ of a quiver $Q$ over an Artin algebra $Lambda$. We construct an epivalence from $overlineoperatornamemono(Q,Lambda)$ to $operatornamerep(Q,overlineoperatornamemod,Lambda)$, where $operatornamemodLambda$ is the category of finitely generated modules and $overlineoperatornamemod,Lambda$ and $overlineoperatornamemono(Q,Lambda)$ denote the respective injectively stable categories. Furthermore, if $Q$ has at least one arrow, then we show that this is an equivalence if and only if $Lambda$ is hereditary. In general, it induces a bijection between indecomposable objects in $operatornamerep(Q,overlineoperatornamemod,Lambda)$ and non-injective indecomposable objects in $operatornamemono(Q,Lambda)$. We show that the generalized Mimo-construction, an explicit minimal right approximation into $operatornamemono(Q,Lambda)$, gives an inverse to this bijection. Using this, we describe the indecomposables in the monomorphism category of a radical-square-zero Nakayama algebra, and give a bijection between the indecomposables in the monomorphism category of two artinian uniserial rings of Loewy length $3$ with the same residue field. These results are proved using free monads on an abelian category, in order to avoid the technical combinatorics arising from quiver representations. The setup also specializes to representations of modulations. In particular, we obtain new results on the singularity category of the algebras $H$ which were introduced by Geiss, Leclerc, and Schr"oer in order to extend their results relating cluster algebras and Lusztig's semicanonical basis to symmetrizable Cartan matrices. We also recover results on the $iota$quivers algebras which were introduced by Lu and Wang to realize $iota$quantum groups via semi-derived Hall algebras.

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Representations of quivers and partially ordered sets (16G20) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Eilenberg-Moore and Kleisli constructions for monads (18C20) Functor categories, comma categories (18A25)

This page was built for publication: A functorial approach to monomorphism categories II: Indecomposables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6429489)