Triangulated equivalence between a homotopy category and a triangulated quotient category (Q1647337): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
Property / author
 
Property / author: Zhen Xing Di / rank
Normal rank
 
Property / author
 
Property / author: Liu, Zhongkui / rank
Normal rank
 
Property / author
 
Property / author: Xiao Yan Yang / rank
Normal rank
 
Property / author
 
Property / author: Xiao Xiang Zhang / rank
Normal rank
 

Revision as of 19:12, 9 February 2024

scientific article
Language Label Description Also known as
English
Triangulated equivalence between a homotopy category and a triangulated quotient category
scientific article

    Statements

    Triangulated equivalence between a homotopy category and a triangulated quotient category (English)
    0 references
    26 June 2018
    0 references
    \textit{M. Hovey} [Math. Z. 241, No. 3, 553--592 (2002; Zbl 1016.55010)] introduced the notion of abelian model categories as bicomplete abelian categories possessing a compatible model structure. His most wonderful result, which is now known as \textit{Hovey's correspondence}, says that there is a one-to-one correspondence between abelian model structures and complete cotorsion pairs. Given two complete hereditary cotorsion pairs \((\mathcal{Q}, \mathcal{R})\) and \((\mathcal{Q}', \mathcal{R}')\) in a bicomplete abelian category \(\mathcal{G}\) such that \(\mathcal{Q}'\subseteq\mathcal{Q}\) and \(\mathcal{Q}\cap\mathcal{R} = \mathcal{Q}'\cap\mathcal{R}'\), \textit{H. Becker} [Adv. Math. 254, 187--232 (2014; Zbl 1348.16009)] showed that there exists a hereditary abelian model structure \(\mathcal{M}=(\mathcal{Q},\mathcal{W},\mathcal{R}')\) on \(\mathcal{G}\), where \(\mathcal{W}\) is a thick subcategory of \(\mathcal{G}\). The authors prove that the homotopy category \(\text{Ho}(\mathcal{M})\) of \(\mathcal{M}\) is triangulated equivalent to the triangulated quotient category \(D^b(\mathcal{G})_{\widehat{[\mathcal{Q},\mathcal{R}']}}/K^b(\mathcal{Q}\cap\mathcal{R}')\), where \(D^b(\mathcal{G})_{\widehat{[\mathcal{Q},\mathcal{R}]}}\) is the subcategory of \(D^b(\mathcal{G})\) consisting of all homology bounded complexes with both finite \(\mathcal{Q}\) dimension and \(\mathcal{R}'\) dimension and \(K^b(\mathcal{Q}'\cap\mathcal{R})\) is the bounded homotopy category of \(\mathcal{Q}\cap\mathcal{R}\) (core) objects. The authors focus their attention on the category of modules for giving some applications of main results. It is shown that the homotopy category of the Gorenstein flat (resp., Ding projective and Gorenstein \(AC\)-projective) model structure on the category of modules established by \textit{J. Gillespie} [Homology Homotopy Appl. 12, No. 1, 61--73 (2010; Zbl 1231.16005)] can be realized as a certain triangulated quotient category.
    0 references
    hereditary abelian model structure
    0 references
    homotopy category
    0 references
    triangulated equivalence
    0 references
    singularity category
    0 references

    Identifiers