An exploratory study on STEM education through math trails with digital technology to promote mathematical literacy

1.   Introduction

The notion of extriangulated categories, whose extriangulated structures are given by $\mathbb{E}$-triangles with some axioms, was introduced by Nakaoka and Palu in ^[1] as a simultaneous generalization of exact categories and triangulated categories. They gave a bijective correspondence between Hovey twin cotorsion pairs and admissible model structures which unified the work of Hovey, Gillespie and Yang (see ^[2,3,4]). Exact categories and triangulated categories are extriangulated categories, while there exist some other examples of extriangulated categories which are neither exact nor triangulated, see ^[1,5,6].

Motivated by the ideas of projective covers and injective envelopes, Auslander and Buchweitz analyzed the framework in which the theory of maximal Cohen-Macaulay approximation can be developed. They systematically established their theory in abelian categories, which is known as Auslander-Buchweitz approximation theory. Up to now, Auslander-Buchweitz approximation theory has many important applications, see for example ^[7,8,9,10]. In particular, Becerril and coauthers ^[7] have revisited Auslander-Buchweitz approximation theory. From the notions of relative generators and cogenerators in approximation theory, they introduced the concept of left Frobenius pairs in an abelian category, established a bijective correspondence between left Frobenius pairs and relative cotorsion pairs, and showed how to construct an exact model structure from a strong left Frobenius pair, as a result of Hovey-Gillespie correspondence applied to two complete cotorsion pairs on an exact category (see ^[2,3]).

The aim of this paper is to introduce the concept of left Frobenius pairs in an extriangulated category and give a method to construct more admissible model structures from strong left Frobenius pairs. For this purpose, we need to establish a bijective correspondence between left Frobenius pairs and cotorsion pairs in an extriangulated category under certain conditions.

The paper is organized as follows. In Section 2, we recall the definition of an extriangulated category and outline some basic properties that will be used later. In Section 3, we first introduce the concept of left Frobenius pairs (see Definition 3.4), and then study relative resolution dimension and thick subcategories with respect to a given left Frobenius pair. As a result, we give a bijective correspondence between left Frobenius pairs and cotorsion pairs in an extriangulated category under certain conditions (see Theorem 3.12). In Section 4, we give a method to construct the admissible model structure from a strong left Frobenius pair under certain conditions (see Theorem 4.4), which generalizes a main result of Hu et al. in ^[5]. This is based on the bijective correspondence established in Section 3.

2.   Preliminaries

Throughout this paper, $\mathcal{C}$ denotes an additive category. By the term "$subcategory$" we always mean a full additive subcategory of an additive category closed under isomorphisms and direct summands. We denote by ${\mathcal{ \mathcal{C}}}(A, B)$ the set of morphisms from $A$ to $B$ in $\mathcal{C}$.

