a

## Gorenstein homological dimensions for extriangulated categories

Jiangsheng Hu , Dongdong Zhang a b ∗ and Panyue Zhou c

School of Mathematics and Physics, Jiangsu University of Technology, Changzhou 213001, China b Department of Mathematics, Zhejiang Normal University, Jinhua 321004, China c College of Mathematics, Hunan Institute of Science and Technology, Yueyang, Hunan 414006, China E-mails: jiangshenghu@jsut.edu.cn, zdd@zjnu.cn and panyuezhou@163.com

## Abstract

Let ( C , E , s ) be an extriangulated category with a proper class ξ of E -triangles. The authors introduced and studied ξ -G projective and ξ -G injective in [5]. In this paper, we discuss Gorenstein homological dimensions for extriangulated categories. More precisely, we first give some characterizations of ξ -G projective dimension by using derived functors on C . Second, let P ( ξ ) (resp. I ( ξ )) be a generating (resp. cogenerating) subcategory of C . We show that the following equality holds under some assumptions:

sup { ξ -G pd M | for any M ∈ C} = sup { ξ -G id M | for any M ∈ C} , where ξ -G pd M (resp. ξ -G id M ) denotes ξ -G projective (resp. ξ -G injective) dimension of M . As an application, our main results generalize their work by Bennis-Mahdou and Ren-Liu. Moreover, our proof is not far from the usual module or triangulated case.

Keywords: Extriangulated category; Proper class of E -triangles; Gorenstein homological dimensions.

2010 Mathematics Subject Classification: 18E30; 18E10; 18G25; 55N20.

## 1. Introduction

The notion of extriangulated categories was introduced by Nakaoka and Palu in [6] as a simultaneous generalization of exact categories and triangulated categories. Exact categories and extension closed subcategories of an extriangulated category are extriangulated categories, while there exist some other examples of extriangulated categories which are neither exact nor triangulated, see [6, 8, 5]. Hence many results hold on exact categories and triangulated categories can be unified in the same framework.

Let ( C , E , s ) be an extriangulated category. The authors [5] studied a relative homological algebra in C which parallels the relative homological algebra in a triangulated category. By specifying a class of E -triangles, which is called a proper class ξ of E -triangles, we introduced ξ -G projective dimensions and ξ -G injective dimensions, and discussed their properties.

∗ Corresponding author. Jiangsheng Hu was supported by the NSF of China (Grants No. 11501257, 11671069, 11771212) and Qing Lan Project of Jiangsu Province. Panyue Zhou was supported by the Hunan Provincial Natural Science Foundation of China (Grant No. 2018JJ3205) and the NSF of China (Grants No. 11671221)

Bennis and Mahdou [3] proved that the global Gorenstein projective dimension of a ring R is equal to the global Gorenstein injective dimension of R . Ren and Liu [7] studied Gorenstein homological dimensions for triangulated categories, let C be a triangulated category with enough ξ -projectives and enough ξ -injectives for a fixed proper class of triangles ξ . They showed the following. Assume that the full subcategory P ( ξ ) of ξ -projective objects is a generating subcategory of C and the full subcategory I ( ξ ) of ξ -injective objects is a congenerating subcategory of C , there exists an equality

$$\sup \{ \xi \text{-} \mathcal { G } \text{pd} M \ | \text{ for any } M \in \mathcal { C } \} = \sup \{ \xi \text{-} \mathcal { G } \text{id} M \ | \text{ for any } M \in \mathcal { C } \},$$

where ξ -G pd M (resp. ξ -G id M ) denotes ξ -G projective (resp. ξ -G injective) dimension of M . Motivated by this idea, in this paper, we study Gorenstein homological dimensions for extriangulated categories. More precisely, we give some characterizations of ξ -G projective dimension by using derived functors on C , see Theorem 3.8. In addition, let P ( ξ ) (resp. I ( ξ )) be a generating (resp. cogenerating) subcategory of C . We show that the following statements are equivalent for some non-negative integer m under some assumptions:

- (1) sup { ξ -G pd M | for any M ∈ C} ≤ m ;
- (2) sup { ξ -G id M | for any M ∈ C} ≤ m ;
- (3) ξ -silp C = -spli ξ C ≤ m .

where ξ -G pd M (resp. ξ -G id M ) denotes ξ -G projective (resp. ξ -G injective) dimension of M and ξ -silp C = sup { ξ -id P | P ∈ P ( ξ ) } , ξ -spli C = sup { ξ -pd I | I ∈ I ( ξ ) } , see Theorem 4.7. As a consequence, we have the following equality on C :

$$\sup \{ \xi \text{-} \mathcal { G } \text{pd} M \ | \text{ for any } M \in \mathcal { C } \} = \sup \{ \xi \text{-} \mathcal { G } \text{id} M \ | \text{ for any } M \in \mathcal { C } \}.$$

Note that module categories and triangulated categories can be viewed as extriangulated categories. As an application, our main results generalize their work by Bennis-Mahdou and Ren-Liu.

## 2. Preliminaries

Let us briefly recall some definitions and basic properties of extriangulated categories from [6]. We omit some details here, but the reader can find them in [6].

Let C be an additive category equipped with an additive bifunctor

$$\mathbb { E } \, \colon \mathcal { C } ^ { \text{op} } \times \mathcal { C } \rightarrow \text{Ab},$$

where Ab is the category of abelian groups. For any objects A,C ∈ C , an element δ ∈ E ( C,A ) is called an E -extension. Let s be a correspondence which associates an equivalence class

/d47

$$\mathfrak { s } ( \delta ) = \ [ A \xrightarrow { x } B \xrightarrow { y } C ]$$

/d47

/d47

/d47

to any E -extension δ ∈ E ( C,A ). This s is called a realization of E , if it makes the diagrams in [6, Definition 2.9] commutative. A triplet ( C , E , s ) is called an extriangulated category if it satisfies the following conditions.

- (1) E : C op ×C → Ab is an additive bifunctor.
- (2) s is an additive realization of E .
- (3) E and s satisfy the compatibility conditions in [6, Definition 2.12].

Remark 2.1. Note that both exact categories and triangulated categories are extriangulated categories, see [6, Example 2.13] and extension closed subcategories of extriangulated categories are again extriangulated, see [6, Remark 2.18] . Moreover, there exist extriangulated categories which are neither exact categories nor triangulated categories, see [6, Proposition 3.30] , [8, Example 4.14] and [5, Remark 3.3] .

A class of E -triangles ξ is closed under base change if for any E -triangle

/d47

$$A \xrightarrow { x } B \xrightarrow { y } C - \frac { \delta } { } \succ \in \xi$$

/d47

/d47

/d47

/d47

/d47

/d47

