Abstract:We investigate the (separated) monomorphism category $\operatorname{mono}(Q,\Lambda)$ of a quiver $Q$ over an Artin algebra $\Lambda$. We construct an epivalence from $\overline{\operatorname{mono}}(Q,\Lambda)$ to $\operatorname{rep}(Q,\overline{\operatorname{mod}}\, \Lambda)$, where $\operatorname{mod}\Lambda$ is the category of finitely generated modules and $\overline{\operatorname{mod}}\, \Lambda$ and $\overline{\operatorname{mono}}(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 $\operatorname{rep}(Q,\overline{\operatorname{mod}}\, \Lambda)$ and non-injective indecomposable objects in $\operatorname{mono}(Q,\Lambda)$. We show that the generalized Mimo-construction, an explicit minimal right approximation into $\operatorname{mono}{(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öer 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.

Indecomposable manipulations with simple modules in category O

Invariant Properties of Modules under Smash Products from Finite Dimensional Algebras

Constructing Big Indecomposable modules

Type $\textrm{II}$ quantum subgroups for quantum $\mathfrak{sl}_N$. $\textrm{II}$: Classification

Simple-minded systems in stable module categories

Functor morphing and representations of automorphism groups of modules

Simple Homogeneous Structures and Indiscernible Sequence Invariants

Jantzen coefficients and simplicity of generalized Verma modules

Local characterization of block-decomposability for multiparameter persistence modules

Induced modules and central character quotients for Takiff $\mathfrak{sl}_{2}$

Infinite rank module categories over finite dimensional $\mathfrak{sl}_2$-modules in Lie-algebraic context

Brauer-friendly modules and slash functors

A functorial approach to monomorphism categories II: Indecomposables

Multivariable ($φ$,$\mathcal{O}_K^\times$)-modules and local-global compatibility

Comodules for some simple $\mathcal O$-forms of $\mathbb G_m$

Simple modules over the Takiff Lie algebra for sl2

On stable-projective and injective-costable decompositions of modules

Relative injective modules, superstability and noetherian categories

$(φ,Γ)$-modules over relatively discrete algebras

Modularity of admissible-level $\mathfrak{sl}_{3}$ minimal models with denominator $2$