Modeling of mosquitoes with dominant or recessive Transgenes and Allee effects

1.   Introduction

Let $\mathcal{A}$ be an abelian category and $\mathcal{X}$ a contravariantly finite subcateogry of $\mathcal{A}$. This means that for each object $M \in \mathcal{A}$ there exists a (not necessarily exact) complex $\cdots\rightarrow X_{1} \rightarrow X_{0} \rightarrow M \rightarrow 0$, where $X_{i}\in \mathcal{X}$ for every $i\geq 0$, which is exact after applying the functor ${{\rm{Hom}}}_{\mathcal{A}}(X, -)$ for each $X\in \mathcal{X}$. Such a complex is called an $\mathcal{X}$-resolution of $M$ and denoted by $X^\bullet \to M,$ where $X^\bullet$ is the corresponding deleted complex. Since $X^\bullet$ is unique up to homotopy, so we can compute right derived functors of Hom, denoted by $\mathrm{Ext}^{n}_{\mathcal{X}}$. In many cases there is "balance'' in the computation of such functors, meaning that there exists a convariantly finite subcateogry $\mathcal{Y}$ of $\mathcal{A}$ such that $\mathrm{Ext}^{n}_{\mathcal{X}}(M, N)$ can be also obtained from the right derived functors $\mathrm{Ext}^{n}_{\mathcal{Y}}$ computed from a $\mathcal{Y}$-coresolution of $N$, $0\rightarrow N\rightarrow Y_{0} \rightarrow Y_{1} \rightarrow\cdots$, where $Y_{i}\in \mathcal{Y}$ for every $i\geq0$. This phenomenon can be summarized by saying that the pair $(\mathcal{X}, \mathcal{Y})$ is a balanced pair (in the sense of Chen [3]) or equivalently that the functor Hom is right balanced by $\mathcal{X}\times \mathcal{Y}$ (see Enochs and Jenda [5,Section 8.2]). In this case, we donote by $\mathrm{Ext}^{i}_{\ast} (M, N)$ the abelian groups $\mathrm{Ext}^{i}_{\mathcal{X}} (M, N)\cong\mathrm{Ext}^{i}_{\mathcal{Y}} (M, N)$ (see [5]). Let $\mathcal{P}$ and $\mathcal{I}$ be classes of projective and injective left $R$-modules, respectively. Then the pair $(\mathcal{P}, \mathcal{I})$ is a classical example of balanced pairs. Balanced pairs have gained attention in the last years and it is very useful in relative homological algebra because balanced pairs are very closely related to resolutions, triangle-equivalences, cotorsion pairs and recollements (see for instance [3,5,6,12,18]).

Let $\mathcal{X}$ be a subcategory of $\mathcal{A}$. Sather-Wagstaff, Sharif and White introduced in [13] the Gorenstein subcategory $\mathcal{G}(\mathcal{X})$, which unifies the following notions: modules of G-dimension zero, Gorenstein projective modules, Gorenstein injective modules and so on. The Gorenstein subcategory $\mathcal{G}(\mathcal{X})$ of $\mathcal{A}$ is defined as $\mathcal{G}(\mathcal{X}) = \{M\in \mathcal{A}\mid {\rm there\; exists\; an\; exact\; sequence}\; X^\bullet = \cdots\rightarrow X_{1}\rightarrow X_{0}\rightarrow X_{-1}\rightarrow \cdots {\rm in}\; \mathcal{X}, {\rm which\; is\; both}\; {{\rm{Hom}}}_{\mathcal{A}}(\mathcal{X}, -){\rm -exact\; and}\; {{\rm{Hom}}}_{\mathcal{A}}(-, \mathcal{X}){\rm -exact, \; such\; that}\; M\cong \ker(X_{0}\rightarrow X_{-1})\}$. Such a complex $X^\bullet$ is called a complete $\mathcal{X}$-resolution of $M$. Recently, Gorenstein subcategories have been extensively studied by many authors, see [2,11,13,16] for instance.

Let $(\mathcal{X}, \mathcal{Y})$ be an admissible balanced pair of abelian category $\mathcal{A}$. Then we have two Gorenstein subcategories: $\mathcal{G}(\mathcal{X})$ and $\mathcal{G}(\mathcal{Y})$. We can establish Gorenstein homological dimensions in terms of these categories: the $\mathcal{G}(\mathcal{X})$ dimension of an object $A\in \mathcal{A}$, denoted by $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A$, is the minimal integer $n\geqslant 0$ such that there is an $\mathcal{X}$-resolution $0 \to G_n \to \cdots \to G_0 \to A \to 0$ with each $G_{i}\in\mathcal{G}(\mathcal{X})$. If there is no such an integer, set $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A = \infty$. Dually, we can define the notion of $\mathcal{G}(\mathcal{Y})$ codimension of an object $A\in\mathcal{A}$, denoted by $\mathcal{G}(\mathcal{Y}){\rm -}\mathrm{codim}A$. If $\mathcal{A}$ is the category of left $R$-modules and $\mathcal{(X, Y)} = \mathcal{(P, I)}$, then $\mathcal{G}(\mathcal{X})$ dimension and $\mathcal{G}(\mathcal{Y})$ codimension are exactly Gorenstein projective dimension and Gorenstein injective dimension defined by Holm in [10], respectively. Denote by $\mathrm{silp}\ R$ (respectively, $\mathrm{spli}\; R$) the supremum of injective (respectively, projective) dimensions of the projective (respectively, injective) modules (see [7]). Let $\mathrm{Mod}\; R$ the category of left $R$-modules. The following is well known.

Theorem 1.1. (see [4,Theorem 4.1]) Let $R$ be a ring. Then the following are equivalent for any nonnegative integer $n$:

(1) For any $R$-module $M$, $\mathcal{G}(\mathcal{P})\mathit{{\rm -}}\mathrm{dim}M\leqslant n$;

(2) For any $R$-module $N$, $\mathcal{G}(\mathcal{I})\mathit{{\rm -}}\mathrm{codim}N\leqslant n$;

(3) $\mathrm{silp}\ R = \mathrm{spli}\ R\leqslant n$.

Moreover,

In this case, we say that $R$ has finite left Gorenstein global dimension and define the common value of these two numbers to be its left Gorenstein global dimension.

The main goal of this paper is to generalize Theorem 1.1 to Gorenstein subcategories $\mathcal{G}(\mathcal{X})$ and $\mathcal{G}(\mathcal{Y})$ induced by any admissible balanced pair $(\mathcal{X}, \mathcal{Y})$ over an abelian category $\mathcal{A}$, without assuming that $\mathcal{A}$ has projective or injective objects. The following is the main result of this paper:

Theorem 1.2. Let $(\mathcal{X}, \mathcal{Y})$ be an admissible balanced pair over an abelian category $\mathcal{A}$. Then the following are equivalent for any nonnegative integer $n$:

(1) For any object $A$ in $\mathcal{A}$, $\mathcal{G}(\mathcal{X})\mathit{{\rm -}}\mathrm{dim}A\leqslant n$.

(2) For any object $A$ in $\mathcal{A}$, $\mathcal{G}(\mathcal{Y})\mathit{{\rm -}}\mathrm{codim}A\leqslant n$.

(3) ${\rm sup}\{\mathcal{Y}$-$\mathrm{cores.dim}P\mid P\in\mathcal{X}\} = {\rm sup}\{\mathcal{X}$-$\mathrm{res.dim}I\mid I\in\mathcal{Y}\}\leqslant n$.

Moreover,

The common value of the last equality is called the Gorenstein global dimension of the abelian category $\mathcal{A}$ relative to $(\mathcal{X}, \mathcal{Y})$. What interests us is that if we consider the balanced pair induced by pure projective and pure injective modules over a ring $R$, then the induced Gorenstein global dimension is exactly the pure global dimension (see Corollary 2). If we consider the balanced pair induced by Gorenstein projective and Gorenstein injective modules over a Ding-Chen ring, then the induced Gorenstein global dimension is exactly the Gorenstein global dimension (see Corollary 2.9).

The proof of the above results will be carried out in the next section.

2.   The proof of the main theorem

Throughout this section, we always assume that $\mathcal{A}$ is an abelian category (not necessarily with projective objects or injective objects). Let $\mathcal{X}$ be a full subcategory of $\mathcal{A}$ which is closed under taking direct summands. Let $M\in\mathcal{A}$. A morphism $f: X \to M$ is called a right $\mathcal{X}$-approximation of $M$, if $X\in\mathcal{X}$ and any morphism $g: X' \to M$ with $X'\in\mathcal{X}$ factors through $f$. The subcategory $\mathcal{X}$ is called contravariantly finite if each object in $\mathcal{A}$ has a right $\mathcal{X}$-approximation. Dually one has the notion of left $\mathcal{Y}$-approximation and then the notion of covariantly finite subcategories. We start by recalling the definition of balanced pairs.

