Gorenstein derived categories (Q965188)

From MaRDI portal
Revision as of 16:52, 2 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Gorenstein derived categories
scientific article

    Statements

    Gorenstein derived categories (English)
    0 references
    0 references
    0 references
    21 April 2010
    0 references
    Let \(\mathcal A\) be an abelian category with enough projective objects. An object \(G\) of \(\mathcal A\) is Gorenstein-projective if there is an exact sequence \(\dots \rightarrow P^1\rightarrow P^0\rightarrow P_0\rightarrow P_1\rightarrow\dots\) of projective objects of \(\mathcal A\) which stays exact under Hom\(_{\mathcal A}(-,P)\) for each projective objects \(P\) of \(\mathcal A\) and so that \(G\) is isomorphic to the image of \(P^0\rightarrow P_0\). The full subcategory of \(\mathcal A\) of Gorenstein-projective objects is denoted by \({\mathcal G}P\). The authors define the derived category \(D^*( {\mathcal G}P)\) in an appropriate way and study its properties, as well as related constructions such as homotopy category constructions. In particular a Morita theorem in the sense of Rickard is proven for equivalences between \(D^*( {\mathcal G}P)\) for two abelian categories \({\mathcal A}=A-{\mathcal M}od\) and \({\mathcal B}=B-{\mathcal M}od\). The relation to the usual derived category \(D^*({\mathcal A})\) is studied systematically.
    0 references
    Gorenstein derived category
    0 references
    Gorenstein derived equivalences
    0 references
    relative homological algebra
    0 references
    Morita theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers