Gorenstein Derived Functors for Extriangulated Categories

TL;DR

This paper develops Gorenstein derived functors within extriangulated categories, introducing proper $\xi$-Gorenstein projective resolutions and characterizing objects with finite Gorenstein projective dimension, generalizing prior work.

Contribution

It introduces the notion of proper $\xi$-Gorenstein projective resolutions and defines new derived functors for extriangulated categories, extending existing theories.

Findings

Characterization of objects with finite $\xi$-Gorenstein projective dimension

Introduction of $\xi ext{xt}_{ ext{GP}(\xi)}$ and $\xi ext{xt}_{ ext{GI}(\xi)}$ functors

Generalization of previous results by Ren-Liu

Abstract

Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we study Gorenstein derived functors for extriangulated categories. More precisely, we first introduce the notion of the proper $\xi$-Gorenstein projective resolution for any object in $\mathcal{C}$ and define the functors $\xi\text{xt}_{\mathcal{GP}(\xi)}$ and $\xi\text{xt}_{\mathcal{GI}(\xi)}$. Under some assumptions, we give some equivalent characterizations for any object with finite $\xi$-Gorenstein projective dimension. Next we get some nice results by using derived functors. As an application, our main results generalize their work by Ren-Liu. Moreover, our proof is not far from the usual module categories or triangulated categories.