Definition 2.1. (see [3,Definition 1.1]) A pair $(\mathcal{X}, \mathcal{Y})$ of additive subcategories in $\mathcal{A}$ is called a balanced pair if the following conditions are satisfied:

(BP0) the subcategory $\mathcal{X}$ is contravariantly finite and $\mathcal{Y}$ is covariantly finite;

(BP1) for each object $M$, there is an $\mathcal{X}$-resolution $X^\bullet \to M$ such that it is acyclic by applying the functors ${\rm Hom}_{\mathcal{A}}(-, Y)$ for all $Y\in\mathcal{Y}$;

(BP2) for each object $N$, there is a $\mathcal{Y}$-coresolution $N \to Y^\bullet$ such that it is acyclic by applying the functors ${\rm Hom}_{\mathcal{A}}(X, -)$ for all $X\in\mathcal{X}$.

We say that a contravariantly finite subcategory $\mathcal{X}\subseteq \mathcal{A}$ is admissible if each right $\mathcal{X}$-appoximation is epic. Dually one has the notion of coadmissible covariantly finite subcategory. It turns out that $\mathcal{X}$ is admissible if and only if $\mathcal{Y}$ is coadmissible for a balanced pair $(\mathcal{X}, \mathcal{Y})$ (see [3,Corollary 2.3]). In this case, we say the balanced pair is admissible. In what follows, we always assume that $(\mathcal{X}, \mathcal{Y})$ is an admissible balanced pair in $\mathcal{A}$.

Lemma 2.2. If the short exact sequence $0 \to X \to Y \to Z \to 0$ is ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact, then the following hold:

(1) If $Z\in\mathcal{G}(\mathcal{X})$, then $X\in\mathcal{G}(\mathcal{X})$ if and only if $Y\in\mathcal{G}(\mathcal{X})$. Moreover, $\mathcal{G}(\mathcal{X})$ is closed under direct summands.

(2) If $X, Y\in \mathcal{G}(\mathcal{X})$, then $Z\in\mathcal{G}(\mathcal{X})$ if and only if $\mathrm{Ext}_{\ast} ^1(Z, Q) = 0$ for any $Q\in\mathcal{X}$.

(3) If $X\in\mathcal{G}(\mathcal{Y})$, then $Y\in\mathcal{G}(\mathcal{Y})$ if and only if $Z\in\mathcal{G}(\mathcal{Y})$. Moreover, $\mathcal{G}(\mathcal{Y})$ is closed under direct summands.

(4) If $Y, Z\in \mathcal{G}(\mathcal{Y})$, then $X\in\mathcal{G}(\mathcal{Y})$ if and only if $\mathrm{Ext}_{\ast} ^1(I, Z) = 0$ for any $I\in\mathcal{Y}$.

Proof. We just prove (1) and (2) since (3) and (4) follow by duality.

(1) The first statement follows from [1,Proposition 2.13(1)]. One can prove that $\mathcal{G}(\mathcal{X})$ is closed under direct summands by the proof similar to that of [17,Theorem 2.5].

(2) The "only if" part is clear. For the "if" part, since $X\in \mathcal{G}(\mathcal{X})$, there exists a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact short exact sequence $0 \to X \to P \to K \to 0$ with $P\in \mathcal{X}$ and $K\in \mathcal{G}(\mathcal{X})$. Then we have the following commutative diagram:

By [3,Propsotion 2.2], all rows and columns are ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact. It follows from (1) that $G\in \mathcal{X}$ since $Y, K\in \mathcal{X}$. By assumption $\mathrm{Ext}_{\ast} ^1(Z, P) = 0$, we know that the middle row in the above diagram splits. So $Z\in\mathcal{G}(\mathcal{X})$ by (1).

Recall that the $\mathcal{X}$-resolution dimension $\mathcal{X}$-res.dim$A$ of an object $A$ is defined to be the minimal integer $n\geqslant 0$ such that there is an $\mathcal{X}$-resolution

