The homotopy category of monomorphisms between projective modules (Q2699621)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The homotopy category of monomorphisms between projective modules |
scientific article |
Statements
The homotopy category of monomorphisms between projective modules (English)
0 references
19 April 2023
0 references
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)\).
0 references
monomorphism category
0 references
homotopy category
0 references
almost split sequence
0 references
Auslander-Reiten translation
0 references
singularity category
0 references