The homotopy category of monomorphisms between projective modules (Q2699621)

Let \(\Lambda\) be an associative ring with identity and mod\(\Lambda\) the category of finitely generated left \(\Lambda\)-modules. The morphism category Mor(\(\Lambda\)) of \(\Lambda\) has as objects the maps in mod\(\Lambda\) and whose morphisms are given by commutative squares. The monomorphism category Mon(\(\Lambda\)) of \(\Lambda\) is the full subcategory of Mor(\(\Lambda\)) consisting of all monomorphisms, which is also known as the submodule category. It is known that Mor(\(\Lambda\)) is an abelian category. Let \((S,\mathfrak{n})\) be a commutative Noetherian local ring and \(\omega\in\mathfrak{n}\) be non-zero divisor. Assume that Mon(\(\omega,\mathcal{P})\) is the full subcategory of Mon(\(S\)) consisting of all monomorphisms (\(P\xrightarrow{f} Q\)) in the module category mod\(S\) such that \(P\) and \(Q\) are finitely generated projective modules and Coker \(f\) is annihilated by \(\omega\). In the paper under review the authors study the behavior of the category Mon(\(\omega,\mathcal{P}\)) consisting of all monomorphisms between finitely generated projective \(S\)-modules with cokernels annihilated by \(\omega\). The authors introduce a homotopy category HMon\((\omega,\mathcal{P})\), which is shown to be triangulated. Among the other results it is proved that this homotopy category embeds into the singularity category of the factor ring \(R = S/(\omega)\).