If there is no such an integer, set $\mathcal{X}$-res.dim$A = \infty$. Let $\mathcal{Y}\subseteq \mathcal{A}$ be another full subcategory which is closed under taking direct summands. Dually one has the notion of $\mathcal{Y}$-coresolution dimension $\mathcal{Y}$-cores.dim$B$ of an object $B$. For details, see [5,8.4]. We let $\widetilde{\mathcal{X}}$ (respectively, $\widetilde{\mathcal{Y}}$) to denote the full subcategory of $\mathcal{A}$ whose objects are of finite $\mathcal{X}$-resolution (respectively, $\mathcal{Y}$-coresolution) dimension.

Lemma 2.3. The following are true for any object $A\in{\mathcal{A}}$:

(1) If $A\in\widetilde{\mathcal{X}}$ or $A\in\widetilde{\mathcal{Y}}$, then $\mathrm{Ext}_{\ast} ^i(G, A) = 0$ for any $i\geqslant 1$ and $G\in\mathcal{G}(\mathcal{X})$.

(2) If $A\in\widetilde{\mathcal{X}}$ or $A\in\widetilde{\mathcal{Y}}$, then $\mathrm{Ext}_{\ast} ^i(A, H) = 0$ for any $i\geqslant 1$ and $H\in\mathcal{G}(\mathcal{Y})$.

Proof. We just prove (1) since (2) follows by duality. If $G\in\mathcal{G}(\mathcal{X})$, then it is easy to see that $\mathrm{Ext}_{\ast} ^i(G, P) = 0$ for any $P\in\mathcal{X}$ and all $i\geqslant 1$. If $A\in\widetilde{\mathcal{X}}$, then there exists an $\mathcal{X}$-resolution

with all $P_i\in\mathcal{X}$. Hence $\mathrm{Ext}_{\ast} ^i(G, A)\cong \mathrm{Ext}_{\ast} ^{i+n}(G, P_n) = 0$ for any integer $i\geqslant 1$. Since $G\in\mathcal{G}(\mathcal{X})$, there exist a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequence

where $Q_{-j-1}\in\mathcal{X}$ and $K_{-j}\in\mathcal{G}(\mathcal{X})$ for any integer $j\geqslant 0$, here $K_0 = G$. Therefore $\mathrm{Ext}_{\ast} ^i(G, A)\cong \mathrm{Ext}_{\ast} ^{i+1}(K_{-1}, A)\cong\cdots\cong \mathrm{Ext}_{\ast} ^{i+n}(K_{-n}, A)\cong \cdots$. If $A\in\widetilde{\mathcal{Y}}$, it is easy to see that $\mathrm{Ext}_{\ast} ^i(G, A) = 0$ for any integer $i\geqslant 1$, as desired.

We let $\widetilde{\mathcal{G}}(\mathcal{X})$ (respectively, $\widetilde{\mathcal{G}}(\mathcal{Y})$) to denote the full subcategory of $\mathcal{A}$ whose objects are of finite $\mathcal{G}(\mathcal{X})$ (respectively, $\mathcal{G}(\mathcal{Y})$) (co)dimension.

Proposition 2.4. The following are true for any $0\neq A\in\mathcal{A}$:

(1) If $A\in\widetilde{\mathcal{G}}(\mathcal{X})$, then the following are equivalent:

$(i)$ $\mathcal{G}(\mathcal{X})\mathit{{\rm -}}\mathrm{dim} A\leqslant n$;

$(ii)$For any ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex $0 \to K_n \to G_{n-1} \to \cdots \to G_0 \to A \to 0$ with all $G_i\in \mathcal{G}(\mathcal{X})$, then so is $K_n$;

$(iii)$$\mathrm{Ext}_{\ast} ^i(A, Q) = 0$ for all $i>n$ and all $Q\in\widetilde{\mathcal{X}}$;

$(iv)$$\mathrm{Ext}_{\ast} ^i(A, Q) = 0$ for all $i>n$ and all $Q\in\mathcal{X}$.

In this case, $\mathcal{G}(\mathcal{X})\mathit{{\rm -}}\mathrm{dim} A = {\rm sup}\{i\in\mathbb{N}_0: \mathrm{Ext}_{\ast} ^i(A, Q)\neq 0$ for some $Q\in\widetilde{\mathcal{X}}\}$.

(2) If $A\in\widetilde{\mathcal{G}}(\mathcal{Y})$, then the following are equivalent:

$(i)$ $\mathcal{G}(\mathcal{Y})\mathit{{\rm -}}\mathrm{codim} A\leqslant n$;

