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
    0 references
    0 references
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references