Let $\mathcal{X}$ and $\mathcal{Y}$ be two subcategories of $\mathcal{C}$, a morphism $f: X\rightarrow C$ in $\mathcal{C}$ is said to be an $\mathcal{X}$-precover of $C$ if $X\in \mathcal{X}$ and ${ \mathcal{C}}(X', f): { \mathcal{C}}(X', X)\rightarrow { \mathcal{C}}(X', C)$ is surjective for all $X'\in \mathcal{X}$. If any $C\in \mathcal{Y}$ admits an $\mathcal{X}$-precover, then $\mathcal{X}$ is called a precovering class in $\mathcal{Y}$. By dualizing the definitions above, we get notions of an $\mathcal{X}$-preenvelope of $C$ and a preenveloping class in $\mathcal{Y}$. For more details, we refer to ^[23].

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

Assume that $\mathbb{E}: \mathcal{C}^{\rm op}\times \mathcal{C}\rightarrow {\rm Ab}$ is an additive bifunctor, where $\mathcal{C}$ is an additive category and ${\rm Ab}$ is the category of abelian groups. For any objects $A, C\in\mathcal{C}$, an element $\delta\in \mathbb{E}(C, A)$ is called an $\mathbb{E}$-extension. Let $\mathfrak{s}$ be a correspondence which associates an equivalence class to any $\mathbb{E}$-extension $\delta\in\mathbb{E}(C, A)$. This $\mathfrak{s}$ is called a realization of $\mathbb{E}$, if it makes the diagram in [1,Definition 2.9] commutative. A triplet $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ is called an extriangulated category if it satisfies the following conditions.

$1.$ $\mathbb{E}\colon\mathcal{C}^{\rm op}\times \mathcal{C}\rightarrow \rm{Ab}$ is an additive bifunctor.

$2.$ $\mathfrak{s}$ is an additive realization of $\mathbb{E}$.

$3.$ $\mathbb{E}$ and $\mathfrak{s}$ satisfy certain axioms in [1,Definition 2.12].

In particular, we recall the following axioms which will be used later:

(ET4) Let $\delta\in\mathbb{E}(D, A)$ and $\delta'\in\mathbb{E}(F, B)$ be $\mathbb{E}$-extensions realized by

respectively. Then there exists an object $E\in\mathcal{C}$, a commutative diagram

in $\mathcal{C}$, and an $\mathbb{E}$-extension $\delta^{''}\in\mathbb{E}(E, A)$ realized by which satisfy the following compatibilities.

${\rm{(i)}}$ realizes $\mathbb{E}(F, f')(\delta')$,

${\rm{(ii)}}$ $\mathbb{E}(d, A)(\delta^{''}) = \delta$,

${\rm{(iii)}}$ $\mathbb{E}(E, f)(\delta^{''}) = \mathbb{E}(e, B)(\delta')$.

(ET4)$^{\rm op}$ Dual of (ET4).

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

Lemma 2.2. [1,Corollary 3.12] Let $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category and

an $\mathbb{E}$-triangle. Then we have the following long exact sequences:

where natural transformations $\delta_\sharp$ and $\delta^\sharp$ are induced by $\mathbb{E}$-extension $\delta\in \mathbb{E}(C, A)$ via Yoneda's lemma.

Let $\mathcal{C}, \mathbb{E}$ be as above, we use the following notation:

$\bullet$ A sequence is called a conflation if it realizes some $\mathbb{E}$-extension $\delta\in\mathbb{E}(C, A)$. In this case, $x$ is called an inflation, $y$ is called a deflation, and we write it as

We usually do not write this "$\delta$" if it is not used in the argument.

$\bullet$ Given an $\mathbb{E}$-triangle we call $A$ the CoCone of $y:B\rightarrow C$ and $C$ the Cone of $x:A\rightarrow B$.

$\bullet$ An $\mathbb{E}$-triangle sequence in $\mathcal{C}$ ^[11] is displayed as a sequence

over $\mathcal{C}$ such that for any $n$, there are $\mathbb{E}$-triangles and the differential $d_{n} = g_{n-1}f_{n}$.

$\bullet$ An object $P\in \mathcal{C}$ is called projective if for any $\mathbb{E}$-triangle and any morphism $c\in \mathcal{C}(P, C)$, there exists $b\in \mathcal{C}(P, B)$ satisfying $y\circ b = c$. Injective objects are defined dually. We denote the subcategory consisting of projective (resp., injective) objects in $\mathcal{C}$ by $Proj(\mathcal{C})$ (resp., $Inj(\mathcal{C})$).

$\bullet$ We say $\mathcal{C}$ has enough projectives (resp., enough injectives) if for any object $C\in \mathcal{C}$ (resp., $A\in \mathcal{C}$), there exists an $\mathbb{E}$-triangle (resp., satisfying $P\in Proj(\mathcal{C})$ $(\mathrm{resp}., I\in Inj(\mathcal{C})$).

Remark 2.3. (1) If $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ is an exact category, then the definitions of having enough projectives and having enough injectives agree with the usual definitions.

(2) If $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ is a triangulated category, then $Proj(\mathcal{C})$ and $Inj(\mathcal{C})$ consist of zero objects.

Definition 2.4. [1,Definition 4.2] Let $\mathcal{X}$, $\mathcal{Y}$ be two subcategories of $\mathcal{C}$. Define full subcategories ${\rm{Cone}}(\mathcal{X}, \mathcal{Y})$ and ${\rm{CoCone}}(\mathcal{X}, \mathcal{Y})$ of $\mathcal{C}$ as follows.

(1) $C$ belongs to ${\rm{Cone}}(\mathcal{X}, \mathcal{Y})$ if and only if it admits a conflation $X \rightarrow Y \rightarrow C$ satisfying $X\in{\mathcal{X}}$ and $Y\in{\mathcal{Y}}$;

(2) $C$ belongs to ${\rm{CoCone}}(\mathcal{X}, \mathcal{Y})$ if and only if it admits a conflation $C\rightarrow X \rightarrow Y$ satisfying $X\in{\mathcal{X}}$ and $Y\in{\mathcal{Y}}$. $

Suppose that $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ is an extriangulated categories with enough projectives and injectives. For a subcategory $\mathcal{B}\subseteq \mathcal{C}$, put $\Omega^{0}\mathcal{B} = \mathcal{B}$, and for $i > 0$, we define $\Omega^{i}\mathcal{B}$ inductively by

We call $\Omega^{i}\mathcal{B}$ the $i$-th syzygy of $\mathcal{B}$ (see [12,Section 5]). Dually we define the $i$-th cosyzygy $\Sigma^{i}\mathcal{B}$ by $\Sigma^{0}\mathcal{B} = \mathcal{B}$ and $\Sigma^{i}\mathcal{B} = {\rm{Cone}}(\Sigma^{i-1}\mathcal{B}, Inj(\mathcal{C}))$ for $i > 0.$

Let $X$ be any object in $\mathcal{C}$. It admits an $\mathbb{E}$-triangle

where $I^{0}\in Inj(\mathcal{C})$ (resp., $P_{0}\in Proj(\mathcal{C})$). In ^[12] the authors defined higher extension groups in an extriangulated category having enough projectives and injectives as $\mathbb{E}^{i+1}(X, Y)\cong \mathbb{E}(X, \Sigma^{i}Y)\cong \mathbb{E}(\Omega^{i}X, Y)$ for $i\geq 0$, and they showed the following result:

Lemma 2.5. [12,Proposition 5.2] Let be an $\mathbb{E}$-triangle. For any object $X\in \mathcal{B}$, there are long exact sequences

From now on to the end of the paper, we always suppose that $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ is an extriangulated categories with enough projectives and injectives.

3.   Frobenius pairs and cotorsion pairs

In this section, we introduce the concept of Frobenius pairs and show that it has very nice homological properties, which are necessary to construct cotorsion pairs from Frobenius pairs. At first, we need introduce the following definitions.

Definition 3.1. Let $\mathcal{X}$ be a subcategory of $\mathcal{C}$.

$1.$ For any non-negative integer $n$, we denote by $\check{ \mathcal{X}_{n}}$ (resp., $\widehat{ \mathcal{X}_{n}}$) the class of objects $C\in \mathcal{C}$ such that there exists an $\mathbb{E}$-triangle sequence

with each $X_{i}\in \mathcal{X}$. Moreover, we set $\; \check{ \mathcal{X}} = \bigcup\limits_{n = 0}^\infty \check{ \mathcal{X}_{n}}$, $\widehat{ \mathcal{X}} = \bigcup\limits_{n = 0}^\infty \widehat{{ \mathcal{X}_n}}$.

$2.$ For any $C\in \mathcal{C}$, the $\mathcal{X}$-resolution dimension of $C$ is defined as

If $C\not\in\widehat{ \mathcal{X}_{n}}$ for any $n\in \mathbb{N}$, then resdim$_{ \mathcal{X}}(C) = \infty$.

For a subcategory $\mathcal{X}$ of $\mathcal{C}$, define $\mathcal{X}^{\perp} = \{Y\in\mathcal{C}| \mathbb{E}^{i}(X, Y) = 0 \mathrm{\; for\; all\; } i\geq 1, \mathrm{\; and\; all\; } X \in \mathcal{X}\}$. Similarly, we can define $^{\perp}\mathcal{X}.$

Definition 3.2. Let $\mathcal{X}$ and $\mathcal{W}$ be two subcategories of $\mathcal{C}$. We say that

(1) $\mathcal{W}$ is a cogenerator for $\mathcal{X}$, if $\mathcal{W}\subseteq\mathcal{X}$ and for each object $X\in \mathcal{X}$, there exists an $\mathbb{E}$-triangle with $W\in \mathcal{W}$ and $X^{'}\in \mathcal{X}$. The notion of a generator is defined dually.

(2) $\mathcal{W}$ is $\mathcal{X}$-injective if $\mathcal{W}\subseteq\mathcal{X}^{\perp}$. The notion of an $\mathcal{X}$-projective subcategory is defined dually.

(3) $\mathcal{W}$ is an $\mathcal{X}$-injective cogenerator for $\mathcal{X}$ if $\mathcal{W}$ is a cogenerator for $\mathcal{X}$ and $\mathcal{W}\subseteq\mathcal{X}^{\perp}$. The notion of an $\mathcal{X}$-projective generator for $\mathcal{X}$ is defined dually.

(4) $\mathcal{X}$ is a thick subcategory if it is closed under direct summand and for any $\mathbb{E}$-triangle

in $\mathcal{C}$ and two of $A, B, C$ are in $\mathcal{C}$, then so is the third.

The following theorem unifies some results of ^[13] and ^[9]. It shows that any object in $\widehat{ \mathcal{X}}$ admits two $\mathbb{E}$-triangles: one giving rise to an $\mathcal{X}$-precover and the other to a $\widehat{ \mathcal{W}}$-preenvelope.

Theorem 3.3. Let $\mathcal{X}$ and $\mathcal{W}$ be two subcategories of $\mathcal{C}$. Suppose $\mathcal{X}$ is closed under extensions and $\mathcal{W}$ is a cogenerator for $\mathcal{X}$. Consider the following conditions:

(1) $C$ is in $\widehat{ \mathcal{X}_n}.$

(2) There exists an $\mathbb{E}$-triangle with $X_{C}\in \mathcal{X}$ and $Y_{C}\in \widehat{ \mathcal{W}_{n-1}}.$

(3) There exists an $\mathbb{E}$-triangle with $X^{C}\in \mathcal{X}$ and $Y^{C}\in \widehat{ \mathcal{W}_{n}}.$

Then, $(1)\Leftrightarrow(2)\Rightarrow (3)$. If $\mathcal{X}$ is also closed under CoCone of deflations, then $(3)\Rightarrow (2)$, and hence all three conditions are equivalent. If $\mathcal{W}$ is $\mathcal{X}$-injective, then $\varphi_{C}$ is an $\mathcal{X}$-precover of $C$ and $\psi^{C}$ is a $\widehat{ \mathcal{W}}$-preenvelope of $C$.

Proof. The proof is dual to that of [14,Proposition 3.6].

Definition 3.4. A pair $(\mathcal{X}, \mathcal{W})$ is called a left Frobenius pair in $\mathcal{C}$ if the following holds:

$(1)$ $\mathcal{X}$ is closed under extensions and CoCone of deflations,

$(2)$ $\mathcal{W}$ is an $\mathcal{X}$-injective cogenerator for $\mathcal{X}$.

If in addition $\mathcal{W}$ is also an $\mathcal{X}$-projective generator for $\mathcal{X}$, then we say $(\mathcal{X}, \mathcal{W})$ is a strong left Frobenius pair.

Example 3.5. (1) Assume that $\mathcal{C} = R$-$\mathrm{Mod}$ is the category of left $R$-modules for a ring $R$. A left $R$-module $N$ is called Gorenstein projective ^[23,24] if there is an exact sequence of projective left $R$-modules

with $N = \mathrm{Ker}(P_{0}\rightarrow P^{0})$ such that $\mathrm{Hom}_{R}({\bf P}, Q)$ is exact for any projective left $R$-module $Q$. Let $\mathcal{GP}(R)$ be the full subcategory of $R$-$\mathrm{Mod}$ consisting of all Gorenstein projective modules and $\mathcal{P}(R)$ the subcategory of $R$-$\mathrm{Mod}$ consisting of all projective modules. Then $(\mathcal{GP}(R), \mathcal{P}(R))$ is a strong left Frobenius pair.

(2) Let $\mathcal{C}$ be a triangulated category with a proper class $\xi$ of triangles. Asadollahi and Salarian ^[15] introduced and studied $\xi$-Gprojective and $\xi$-Ginjective objects, and developed a relative homological algebra in $\mathcal{C}$. Let $\mathcal{GP}(\xi)$ denotes the full subcategory of $\xi$-Gprojective objects and $\mathcal{P}(\xi)$ denotes the full subcategory of $\xi$-projective objects. Then $(\mathcal{GP}(\xi), \mathcal{P}(\xi))$ is a strong left Frobenius pair.

(3) Let $\mathcal{T}$ be a triangulated category, and let $\mathcal{M}$ be a silting subcategory of $\mathcal{T}$ with $\mathcal{M} = add\mathcal{M}$, where $add\mathcal{M}$ is the smallest full subcategory of $\mathcal{T}$ which contains $\mathcal{M}$ and which is closed under taking isomorphisms, finite direct sums, and direct summands. Then $(\mathcal{T}_{\geq0}, \mathcal{M})$ is a left Frobenius pair by [14,Corollary 3.7] and [16,Proposition 2.7], where $\mathcal{T}_{\geq0}: = \bigcup\limits_{n\geq0} \mathcal{M}[-n]*\cdots\mathcal{M}[-1]*\mathcal{M}$.

(4) In ^[17], the authors showed that if $(\mathcal{X}, \mathcal{Y})$ is a complete and hereditary cotorsion pair in an abelian category $\mathcal{A}$ and $\mathcal{Y}$ is closed under kernels of epimorphisms, then $(\mathcal{G}(\mathcal{X})\bigcap\mathcal{Y}, \mathcal{X}\bigcap\mathcal{Y})$ is a strong left Frobenius pair, where $\mathcal{G}(\mathcal{X})$ is the class of objects $M$ in $\mathcal{A}$ satisfying that there exists an exact sequence

with each term in $\mathcal{X}$ such that $M\cong\mathrm{Ker}(X^{0}\rightarrow X^{1})$ and ${\rm Hom}_{\mathcal{A}}({\bf X}, Q)$ is exact for any object $Q$ in $\mathcal{X}\bigcap\mathcal{Y}$.

Lemma 3.6. Let $(\mathcal{X}, \mathcal{W})$ be a left Frobenius pair in $\mathcal{C}$.Given an $\mathbb{E}$-triangle with $X\in \mathcal{X}$, then $C\in \widehat{ \mathcal{X}}$ if and only if $K\in \widehat{ \mathcal{X}}$.

Proof. The proof is dual to that of [14,Lemma 3.8].

Proposition 3.7. Let $(\mathcal{X}, \mathcal{W})$ be a left Frobenius pair in $\mathcal{C}$. The following statements are equivalent for any $C\in \widehat{ \mathcal{X}}$ and non-negative integer $n$.

(1) resdim$_{ \mathcal{X}}(C)\leq n$.

(2) If $U\rightarrow X_{n-1}\rightarrow \cdots\rightarrow X_{0}\rightarrow C$ is an $\mathbb{E}$-triangle sequence with $X_{i}\in \mathcal{X}$ for $0\leq i\leq n-1$, then $U\in \mathcal{X}$.

Proof. $(2)\Rightarrow (1)$ is trivial.

$(1)\Rightarrow (2).$ Let $C$ be in $\widehat{ \mathcal{X}}$. Then by Theorem 3.3, we have an $\mathbb{E}$-triangle sequence $W_{n}\rightarrow \cdots \rightarrow W_{1}\rightarrow X \rightarrow C$ with $X\in \mathcal{X}$ and $W_{i}\in \mathcal{W}$ for $1\leq i\leq n$. Since $\mathcal{W}\subseteq\mathcal{X}^{\perp}$, it is easy to see that $\widehat{\mathcal{W}}\subseteq\mathcal{X}^{\perp}$. Thus we have $\mathbb{E}^{n+i}(C, Y)\cong \mathbb{E}^{i}(W_{n}, Y) = 0$ for all $i\geq 1$ and $Y\in \widehat{ \mathcal{W}}$. If $U\rightarrow X_{n-1}\rightarrow \cdots\rightarrow X_{0}\rightarrow C$ is an $\mathbb{E}$-triangle sequence with $X_{i}\in \mathcal{X}$ for $0\leq i\leq n-1$, then we have $\mathbb{E}^{i}(U, Y)\cong \mathbb{E}^{n+i}(C, Y) = 0$ for all $i\geq 1$ and $Y\in \widehat{ \mathcal{W}}$. Note that $U\in \widehat{ \mathcal{X}}$ by Lemma 3.6. Hence there exists an $\mathbb{E}$-triangle with $X_{U}\in \mathcal{X}$ and $Y_{U}\in \widehat{ \mathcal{W}}$ by Theorem 3.3. It follows that the above $\mathbb{E}$-triangle splits. Hence $U\in \mathcal{X}$.

If $\mathcal{X}$ is a subcategory of $\mathcal{C}$, then we denote by $\mathrm{Thick}(\mathcal{X})$ the smallest thick subcategory that contains $\mathcal{X}$. The following result shows that for a left Frobenius pair $(\mathcal{X}, \mathcal{W})$ in $\mathcal{C}$, $\widehat{ \mathcal{X}}$ is an extriangulated category. In particular, if $\mathcal{C}$ is a triangulated category, then $\widehat{ \mathcal{X}}$ is the smallest triangulated subcategory of $\mathcal{C}$ containing $\mathcal{X}$ and is closed under direct summands and isomorphisms.

Proposition 3.8. Let $(\mathcal{X}, \mathcal{W})$ be a left Frobenius pair in $\mathcal{C}$. Then $\mathrm{Thick(\mathcal{X})} = \widehat{ \mathcal{X}}$.

Proof. For any $\mathbb{E}$-triangle we need to check that if any two of $A, B$ and $C$ are in $\widehat{ \mathcal{X}}$, then the third one is in $\widehat{ \mathcal{X}}$. Since $\widehat{ \mathcal{X}}$ is closed under extensions by the dual of [14,Corollary 3.7], it suffices to show that if $B\in\widehat{ \mathcal{X}}$, then $A\in \widehat{ \mathcal{X}}$ if and only if $C\in \widehat{ \mathcal{X}}$. We first show that if $A$ and $B$ are in $\widehat{ \mathcal{X}}$, then $C\in \widehat{ \mathcal{X}}$. Since $B\in \widehat{ \mathcal{X}}$, we have an $\mathbb{E}$-triangle with $X_{B}\in \mathcal{X}, Y_{B}\in\widehat{ \mathcal{W}}$. By $(ET4)^{op}$, we obtain a commutative diagram

It follows that $L\in \widehat{ \mathcal{X}}$ as $A$ and $Y_{B}$ are in $\widehat{ \mathcal{X}}$. Therefore $C\in \widehat{ \mathcal{X}}.$

Suppose now $B$ and $C$ are in $\widehat{ \mathcal{X}}$. It follows from Lemma 3.6 that $L\in\widehat{ \mathcal{X}}$. Applying the just established result to the $\mathbb{E}$-triangle one has that $A\in \widehat{ \mathcal{X}}$.

Suppose $C_{1}\oplus C_{2}\in \widehat{ \mathcal{X}}$. We proceed by induction on $n =$resdim$_{ \mathcal{X}}(C_{1}\oplus C_{2})$. If $n = 0$, then $C_{1}$ and $C_{2}$ are in $\mathcal{X}$.

Suppose $n > 0$. There is an $\mathbb{E}$-triangle with $X\in \mathcal{X}$ and resdim$_{ \mathcal{X}}(K) = n-1$. By $(ET4)^{op}$, we obtain the following commutative diagrams:

Hence there is an $\mathbb{E}$-triangle

By Lemma 3.6, $L_{1}\oplus L_{2}\in \widehat{ \mathcal{X}}$, and Proposition 3.7 shows that resdim$_{ \mathcal{X}}(L_{1}\oplus L_{2})\leq n-1$. By the induction hypothesis, $L_{1}$ and $L_{2}$ are in $\widehat{ \mathcal{X}}$. It follows that $C_{1}$ and $C_{2}$ are in $\widehat{ \mathcal{X}}$. Hence $\widehat{ \mathcal{X}}$ is closed under direct summands. Thus $\mathrm{Thick(\mathcal{X})} = \widehat{ \mathcal{X}}$.

Definition 3.9. [1,Definition 4.1] Let $\mathcal{U}$, $\mathcal{V}$ $\subseteq$ $\mathcal{C}$ be a pair of full additive subcategories, closed under isomorphisms and direct summands. The pair ($\mathcal{U}$, $\mathcal{V}$) is called a cotorsion pair on $\mathcal{C}$ if it satisfies the following conditions:

(1) $\mathbb{E}(\mathcal{U}, \mathcal{V}) = 0$;

(2) For any $C \in{\mathcal{C}}$, there exists a conflation $V^{C}\rightarrow U^{C}\rightarrow C$ satisfying $U^{C}\in{\mathcal{U}}$ and $V^{C}\in{\mathcal{V}}$;

(3) For any $C \in{\mathcal{C}}$, there exists a conflation $C\rightarrow V_{C} \rightarrow U_{C}$ satisfying $U_{C}\in{\mathcal{U}}$ and $V_{C}\in{\mathcal{V}}$. $

Lemma 3.10. Let $\mathcal{X}$ and $\mathcal{W}$ be two subcategories of $\mathcal{C}$ such that $\mathcal{W}$ is $\mathcal{X}$-injecive. Then the following statements hold.

(1) If $\mathcal{W}$ is a cogenerator for $\mathcal{X}$, then $\mathcal{W} = \mathcal{X}\bigcap \mathcal{X}^{\perp} = \mathcal{X}\bigcap\widehat{ \mathcal{W}}$.

(2) If $\mathcal{W}$ is a cogenerator for $\mathcal{X}$, then $\widehat{ \mathcal{W}} = \widehat{ \mathcal{X}}\bigcap \mathcal{X}^{\perp}$.

Proof. The proof is dual to that of [14,Proposition 4.2].

The following result gives a method to construct cotorsion pairs on extriangulated categories.

Proposition 3.11. Let $(\mathcal{X}, \mathcal{W})$ be a left Frobenius pair in $\mathcal{C}$. Then $(\mathcal{X}, \widehat{ \mathcal{W}})$ is a cotorsion pair on the extriangulated category $\mathrm{Thick}(\mathcal{X})$.

Proof. Note that $\mathrm{Thick}(\mathcal{X})$ is an extriangulated category by [1,Remark 2.18]. It suffices to show that $\widehat{ \mathcal{W}}$ is closed under direct summands by Theorem 3.3. Note that $\widehat{ \mathcal{W}} = \widehat{ \mathcal{X}}\bigcap \mathcal{X}^{\perp}$ by Proposition 3.10. Since $\mathrm{Thick}(\mathcal{X})$ = $\widehat{ \mathcal{X}}$ is closed under direct summands by Proposition 3.8, so is $\widehat{ \mathcal{W}}$. This completes the proof.

Now we are in a position to state and prove the main result of this section.

Theorem 3.12. Let $\mathcal{C}$ be an extriangulated category. The assignments

give mutually inverse bijections between the following classes:

(1) Left Frobenius pairs $(\mathcal{X}, \mathcal{W})$ in $\mathcal{C}$.

(2) Cotorsion pairs $(\mathcal{U}, \mathcal{V})$ on the extriangulated category $\mathrm{Thick}(\mathcal{U})$ with $\mathcal{V}\subseteq\mathcal{U}^{\perp}$.

Proof. Let $(\mathcal{X}, \mathcal{W})$ be a left Frobenius pair. Then $(\mathcal{X}, \widehat{ \mathcal{W}})$ is a cotorsion pair on the extriangulated category $\widehat{ \mathcal{X}}$ by Proposition 3.11. Note that $\mathrm{Thick(\mathcal{X})} = \widehat{ \mathcal{X}}$ and $\widehat{\mathcal{W}}\subseteq\mathcal{X}^{\perp}$. Then $(\mathcal{X}, \widehat{ \mathcal{W}})$ is a cotorsion pair on the extriangulated category $\mathrm{Thick}(\mathcal{X})$ with $\widehat{\mathcal{W}}\subseteq\mathcal{X}^{\perp}$.

Assume $(\mathcal{U}, \mathcal{V})$ is a cotorsion pair on the extriangulated category $\mathrm{Thick}(\mathcal{U})$ with $\mathcal{V}\subseteq\mathcal{U}^{\perp}$. For $U\in \mathcal{U}$, we have an $\mathbb{E}$-triangle with $V\in \mathcal{V}$ and $U'\in \mathcal{U}$. Thus $V\in \mathrm{Thick}(\mathcal{U})$ as $\mathrm{Thick}(\mathcal{U})$ is a thick subcategory. Since $(\mathcal{U}, \mathcal{V})$ is a cotorsion pair on the extriangulated category $\mathrm{Thick}(\mathcal{U})$, it follows from [1,Remark 4.6] that $\mathcal{U}$ is closed under extensions in $\mathrm{Thick}(\mathcal{U}).$ It implies that $V\in \mathcal{U}.$ Thus $V\in\mathcal{U}\bigcap\mathcal{V}$. Note that $\mathcal{V}\subseteq\mathcal{U}^{\perp}$. It follows that $\mathcal{U}\bigcap\mathcal{V}$ is an $\mathcal{U}$-injective cogenerator. Let be an $\mathbb{E}$-triangle with $U_{1}, U_{2}\in \mathcal{U}$. Then we have an exact sequence $\mathbb{E}(U_{1}, V)\longrightarrow \mathbb{E}(Z, V)\longrightarrow \mathbb{E}^{2}(U_{2}, V)$ for any $V\in \mathcal{V}$. Since $\mathcal{V}\subseteq\mathcal{U}^{\perp}$, $\mathbb{E}(Z, V) = 0$. Note that $Z\in \mathrm{Thick}(\mathcal{U})$ as $\mathrm{Thick}(\mathcal{U})$ is a thick subcategory. Thus there exists an $\mathbb{E}$-triangle $ with $U^{Z}\in \mathcal{U}$ and $V^{Z}\in \mathcal{V}$ as $(\mathcal{U}, \mathcal{V})$ is a cotorsion pair on the extriangulated category $\mathrm{Thick}(\mathcal{U})$. Therefore the above $\mathbb{E}$-triangle splits by $\mathbb{E}(Z, \mathcal{V}) = 0$. Hence $Z\in \mathcal{U}$. So $\mathcal{U}$ is closed under CoCone of deflations. Note that $\mathcal{U}$ is closed under extensions in $\mathrm{Thick}(\mathcal{U}).$ It follows that $\mathcal{U}$ is closed under extensions in $\mathcal{C}$. Thus $(\mathcal{U}, \mathcal{U}\bigcap\mathcal{V})$ is a left Frobenius pair in $\mathcal{C}$.

Based on the above argument, it is enough to check that the compositions

are identities. Since $\mathcal{U}\bigcap\mathcal{V}$ is an $\mathcal{U}$-injective cogenerator for $\mathcal{U}$, $\widehat{\mathcal{U}\bigcap\mathcal{V}} = \widehat{\mathcal{U}}\bigcap \mathcal{U}^{\bot} = \mathrm{Thick}(\mathcal{U})\bigcap\mathcal{U}^{\bot}$ where the first equality is due to Proposition 3.10 and the second equality is due to Proposition 3.8. It follows from [1,Remark 4.4] that $\mathrm{Thick}(\mathcal{U})\bigcap\mathcal{U}^{\bot} = \mathcal{V}.$ Thus $\widehat{\mathcal{U}\bigcap\mathcal{V}} = \mathcal{V}.$ This completes the proof.

As a consequence of Theorem 3.12 and Remark Remark 2.3, we have the following result.

Corollary 3.13. [7,Throrem 5.4] Let $\mathcal{A}$ be an abelian category with enough projectives and injectives. The assignments

give mutually inverse bijections between the following classes:

(1) Left Frobenius pairs $(\mathcal{X}, \mathcal{W})$ in $\mathcal{A}$.

(2) Cotorsion pairs $(\mathcal{U}, \mathcal{V})$ on the exact category $\mathrm{Thick}(\mathcal{U})$ with $\mathcal{V}\subseteq\mathcal{U}^{\perp}$.

As an application, we have the following result in ^[10].

Corollary 3.14. [10,Theorem 3.11] Let $\mathcal{C}$ be a triangulated category. The assignments

give mutually inverse bijections between the following classes:

(1) Left Frobenius pairs $(\mathcal{X}, \mathcal{W})$ in $\mathcal{C}$.

(2) Co-t-structures $(\mathcal{U}, \mathcal{V})$ on the triangulated category $\mathrm{Thick}(\mathcal{U}).$

Proof. Note that any triangulated category can be viewed as an extriangulated category, and its projective objects and injective objects consist of zero objects by Remark Remark 2.3.

Let $(\mathcal{X}, \mathcal{W})$ be a left Frobenius pair. By Theorem 3.12, $(\mathcal{X}, \widehat{ \mathcal{W}})$ is a cotorsion pair on the triangulated category $\mathrm{Thick}(\mathcal{ \mathcal{X}})$. Since $\mathcal{X}$ is closed under CoCone of deflations and extensions, it is easy to see that $\mathcal{X}[-1]\subseteq \mathcal{X}$. Hence $(\mathcal{X}, \widehat{ \mathcal{W}})$ is a co-t-structure on the triangulated category $\mathrm{Thick}(\mathcal{ \mathcal{X}})$.

Assume $(\mathcal{U}, \mathcal{V})$ is a co-t-structure on the triangulated category $\mathrm{Thick}(\mathcal{U})$. It is easy to see that $(\mathcal{U}, \mathcal{V})$ is a cotorsion pair on $\mathrm{Thick}(\mathcal{U})$ with $\mathcal{V}\subseteq\mathcal{U}^{\perp}$. Hence the corollary follows from Theorem 3.12.

Definition 3.15. [18,Definition 2.1] Let $R$ and $S$ be rings. An $(S$-$R)$-bimodule $C = {_{S}C}_{R}$ is semidualizing if:

(1) $_{S}C$ admits a degreewise finite $S$-projective resolution.

(2) $C_{R}$ admits a degreewise finite $R$-projective resolution.

(3) The homothety map $_{S}S_{S}\xrightarrow{_{S}\gamma}\mathrm{Hom}_{R}(C, C)$ is an isomorphism.

(4) The homothety map $_{R}R_{R}\xrightarrow{\gamma_{R}}\mathrm{Hom}_{S}(C, C)$ is an isomorphism.

(5) $\mathrm{Ext}_{S}^{\geq 1}(C, C) = 0 = \mathrm{Ext}_{R}^{\geq 1}(C, C)$.

Definition 3.16. [18,Definition 3.1] A semidualizing bimodule $C = {_{S}C}_{R}$ is faithfully semidualizing if it satisfies the following conditions for all modules $_{S}N$ and $M_{R}$.

(1) If $\mathrm{Hom}_{S}(C, N) = 0,$ then $N = 0$.

(2) If $\mathrm{Hom}_{R}(C, M) = 0,$ then $M = 0$.

Definition 3.17. [18,Definition 4.1] The Bass class $\mathcal{B}_{C}(S)$ with respect to $C$ consists of all $S$-modules $N$ satisfying

(1) $\mathrm{Ext}_{S}^{\geq 1}(C, N) = 0 = \mathrm{Tor}^{R}_{\geq 1}(C, \mathrm{Hom}_{S}(C, N)) = 0$.

(2) The natural evaluation homomorphism $\nu_{N}:C\otimes_{R}\mathrm{Hom}_{S}(C, N)\rightarrow N$ is an isomorphism.

Remark 3.18. Let $C = {_{S}C}_{R}$ be a faithfully semidualizing module. Then Bass class $\mathcal{B}_{C}(S)$ is an exact category by [18,Theorem 6.2] and $\mathcal{B}_{C}(S)$ has enough projectives and injectives by [20,Remark 3.13].

By ^[18], the class of $C$-projective left $S$-modules, denoted by $\mathcal{P}_{C}(S)$ the collection of the left $S$-modules of the form $C\otimes_{R} P$ for some projective left $R$-module $P$. Recall from ^[20] that a left $S$-module $M$ is called $C$-Gorenstein projective if there is an exact sequence of left $S$-modules

with each term in $\mathcal{P}_{C}(S)$ such that $N\cong\mathrm{Ker}(W_{0}\rightarrow W^{0})$ and both $\mathrm{Hom}_{R}({\bf W}, Q)$ and $\mathrm{Hom}_{R}(Q, {\bf W})$ are exact for any object $Q$ in $\mathcal{P}_{C}(S)$. It should be noted that $C$-Gorenstein projectives defined here are different from those defined in ^[19] when $S = R$ is a commutative Noetherian ring (see [20,Proposition 3.6]).

For convenience, we write $G_{C}$-$Proj(S)$ for the classes of $C$-Gorenstein projective left $S$-modules. By [20,Proposition 3.5], one has that $G_{C}$-$Proj(S)$ $\subseteq\mathcal{B}_{C}(S)$. As a consequence of Theorem 3.12, we have the following result.

Corollary 3.19. Let $C = {_{S}C}_{R}$ be a faithfully semidualizing module. Then

(1) $(G_{C}$-$Proj(S), \mathcal{P}_{C}(S))$ is a strong left Frobenius pair in $\mathcal{B}_{C}(S)$.

(2) $(G_{C}$-$Proj(S), \widehat{\mathcal{P}_{C}(S)})$ is a cotorsion pair on $\widehat{G_{C}\mathit{{-}}Proj(S)}$.

Proof. Since $\mathcal{P}_{C}(S)$ is projectively resolving and $\mathcal{P}_{C}(S)\subseteq \mathcal{P}_{C}(S)^{\perp}$ by [18,Corollary 6.4] and [18,Theorem 6.4], $G_{C}$-$Proj(S)$ is closed under kernels of epimorphisms and direct summand by [21,Theorem 4.12] and [21,Proposition 4.11]. Hence $(G_{C}$-$Proj(S), \mathcal{P}_{C}(S))$ is a strong left Frobenius pair in $\mathcal{B}_{C}(S)$. (2) follows from Theorem 3.12.

4.   Admissible model structures associated with Frobenius pairs

In this section, we shall use our results in Section 3 to construct more admissible model structures in extriangulated categories. At first, we need to recall the following definition.

Definition 4.1. [1,Definition 5.1] Let ($\mathcal{S}$, $\mathcal{T}$) and ($\mathcal{U}$, $\mathcal{V}$) be cotorsion pairs on $\mathcal{C}$. Then $\mathcal{P} = ((\mathcal{S}$, $\mathcal{T}$), ($\mathcal{U}$, $\mathcal{V}$)) is called a twin cotorsion pair if it satisfies $\mathbb{E}(\mathcal{S}, \mathcal{V}) = 0$. Moreover, $\mathcal{P}$ is called a Hovey twin cotorsion pair if it satisfies ${\rm{Cone}}(\mathcal{V}, \mathcal{S})$ = ${\rm{CoCone}}(\mathcal{V}, \mathcal{S})$. $

In ^[1] Nakaoka and Palu gave a correspondence between admissible model structures and Hovey twin cotorsion pairs on $\mathcal{C}$. Essentially, an admissible model structure on $\mathcal{C}$ is a Hovey twin cotorsion pair $\mathcal{P} = ((\mathcal{S}$, $\mathcal{T}$), ($\mathcal{U}$, $\mathcal{V}$)) on $\mathcal{C}$. For more details, we refer to [1,Section 5]. By a slight abuse of language we often refer to a Hovey twin cotorsion pair as an admissible model structure.

Lemma 4.2. Let $(\mathcal{X}, \mathcal{W})$ be a strong left Frobenius pair in $\mathcal{C}$. Then $(\mathcal{W}, \widehat{ \mathcal{X}})$ is a cotorsion pair on the extriangulated category $\mathrm{Thick}(\mathcal{X})$.

Proof. Since $\mathcal{W}\subseteq{^{\bot} \mathcal{X}}$, one has $\mathbb{E}(\mathcal{W}, \widehat{ \mathcal{X}}) = 0$. For any $C\in \widehat{ \mathcal{X}}$, there exists an $\mathbb{E}$-triangle

with $X_{C}\in \mathcal{X}$ and $Y_{C}\in \widehat{ \mathcal{W}}$ by Theorem 3.3. Since $\mathcal{W}$ is a generator for $\mathcal{X}$, we have an $\mathbb{E}$-triangle with $W\in \mathcal{W}$ and $X\in \mathcal{X}$. By $(ET4)^{op}$, we obtain a commutative diagram

It follows that $Z\in \widehat{ \mathcal{X}}$ as $X$ and $Y_{C}$ are in $\widehat{ \mathcal{X}}$. Note that $\mathrm{Thick}(\mathcal{X}) = \widehat{ \mathcal{X}}$. The second column and $\mathbb{E}(\mathcal{W}, \widehat{ \mathcal{X}}) = 0$ show that $(\mathcal{W}, \widehat{ \mathcal{X}})$ is a cotorsion pair on $\mathrm{Thick}(\mathcal{X})$.

Proposition 4.3. Let $(\mathcal{X}, \mathcal{W})$ be a strong left Frobenius pair in $\mathcal{C}$. Then $\mathcal{P} = ((\mathcal{W}, \widehat{ \mathcal{X}}), (\mathcal{X}, \widehat{ \mathcal{W}}))$ is an admissible model structure on the extriangulated category $\mathrm{Thick}(\mathcal{X})$

Proof. By Theorem 3.12 and Lemma 4.2, we only need to check that $\mathrm{Cone}(\widehat{ \mathcal{W}}, \mathcal{W}) = \mathrm{CoCone}(\widehat{ \mathcal{W}}, \mathcal{W})$. It is obvious that $\mathrm{Cone}(\widehat{ \mathcal{W}}, \mathcal{W}) = \widehat{ \mathcal{W}}\subseteq\mathrm{CoCone}(\widehat{ \mathcal{W}}, \mathcal{W}).$ Let $C\in \mathrm{CoCone}(\widehat{ \mathcal{W}}, \mathcal{W})$. Then we have an $\mathbb{E}$-triangle with $Y\in\widehat{ \mathcal{W}}$ and $W\in \mathcal{W}$. By Theorem 3.3, one has that $C\in \widehat{ \mathcal{X}}.$ Since $\mathbb{E}(\mathcal{W}, \widehat{ \mathcal{X}}) = 0$, it follows that $C$ is a direct summand of $Y$. Note that $\widehat{ \mathcal{W}}$ is closed under direct summand by Proposition 3.11. Thus $C\in \widehat{ \mathcal{W}}$. Hence the equality $\mathrm{Cone}(\widehat{ \mathcal{W}}, \mathcal{W}) = \mathrm{CoCone}(\widehat{ \mathcal{W}}, \mathcal{W})$ holds.

Theorem 4.4. Let $(\mathcal{X}, \mathcal{W})$ be a strong left Frobenius pair in $\mathcal{C}$. If $n$ is a non-negative integer, then the following statements are equivalent:

(1) $\widehat{ \mathcal{X}_{n}} = \mathcal{C}$.

(2) $\mathcal{P} = ((\mathcal{W}, \mathcal{C}), (\mathcal{X}, \widehat{ \mathcal{W}_{n}}))$ is an admissible model structure on $\mathcal{C}$.

Proof. $(1)\Rightarrow (2)$. If $\widehat{ \mathcal{X}_{n}} = \mathcal{C}$, then $(\mathcal{W}, \mathcal{C})$ is a cotorsion pair on $\mathcal{C}$ by Lemma 4.2 and $(\mathcal{X}, \widehat{ \mathcal{W}})$ is a cotorsion pair on $\mathcal{C}$ by Theorem 3.12. To prove $(2)$, we only need to check that $\widehat{ \mathcal{W}_{n}} = \widehat{ \mathcal{W}}.$ Note that $\widehat{ \mathcal{W}_{n}}\subseteq\widehat{ \mathcal{W}}$ is obvious. Let $C\in \widehat{ \mathcal{W}}$. Then there is an $\mathbb{E}$-triangle with $X_{C}\in \mathcal{X}$ and $Y_{C}\in \widehat{ \mathcal{W}_{n-1}}$ by Theorem 3.3. Since $\widehat{ \mathcal{W}}$ is closed under extensions, $X_{C}\in \mathcal{X}\bigcap \widehat{ \mathcal{W}} = \mathcal{W}$. Hence $C\in \widehat{ \mathcal{W}_{n}}$ implies $\widehat{ \mathcal{W}_{n}} = \widehat{ \mathcal{W}}$.

$(2)\Rightarrow (1)$. Since $(\mathcal{X}, \widehat{ \mathcal{W}_{n}})$ is a cotorsion pair on $\mathcal{C}$, one has that $\mathcal{C} = \widehat{ \mathcal{X}_{n}}$ by Theorem 33.

As an application, we have the following result in ^[3].

Corollary 4.5. [3,Theorem 8.6] Suppose $R$ is a Gorenstein ring. Let $\mathcal{GP}(R)$ be the subcategory of $R$-$\mathrm{Mod}$ consisting of Gorenstein projective modules and $\mathcal{P}(R)$ the subcategory of $R$-$\mathrm{Mod}$ consisting of projective modules. Then $((\mathcal{P}(R), R$-$\mathrm{Mod}), (\mathcal{GP}(R), \widehat{\mathcal{P}(R)})$ is an admissible model structure on $R$-$\mathrm{Mod}$.

Proof. It follows from Example 3.5 and Proposition 4.3.

Let $n$ be a non-negative integer. In the following, we denote by $G_{C}{-}Proj(S)_{\leq n}$ (resp., $\mathcal{P}_{C}(S)_{\leq n})$ the class of modules with $C$-Gorenstein projective (resp., $C$-projective) dimension at most $n$

Corollary 4.6. Let $C = {_{S}C}_{R}$ be a faithfully semidualizing module. Then the following statements are equivalent:

(1) $G_{C}\mathit{{-}}Proj(S)_{\leq n} = \mathcal{B}_{C}(S)$.

(2) $\mathcal{P} = ((\mathcal{P}_{C}(S), \mathcal{B}_{C}(S)), (G_{C}\mathit{{-}}Proj(S), \mathcal{P}_{C}(S)_{\leq n})$ is an admissible model structure on $\mathcal{B}_{C}(S)$.

Proof. It follows from Corollary 3.19 and Theorem 4.4.

Let $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category and $\xi$ a proper class of $\mathbb{E}$-triangles. By ^[5], an object $P\in\mathcal{C}$ is called $\xi$-projective if for any $\mathbb{E}$-triangle

in $\xi$, the induced sequence of abelian groups $ is exact. We denote $\mathcal{P(\xi)}$ the class of $\xi$-projective objects of $\mathcal{C}$. Recall from ^[5] that an object $M\in\mathcal{C}$ is called $\xi$-$\mathcal{G}$projective if there exists a diagram

in $\mathcal{C}$ satisfying that: (1) $P_n$ is $\xi$-projective for each integer $n$; (2) there is a $\mathcal{C}(-, \mathcal{P(\xi)})$-exact $\mathbb{E}$-triangle in $\xi$ and $d_n = g_{n-1}f_n$ for each integer $n$ such that $M\cong K_n$ for some $n\in{\mathbb{Z}}$. We denote by $\mathcal{GP}(\xi)$ the class of $\xi$-$\mathcal{G}$projective objects in $\mathcal{C}$. Specializing Theorem 4.4 to the case $\mathcal{X} = \mathcal{GP}(\xi)$, we have the following result in ^[5].

Corollary 4.7. [5,Theorem 5.9] Let $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ be an extriangulated category satisfying Condition $\textrm{(WIC)}$ (see [1,Condition 5.8]). Assume that $\xi$ is a proper class in $\mathcal{C}$.Set $\mathbb{E}_\xi: = \mathbb{E}|_\xi$, that is,

for any $A, C\in\mathcal{C}$, and $\mathfrak{s}_\xi: = \mathfrak{s}|_{\mathbb{E}_\xi}$.If $n$ is a non-negative integer, then the following conditions are equivalent:

$\textrm{(1)}$ ${\rm sup}\{\xi$-$\mathcal{G}{\rm pd}A|A\in\mathcal{C}\}\leqslant n$.

$\textrm{(2)}$ $\mathcal{P} = ((\mathcal{P}(\xi), \mathcal{C}), (\mathcal{GP}(\xi), \mathcal{P}^{\leqslant n}(\xi)))$ is an admissible model structure on $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$, where $\mathcal{P}^{\leqslant n}(\xi) = \{A\in\mathcal{C}|\xi$-${\rm pd}A\leqslant n\}$.

Proof. It is easy to check that $(\mathcal{GP}(\xi), \mathcal{P}(\xi))$ is a strong left Frobenius pair in $(\mathcal{C}, \mathbb{E}_\xi, \mathfrak{s}_\xi)$. Thus the corollary follows from Theorem 4.4.

Acknowledgments

The authors are grateful to the referees for reading the paper carefully and for many suggestions on mathematics and English expressions. Yajun Ma was supported by NSFC (Grant No. 12171230). Haiyu Liu and Yuxian Geng were supported by the NSFC (Grants Nos. 12171206 and 12126424) and the Natural Science Foundation of Jiangsu Province (Grant No. BK20211358).

Conflict of interest

The authors declare there is no conflicts of interest.