$(ii)$For any ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex $0 \to A \to G^{0} \to \cdots \to G^{n-1} \to K^n \to 0$ with all $G^i\in \mathcal{G}(\mathcal{Y})$, then so is $K^n$;

$(iii)$$\mathrm{Ext}_{\ast} ^i(I, A) = 0$ for all $i>n$ and all $I\in\widetilde{\mathcal{Y}}$;

$(iv)$$\mathrm{Ext}_{\ast} ^i(I, A) = 0$ for all $i>n$ and all $I\in\mathcal{Y}$;

In this case, $\mathcal{G}(\mathcal{Y})\mathit{{\rm -}}\mathrm{codim} A = {\rm sup}\{i\in\mathbb{N}_0: \mathrm{Ext}_{\ast} ^i(I, A)\neq 0$ for some $I\in\widetilde{\mathcal{Y}}\}$.

Proof. We just prove (1) since (2) follows by duality.

$(i)\Rightarrow (ii)$ It is obvious by a argument similar to that of [10,Proposition 2.7].

$(ii)\Rightarrow (iii)$ Note that $\mathcal{(X, Y)}$ is a balanced pair. Then there exists a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex $0 \to K_n \to P_{n-1} \to \cdots \to P_0 \to A \to 0$ with all $P_i\in\mathcal{X}$. Hence $K_n\in\mathcal{G}(\mathcal{X})$ by (ii) and $\mathrm{Ext}_{\ast} ^i(A, Q)\cong\mathrm{Ext}_{\ast} ^{i-n}(K_n, Q) = 0$ for all $i>n$ and all $Q\in\widetilde{\mathcal{X}}$ by Lemma 2.3(1).

$(iii)\Rightarrow (iv)$ This is obvious.

$(iv)\Rightarrow (i)$ Assume that $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim} A = m>n$. Since $\mathcal{(X, Y)}$ is a balanced pair, there exists a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequence $0 \to K_m \to P_{m-1} \to \cdots \to P_0 \to A \to 0$ with all $P_i\in\mathcal{X}$ and $K_m\in\mathcal{G}(\mathcal{X})$ by hypothesis. Then there is a short exact sequence $0 \to K_j \to P_{j-1} \to K_{j-1} \to 0$ which is ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact for each $1\leqslant j\leqslant m$ with $K_0 = A$. Hence $\mathrm{Ext}_{\ast} ^1(K_{m-1}, Q)\cong \mathrm{Ext}_{\ast} ^m(A, Q) = 0$ for any $Q\in\mathcal{X}$ by (iv). Consider the ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequence $0 \to K_m \to P_{m-1} \to K_{m-1} \to 0$ where $K_m, P_{m-1}\in\mathcal{G}(\mathcal{X})$, it follows from Lemma 2.2(2) that $K_{m-1}\in\mathcal{G}(\mathcal{X})$. Therefore $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim} A\leqslant m-1$, a contradiction. So $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim} A\leqslant n$.

Proposition 2.5. The following are true for any $0\neq A\in\mathcal{A}$:

(1) If $\mathcal{G}(\mathcal{X})\mathit{{\rm -}}\mathrm{dim} A = n<\infty$, then there exist ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequences

such that $G, G'\in\mathcal{G}(\mathcal{X})$ and $\mathcal{X}$-$\mathrm{res.dim} K\leqslant n-1\ ($if $n = 0$, this should be interpreted as $K = 0)$ and $\mathcal{X}$-$\mathrm{res.dim} L\leqslant n$.

(2) If $\mathcal{G}(\mathcal{Y})\mathit{{\rm -}}\mathrm{codim} A = n<\infty$, then there exist ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequences

such that $G, G'\in\mathcal{G}(\mathcal{Y})$ and $\mathcal{Y}$-$\mathrm{cores.dim} K\leqslant n-1\ ($if $n = 0$, this should be interpreted as $K = 0)$ and $\mathcal{Y}$-$\mathrm{cores.dim} L\leqslant n$.

Proof. According to Lemma 2.2(1), the results follows by an argument similar to that of Proposition 3.3 in [17].

Corollary 2.6. The following are true for any object $A\in{\mathcal{A}}$:

(1) If $A\in\widetilde{\mathcal{Y}}$, then $\mathcal{X}$-$\mathrm{res.dim}A = \mathcal{G}(\mathcal{X})\mathit{{\rm -}}\mathrm{dim}A$.

