Abstract: Let (A, B) be a complete hereditary cotorsion pair in ModR. Yang and Ding made a general study of B dimensions of complexes in [56]. In this paper, we define the notion of Gorenstein B dimensions for complexes by applying the model structure induced by (A, B), which can be used to describe how Gorenstein dimensions of complexes should work for any complete hereditary cotorsion pair. Characterizations of the finiteness of Gorenstein B dimensions for complexes are given. As a consequence, we study relative cohomology groups for complexes with finite Gorenstein B dimensions. Moreover, the relationships between Gorenstein B dimensions and B dimensions for complexes are given. Next we get two triangle-equivalences between the homotopy category of a hereditary abelian model structure, the singularity category of an exact category and the stable category of a Forbenius category. As applications, some necessary and sufficient conditions for the validity of the Finitistic Dimension Conjecture are given.

Cotorsion pairs, Gorenstein dimensions and triangle-equivalences