Gorenstein objects in triangulated categories (Q706013): Difference between revisions

Starting from a triangulated category the authors develop a relative homological algebra. They start with a proper class \(\xi\) of triangles and define projectivity of objects, exactness of triangles and projective resolutions with respect to this class by a natural definition. They construct then generalizations of syzygies with respect to these triangles and call them \(\xi\)-\({\mathcal G}\) projective. \(\xi\)-relative Ext-groups can then be defined and it is shown that they have some of their usual properties. As a first result the authors show that if the base category has enough relatively projective objects, and if in a triangle of \(\xi\) one object is \(\xi\)-\({\mathcal G}\) projective, then any of the other is \(\xi\)-\({\mathcal G}\) projective if and only if the third is \(\xi\)-\({\mathcal G}\) projective. As a second result they show that for any triangle in \(\xi\) with one \(\xi\)-\({\mathcal G}\) projective object \(C\), then the projective dimensions of the two other objects coincide. Finally, for finite relative projective dimension objects they show that the \(\xi\)-\({\mathcal G}\) projective dimension equals the \(\xi\)-projective dimension. The proofs are always explicit.