and any morphism c : C ′ → C , then any E -triangle A x ′ B ′ y ′ C ′ c ∗ δ ❴ ❴ ❴ belongs to ξ . Dually, a class of E -triangles ξ is closed under cobase change if for any E -triangle

/d47

/d47

/d47

/d47

/d47

/d47

$$A \xrightarrow { x } B \xrightarrow { y } C - \overset { \delta } { - } \succ \in \xi$$

/d47

/d47

/d47

/d47

/d47

/d47

and any morphism a : A → A ′ , then any E -triangle A ′ x ′ B ′ y ′ C a δ ∗ ❴ ❴ ❴ belongs to ξ .

/d47

/d47

/d47

/d47

/d47

/d47

Lemma 2.2. (see [6, Proposition 3.15]) Assume that ( C , E , s ) is an extriangulated category. Let C be any object, and let A 1 x 1 B 1 y 1 C δ 1 ❴ ❴ ❴ and A 2 x 2 B 2 y 2 C δ 2 ❴ ❴ ❴ be any pair of E -triangles. Then there is a commutative diagram in C

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

$$\begin{array} { c } \varkappa \, o \, \cos m \underset { \substack { \psi \\ A _ { 2 } \cong \sum A _ { 2 } \\ m _ { 2 } \Big | \quad \\ \sum A _ { 1 } \xrightarrow { m _ { 1 } } } M \xrightarrow { e _ { 1 } } B _ { 2 } \\ \Big | \quad e _ { 2 } \Big | \quad \Big | \quad y _ { 2 } \\ A _ { 1 } \xrightarrow { x _ { 1 } } B _ { 1 } \xrightarrow { y _ { 1 } } C \\ \end{array}$$

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

which satisfies s ( y δ ∗ 2 1 ) = [ A 1 m 1 M e 1 B 2 ] and s ( y δ ∗ 1 2 ) = [ A 2 m 2 M e 2 B 1 ] .

/d47

/d47

/d47

/d47

/d47

/d47

/d47

A class of E -triangles ξ is called saturated if in the situation of Lemma 2.2, whenever the third vertical and the second horizontal E -triangles belong to ξ , then the E -triangle

/d47

$$A _ { 1 } \xrightarrow { x _ { 1 } } B _ { 1 } \xrightarrow { y _ { 1 } } C \overset { \delta _ { 1 } } { - \frac { } { - } } \succ$$

/d47

/d47

/d47

/d47

/d47

belongs to ξ .

/d47

An E -triangle A x B y C δ ❴ ❴ ❴ is called split if δ = 0. It is easy to see that it is split if and only if x is section or y is retraction. The full subcategory consisting of the split E -triangles will be denoted by ∆ . 0

/d47

/d47

/d47

/d47

/d47

Definition 2.3. [5, Definition 3.1]Let ξ be a class of E -triangles which is closed under isomorphisms. ξ is called a proper class of E -triangles if the following conditions hold:

- (1) ξ is closed under finite coproducts and ∆ 0 ⊆ ξ .
- (2) ξ is closed under base change and cobase change.
- (3) ξ is saturated.

Definition 2.4. [5, Definition 4.1] An object P ∈ C is called ξ -projective if for any E -triangle

/d47

$$A \xrightarrow { x } B \xrightarrow { y } C - \frac { \delta } { } \triangleright$$

/d47

/d47

/d47

/d47

/d47

/d47

in ξ , the induced sequence of abelian groups 0 C ( P, A ) C ( P, B ) C ( P, C ) 0 is exact. Dually, we have the definition of ξ -injective .

/d47

/d47

/d47

/d47

/d47

/d47

/d47

We denote P ( ξ ) (respectively I ( ξ )) the class of ξ -projective (respectively ξ -injective) objects of C . It follows from the definition that this subcategory P ( ξ ) and I ( ξ ) are full, additive, closed under isomorphisms and direct summands.

/d47

/d47

/d47

/d47

/d47

/d47

/d47

An extriangulated category ( C , E , s ) is said to have enough ξ -projectives (respectively enough ξ -injectives ) provided that for each object A there exists an E -triangle K P A ❴ ❴ ❴ (respectively A I K ❴ ❴ ❴ ) in ξ with P ∈ P ( ξ ) (respectively I ∈ I ( ξ )).

/d47

/d47

/d47

/d47

/d47

/negationslash

The ξ -projective dimension ξ -pd A of A ∈ C is defined inductively. If A ∈ P ( ξ ), then define ξ -pd A = 0. Next if ξ -pd A &gt; 0, define ξ -pd A /lessorequalslant n if there exists an E -triangle K → P → A /axisshort/axisshort/arrowaxisright in ξ with P ∈ P ( ξ ) and ξ -pd K /lessorequalslant n -1. Finally we define ξ -pd A = n if ξ -pd A /lessorequalslant n and ξ -pd A /notlessequal n -1. Of course we set ξ -pd A = ∞ , if ξ -pd A = n for all n /greaterorequalslant 0.

Dually we can define the ξ -injective dimension ξ -id A of an object A ∈ C .

Definition 2.5. [5, Definition 4.4] An ξ -exact complex X is a diagram

/d47

$$\cdots \longrightarrow X _ { 1 } \xrightarrow { d _ { 1 } } X _ { 0 } \xrightarrow { d _ { 0 } } X _ { - 1 } \longrightarrow \cdots$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

in C such that for each integer n , there exists an E -triangle K n +1 g n X n f n K n δ n ❴ ❴ ❴ in ξ and d n = g n -1 f n .

/d47

/d47

/d47

/d47

/d47

Definition 2.6. [5, Definition 4.5] Let W be a class of objects in C . An E -triangle

/d47

$$A \longrightarrow B \longrightarrow C - - \succ$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

in ξ is called to be C - W ( , ) -exact (respectively C W -( , ) -exact ) if for any W ∈ W , the induced sequence of abelian group 0 C ( C,W ) C ( B,W ) C ( A,W ) 0 (respectively 0 C ( W,A ) C ( W,B ) C ( W,C ) 0 ) is exact in Ab .

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Definition 2.7. [5, Definition 4.6] Let W be a class of objects in C . A complex X is called C - W ( , ) -exact (respectively C W -( , ) -exact ) if it is an ξ -exact complex

/d47

$$\cdots \longrightarrow X _ { 1 } \xrightarrow { d _ { 1 } } X _ { 0 } \xrightarrow { d _ { 0 } } X _ { - 1 } \longrightarrow \cdots$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

in C such that there is C - W ( , )-exact (respectively C W -( , )-exact) E -triangle

/d47

$$K _ { n + 1 } \xrightarrow { g _ { n } } X _ { n } \xrightarrow { f _ { n } } K _ { n } \overset { \delta _ { n } } { - \frac { } { - } } \succ$$

/d47

/d47

/d47

/d47

/d47

in ξ for each integer n and d n = g n -1 f n .

An ξ -exact complex X is called complete P ( ξ ) -exact (respectively complete I ( ξ ) -exact ) if it is C - P ( , ( ξ ))-exact (respectively C I ( ( ξ , ) -)-exact).

Definition 2.8. [5, Definition 4.7] A complete ξ -projective resolution is a complete P ( ξ )-exact complex

/d47

$$\mathbf P \colon \dots \longrightarrow P _ { 1 } \xrightarrow { d _ { 1 } } P _ { 0 } \xrightarrow { d _ { 0 } } P _ { - 1 } \longrightarrow \cdots$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

in C such that P n is ξ -projective for each integer n . Dually, a complete ξ -injective coresolution is a complete I ( ξ )-exact complex

/d47

$$\mathbf I \colon \dots \longrightarrow I _ { 1 } \xrightarrow { d _ { 1 } } I _ { 0 } \xrightarrow { d _ { 0 } } I _ { - 1 } \longrightarrow \cdots$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

in C such that I n is ξ -injective for each integer n .

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Definition 2.9. [5, Definition 4.8] Let P be a complete ξ -projective resolution in C . So for each integer n , there exists a C - P ( , ( ξ ))-exact E -triangle K n +1 g n P n f n K n δ n ❴ ❴ ❴ in ξ . The objects K n are called ξ -G projective for each integer n . Dually if I is a complete ξ -injective coresolution in C , there exists a C I ( ( ξ , ) -)-exact E -triangle K n +1 g n I n f n K n δ n ❴ ❴ ❴ in ξ for each integer n . The objects K n are called ξ -G injective for each integer n .

/d47

/d47

/d47

/d47

/d47

Similar to the way of defining E -projective and E -injective dimensions, for an object A ∈ C , the E -Gprojective dimension E G -pd A and E -Ginjective dimension E G -id A are defined inductively in [5].

Throughout, the full subcategory of ξ -projective (respectively ξ -injective) objects is denoted by P ( ξ ) (respectively I ( ξ )). We denote by GP ( ξ ) (respectively GI ( ξ )) the class of ξ -G projective (respectively ξ -G injective) objects. It is obvious that P ( ξ ) ⊆ GP ( ξ ) and I ( ξ ) ⊆ GI ( ξ ).

## 3. Derived functors and Gorenstein homological dimensions for extriangulated categories

Throughout this section, we always assume that C = ( C , E , s ) is an extriangulated category with enough ξ -projectives and enough ξ -injectives satisfying weak idempotent completeness (see [6, Condition 5.8]) and ξ is a proper class of E -triangles in ( C , E , s ).

Definition 3.1. Let A be an object in C . An ξ -projective resolution of A is an ξ -exact complex P → A such that P n ∈ P ( ξ ) for all n ≥ 0 . Dually, an ξ -injective coresolution of A is an ξ -exact complex A → I such that I n ∈ I ( ξ ) for all n ≥ 0 .

Using standard arguments from relative homological algebra, one can prove a version of the comparison theorem for ξ -projective resolutions (resp. ξ -injective coresolutions). It follows that any two ξ -projective resolutions (resp. ξ -injective coresolutions) of an object A are homotopy equivalent. So we have the following definition.

## Definition 3.2. Let A and B be objects in C .

/d47

- (1) If we choose an ξ -projective resolution P A of A , then for any integer n /greaterorequalslant 0 , the ξ -cohomology groups ξ xt n P ( ξ ) ( A,B ) are defined as

/d47

$$\xi x t _ { \mathcal { P } ( \xi ) } ^ { n } ( A, B ) = H ^ { n } ( \mathcal { C } ( \mathbf P, B ) ).$$

/d15

/d15

/d15

/d15

/d15

/d15

/d47

- (2) If we choose an ξ -injective coresolution B I of B , then for any integer n /greaterorequalslant 0 , the ξ -cohomology groups ξ xt n I E ( ) ( A,B ) are defined as

/d47

/d47

$$\xi \text{xt} _ { \mathcal { I } ( \mathcal { E } ) } ^ { n } ( A, B ) = H ^ { n } ( \mathcal { C } ( A, \mathbf I ) ).$$

In fact, with the modifications of the usual proof, one obtains the isomorphism ξ xt n P ( ξ ) ( A,B ) = ∼ ξ xt n I E ( ) ( A,B , ) which is denoted by ξ xt n ξ ( A,B . )

It is easy to see that the following lemma holds by [5, Lemma 4.14].

/d47

Lemma 3.3. (Horseshoe Lemma) If A x B y C δ ❴ ❴ ❴ is an E -triangle in ξ , then we

/d47

/d47

/d47

/d47

/d47

have the following commutative diagram

/d47

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00931v1-figure-745e6439-42c3-4298-8831-22e9b20cde78.jpg)