(2) If $A\in\widetilde{\mathcal{X}}$, then $\mathcal{Y}$-$\mathrm{cores.dim}A = \mathcal{G}(\mathcal{Y})\mathit{{\rm -}}\mathrm{codim}A$.

Proof. We just prove (1) since (2) follows by duality. It is clear $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A\leqslant \mathcal{X}$-$\mathrm{res.dim}A$, so it is enough to show that $\mathcal{X}$-$\mathrm{res.dim}A\leqslant\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A$, which is trivial when $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A = \infty$. Now assume $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A = n<\infty$, then there exists a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequence $0 \to K \to G \to A \to 0$ such that $G\in\mathcal{G}(\mathcal{X})$ and $\mathcal{X}$-$\mathrm{res.dim} K = n-1$ by Proposition 2.5(1). Since $G\in\mathcal{G}(\mathcal{X})$, there exists a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequence $0 \to G \to P \to L \to 0$ such that $P\in\mathcal{X}$ and $L\in\mathcal{G}(\mathcal{X})$. Hence there exists the following commutative diagram:

where all rows and columns are ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact. Hence $\mathcal{X}$-$\mathrm{res.dim} M\leqslant\mathcal{X}$-$\mathrm{res.dim} K+1 = n$ by the middle row in above diagram. Note that $A\in\widetilde{\mathcal{Y}}$ by hypothesis, $\mathrm{Ext}_{\ast} ^1(L, A) = 0$ by Lemma 2.3(1). So the third column in this diagram splits, and $M\cong L\oplus A$. This implies that $\mathcal{X}$-$\mathrm{res.dim} A\leqslant\mathcal{X}$-$\mathrm{res.dim}M\leqslant n = \mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim} A$, as desired.

Proposition 2.7. If $\mathcal{G}(\mathcal{X})\mathit{{\rm -}}\mathrm{dim} A\leqslant n$ or $\mathcal{G}(\mathcal{Y})\mathit{{\rm -}}\mathrm{codim} A\leqslant n$ for any object $A\in\mathcal{A}$ and any positive integer $n$, then

Proof. Suppose $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim} A\leqslant n$ for any object $A\in\mathcal{A}$. It is easy to see that ${\rm sup}\{\mathcal{X}$-$\mathrm{res.dim}I\mid I\in\mathcal{Y}\}< \infty$ by Corollary 2.6. Now assume that $P\in \mathcal{X}$. For any object $A$, we have $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A\leqslant n$ by hypothesis. It follows from Proposition 2.4(1) that $\mathrm{Ext}_{\ast}^i(A, P) = 0$ for all $i>n$. Hence $\mathcal{Y}$-$\mathrm{cores.dim}P\leqslant n$, so ${\rm sup}\{\mathcal{Y}{\rm -}\mathrm{cores.dim}P\mid P\in\mathcal{X}\}\leqslant n$. In the following, we claim that if both ${\rm sup}\{\mathcal{Y}{\rm -}\mathrm{cores.dim}P\mid P\in\mathcal{X}\}$ and ${\rm sup}\{\mathcal{X}{\rm -}\mathrm{res.dim}I\mid I\in\mathcal{Y}\}$ are finite, then they are equal. Indeed, assume that ${\rm sup}\{\mathcal{Y}{\rm -}\mathrm{cores.dim}P\mid P\in\mathcal{X}\} = t$ and ${\rm sup}\{\mathcal{X}{\rm -}\mathrm{res.dim}I\mid I\in\mathcal{Y}\} = s$. So there exists $I\in\mathcal{Y}$ such that $\mathcal{X}$-$\mathrm{res.dim}I = s$. It is easy to check that there exists $P\in\mathcal{X}$ such that $\mathrm{Ext}_{\ast} ^s(I, P)\neq 0$, this implies that $\mathcal{Y}$-$\mathrm{cores.dim}P\geqslant s$. Hence ${\rm sup}\{\mathcal{Y}{\rm -}\mathrm{cores.dim}P\mid P\in\mathcal{X}\} = t\geqslant s$. Similarly, one can get $s\geqslant t$. Then the result follows.

Let $0 \to K \to P \to A \to 0$ be a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequence with $P\in\mathcal{X}$. Then object $K$ is called a first syzygy of $A$, denoted by $\Omega_1(A)$. An $n$-th syzygy of $A$, denoted by $\Omega_n(A)$, is defined as usual by induction. Dually, one can define $n$-th cosyzygy of $A$, denoted by $\Omega^n(A)$. We are now in a position to prove Theorem 1.2.

