A Frobenius category within the monomorphism category (Q2292850)

Let \(\Lambda\) be an Artin algebra and \(\Lambda\)-mod the category of finitely generated left \(\Lambda\)-modules. The morphism category \(\mathcal{H}(\Lambda)\) has as objects the maps in \(\Lambda\)-mod with morphisms given by commutative diagrams, and the full subcategory \(\mathcal{S}(\Lambda)\)(resp. \(\mathcal{F}(\Lambda)\)) of \(\mathcal{H}(\Lambda)\) consists of all monomorphisms (resp. epimorphisms). \(\mathcal{S}(\Lambda)\) (resp. \(\mathcal{F}(\Lambda)\)) is called a monomorphism category (resp. an epimorphism category). The aim of the paper is to construct another subcategory \(\mathcal{Y}\) of \(\mathcal{S}(\Lambda)\) such that \(\mathcal{Y}\) is also a functorially finite subcategory of \(\mathcal{H}(\Lambda)\) and hence has Auslander-Reiten sequences. The construction and results are the followings: Suppose \(\Lambda\) is a selfinjective Artin algebra. Let \(\mathcal{S}(\Lambda)\) be the category of all embeddings \(X\rightarrow I\), where \(I\) is a finitely generated injective \(\Lambda\)-module. The authors show that \(\mathcal{S}(\Lambda)\) is a Frobenius category with Auslander-Reiten sequences such that the categories \(\Lambda\)-mod and \(\mathcal{S}(\Lambda)\) are stably equivalent and \(\mathcal{S}(\Lambda)\) has twice as many indecomposable injective objects as \(\Lambda\)-mod.