/d47

/d47

/d47

/d47

where P A A, P B B and P C C are ξ -projective resolutions for A B , and C respectively.

/d47

/d47

/d47

/d47

/d47

Using classical methods in homological algebra, one can see that for any E -triangle in ξ , the long exact sequence of ' ξ xt' functors exists. More precisely, we have the following lemma.

/d47

Lemma 3.4. If A x B y C δ ❴ ❴ ❴ is an E -triangle in ξ , then for any object X in C , we have the following long exact sequences in Ab

/d47

/d47

/d47

/d47

/d47

/d47

$$0 \longrightarrow \xi x t _ { \xi } ^ { 0 } ( X, A ) \longrightarrow \xi x t _ { \xi } ^ { 0 } ( X, B ) \longrightarrow \xi x t _ { \xi } ^ { 0 } ( X, C ) \longrightarrow \xi x t _ { \xi } ^ { 1 } ( X, A ) \longrightarrow \cdots$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

and

/d47

$$0 \longrightarrow \xi x t _ { \xi } ^ { 0 } ( C, X ) \longrightarrow \xi x t _ { \xi } ^ { 0 } ( B, X ) \longrightarrow \xi x t _ { \xi } ^ { 0 } ( A, X ) \longrightarrow \xi x t _ { \xi } ^ { 1 } ( C, X ) \longrightarrow \cdots.$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

For any objects A and B , there is always a natural map

/d47

$$\delta \colon \mathcal { C } ( A, B ) \Longrightarrow \xi x t _ { \xi } ^ { 0 } ( A, B ),$$

/d47

which is an isomorphism if A ∈ P ( ξ ) or B ∈ I ( ξ ).

Lemma 3.5. Assume that M is an object in C and G is an object in GP ( ξ ) . If M ∈ P ˜ ( ξ ) or M ∈ I ˜ ( ξ ) , then ξ xt ( 0 ξ G,M ) = ∼ C ( G,M ) and ξ xt ( i ξ G,M ) = 0 for any i &gt; 0 .

/d47