Proof of Theorem 1.2. $(1)\Rightarrow (3)$ and $(2)\Rightarrow (3)$ follow from Proposition 2.7.

$(3)\Rightarrow (1)$ First, we claim that any ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex of objects in $\mathcal{X}$ is a complete $\mathcal{X}$-resolution. Indeed, let $T$ be a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex with each term in $\mathcal{X}$. We show that for each integer $n$, the relevant exact sequence $0 \to K_{d+1} \to T_d \to K_d \to 0$ is ${\rm Hom}_\mathcal{A}(-, \mathcal{X})$-exact. If $P\in\mathcal{X}$, then $\mathcal{Y}$-$\mathrm{cores.dim}P = t\leqslant n$ by hypothesis. Hence $\mathrm{Ext}_{\ast}^1(K_d, P)\cong \mathrm{Ext}_{\ast}^{t+1}(K_{d-t}, P) = 0$ because each $T_i\in\mathcal{X}$ for any integer $i$, which implies that these ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequences are ${\rm Hom}_\mathcal{A}(-, \mathcal{X})$-exact. So $T$ is a complete $\mathcal{X}$ resolution.

Let $A$ be an object in $\mathcal{A}$. Assume that

is a $\mathcal{Y}$-coresolution of $A$ and consider the ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequences

Here $K^0 = A$. The following commutative diagram follows from the Horseshoe Lemma

with $\Omega_n(K^i) \to \Omega_n(I^i) \to \Omega_n(K^{i+1}).$ Since ${\rm sup}\{\mathcal{X}{\rm -}\mathrm{res.dim}I\mid I\in\mathcal{Y}\}\leqslant n$, we have $\Omega_n(I^i)\in \mathcal{X}$ for any $i\geqslant 0$. Paste these ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact sequences

together, there is a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex

with $\Omega_n(I^i)\in \mathcal{X}$ for any $i\geqslant 0$. Let $\cdots \to P_1 \to P_0 \to A \to 0$ be an $\mathcal{X}$-resolution of $A$. Similarly, one can get a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex

with $\Omega_n(P_i)\in \mathcal{X}$ for any $i\geqslant 0$. Hence there is a ${\rm Hom}_{\mathcal{A}}(\mathcal{X}, -)$-exact complex

with each term in $\mathcal{X}$. By the claim before, we obtain that the complex above is a complete $\mathcal{X}$-resolution of $\Omega_n(A)$. So $\Omega_n(A)\in\mathcal{G}(\mathcal{X})$, and hence $\mathcal{G}(\mathcal{X}){\rm -}\mathrm{dim}A\leqslant n$.

Dually, one can prove $(3)\Rightarrow (2)$.

The last equality is immediate from above equivalences and Proposition 2.7.

Let $R$ be a ring and $\mathrm{Mod}\; R$ the category of left $R$-modules, and let $\mathcal{PP}(R)$ and $\mathcal{PI}(R)$ be the subcategories of $\mathrm{Mod}\ R$ consisting of pure projective modules and pure injective modules, respectively. Then $(\mathcal{PP}(R), \mathcal{PI}(R))$ is an admissible balanced pair in $\mathrm{Mod}\ R$ (see [5,Example 8.3.2]). In this case, $\mathcal{G}(\mathcal{PP}(R))$ coincides with pure projective modules. Indeed, any pure acyclic complex of pure projective modules is necessarily contractible. Dually, $\mathcal{G}(\mathcal{PI}(R))$ coincides with the pure injective modules. Denote by $\mathrm{ppd}_{R}M$ (respectively, $\mathrm{pid}_{R}M$) the pure projective (respectively, pure injective) dimension of $M$. Recall that the pure global dimension of $R$ is the supremum of pure projective dimensions of left $R$-modules, which is also equal to the supremum of pure injective dimensions of left $R$-modules (see [14,Section 2]). As a consequence of Theorem 1.2, we have the following result.

Corollary 2.8. Let $R$ be a ring. Then $R$ has finite pure global dimension if and only if there exists a nonnegative integer $n$, such that