Proof. Let G ′ x P y G δ ❴ ❴ ❴ be an E -triangle in ξ with G ′ ∈ GP ( ξ ) and P ∈ P ( ξ ). If M ∈ P ˜ ( ξ ), then we have the following commutative diagram

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

$$\begin{array} { c } \cdots \\ 0 \longrightarrow \mathcal { C } ( G, M ) \longrightarrow \mathcal { C } ( P, M ) \longrightarrow \mathcal { C } ( G ^ { \prime }, M ) \longrightarrow 0 \\ \delta _ { 1 } \Big | \underset { \delta _ { 2 } } { \Big | } \underset { \delta _ { 2 } } { \Big | } \simeq \bigoplus \Big | \delta _ { 3 } \\ 0 \longrightarrow \xi x t _ { \xi } ^ { 0 } ( G, M ) \longrightarrow \xi x t _ { \xi } ^ { 0 } ( G ^ { \prime }, M ) \longrightarrow \xi x t _ { \xi } ^ { 1 } ( G, M ) \longrightarrow 0. \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cd� \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cd.. \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cdots \\ \cd. } \end{array}$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

where the top exact sequence follows from [5, Lemma 4.10(2)]. It is easy to see that δ 1 is monic, similarly one can prove that δ 3 is monic, hence δ 1 is an epimorphism by snake lemma, so δ 1 is

an isomorphism. Similarly one can get that δ 3 is an isomorphism, so ξ xt ( 1 ξ G,M ) = 0. It is easy to show that ξ xt ( i ξ G,M ) = 0 for any i &gt; 0 by Lemma 3.4.

If M ∈ I ˜ ( ξ ), a similar argument yields that ξ xt ( 0 ξ G,M ) = ∼ C ( G,M ) and ξ xt ( i ξ G,M ) = 0 for any i &gt; 0. /square

/d47

Lemma 3.6. Let A x B y C ρ ❴ ❴ ❴ be an E -triangle in ξ with A,B ∈ GP ( ξ ) , then C ∈ GP ( ξ ) if and only if ξ xt ( 1 ξ C,P ) = 0 for any P ∈ P ( ξ ) .

/d47

/d47

/d47

/d47

/d47

Proof. The 'only if' part follows from [5, Lemma 4.10(2)] and Lemma 3.5.

/d47

For the 'if' part, since A ∈ GP ( ξ ), there exists an E -triangle A P K ❴ ❴ in ξ with P ∈ P ( ξ ) and K ∈ GP ( ξ ). Then we have the following commutative diagram:

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00931v1-figure-d28bb480-8626-48f4-a55d-f8ac2dec8a41.jpg)

✤

✤

/d15

/d15

✤

/d15

/d15

✤

/d47

where all rows and columns are E -triangles in ξ because ξ is closed under cobase change. It follows from Theorem [5, Theorem 4.16] that G ∈ P ( ξ ). For the E -triangle P G C ❴ ❴ , we have the following commutative diagram

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

$$\begin{array} { c } \mathcal { C } ( C, P ) \xrightarrow { \mathcal { C } } ( G, P ) \xrightarrow { \mathcal { C } } ( P, P ) - - - \succ 0 \\ \delta _ { 1 } \Big | \quad \delta _ { 2 } \Big | \cong \quad \delta _ { 3 } \Big | \cong \\ 0 \longrightarrow \xi \text{xt} _ { \xi } ^ { 0 } ( C, P ) \xrightarrow { \mathcal { \xi } } \xi \text{xt} _ { \xi } ^ { 0 } ( P, P ) \xrightarrow { \mathcal { \xi } } 0. \end{array}$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

by hypothesis. Hence the E -triangle P G C ❴ ❴ is split, and C ∈ GP ( ξ ). /square

/d47

/d47

/d47

/d47

/d47

/d47

Lemma 3.7. [5, Proposition 5.6] Let M be an object in ˜ GP ( ξ ) . Then ξ -G pd M /lessorequalslant n if and only if for any ξ -exact complex K n G n -1 · · · G 1 G 0 A, K n belongs to ˜ GP ( ξ ) provided that G i is ξ -G projective for 0 ≤ i ≤ n -1 .

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

We are now in a position to prove the main result of this section.

Theorem 3.8. Let M be an object in ˜ GP ( ξ ) . Then the following are equivalent:

- (1) ξ -G pd M ≤ n ;
- (2) ξ xt ( i ξ M,Q ) = 0 for any Q ∈ P ˜ ( ξ ) and i ≥ n +1 ;
- (3) ξ xt ( i ξ M,Q ) = 0 for any Q ∈ P ( ξ ) and i ≥ n +1 .

Furthermore, we have the following equalities:

/negationslash

$$\xi \text{-} \mathcal { G } \text{pd} M & = \sup \{ i \in \mathbb { N } _ { 0 } \ | \ \xi \text{xt} _ { \xi } ^ { i } ( M, Q ) ( M, Q ) \neq 0 \text{ for some } Q \in \mathcal { P } ( \xi ) \} \\ & = \sup \{ i \in \mathbb { N } _ { 0 } \ | \ \xi \text{xt} _ { \xi } ^ { i } ( M, Q ) ( M, Q ) \neq 0 \text{ for some } Q \in \widetilde { \mathcal { P } } ( \xi ) \}.$$

/d15

/d15

✤

/d47

/d47

/d15

/d15

✤

/d47

/d47

/negationslash

/d47

/d47

$$\cdot$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Proof. (1) ⇒ (2). Let · · · P n · · · P 1 P 0 M be an ξ -projective resolution of M . Then there exists an E -triangle K n +1 P n K n ❴ ❴ ❴ in ξ with K 0 = M for any integer n ≥ 0. Thus K n belongs to ˜ GP ( ξ ) by Lemma 3.7. Note that ξ xt n + j ξ ( M,Q ) = ∼ ξ xt ( j ξ K ,Q n ) for any Q ∈ P ˜ ( ξ ) and j ≥ 1. It follows from Lemma 3.5 that ξ xt ( j ξ K ,Q n ) = 0 for any j ≥ 1. So ξ xt ( i ξ M,Q ) = 0 for any Q ∈ P ˜ ( ξ ) and i ≥ n +1.

/d47

/d47

/d47

/d47

/d47

(2)

⇒

(3) is trivial.

- (3) ⇒ (1). By hypothesis, we assume that ξ -G pd M ≤ m . If m ≤ n , then (1) holds. If m&gt;n , we consider the following ξ -projective resolution of M

/d47

$$\cdots \longrightarrow P _ { n } \longrightarrow \cdots \longrightarrow P _ { 1 } \longrightarrow P _ { 0 } \longrightarrow M.$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Thus there exists an E -triangle

/d47

$$K _ { i + 1 } \longrightarrow P _ { i } \longrightarrow K _ { i } - - \gg$$

/d47

/d47

/d47

/d47

/d47

/d47

in ξ with K 0 = M for any integer i ≥ 0. Since ξ xt m ξ ( M,Q ) = ∼ ξ xt ( 1 ξ K m -1 , Q ) for any Q ∈ P ( ξ ), ξ xt ( 1 ξ K m -1 , Q ) = 0 by (3). Note that K m P m -1 K m -1 ❴ ❴ ❴ is an E -triangle in ξ with K m and P m -1 are ξ -G projective by Lemma 3.7. It follows from Lemma 3.6 that K m -1 is ξ -G projective. Thus we get that ξ -G pd M ≤ m -1. By proceeding in this manner, we get that m ≤ n . So ξ -G pd M ≤ n .

/d47

/d47

/d47

/d47

/d47

The last formulas in the theorem for determination of ξ -G pd M are a direct consequence of the equivalence between (1)-(3). /square

## 4. Global Gorenstein homological dimensions for extriangulated categories

We begin this section with the following concept which is inspired from (co)generating subcategories of triangulated categories.

Definition 4.1. Let X be a full subcategory of C . Then X is called a generating subcategory of C if for all A ∈ C , C X ( , A ) = 0 implies that A = 0 . Dually, a full subcategory of Y of C is called a cogenerating subcategory of C if for all B ∈ C , C ( B, X ) = 0 implies that B = 0 .

Next we assign two invariants to an extriangulated category, which is motivated by Gedrich and Gruenberg's invariants of a ring [4], and Asadollahi and Salarian's invariants to a triangulated category [1].

Definition 4.2. Let C be an extriangulated category. We assign two invariants to C as follows:

$$\xi \text{-silp} \mathcal { C } = \sup \{ \xi \text{-id} P \ | \ P \in \mathcal { P } ( \xi ) \},$$

$$\xi _ { \bullet } \text{spi} \mathcal { C } = \sup \{ \xi _ { \bullet } \text{pd} I \ | \ I \in \mathcal { I } ( \xi ) \}.$$

Proposition 4.3. If for any extriangulated category C with both ξ -silp C and ξ -spli C are finite, then they are equal.

Proof.

$$P r o o f. \text{ The proof is similar to } [ 1, Proposition 4.2]. & & \Box$$

The following lemma is essentially taken from [7, Propositions 3.7 and 3.8]. However, it can be easily extended to our setting by noting that Theorem 3.8 holds.

/d47

/d47

/d47

/d47

Lemma 4.4. Let C be an extriangulated category.

- (1) If sup { ξ -G id M | for any M ∈ C} ≤ ∞ and P ( ξ ) is a generating subcategory of C , then ξ -spli C &lt; ∞ .
- (2) If sup { ξ -G pd M | for any M ∈ C} ≤ ∞ and I ( ξ ) is a cogenerating subcategory of C , then ξ -silp C &lt; ∞ .

/d47

Lemma 4.5. If A x B y C δ ❴ ❴ ❴ is an E -triangle in ξ with C ∈ GP ( ξ ) , then it is C - I ( , ˜ ( ξ )) -exact.

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Proof. The proof is similar to [5, Lemma 5.7], we give its proof for convenience. Since C ∈ GP ( ξ ), there is an E -triangle K g P f C δ ❴ ❴ ❴ in ξ with P ∈ P ( ξ ) and K ∈ GP ( ξ ). It suffices to show that the E -triangle K g P f C δ ❴ ❴ ❴ is C - I ( , ˜ ( ξ ))-exact by [5, Lemma 4.10(1)] because any E -triangle in ξ which end in P is split, that is, the sequence of abelian groups

/d47

/d47

/d47

/d47

/d47

/d47

$$( * ) \quad \ 0 \longrightarrow \mathcal { C } ( C, M ) \stackrel { \mathcal { C } ( f, M ) } { \longrightarrow } \mathcal { C } ( P, M ) \stackrel { \mathcal { C } ( g, M ) } { \longrightarrow } \mathcal { C } ( K, M ) \longrightarrow 0$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

is exact for any M ∈ C with ξ -id M = n . If n = 0, then the sequence ( ∗ ) is exact because M ∈ I ( ξ ).

/d47

Assume that the sequence ( ∗ ) is exact for any L ∈ C with ξ -id L = n -1. Now we consider the case of ξ -id M = n . Suppose that M x I y L ρ ❴ ❴ ❴ is an E -triangle in ξ with I ∈ I ( ξ ) and ξ -id L = n -1. Hence the sequence of abelian groups

/d47

/d47

/d47

/d47

/d47

/d47

$$0 \longrightarrow \mathcal { C } ( C, L ) \xrightarrow { \mathcal { C } ( f, L ) } \mathcal { C } ( P, L ) \xrightarrow { \mathcal { C } ( g, L ) } \mathcal { C } ( K, L ) \longrightarrow 0$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

is exact by induction. Since the functor C - -( , ) is biadditive functor, we have following commutative diagram

✤

✤