Let $R$ be a Ding-Chen ring (that is, a left and right coherent ring $R$ such that both $_{R}R$ and $R_{R}$ have finite absolutely pure dimension). Then the pair $(\mathcal{G}(\mathcal{P}), \mathcal{G}(\mathcal{I}))$ is an admissible balanced pair in $\mathrm{Mod}\; R$ (see [9,Theorem 1.1] and [8,Theorem 4.7]). In this case, by the stability of Gorenstein projective modules (see [13,Theorem A]), we see that $\mathcal{G}(\mathcal{G}(\mathcal{P}))$ coincides with Gorenstein projective modules. Dually, $\mathcal{G}(\mathcal{G}(\mathcal{I}))$ coincides with Gorenstein injective modules. Note that $R$ has finite left Gorenstein global dimension if and only if ${\rm sup}\{\mathcal{G}(\mathcal{I}){\rm -}\mathrm{codim}P\mid P\in \mathcal{G}(\mathcal{P})\} = {\rm sup}\{\mathcal{G}(\mathcal{P}){\rm -}\mathrm{dim}I\mid I\in \mathcal{G}(\mathcal{I})\}< \infty$ by Theorem 1.1. Thus we have the following result which is a consequence of Theorem 1.2.

Corollary 2.9. Let $R$ be a Ding-Chen ring. Then $R$ has finite left Gorenstein global dimension if and only if there exists a nonnegative integer $n$, such that

Let $\Lambda$ be an artin algebra over a commutative artinian ring $k$ and $\mathrm{mod}\; \Lambda$ the category of finitely generated left $\Lambda$-modules. Suppose $F$ is an additive subbifunctor of the additive bifunctor $\mathrm{Ext}^{1}_{\Lambda}(\; , \; ) : (\mathrm{mod}\; \Lambda)^{op}\times\mathrm{mod}\; \Lambda \rightarrow\bf{Ab}$. A short exact sequence $\eta: 0 \rightarrow X \stackrel{f}\rightarrow Y \stackrel{g}\rightarrow Z \rightarrow 0$ in $\mathrm{mod}\; \Lambda$ is said to be $F$-$exact$ if $\eta$ is in F$(Z, X)$. The full subcategory of $\mathrm{mod}\; \Lambda$ consisting of all $F$-projective (respectively, $F$-injective) modules is denoted by $\mathcal{P}(F)$ (respectively, $\mathcal{I}(F)$). $F$ is said to have enough projectives (respectively, injectives) if for any $A \in \mathrm{mod}\; \Lambda$ there is an $F$-exact sequence $0 \rightarrow B \rightarrow P \rightarrow A \rightarrow0$ (respectively, $0 \rightarrow A \rightarrow I \rightarrow C \rightarrow 0$) with $P$ in $\mathcal{P}(F)$ (respectively, $I$ in $\mathcal{I}(F)$). Assume that $F$ has enough projectives and injectives. Then $(\mathcal{P}(F), \mathcal{I}(F))$ is an admissible balanced pair in $\mathrm{mod}\; \Lambda$. The notions of $F$-Gorenstein projective modules and $F$-Gorenstein injective modules were introduced in [15]. It is not hard to see that in this case, $\mathcal{G}(\mathcal{P}(F))$ coincides with $F$-Gorenstein projective modules. Dually, $\mathcal{G}(\mathcal{I}(F))$ coincides with the $F$-Gorenstein injective modules. Denote by $\mathrm{pd}_{F}M$ (respectively, $\mathrm{id}_{F}M$) the $F$-projective (respectively, $F$-injective) dimension of $M$. As a consequence of Theorem 1.2, we have the following result which contains [15,Theorem 3.4].

Corollary 2.10. Let $\Lambda$ be an artin algebra and $F$ an additive subbifunctor of the additive bifunctor $\mathrm{Ext}^{1}_{\Lambda}(\; , \; )$. Then the following are equivalent for any nonnegative integer $n$:

(1) For any finitely generated left $\Lambda$-module $A$, $\mathcal{G}(\mathcal{P}(F))\mathit{{\rm -}}\mathrm{dim}A\leqslant n$;

(2) For any finitely generated left $\Lambda$-module $A$, $\mathcal{G}(\mathcal{I}(F))\mathit{{\rm -}}\mathrm{codim}A\leqslant n$;

(3) ${\rm sup}\{\mathrm{id}_{F}P\mid P\in \mathcal{P}(F)\} = {\rm sup}\{\mathrm{pd}_{F}I\mid I\in \mathcal{I}(F)\}\leqslant n$.

Moreover,

Acknowledgments

The authors thank the referees for their careful reading and excellent suggestions.