$$\text{agram} \begin{matrix} 0 & 0 & 0 \\ \vdots \\ 0 & - \succ \mathcal { C } ( \mathcal { C }, M ) & \frac { \mathcal { C } ( \mathcal { C }, x ) } { \longrightarrow } \mathcal { C } ( \mathcal { C }, I ) & \frac { \mathcal { C } ( \mathcal { C }, y ) } { \longrightarrow } \mathcal { C } ( \mathcal { C }, L ) - - \succ 0 \\ \mathcal { C } ( f, M ) & \bigoplus \\ 0 & \longrightarrow \mathcal { C } ( P, M ) & \frac { \mathcal { C } ( P, x ) } { \longrightarrow } \mathcal { C } ( P, I ) & \frac { \mathcal { C } ( P, y ) } { \longrightarrow } \mathcal { C } ( P, L ) & \longrightarrow 0 \\ \mathcal { C } ( g, M ) & \bigoplus \\ 0 & - \succ \mathcal { C } ( K, M ) & \frac { \mathcal { C } ( K, x ) } { \longrightarrow } \mathcal { C } ( K, I ) & \frac { \mathcal { C } ( K, y ) } { \longrightarrow } \mathcal { C } ( K, L ) - - \succ 0 \\ \vdots \\ \mathcal { Y } & \bigoplus \\ 0 & 0 & 0 \end{matrix} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \vec { \mathcal { }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \ \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$ \mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }`} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{                                                                                                                                                                                                         }                                                                                                                                                                                                       
\quad \text{see that the morphism $\mathcal{ } } \mathcal { C } ( K, y ) \text{ is epic.                                                                                                                                                                                                        \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }\quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{  }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \quad \text{$\mathcal{ }$} \$$

✤

/d15

/d15

✤

/d15

/d15

/d15

/d15

It is easy to see that the morphism C ( K,y ) is epic. Similarly C ( C,y ) is epic. Next we claim that C ( g, M ) is epic. For any morphism h : K → M , there exists a morphism h 1 : P → I such that h g 1 = xh . It follows from (ET3) that there exists a morphism h 2 which gives the following

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

✤

/d15

/d15

/d15

/d15

✤

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

commutative diagram:

$$K \xrightarrow { g } P \xrightarrow { f } C - \frac { \delta } { } \succ \\ \Big | ^ { h } _ { \substack { x \\ M \xrightarrow { x } } } \Big | ^ { h _ { 1 } } \xrightarrow { 1 } H _ { 2 } \\ I \xrightarrow { y } L - \frac { \rho } { } \succ \\ \Gamma \vee \colon \cos \cos \ h _ { - } \ f o o w o w + h w o w o h \ h \ h \ h \ h \ h$$

/d15

/d15

/d15

/d15

/d15

/d15

✤

/d47

/d47

/d47

/d47

/d47

/d47

Since C ( C,y ) : C ( C,I ) →C ( C,L ) is epic, h 2 factors through y . Hence h factors through g by [6, Corollary 3.5]. That is, C ( g, M ) is epic, which implies that the sequence of abelian groups

/d47

$$0 \longrightarrow \mathcal { C } ( K, M ) \stackrel { \mathcal { C } ( K, x ) } { \longrightarrow } \mathcal { C } ( K, I ) \stackrel { \mathcal { C } ( K, y ) } { \longrightarrow } \mathcal { C } ( K, L ) \longrightarrow 0$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

is exact by snake lemma. Similarly one can prove that the sequence of abelian groups

/d47

$$0 \longrightarrow \mathcal { C } ( C, M ) \stackrel { \mathcal { C } ( C, x ) } { \longrightarrow } \mathcal { C } ( C, I ) \stackrel { \mathcal { C } ( C, y ) } { \longrightarrow } \mathcal { C } ( C, L ) \longrightarrow 0$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

is exact as C ∈ GP ( ξ ). It is straightforward to prove that the sequence ( ∗ ) is exact by Lemma 3 × 3. /square

Proposition 4.6. Let C be an extriangulated category.

- (1) If M is an object in ˜ I ( ξ ) , then ξ -G pd M = ξ -pd M .
- (2) If M is an object in ˜ P ( ξ ) , then ξ -G id M = ξ -id M .

/d47

Proof. We only prove (1), the proof of (2) is similar. It is clear that ξ -G pd M ≤ ξ -pd M , and the equality holds if ξ -G pd M = ∞ . If ξ -G pd M = n &lt; ∞ , then there exists an E -triangle M L G ❴ ❴ in ξ such that G ∈ GP ( ξ ) and ξ -pd L /lessorequalslant n by [5, Proposition 5.9]. Note that M ∈ I ˜ ( ξ ). Thus, by Lemma 4.5, we have the following exact sequence

/d47

/d47

/d47

/d47

/d47

/d47

$$0 \longrightarrow \mathcal { C } ( G, M ) \longrightarrow \mathcal { C } ( L, M ) \longrightarrow \mathcal { C } ( M, M ) \longrightarrow 0.$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

So M is a direct summand of L , and ξ -pd M ≤ ξ -pd L = n = -ξ G pd M , as desired.

/square

We are now in a position to prove the main result of this section.

Theorem 4.7. Let C be an extriangulated category, and let P ( ξ ) be a generating subcategory of C and I ( ξ ) be a cogenerating subcategory of C . Consider the following conditions for any non-negative integer m :

- (1) sup { ξ -G pd M | for any M ∈ C} ≤ m .
- (2) sup { ξ -G id M | for any M ∈ C} ≤ m .
- (3) ξ -spli C = ξ -silp C ≤ m .

Then (1) ⇒ (3) and (2) ⇒ (3) . The converses hold if C satisfies the following condition:

Condition ( /star ) : If N ∈ C and M ∈ P ˜ ( ξ ) such that ξ xt ( i ξ M,N ) = 0 for any i ≥ 1 , then C ( M,N ) ∼ = ξ xt ( 0 ξ M,N ) . Dually, if N ∈ C and M ∈ I ˜ ( ξ ) such that ξ xt ( i ξ N,M ) = 0 for any i ≥ 1 , then C ( N,M ) = ∼ ξ xt ( 0 ξ N,M ) .

Proof. (1) ⇒ (3) and (2) ⇒ (3) hold by Proposition 4.3, Proposition 4.6 and Lemma 4.4.

(3) ⇒ (1). Assume that ξ -spli C = ξ -silp C = m &lt; ∞ . For any M ∈ C , we consider the following ξ -projective resolution of M

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

$$\cdots \longrightarrow P _ { n } \longrightarrow \cdots \longrightarrow P _ { 1 } \longrightarrow P _ { 0 } \longrightarrow M.$$

/d47

/d47

/d47

/d47

✤

✤

/d47

/d47

Thus there exists an E -triangle

/d47

$$K _ { n + 1 } \longrightarrow P _ { n } \longrightarrow K _ { n } - - \succ$$

/d47

/d47

/d47

/d47

/d47

in ξ with K 0 = M for any integer n ≥ 0. Consider the ξ -injective coresolution of K i

/d47

$$K _ { i } \longrightarrow I _ { i } ^ { 0 } \longrightarrow I _ { i } ^ { 1 } \longrightarrow \cdots$$

/d47

/d47

/d47

/d47

/d47

for any integer i ≥ 0. Thus we have the following commutative diagram which is the dual of Lemma 3.3

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00931v1-figure-11016ad2-e8f7-44e6-8dd7-41cc587c33a8.jpg)

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

.

Note that ξ -id P n ≤ m and I 0 n +1 ⊕ I 0 n , · · · , I m -1 n +1 ⊕ I m -1 n ∈ I ( ξ ). It follows that I m n ∈ I ( ξ ). For any I ∈ I ( ξ ), since ξ -pd I ≤ m by hypothesis, we get that ξ xt ( s ξ I, L m j ) = ∼ ξ xt m s + ξ ( I, K j ) = 0 for any integers j ≥ 0 and s ≥ 1.

/d47

Note that I ∈ P ˜ ( ξ ) and ξ xt ( s ξ I, L m j ) = 0 for any j ≥ 0 and s ≥ 1 by the above proof. It follows from the hypothesis that C ( I, L m j ) = ∼ ξ xt ( 0 ξ I, L m j ) for any integer j ≥ 0. For the E -triangle L m j +1 I m n L m j ❴ ❴ ❴ in ξ with j ≥ 0, we have the following commutative diagram

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d47

$$0 \, - \, - \, - \, \succ \, \mathcal { C } ( I, L _ { j + 1 } ^ { m } ) \xrightarrow { \, \mathcal { C } ( I, I _ { j } ^ { m } ) \xrightarrow { \, \mathcal { C } ( I, L _ { j } ^ { m } ) \, - \, - \, - \, - \, \succ \, 0 } } \, \mathcal { C } ( I, L _ { j } ^ { m } ) \xrightarrow { \, \mathcal { C } ( I, L _ { j } ^ { m } ) \, - \, - \, - \, - \, - \, \succ \, 0 } } \, \mathcal { C } ( I, L _ { j } ^ { m } ) \xrightarrow { \, \mathcal { C } ( I, L _ { j } ^ { m } ) \, - \, - \, - \, - \, - \, \succ \, 0 } } \, 0.$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Therefore, there exists a ξ -exact complex

/d47

$$\cdots \longrightarrow I _ { 1 } ^ { m } \longrightarrow I _ { 0 } ^ { m } \longrightarrow L _ { 0 } ^ { m },$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

which is C I ( ( ξ , ) -)-exact. Note that there exists an E -triangle L m 0 E 0 Y 1 ❴ ❴ ❴ in ξ with E 0 ∈ I ( ξ ). By the above proof, we have that ξ xt ( i ξ I, L m 0 ) = 0 for any i ≥ 1. It follows from Lemma 3.4 that ξ xt ( i ξ I, Y 1 ) = 0 for any i ≥ 1. Hence C ( I, Y 1 ) ∼ = ξ xt ( 0 ξ I, Y 1 ) by hypothesis.

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

By the foregoing proof, the E -triangle L m 0 E 0 Y 1 ❴ ❴ ❴ is C I ( ( ξ , ) -)-exact. By proceeding in this manner, we get a ξ -exact complex

/d47

/d47

/d47

/d47

/d47

/d47

$$L _ { 0 } ^ { m } \longrightarrow E ^ { 0 } \longrightarrow E ^ { 1 } \longrightarrow \cdots,$$

/d47

/d47

/d47

/d47

/d47

which is C I ( ( ξ , ) -)-exact. So L m 0 ∈ GI ( ξ ) and ξ -G id M ≤ m , as desired.

(3) ⇒ (2). The proof is similar to that of (3) ⇒ (1).

/square

As a consequence of Theorem 4.7, we have the following corollary.

Corollary 4.8. Let C be an extriangulated category satisfying Condition ( /star ) . If P ( ξ ) is a generating subcategory of C and I ( ξ ) is a cogenerating subcategory of C , then we have the following equality

$$\sup \{ \xi \text{-} \mathcal { G } \text{pd} M \ | \text{ for any } M \in \mathcal { C } \} = \sup \{ \xi \text{-} \mathcal { G } \text{id} M \ | \text{ for any } M \in \mathcal { C } \}.$$

Let C = ( C , E , s ) be an extriangulated category, and let U , V ⊆ C be a pair of full additive subcategories, closed under isomorphisms and direct summands. Recall from [6, Definitions 4.1 and 4.12] that the pair ( U , V ) is called a cotorsion pair on C if it satisfies the following conditions:

- (1) E ( U V , ) = 0;
- (2) For any C ∈ C , there exists a conflation V C → U C → C satisfying U C ∈ U and V C ∈ V ;
- (3) For any C ∈ C , there exists a conflation C → V C → U C satisfying U C ∈ U and V C ∈ V .

Moreover, if ( X Y , ) and ( Y Z , ) are cotorsion pairs on C , then the triple ( X Y Z , , ) is called the cotorsion triple on C . It follows from [5, Theorem 3.2] that: for any proper class ξ of E -triangles, ( C , E ξ , s ξ ) is an extriangulated category, where E ξ := E | ξ and s ξ := s | E ξ . Next we have the following corollary.

Corollary 4.9. Assume that C is an extriangulated category satisfying Condition ( /star ) and

$$\mathcal { P } ^ { \leqslant n } ( \xi ) = \{ M \in \mathcal { C } \ | \ \xi \text{-pd} M \leqslant n \}.$$

Then sup { ξ -G pd M | for any M ∈ C} ≤ n if and only if ( GP ( ξ , ) P /lessorequalslant n ( ξ , ) GI ( ξ )) is a cotorsion triple.

Proof. The 'if' part is straightforward by noting that ( GP ( ξ , ) P /lessorequalslant n ( ξ )) is a cotorsion pair in ( C , E ξ , s ξ ). For the 'only if' part, we assume that sup { ξ -G pd M | for any M ∈ C} ≤ n . It follows from [5, Theorem 5.4] that ( GP ( ξ , ) P /lessorequalslant n ( ξ )) is a cotorsion pair in ( C , E ξ , s ξ ). Note that sup { ξ -G id M | for any M ∈ C} ≤ n by Corollary 4.8. Thus one can get that ( I /lessorequalslant n ( ξ , ) GI ( ξ )) is a cotorsion pair in ( C , E ξ , s ξ ), where I /lessorequalslant n ( ξ )= { M ∈ C | ξ -id M /lessorequalslant n } . Next we claim that P /lessorequalslant n ( ξ ) = I /lessorequalslant n ( ξ ). Let M be an object in I /lessorequalslant n ( ξ ). Then ξ -G pd M = ξ -pd M by Theorem 4.6. Thus ξ -pd M /lessorequalslant n , and hence M ∈ P /lessorequalslant n ( ξ ). Similarly, we can prove that P /lessorequalslant n ( ξ ) ⊆ I /lessorequalslant n ( ξ ). This completes the proof. /square

Example 4.10. (1) Assume that ( C , E , s ) is an exact category and ξ is a class of exact sequences which is closed under isomorphisms. One can check that Condition ( /star ) in Theorem 4.7 is automatically satisfied.

- (2) If C is a triangulated category and the class ξ of triangles is closed under isomorphisms and suspension (see [2, Section 2.2] and [5, Remark 3.4(3)]) , then Condition ( /star ) in Theorem 4.7 is also satisfied.

Proof. We only need to prove (2). Let P /lessorequalslant n ( ξ ) = { M ∈ C | ξ -pd M /lessorequalslant n } . Assume that N is an object in C such that ξ xt ( i ξ M,N ) = 0 for M ∈ P /lessorequalslant n ( ξ ) and any i ≥ 1. We proceed by induction on n . If n = 0, then it is easy to check that C ( M,N ) ∼ = ξ xt ( 0 ξ M,N ) for all M ∈ P ( ξ ). We suppose that C ( M,N ) = ∼ ξ xt ( 0 ξ M,N ) provided that ξ xt ( i ξ M,N ) = 0 for all M ∈ P /lessorequalslant n -1 ( ξ ) and any i ≥ 1. Let M be an object in C with ξ -pd M ≤ n and ξ xt ( i ξ M,N ) = 0 for any i ≥ 1. Then

/d47

there exists a triangle K f P g M h Σ K in ξ with P ∈ P ( ξ ) and K ∈ P /lessorequalslant n -1 ( ξ ). Consider the following commutative diagram:

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

$$0 & - \, - \, - \, \succ \mathcal { C } ( M, N ) \xrightarrow { \, \mathcal { C } ( g, N ) \, } \mathcal { C } ( P, N ) \xrightarrow { \, \mathcal { C } ( f, N ) \, } \mathcal { C } ( K, N ) \xrightarrow { \, \mathcal { C } ( f, N ) \, } \delta _ { 2 } \delta _ { 3 } \\ 0 & \xrightarrow { \, \delta _ { 1 } \, \Big | } \xi x t _ { \xi } ^ { 0 } ( M, N ) \xrightarrow { \, \xi x t _ { \xi } ^ { 0 } ( P, N ) \xrightarrow { \, \xi x t _ { \xi } ^ { 0 } ( K, N ) \xrightarrow { \, \delta _ { 1 } \, } \delta _ { 2 } \, } \delta _ { 3 }.$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Since both δ 2 and δ 3 are isomorphisms, C ( f, N ) : C ( P, N ) →C ( K,N ) is an epimorphism. Thus C (Σ -1 g, N ) : C (Σ -1 M,N ) →C (Σ -1 P, N ) is a monomorphism, and hence

$$\mathcal { C } ( g, \Sigma N ) \, \colon \mathcal { C } ( M, \Sigma N ) \to \mathcal { C } ( P, \Sigma N )$$

is a monomorphism.

Note that ξ is closed under suspension. It follows that the triangle

/d47

$$\Sigma K \xrightarrow { - \Sigma f } \Sigma P \xrightarrow { - \Sigma g } \Sigma M \xrightarrow { - \Sigma h } \Sigma ^ { 2 } K$$

/d47

/d47

/d47

/d47

/d47

is in ξ with Σ P ∈ P ( ξ ) and Σ K ∈ P /lessorequalslant n -1 ( ξ ). It is easy to check that Σ M and Σ N be objects in C with ξ -pdΣ M ≤ n and ξ xt (Σ 1 ξ M, Σ N ) = 0. By the forgoing proof, one can get that C (Σ g, Σ N ) : C (Σ M, Σ N ) →C (Σ P, Σ N ) is a monomorphism. Thus C ( g, N ) : C ( M,N ) →C ( P, N ) is a monomorphism, and so δ 1 : C ( M,N ) → ξ xt ( 0 ξ M,N ) is an isomorphism, as desired. /square

Let R be a ring and R -Mod the category of left R -modules. Then it is clear that the class of projective left R -modules is generating subcategory of R -Mod and the class of injective R -modules is a cogenerating subcategory of R -Mod, it follows from Example 4.10(1) and Theorem 4.7, we have the following corollary which contains the result of [3, Theorem 1.1].

Corollary 4.11. Let R be a ring and R -Mod the category of left R -modules. Then the following are equivalent for any non-negative integer m :

- (1) sup {G pd M | for any M ∈ R -Mod } ≤ m .
- (2) sup {G id M | for any M ∈ R -Mod } ≤ m .
- (3) spli R = silp R ≤ m .

Moreover, we have the following equality:

sup {G pd M | for any M ∈ R -Mod } = sup {G id M | for any M ∈ R -Mod } .

As a consequence of Example 4.10(2) and Theorem 4.7, we have the following corollary which refines a result of [7].

Corollary 4.12. Let C be a triangulated category, and let P ( ξ ) be a generating subcategory of C and I ( ξ ) is a cogenerating subcategory of C . Then the following are equivalent for any non-negative integer m :

- (1) sup { ξ -G pd M | for any M ∈ C} ≤ m .
- (2) sup { ξ -G id M | for any M ∈ C} ≤ m .
- (3) ξ -spli C = ξ -silp C ≤ m .

Moreover, we have the following equality:

sup { ξ -G pd M | for any M ∈ C} = sup { ξ -G id M | for any M ∈ C} .

## References

- [1] J. Asadollahi and S. Salarian, Tate cohomology and Gorensteinness for triangulated categories, J. Algebra 299 (2006) 480-502.
- [2] A. Beligiannis, Relative homological algebra and purity in triangulated categories, J. Algebra 227(1) (2000) 268-361.
- [3] D. Bennis and N. Mahdou, Global Gorenstein dimensions, Proc. Amer. Math. Soc. 138(2) (2010) 461-465.
- [4] T. V. Gedrich, K. W. Gruenberg, Complete cohomological functors on groups. Topol. Appl. 25 (1987) 203-223.
- [5] J. S. Hu, D. D. Zhang, P. Y. Zhou, Proper classes and Gorensteinness in extriangulated categories, arXiv:1906.10989, 2019.
- [6] H. Nakaoka and Y. Palu, Extriangulated categories, Hovey twin cotorsion pairs and model structures, Cahiers de Topologie et Geometrie Differentielle Categoriques, Volume LX-2 (2019) 117-193.
- [7] W. Ren and Z. K. Liu, Gorenstein homological dimensions for triangulated categories, J. Algebra 410 (2014) 258-276.
- [8] P. Y. Zhou and B. Zhu, Triangulated quotient categories revisited, J. Algebra 502 (2018) 196-232.
Jiangsheng Hu Dongdong Zhang Panyue Zhou
Gorenstein homological dimensions for extriangulated categories
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category
with a proper class $\xi$ of $\mathbb{E}$-triangles. The authors introduced and
studied $\xi$-$\mathcal{G}$projective and $\xi$-$\mathcal{G}$injective in
\cite{HZZ}. In this paper, we discuss Gorenstein homological dimensions for
extriangulated categories. More precisely, we first give some characterizations
of $\xi$-$\mathcal{G}$projective dimension by using derived functors on
$\mathcal{C}$. Second, let $\mathcal{P}(\xi)$ (resp. $\mathcal{I}(\xi)$) be a
generating (resp. cogenerating) subcategory of $\mathcal{C}$. We show that the
following equality holds under some assumptions:
$$\sup\{\xi\textrm{-}\mathcal{G}{\rm pd}M \ | \ \textrm{for} \ \textrm{any} \
M\in{\mathcal{C}}\}=\sup\{\xi\textrm{-}\mathcal{G}{\rm id}M \ | \ \textrm{for}
\ \textrm{any} \ M\in{\mathcal{C}}\},$$ where $\xi\textrm{-}\mathcal{G}{\rm
pd}M$ (resp. $\xi\textrm{-}\mathcal{G}{\rm id}M$) denotes
$\xi$-$\mathcal{G}$projective (resp. $\xi$-$\mathcal{G}$injective) dimension of
$M$. As an application, our main results generalize their work by Bennis-Mahdou
and Ren-Liu. Moreover, our proof is not far from the usual module or
triangulated case.