Arxiv:2104.11361V1 [Math.RT]

arXiv:2104.11361v1 [math.RT] 23 Apr 2021 ] hywr neetdi h td fcvratyadcontravar Λ- and left covariantly generated of finitely study of Reit the mod(Λ) Idun category in and the interested Auslander in were Maurice subcategories They by made o contribution 8]. and the properties mention different to with definitions gener tilting these dimension different All of projective [24]. family infinite categories a to abstract to to [22] [1 modules generated finite of finitely from categories from [3]; generalized modules been generated has it Algebras Namely, of an contexts. theory become have Representation modules like e tilting areas the idea, different through this in With on, tool working tant module. are tilting such we of ring ring the about questions, swering h uhr hnstePoet AITUiesddNacion PAPIIT-Universidad Projects the homological thanks relative authors The pairs, Cotorsion theory. Relative Reiten Words: Key HOYI UCTGRE N OOSO-IEPAIRS COTORSION-LIKE AND SUBCATEGORIES IN THEORY EAIETLIGTER NAEINCTGRE I: CATEGORIES ABELIAN IN THEORY TILTING RELATIVE nti oghsoyo xlrn n xadn itn hoy ewould we theory, tilting expanding and exploring of history long this In w different in generalized been has theory tilting years, 40 last the In purpo the with born were ring a over modules tilting speaking, Broadly References .AsadrBcwizadAsadrRie hoy11 Fac class The theory Auslander-Reiten and 5. notions Auslander-Buchweitz related and pairs 4. Cotorsion 3. Preliminaries 2. Introduction 1. 2010 ULNE-UHET-ETNAPPROXIMATIONS AUSLANDER-BUCHWEITZ-REITEN LJNR RUI ORYADOTVOMNOAHERN MENDOZA OCTAVIO AND MONROY ARGUDIN ALEJANDRO ahmtc ujc Classification Subject Mathematics te lsia eut rmAsadrBcwizadAusl and Auslander-Buchweitz Garcia-Rozas from and results Ou Lemma classical Salce’s other pairs. of cotorsion generalization hereditary a include and complete of eralization ocpsas a theory.concepts approximation in coresoluti Auslander-Buchweitz and the objects resolutions of of this ization studying classes by that of see pair will We a to associated coresolutions Abstract. X nti ae eitoueaseilkn frltv resolut relative of kind special a introduce we paper this In cmlt ar and pairs -complete n X ( M ) 1. Introduction Contents rmr 82,1E0 eodr 81,18G25. 18E10, Secondary 16E10. 18G20, Primary . X hrdtr ar r nrdcda gen- a as introduced are pairs -hereditary 1 lAtooad México IN100520. Autónoma de al iesos Auslander-Buchweitz- dimensions, ne-etntheory. ander-Reiten n egtageneral- a get we ons ihti ol new goal, this With bla category. abelian n anrslswill results main r sLma among Lemma, ’s lztosgv rise give alizations [1]. oue,where modules, osand ions ndomorphisms ]t infinitely to 5] ANDEZ ´ atyfinite iantly bjectives. 2] from [23]; ni [7, in en eo an- of se y and ays impor- like 27 25 6 3 1 2 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

Λ is an Artin algebra. One of the main results of such papers is that they found a bijection between tilting Λ-modules and covariantly finite categories: the Auslander- Reiten correspondence [8, Theorem 4.4]. By using this bijection, M. Auslander and I. Reiten showed the utility of the tilting objects for studying covariantly finite subcategories and vice versa. This manuscript is the first of two papers for coming and is devoted to developing certain foundational aspects needed for the settle and the study of a relative tilting theory on abelian categories following the same philosophy of M. Auslander and I. Reiten in [7, 8]. We shall be based mainly in the homological algebra presented by Maurice Auslander and Ragnar-Olaf Buchweitz in [6]. We can describe such theory as the study of the relations of the resolution (coresolution) dimension over a class X and the relative projective (injective) dimension on X . In this paper, we will introduce a subtle modification on the studied resolutions (coresolutions) which will lead us to new definitions and results on relative homological algebra. As an application of the obtained results, in the second paper for coming [5], we develop a theory of relative tilting objects in abelian categories, where inter alia, will be obtained a relative version of the Auslander-Reiten correspondence in abelian categories. Let us describe briefly the contents and main results of this paper. Section 2 is devoted to introduce some categorical and homological preliminaries in an arbitrary abelian category C. In particular, we shall recall the definition of homological dimensions relative to a class X ⊆C. Namely, for a class T ⊆C, pdX (T ) denotes the X -projective dimension of T and idX (T ) denotes the X -injective dimension of T . Furthermore, in proposition 2.7 we characterize the classes T ⊆C such that pdX (T ) ≤ n through a property called closed by n-quotients in X . We also present the definition of n-X -cluster tilting in the abelian category C, which is a generalization of the n-cluster tilting category given by Osamu Iyama in [17], and study such categories from the point of view of n-quotients in X ⊆C. In Section 3, we present and study new notions that will help us to state a relative Auslander-Reiten correspondence in the second paper for coming, see [5]. Namely, we shall introduce the notions of X -complete pair and X -hereditary pair. These concepts are generalizations of the complete cotorsion pairs and hereditary cotorsion pairs, respectively, with the difference that the above-mentioned pairs need not to be cotorsion pairs. We prove, on one hand, a generalization of Salce’s Lemma (see Lemma 3.15) that characterizes X -complete pairs; and on the other hand, a generalization of Garcia-Rozas’s Lemma (see Lemma 3.5) that characterizes X -hereditary pairs. Moreover, some examples are given to illustrate the definitions and properties of the relative pairs introduced in this section. Section 4 is devoted to develop our main goals. Namely, let X and Y be classes of objects in an abelian category C. We define (X , Y)-resolutions (coresolutions) and the respective resolution (coresolution) dimension associated to the pair (X , Y). Furthermore, we consider the class (X , Y)∧ of objects admitting such relative resolutions, and the class (X , Y)∨ of objects admitting such relative coresolutions. These concepts are generalizations of the resolutions (coresolutions) and dimensions which were used by M. Auslander and O. Buchweitz in [6]. Throughout this section, we present a series of results that generalize the Auslander-Buchweitz- Reiten theory developed in [6, 7]. For example: Theorem 4.4 is a generalization of [6, Theorem 1.1], where we study the existence of certain relative precovers and RELATIVE TILTING THEORY I 3 preenvelopes; Theorem 4.19 (where we discuss, inter alia, the conditions needed for the class (X , Y)∨ to be closed under extensions and direct summands) is inspired in a result of Victor Becerril, Octavio Mendoza, and Valente Santiago [11, Theorem 3.29], which in turn is a generalization of a result of Maurice Auslander and Idun Reiten [7, Proposition 5.1]; and Theorem 4.24 describes the properties of the relative homological dimensions associated with X -complete and X -hereditary pairs. Let X and T be classes of objects in an abelian category C. In Section 5, we study a new class of objects C ∈C admitting an exact sequence

fn f2 f1 0 → K → Tn −→ Tn−1 →···→ T2 −→ T1 −→ C → 0, with Ti ∈T ∩X and Ker(fi) ∈ X ∀i ∈ [1,n]. This is a generalization of the class of modules n-generated by a given module, which were introduced by Silvana Bazzoni [9] and Jiaqun Wei [26] as a tool in the characterization of tilting modules. Our main result in this section is proposition 5.2, where it is given the conditions needed for this class to be closed by n-quotients in X . It is worth to point out that we will be working in abstract abelian categories without assuming the existence of enough projectives or injectives. Furthermore, we will incorporate examples where our theory can be exploited. Namely, we shall include examples on n-cluster tilting categories, FPn objects and relative Goren- stein objects among others.

2. Preliminaries 2.1. Notation. Throughout the paper, C denotes an abelian category. We will use the Grothendieck’s notation [14] to distinguish abelian categories with further structure. Namely, • C is Ab3 if it has coproducts; • C is Ab4 if it is Ab3 and the coproduct functor is exact; • C is Ab5 if it is Ab3 and the direct limit functor is exact. Given X, Y ∈ C and n ≥ 0, we will consider the n-th Yoneda extensions group n n op ExtC (X, Y ) [21, Chapter VII] and the bifunctor ExtC (−, −): C × C → Ab. In particular, if C has enough projectives and injectives, this bifunctor coincides with the n-derived functor of the Hom’s functor. For any class of objects X ⊆C and any ⊥i i i ≥ 1, we deﬁne the right i-th orthogonal class X := {C ∈C : ExtC(−, C)|X =0} ⊥ ⊥i and the right orthogonal class X := ∩i>0 X of X . Dually, we have the left i-th orthogonal class ⊥i X and the left orthogonal class ⊥X of X . With respect inclusions of classes and objects, M⊆C means that M is a class of objects of C. In a similar way, (A, B) ⊆C2 means that A⊆C and B⊆C. On the other hand C ∈C means that C is an object of C. In the case we are given another class of objects N ⊆C, then N ⊆M and C ∈M have similar meanings. Finally, the term subcategory means full subcategory. Associated with some M⊆C, we have the following classes of objects in C. Namely: the class smd(M) whose objects are all the direct summands of objects in M; the class M⊕ (M⊕<∞ ) of all the (ﬁnite) coproducts of objects in M; Add(M) := smd(M⊕) and add(M) := smd(M⊕<∞ ). In case M = {M}, we have M ⊕ := M⊕,M ⊕<∞ := M⊕<∞ , smd(M) := smd(M), Add(M) := Add(M), add(M) := add(M),M ⊥ := M⊥, and ⊥M := ⊥M. 4 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

Throughout this paper, we will work with a variety of concepts along with its dual notions. We will omit writing down dual results and notions, but we will be using both of them.

2.2. Relative homological dimensions. We will be using the following known results in homological algebra and its duals. Theorem 2.1. [21, Chapter VI, Theorem 5.1] Let 0 → N → M → K → 0 be an exact sequence in the abelian category C. Then, for any X ∈C, there is a long exact sequence of abelian groups induced by HomC(X, −) 1 0 → HomC(X,N) → HomC(X,M) → HomC(X,K) → ExtC(X,N) → · · · k k k k+1 ···→ ExtC(X,N) → ExtC(X,M) → ExtC(X,K) → ExtC (X,N) → · · · ;

Lemma 2.2 (Shifting Lemma). Let 0 → K → Cn−1 →···→ C1 → C0 → A → 0 ⊥ be an exact sequence in the abelian category C such that Ci ∈ Y ∀i ∈ [0,n − 1], k ∼ k+n where Y ∈C. Then, ExtC(K, Y ) = ExtC (A, Y ) ∀k ≥ 1. Proof. It can be proved in a similar way as in [21, Chapter VI, Lemma 6.2].

Theorem 2.3. [4, Theorem 3.12] Let C be an Ab4 category, {Ai}i∈I be a family of objects in C and B ∈C. Then, for any n ≥ 1, there is a natural isomorphism Ψ : Extn( A ,B) → Extn(A ,B). n C M i Y C i i∈I i∈I Let C be an abelian category, B, A⊆C and C ∈ C. The A-projective di- N k mension of C is pdA(C) := min nn ∈ : ExtC(C, −)|A =0 ∀k>no ; the A- projective dimension of B is pdA(B) := sup {pdA(B): B ∈ B} . The A-injective dimension idA(C) of C and A-injective dimension idA(B) of B are deﬁned dually. For a pair (X ,ω) ⊆ C2, it is said that ω is a relative cogenerator in X if ω ⊆ X and any X ∈ X admits an exact sequence 0 → X → W → X′ → 0 in C, ′ with W ∈ ω and X ∈ X ; and ω is X -injective if idX (ω)=0. Dually, we have the notions of relative generator in X and X -projective.

2.3. Relative n-quotients and n-subobjects. Deﬁnition 2.4. Let C be an abelian category, Y⊆X⊆C and n ≥ 1. (a) Y is closed by n-quotients in X if for any exact sequence in C

ϕn ϕ1 0 → A → Yn −−→ Yn−1 →···→ Y1 −→ B → 0,

with Yi ∈ Y, Ker(ϕi) ∈ X ∀i ∈ [1,n] and B ∈ X , we have that B ∈ Y. (b) Y is closed by n-subobjects in X if for any exact sequence in C

ϕ1 ϕn 0 → A → Y1 −→ Y2 →···→ Yn −−→ B → 0,

with Yi ∈ Y, Im(ϕi) ∈ X ∀i ∈ [1,n] and A ∈ X , we have that A ∈ Y. Example 2.5. Let n be a positive integer. (1) Let R be a noetherian commutative ring and Mod(R) be the category of left R-modules. In [18, Deﬁnition 4.1], the classes closed by n-quotients in Mod(R) are called closed by (n − 1)-cokernels; and the classes closed by n-subobjects in Mod(R) are called closed by (n − 1)-kernels. RELATIVE TILTING THEORY I 5

(2) Let C be a an Ab5 category admitting a set ω such that ω⊕ is a relative generator in C. Denote by FPn the class of all the objects X ∈ C such i that the functor ExtC (X, −) preserves direct limits ∀i ∈ [0,n − 1]. By [12, Lemma 2.11], FPn is closed by (n + 1)-quotients in C if ω ⊆ FP1. (3) Let C be a an Ab5 category admitting a set ω such that ω⊕ is a relative generator in C. Denote by Cn the class of all the objects X ∈ FPn such that every subobject Y ⊆ X in the class FPn−1 is in fact in FPn. Then, by [12, Corollary 4.5], Cn is closed by 1-quotients in FPn−1. Let R be a commutative noetherian ring. In [19, Remark 3.2], Hiroki Matsui and Ryo Takashi noted that a class, which is closed by n-quotients in Mod(R), is always closed under direct summands and cokernels. A similar claim can be made in our context as can be seen in the following remark. Remark 2.6. Let C be an abelian category and Y⊆X⊆C be such that Y is closed by n-quotients (n-subobjects) in X = smd(X ). Then Y = smd(Y) and Y is closed by cokernels (kernels) if X is so. Indeed, by considering the exact sequence [ 0 0 ] [ 1 0 ] [ 0 0 ] ···→ Y ⊕ Z −−−→0 1 Y ⊕ Z −−−→0 0 Y ⊕ Z −−−→0 1 Y ⊕ Z → Y → 0, it follows that Y ∈ Y if Y ⊕ Z ∈ Y. On the other hand, by considering the exact sequence ···→ 0 → A → B → C → 0 and 0 ∈ smd(Y) = Y, we get that C ∈ Y if A, B ∈ Y. Proposition 2.7. Let C be an abelian category, X , T ⊆C and α ⊆ T ⊥ ∩ X ⊥ be a relative cogenerator in X . Then, for n ≥ 1, X ∩ T ⊥ is closed by n-quotients in X if, and only if, pdX (T ) ≤ n. Proof. (⇒) Note that α ⊆X∩T ⊥. Let X ∈ X and M ∈ T . Since α is a relative f cogenerator in X , there is an exact sequence 0 → X → I0 →···→ In−1 −→ V → 0, with K := Ker(f) ∈ X , V ∈ X and Ii ∈ α ∀i ∈ [0,n − 1]. By applying the functor HomC(M, −) to the exact sequence 0 → K → In−1 → V → 0 and since i i+1 i i+1 ExtC(M, In−1)=0=ExtC (M, In−1), it follows that ExtC(M, V ) ≃ ExtC (M,K) i+1 ∼ n+i ∀ i ≥ 1. By the dual of Lemma 2.2, ExtC (M,K) = ExtC (M,X). Now, since T ⊥ ∩ X is closed by n-quotients in X and V ∈ T ⊥ ∩ X , we get i ∼ i+1 ∼ n+i 0 = ExtC(M, V ) = ExtC (M,K) = ExtC (M,X) ∀i ≥ 1; and thus pdX (M) ≤ n. ϕn ϕ1 (⇐) Let 0 → A → Xn −−→ Xn−1 →···→ X1 −→ B → 0 be an exact sequence, ⊥ where X1, ··· ,Xn ∈X∩T , B ∈ X and Ker(ϕi) ∈ X ∀i ∈ [1,n]. By the dual of k ∼ n+k n+k Lemma 2.2, ExtC(M,B) = ExtC (M, A) ∀k ≥ 1, where ExtC (M, A)=0 ∀k ≥ 1 ⊥ since A ∈ X and pdX (T ) ≤ n. Therefore B ∈ T ∩ X . We ﬁnish this section with an application in the n-cluster tilting theory. In order to do that, we generalize the notion of n-cluster tilting category, given by O. Iyama in [17]. Deﬁnition 2.8. We say that T is n-X -cluster tilting in the abelian category C if X , T ⊆C, n ≥ 1 and the following conditions hold true. (a) T = add(T ). (b) There exists α ⊆ X ⊥ ∩ T ⊥ which is a relative cogenerator in X . (c) There exists β ⊆ ⊥X ∩ ⊥T which is a relative generator in X . 6 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

(d) T is functorially finite. n−1⊥i n−1 ⊥i (e) X ∩ (∩i=1 T )= T = X ∩ (∩i=1 T ). Remark 2.9. Let Λ be a finite dimensional k-algebra and mod(Λ) be the category of finitely generated left Λ-modules. The notion of n-cluster tilting subcategory in mod(Λ) was introduced by Osamu Iyama in the study of a higher analogue of the classical Auslander correspondence between representation finite algebras and Auslander algebras [17]. In this case, the term n-mod(Λ)-cluster tilting matches with Iyama’s definition of n-cluster tilting subcategory in mod(Λ). Corollary 2.10. For an n-X -cluster tilting class T in the abelian category C, the following statements hold true. (a) α, β ⊆T ⊆X . ⊥ (b) If pdX (T ) ≤ n − 1, then T = X ∩ T = X . ⊥ (c) If idX (T ) ≤ n − 1, then T = X ∩ T = X . ⊥ ⊥ (d) If pdX (X ) ≤ n − 1, then X ∩ T = T = X ∩ T = X . Proof. (a) If n = 1, then by Definition 2.8 (e) T = X and there is nothing to prove. Let n ≥ 2. Then, by Definition 2.8 (b,e), we have α ⊆ X ⊥ ∩X ∩T ⊥ ⊆ X ∩ n−1 ⊥i ∩i=1 T = T . Similarly, we also get that β ⊆ T . ⊥ ⊥ (b) Let pdX (T ) ≤ n−1. If n = 1 then T ⊆ T and thus T = T ∩T . Moreover, by Definition 2.8 (e) T = X and hence (b) holds true in this case. Suppose that n ≥ 2. Since pdX (T ) ≤ n − 1, it follows from Definition 2.8 (e) ⊥ n−1 ⊥i ⊥ that X ∩ T = X ∩ ∩i=1 T = T . Furthermore, by Proposition 2.7 T ∩ X is closed by (n − 1)-quotients in X . Then, by using that β ⊆ T is a relative generator in X , we can conclude that X ⊆ T . (c) It follows as in the proof of (b) by using the dual of Proposition 2.7. (d) It follows from (b) and (c) since pdX (T ) ≤ pdX (X ) and idX (T ) ≤ idX (X )= pdX (X ). 3. Cotorsion pairs and related notions A main tool in the study of relative homological dimensions is the notion of cotorsion pair which was introduced by Luigi Salce in [25]. Namely, a pair (A, B) of classes of objects in an abelian category C is a cotorsion pair if A = ⊥1 B and B = A⊥1 . In this section, we introduce a more general notion of relative cotorsion which will be needed for the forthcoming work. Definition 3.1. Let C be an abelian category, (A, B) ⊆ C2 and X ⊆C. The pair (A, B) is left (right) cotorsion pair in X if A ∩ X = ⊥1 B ∩ X (B ∩ X = A⊥1 ∩ X ). In case both conditions hold true, we call (A, B) cotorsion pair in X . Note that, If (A, B) is a cotorsion pair in C, then (A, B) is a cotorsion pair in X for any X ⊆C. In case X = C, we simply say that (A, B) is a left (right) cotorsion pair if it is a left (right) cotorsion pair in X . Example 3.2. (1) Let Λ be an Artin algebra such that its big finitistic dimensions is Fin.dim (Λ) := pd(P(Mod (Λ))) = n> 1 and its small finitistic dimension is fin.dim (Λ) := pd(P(mod (Λ))) < n, where P(X ) is the class of all the Λ-modules having finite projective dimension. Consider the class S of all RELATIVE TILTING THEORY I 7

the n-th syzygies of cyclic left Λ-modules. In [2, Example 1.5], it is proved that (⊥1 S⊥1 ∩ mod (Λ) , (⊥1 S⊥1 ∩ mod (Λ))⊥1 ∩ mod (Λ)) is not a cotorsion pair in mod (Λ). (2) Let C be an abelian category and X ⊆C be closed under extensions. The cotorsion pairs (A, B) in X satisfying that A, B ⊆ X were amply studied in [10] and called X -cotorsion pairs. In particular, they proved that, for a left thick class X ⊆C (see Definition 4.13), and an X -injective relative cogenerator ω = smd(ω) in X , the pair (X ,ω∧) is a cotorsion pair in X ∧ [10, Theorem 3.6]. (3) Let C be an abelian category and X ⊆C. The cotorsion pairs (A, B) in X satisfying that A = smd(A) and B = smd(B) were amply studied in [16] and called cotorsion pairs cut along X . In [16], it is given several examples and applications. Namely, it were found interesting results in the settings of relative Gorenstein homological algebra, chain complexes and quasi-coherent sheaves. Furthermore, it is characterized in [16] some results on the finitistic dimension conjecture, the existence of right adjoints of quotient functors by Serre subcategories and the description of cotorsion pairs in triangulated categories as co-t-structures. 3.1. Relative hereditary cotorsion-like pairs. Let C be an abelian category, Y ⊆C and (A, B) := (⊥Y, (⊥Y)⊥) or (A, B) := (⊥ Y⊥ , Y⊥). If C has enough projectives and injectives, then it is a known fact that (A, B) is a cotorsion pair. In this case, we say that (A, B) is a hereditary cotorsion pair. Hereditary cotorsion pairs are an important tool for building resolutions and coresolutions in homological algebra. Hence, it is of our interest to use this kind of pairs in more general contexts. Unfortunately, if C in an abelian category without enough projectives or injectives, we do not know if (A, B) is a cotorsion pair. Nonetheless, we will see in the following lines that, under the proper hypotheses, (A, B) can be seen as a cotorsion pair inside a class X ⊆C that admits an X -injective cogenerator and an X -projective generator. In a way, this will represent a relative notion of cotorsion pairs. Definition 3.3. Let C be an abelian category and M, X ⊆C. (a) M is closed under mono-cokernels in M∩X if, for any exact sequence 0 → M → M ′ → M ′′ → 0 with M,M ′ ∈M∩X , we have that M ′′ ∈ M. In case M ⊆ X , we will simply say that M is closed under mono-cokernels. The classes which are closed under epi-kernels are defined dually. (b) M is X -resolving if M contains an X -projective relative generator in X , is closed under epi-kernels in M ∩ X and under extensions. The X - coresolving classes are defined dually. Lemma 3.4. Let C be an abelian category and X ⊆C. If B⊆C is X -coresolving, then ⊥1 (B ∩ X ) ∩ X = ⊥ (B ∩ X ) ∩ X . Proof. It is enough to prove that ⊥1 (B ∩ X ) ∩X ⊆ ⊥ (B ∩ X ) ∩ X . With this goal, we will show that ⊥k (B ∩ X )∩X ⊆ ⊥k+1 (B ∩ X )∩X ∀k> 0. Let C ∈ ⊥k (B ∩ X )∩X and α ⊆B∩X be an X -injective relative cogenerator in X . Hence, any M ∈B∩X admits an exact sequence η : 0 → M → A → K → 0, with A ∈ α ⊆B∩X and 8 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

K ∈ X . Observe that K ∈B∩X since B is closed mono-cokernels in B ∩X . Hence, k k+1 k+1 in the exact sequence ExtC (C,K) → ExtC (C,M) → ExtC (C, A) , we have k+1 k k+1 ExtC (C, A) = 0 and ExtC (C,K)=0. Thus ExtC (C,M)=0 ∀M ∈B∩X . The following result is inspired in Garc´ıa-Rozas’s Lemma [13, Theorem 1.2.10]. Lemma 3.5. Let C be an abelian category, (A, B) ⊆ C2 and X ⊆C be a class 1 such that ExtC (A ∩ X , B ∩ X )=0. If B is X -coresolving and A is closed under epi-kernels in A ∩ X , then for any exact sequence 0 → K → A → A′ → 0, with A, A′ ∈A∩X and K ∈ X , we have K ∈ ⊥ (B ∩ X ). Proof. Since A∩X ⊆ ⊥1 (B ∩ X ) and B is X -coresolving, we have by Lemma 3.4 that A∩X ⊆ ⊥ (B ∩ X ) ∩ X . Therefore, the statement follows from the fact that A is closed under epi-kernels in A ∩ X . Lemma 3.6. Let C be an abelian category, (A, B) ⊆C2, X ⊆C be a class such that 1 ExtC (A ∩ X , B ∩ X )=0, ω ⊆ A be an X -projective relative generator in X , and α ⊆B be an X -injective relative cogenerator in X . Then, the following statements are equivalent: (a) for any exact sequence 0 → K → A → A′ → 0, with A, A′ ∈A∩X and K ∈ X , we have that K ∈ ⊥ (B ∩ X ); (b) for any exact sequence 0 → B′ → B → C → 0, with B,B′ ∈B∩X and C ∈ X , we have that C ∈ (A ∩ X )⊥; (c) idA∩X (B ∩ X )=0. Proof. We only prove that (a) implies (c) since the other implications are quite similar. Let A ∈A∩X and B ∈B∩X . Consider an exact sequence 0 → C → P → A → 0, with P ∈ ω ⊆A∩X and C ∈ X . Since A, P ∈A∩X and C ∈ X , we have C ∈ ⊥ (B ∩ X ) . Then, from exact sequence n−1 n n ExtC (C,B) → ExtC (A, B) → ExtC (P,B), n 1 it follows that ExtC (A, B)=0 ∀n ≥ 2. Finally, ExtC (A, B) = 0 holds true by hypothesis. Deﬁnition 3.7. Let C be an abelian category and X ⊆C. A pair (A, B) ⊆ C2 is X -hereditary if idA∩X (B ∩ X )=0. In case that X = C, we will simply say that (A, B) is hereditary. Remark 3.8. Let C be an abelian category and (A, B) be an X -hereditary pair that admits an X -projective relative generator in X contained in A and an X -injective relative cogenerator in X contained in B. In the proof of 3.6, it was shown that the following statements hold true: (a) for every exact sequence 0 → K → A → A′ → 0, with A, A′ ∈A∩X and K ∈ X , we have K ∈ ⊥ (B ∩ X ); (b) for every exact sequence 0 → B′ → B → C → 0, with B,B′ ∈B∩X and C ∈ X , we have C ∈ (A ∩ X )⊥. Let Y ⊆C, where C does not have enough projectives or injectives. As was mentioned before, we do not know if ⊥(Y⊥), Y⊥ is a cotorsion pair. In the next Lemmas we discuss this phenomenon. We will see that, under some conditions related to the given class X , it is possible to ﬁnd a cotorsion pair (A, B) such that B ∩ X = Y⊥ ∩ X , or such that A ∩ X = ⊥(Y⊥) ∩ X . RELATIVE TILTING THEORY I 9

Lemma 3.9. Let C be an abelian category and X , Y ⊆C be such that there is an X -injective relative cogenerator in Y. Then, there is a class Z ⊆ Y such that ⊥Y ∩ X = ⊥1 Z ∩ X . Proof. Let α be an X -injective relative cogenerator in Y and M ∈ Y. Then, there is an exact sequence 0 → M → A0 →···→ An → An+1 → · · · with Ai ∈ α and ∞ Mi+1 := Im (Ai → Ai+1) ∈ Y ∀i ≥ 0. Consider the set NM := {Mi} i=0, where 1 ∼ M0 = M. Since α is X -injective, by the Shifting Lemma, we have ExtC (X,Mi) = 1+i ⊥ ⊥1 ExtC (X,M) ∀X ∈ X , ∀i ≥ 0. Therefore, M ∩ X = NM ∩ X . Finally, by repeating the same arguments for every M ∈ Y, we conclude that Z := NM , SM∈X satisfies ⊥Y ∩ X = ⊥1 Z ∩ X . Proposition 3.10. Let C be an abelian category and Y⊆X ⊆C. If there is an X -injective relative cogenerator in Y and there is an X -projective relative generator ⊥ in X contained in ⊥Y, then (⊥Y ∩ X , ⊥Y ∩ X ∩ X ) is a cotorsion pair in X . Proof. By Lemma 3.9, there is a class Z ⊆ Y such that ⊥Y ∩ X = ⊥1 Z ∩ X . Since ⊥Y is X -resolving, by the dual of Lemma 3.4, we have ⊥ ⊥ ⊥ ⊥Y ∩ X ∩ X = ⊥Y ∩ X 1 ∩ X = ⊥1 Z ∩ X 1 ∩ X . ⊥ Therefore, C := (⊥Y ∩ X , ⊥Y ∩ X ) is a right cotorsion pair in X . It remains to prove that C is a left cotorsion pair in X . To do this, we must show that ⊥ ⊥1 ⊥1 Z ∩ X 1 ∩ X ∩ X = ⊥1 Z ∩ X . Indeed, note that ⊥ ⊥ ⊥1 ⊥1 Z ∩ X 1 ∩ X ∩X ⊆ ⊥1 ⊥1 Z 1 ∩ X ∩X ⊆ ⊥1 (Z ∩ X )∩X = ⊥1 Z ∩X , ⊥ ⊥ and ⊥1 Z∩X ⊆ ⊥1 ⊥1 Z ∩ X 1 ∩X ⊆ ⊥1 ⊥1 Z ∩ X 1 ∩ X ∩ X . In case Y = {T }, we can claim the following statements. For ω ⊆C, we denote ∧ by ω∞ the class of all the objects C ∈ C admitting an infinity exact sequence ··· → Wn → ··· → W1 → W0 → C → 0, with Wi ∈ ω ∪ {0} ∀ i ≥ 0. We denote by ω∧ the class of all the objects C ∈ C admitting finite exact sequence 0 → Wn →···→ W1 → W0 → C → 0, with Wi ∈ ω ∀ i ∈ [0,n]. Lemma 3.11. Let C be an abelian category, T ∈C and (ω, X ) be a pair of classes in C such that ω is X -projective. Then, the following statements hold true: ∧ ⊥ ⊥1 (a) if T ∈ ω∞, then there is a set S⊆C such that T ∩ X = S ∩ X ; (b) if T ∈ ω∧, then there is an object S ∈C such that T ⊥ ∩ X = S⊥1 ∩ X ; ∧ ⊥ (c) if C is an Ab4 category and T ∈ ω∞, then there is S ∈ C such that T ∩ X = S⊥1 ∩ X . ∧ Proof. Let T ∈ ω∞. Then, there is an exact sequence

···→ Wn+1 → Wn →···→ W1 → W0 → T → 0, ∞ with Wi ∈ ω ∪{0} and Ti+1 := Im (Wi+1 → Wi) ∀i ≥ 0. Consider S := {Ti} i=0, ⊥ where T0 := T . Since ω ⊆ X , by the Shifting Lemma we have i ∼ 1 ExtC (T,X) = ExtC (Ti,X) ∀i ≥ 0, ∀X ∈ X , and thus S⊥1 ∩X = T ⊥∩X ; proving (a). If C is Ab4, by Theorem 2.3, the coproduct ∞ ⊥1 ⊥1 S := i=0 Ti satisﬁes that S = S and thus (c) holds true. The proof of (b) is quiteL similar to the one given of (c) since in this case the set S is ﬁnite. 10 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

Corollary 3.12. Let C be an Ab4 category and X ⊆C be a class of objects admitting an X -projective relative generator in X . If T ∈ X , then there is an object S ∈ C such that T ⊥ ∩ X = S⊥1 ∩ X . Proof. It follows from Lemma 3.11 (c).

3.2. Relative complete pairs. We will be using the following notation and vo- cabulary for approximations. We start this section by recalling the well known notions of precovers and preenvelopes. For a class Z of objects in an abelian category C, a morphism f : Z → M in C ′ ′ ′ is called a Z-precover if Z ∈ Z and HomC(Z ,f) : HomC (Z ,Z) → HomC(Z ,M) is an epimorphism ∀Z′ ∈ Z. A Z-precover Z → M is called special if it fits in an exact sequence 0 → M ′ → Z → M → 0, where M ′ ∈ Z⊥1 . It is said that Z is precovering if each C ∈C admits a Z-precover Z → C. The notions of (special) Z-preenvelope and preenveloping class are defined dually. The class Z is called functorially finite if it is precovering and preenveloping. In the case of an Artin algebra Λ, a precovering (preenveloping) class in mod (Λ) is called contravariantly (covariantly) finite. In order to develop the relative tilting theory, we need a relative version of special precover (preenvelope). We do that in what follows. Definition 3.13. Let C be an abelian category and Z, X ⊆C. We say that Z is special precovering in X if any X ∈ X admits an exact sequence 0 → B → A → X → 0, with A∈Z∩X and B∈ Z⊥1 ∩ X . The notion of special preenveloping in X is defined dually. The previous notions are related with the notion of complete cotorsion pair. Let us present the following definitions that generalize such notion. Definition 3.14. Let C be an abelian category and (A, B) ⊆C2. The pair (A, B) is left X -complete if any X ∈ X admits an exact sequence 0 → B → A → X → 0, with A ∈A∩X and B ∈B∩X . The notion of right X -complete pair is defined dually. We say that (A, B) is X -complete if it is right and left X -complete. The following result is a generalization of Salce’s Lemma [25]. Lemma 3.15. Let C be an abelian category, X ⊆C be closed under extensions and (A, B) ⊆ C2 be a left X -complete pair such that B is closed under extensions and contains a relative cogenerator in X . Then, (A, B) is right X -complete. Proof. Let α ⊆ B be a relative cogenerator in X and M ∈ X . Then, there is an π exact sequence 0 → M → I → F → 0, with I ∈ α and F ∈ X . Since (A, B) is left ρ X -complete, there is an exact sequence 0 → Y → X → F → 0, with X ∈A∩X and Y ∈B∩X . Now, by considering the pull-back of π and ρ, we get the exact sequences η1 : 0 → Y → P → I → 0 and η2 : 0 → M → P → X → 0. Observe that P ∈B∩X since Y, I ∈B∩X . Therefore, from η2, we conclude that (A, B) is right X -complete.

Example 3.16. (1) Consider integers m ≥ n ≥ 2. Let C be a an Ab5 category ad- ⊕ mitting a set ω ⊆FPm such that ω is a relative generator in C. It is proved in [12, ⊥1 ⊥1 ⊥1 Theorem 3.6] that ( (FPn ), FPn ) is a complete cotorsion pair. Furthermore, RELATIVE TILTING THEORY I 11 it is said that C is n-coherent if FPn = Cn (see 2.5(b,c)). In [12, Theorem 4.7], ⊥1 ⊥1 ⊥1 it is proved that ( (FPn ), FPn ) is hereditary if and only if C is n-coherent. (2) Let C be an abelian category and S⊆C. A left cotorsion pair (A, B) cut along S is called complete if for each S ∈ S there is an exact sequence 0 → B → A → S → 0, with A ∈ A and B ∈ B [16, Deﬁnition 2.1]. The notions of relative completeness and cotorsion settled in [16] and ours are a little diﬀerent, but they are related as follows: (a) Every left S-complete and left cotorsion pair (A, B) in S with A = smd (A) is a complete left cotorsion pair cut along S. (b) Let A, B ⊆ S. If (A, B) is a complete left cotorsion pair cut along S, then (A, B) is left S-complete and a left cotorsion pair in S.

4. Auslander-Buchweitz and Auslander-Reiten theory Let us introduce the type of relative resolutions and coresolutions that interest us and that will be useful for the development of the theory. Deﬁnition 4.1. Let C be an abelian category, M ∈C, Z, Y and X ⊆C.

f0 f1 fn (a) An exact sequence 0 → M → Y0 → Y1 → ··· → Yn−1 → Yn → · · · in C, with Yk ∈Y∪{0} ∀k ≥ 0 and Im (fi) ∈X∪{0} ∀i ≥ 1, is called a YX -coresolution of M. f0 f1 fn (b) An exact sequence 0 → M → Y0 → Y1 → ... → Yn−1 → Yn → 0 in C, with Yn ∈X∩Y, Yk ∈ Y ∀k ∈ [0,n−1] and Im (fi) ∈ X , ∀i ∈ [1,n−1], is called a YX -coresolution of length n of M, or simply a finite YX -coresolution of M. X (c) We define coresdimY (M) , the YX -coresolution dimension of M, which is the smallest non-negative integer n such that there is a YX -coresolution X of length n of M. If such n does not exist, we set coresdimY (M) := ∞. (d) The YX -coresolution dimension of the class Z is defined as coresdimX (Z) := sup coresdimX (Z) | Z ∈ Z . Y Y ∨ ∨ (e) We denote by YX ,∞ (YX ) the class of all the objects in C having a (finite) ∨ ∨ YX -coresolution. Note that YX ⊆ YX ,∞. ∨ (f) We denote by YX ,n the class of all the objects in C having a YX -coresolution of length ≤ n. ∨ ∨ ∨ ∨ ∨ ∨ (g) (X , Y)∞ := X ∩ YX ,∞, (X , Y) := X ∩ YX and (X , Y)n := X ∩ YX ,n. (h) Dually, we define the YX -resolution (of length n), the YX -resolution di- X ∧ ∧ ∧ mension resdimY (M) of M and the classes YX , YX ,∞, YX ,n. We also have ∧ ∧ ∧ ∧ ∧ ∧ (Y, X )∞ := YX ,∞ ∩ X , (Y, X ) := YX ∩ X and (Y, X )n := Yn ∩ X . If X = C, we omit the “X ” symbol in the above notations. Note that, M is iso- X morphic to an object in X ∩ Y if, and only if, resdimY (M)=0(respectively, X coresdimY (M)=0). Example 4.2. (1) In [7, Section 5] was the first time that these kind of relative resolutions were considered. In this paper, Maurice Auslander and Idun Reiten were interested in the study of the contravariantly finite subcategories in mod(Λ) induced by cotilting modules over an Artin algebra Λ. Let ω ⊆ mod (Λ) be such ⊥ ∨ that ω ⊆ ω . It were defined and studied in [7] the classes Xω := (add (ω))⊥ω,∞ ∧ and ωX := (add (ω))ω⊥,∞. 12 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

(2) Recently, these kind of relative resolutions can be find in the study of Goren- stein objects in abelian categories. Namely, in [11, Definition 3.11], Octavio Men- doza, Victor Becerril and Valente Santiago defined and studied the relative Goren- stein objects in abelian categories. Namely, for an abelian category C and (X , Y) ⊆ C2, they introduced the class of the weak (X , Y)-Gorenstein projectives (injectives) ⊥ ∨ ⊥ ∧ objects WGP(X ,Y) := ( Y, X )∞ (WGI(X ,Y) := (X , Y )∞). (3) Let C be an n-coherent category (see Example 3.16). An object M ∈ C is Gorenstein FPn-injective if there is an exact sequence f η : ···→ I2 → I1 → I0 → E0 → E1 → E2 → · · · with Ii, Ei ∈ Inj (C) ∀i ≥ 1 such that M = Im(f) and the complex HomC(J, η) is ⊥1 acyclic for any J ∈ FPn . Let GI denotes the class of all the Gorenstein FPn- injective objects and W := ⊥1 GI. In [12, Lemma 5.2], it is proved that GI = ∧ (Inj (C) , GI)∞. (4) The above example is a particular case of the following observation. Let X ∧ be a class in an abelian category C and 0 ∈ ω ⊆ X . Then, X = (ω, X )∞ if, and only if, ω is a relative generator in X . We recall the following known Lemma. Lemma 4.3. [20, Lemma 2.13(a)] Let C be an abelian category and X , Y ⊆C. ∨ Then, pdY (X )=pdY (X ). The next theorem shows the existence of the main approximations that we will ∨ be using in the relative class XY . This theorem is a generalization of the dual result of [6, Theorem 1.1]. To emphasise its relevance, it is enough to mention that M. Auslander and R.O. Buchweitz claim that all their results in [6] depend on [6, Theorem 1.1]. It is worth also to mention that the statement of our theorem is inspired in [10, Theorem 2.8], where the authors present the Auslander-Buchweitz results with the minimum hypotheses needed. In the following result, the expression X coresdimY (M)= −1 just means that M = 0. Theorem 4.4. Let X⊆Y⊆C be both closed under extensions, ω be a relative generator in X and 0 ∈ X . Then, the following statements hold true. ∨ Y (a) For any Z ∈ XY , with n := coresdimX (Z), there are short exact sequences gZ ∨ 0 → Z → MZ → CZ → 0 with CZ ∈ (Y,ω) ,MZ ∈ X and

fZ ∨ 0 → KZ → BZ → Z → 0 with BZ ∈ ωY , KZ ∈ X , Y Y where coresdimω (CZ )= n − 1 and coresdimω (BZ ) ≤ n. ∨ ∨ (b) BZ ∈ (Y,ω) if Z ∈ (Y, X ) . ⊥ ∨ ⊥ ∨ (c) Let ω ⊆ X . Then ω ⊆ X , fZ is a ω -precover, and gZ is an X - preenvelope. Y Proof. (a) We proceed by induction on n = coresdimX (Z)= n< ∞. Let n = 0. Then, Z ∈X∩Y. Now, since ω is a relative generator in X , there is an exact sequence 0 → X′ → W → Z → 0, with W ∈ ω ⊆ (Y,ω)∨ and X′ ∈ X . We can also consider the exact sequence 0 → Z →1 Z → 0 → 0, where 0 ∈ (Y,ω)∨. Note that these are the desired exact sequences. f Let n> 0. Hence, there is an exact sequence 0 → Z → X0 → Y → 0, with X0 ∈ X , Y Y ∈ Y, and coresdimX (Y )= n−1. Now, by inductive hypothesis, there is an exact RELATIVE TILTING THEORY I 13 sequence

fY 0 → KY → BY → Y → 0 ∨ 0 0 with BY ∈ ωY , KY ∈X ⊆Y, and Y coresdimω (BY ) ≤ n − 1. Considering the KY KY pullback of fY and f, we get an exact sequence 0 Z E BY 0 h η : 0 → Z → E → BY → 0 with E ∈ X and BY ∈ Y. Now, since 0 Z X0 Y 0 E ∈ X , there is an exact sequence 0 0

h′ 0 → L → W → E → 0 0 0 with W ∈ ω and L ∈ X . Hence, considering the pullback of h and h′, we get an 0 L Z′ Z 0 exact sequence ′ 0 L W E 0 0 → L → Z → Z → 0 ′ ∨ with Z ∈ ωY and L ∈ X . Moreover, Y ′ BY BY observe that coresdimω (Z ) ≤ n.

0 0 Y It remains to prove that coresdimω (BY )= n − 1. Since ω ⊆ X , we have Y Y coresdimX (BY ) ≤ coresdimω (BY ) ≤ n − 1. And, by the exact sequence η, we have Y Y n = coresdimX (Z) ≤ 1 + coresdimX (BY ) ≤ n, Y Therefore, coresdimω (BY )= n − 1. (b) From the last pullback in the proof of (a), we have that Z′ ∈ Y if Z ∈ Y. ⊥ ∨ ⊥ ∨ (c) Let ω ⊆ X . Then, by Lemma 4.3 we have ω ⊆ X . Let Z ∈ XY . Consider ⊥ ∨ ⊥ the ﬁrst exact sequence in (a). Observe that CZ ∈ X and MZ ∈X ⊆ (ω ) . To show that gZ is an X -preenvelope, observe that any morphism f : Z → X, gZ with X ∈ X , factors through gZ if, and 0Z MZ CZ 0 only if, the exact sequence induced by the f pushout of f and gZ splits (which is the 0X E CZ 0 ⊥ case since CZ ∈ X ).

Let us commence the study of the relations between the relative homological dimensions and the relative (co)resolution dimensions. We begin with the intuitive extension of some known results. Proposition 4.5. Let C be an abelian category, X , T ⊆C and α ⊆ T ⊥ ∩ X ⊥ be a relative cogenerator in X . Then, the following inequalities hold true: X (a) coresdimT ⊥∩X (X ) ≤ pdX (T ); (b) pd ⊥ T ⊥ ≤ pd ⊥ T ⊥ ∩ X ≤ pd (T ). X X X 14 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

⊥ Proof. (a) We can assume that n := pdX (T ) < ∞. If n = 0 then X ⊆ T and X thus coresdimT ⊥∩X (X )=0. Let n ≥ 1. Since α is a relative cogenerator in X , for every A ∈ X , there is an ⊥ exact sequence 0 → A → W0 → ··· → Wn−1 → Q → 0, with Q ∈ T ∩ X and X Wi ∈ α ∀i ∈ [0,n − 1] (see Proposition 2.7). Therefore, coresdimT ⊥∩X (A) ≤ n. ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ (b) Since T ⊆ (T ∩ X ), it is enough to prove that pdX (T ∩ X ) ≤ ⊥ ⊥ pdX (T ). Assume n := pdX (T ) < ∞. Let Y ∈ T ∩ X and A ∈ X . If n = 0, ∼ ⊥ i ∼ i then A = T ∈ T ∩ X by (a); and thus, ExtC (Y, A) = ExtC (Y,T )=0 ∀i ≥ 1. f0 fn−1 Let n ≥ 1. Since A ∈ X , there is an exact sequence 0 → A → W0 → · · · → ⊥ Wn−1 → Q → 0, with Q ∈ T ∩ X and Wi ∈ α ∀i ∈ [0,n − 1]. In particular, ⊥ ⊥ ⊥ Q ∈ Y . Moreover, since α ⊆ T ∩ X , we have Wi ∈ Y ∀i ∈ [0,n − 1]. Hence, k ∼ k+n by the shifting lemma, 0 = ExtC (Y,Q) = ExtC (Y, A) ∀k > 0. Therefore, pdX (Y ) ≤ n. Lemma 4.6. For an exact sequence 0 → A → B → C → 0 in an abelian category C and X ⊆C, the following inequalities hold true:

(a) idX (B) ≤ max {idX (A) , idX (C)} ; (b) idX (A) ≤ max {idX (B) , idX (C)+1} ; (c) idX (C) ≤ max {idX (B) , idX (A) − 1} . Proof. The proof is straightforward. Lemma 4.7. [6, p.16] Let C be an abelian category and X , Y⊆C. Then,

pdY (X ) = idX (Y) . Theorem 4.8. [20, Theorem 2.1] Let C be an abelian category and X , Y⊆C. Then, idX (L) ≤ idX (Y) + coresdimY (L) ∀L ∈C. The following result is a consequence of [20, Theorem 2.1]. Theorem 4.9. Let C be an abelian category and X ,Y,Z ⊆C. Then, Z idX (L) ≤ idX (Y) + coresdimY (L) ∀L ∈C. Furthermore, if Z is closed under extensions, then Z idX (L) ≤ idX (Y ∩ Z) + coresdimY (L) ∀L ∈ Z. Z Proof. Note that coresdimY (L) ≤ coresdimY (L) ∀L ∈C. Hence, by Theorem 4.8, Z we have that idX (L) ≤ idX (Y) + coresdimY (L) ∀L ∈C. Let Z be closed under extensions and L ∈ Z. Assume that idX (Y ∩ Z)= n< ∞ Z and coresdimY (L)= m< ∞. We prove, by induction on m, that idX (L) ≤ n + m. If m = 0, we have L =∼ M ∈Y∩Z . Let m = 1. Since Z is closed under extensions, there is an exact sequence 0 → L → Y0 → Y1 → 0 with Y0, Y1 ∈Y∩Z. Thus, for every X ∈ X , we have the exact sequence k−1 k k ExtC (X, Y1) → ExtC (X,L) → ExtC (X, Y0), k−1 k where ExtC (X, Y1) = 0 and ExtC (X, Y0)=0, for any k>n + 1. Therefore, Z idX (L) ≤ n + 1 = idX (Y ∩ Z) + coresdimY (L) . Let m ≥ 2. Then, by using that Z is closed under extensions, we get an exact f sequence 0 → L → Y0 → ··· → Ym → 0, where Yi ∈Y∩Z ∀i ∈ [0,m], and Z coresdimY (K)= m − 1 for K := Coker (f). Hence, by inductive hypothesis, Z Z idX (K) ≤ idX (Y ∩ Z) + coresdimY (K) = idX (Y ∩ Z) + coresdimY (L) − 1. RELATIVE TILTING THEORY I 15

Finally, by Lemma 4.6 it follows that

idX (L) ≤ max {idX (Y0) , idX (K)+1} ≤ max id (Y ) , id (Y ∩ Z) + coresdimZ (L) X 0 X Y Z ≤ idX (Y ∩ Z) + coresdimY (L).

In the following lemma, we study the relative dimensions induced by the classes in an X -complete pair (A, B). Lemma 4.10. Let C be an abelian category, X ⊆C and (A, B) ⊆ C2 be a right X -complete pair. Then, the following statements hold true. (a) For any M ∈C, we have

idX (M) = max {idA∩X (M) , idB∩X (M)}≤ max {idA (M) , idB (M)} .

(b) If A∪B⊆X , then idX (M) = max {idA (M) , idB (M)} ∀M ∈C. (c) If (A, B) is X -hereditary, then idX (M) = idB∩X (M) ∀M ∈B∩X . Proof. (a) Since (A, B) is right X -complete, for every N ∈ X , we have an exact sequence 0 → N → B → A → 0 with B ∈B∩X and A ∈A∩X . Let M ∈ C. Then, by Lemma 4.6 and Lemma 4.7, it follows that id (M)=pd (N) ≤ max pd (B) , pd (A) − 1 {N} {M} {M} {M} ≤ max pd (B ∩ X ) , pd (A ∩ X ) {M} {M} ≤ max {idB∩X (M) , idA∩X (M)}

≤ max {idB (M) , idA (M)} .

Hence, idX (M) ≤ max {idB∩X (M) , idA∩X (M)} ≤ max {idB (M) , idA (M)} . On the other hand, it is clear that idX (M) ≥ max {idB∩X (M) , idA∩X (M)} . (b) It follows by (a). (c) It follows from (a) since idA∩X (B ∩ X )=0. Proposition 4.11. Let C be an abelian category, X ⊆C and let (A, B) ⊆ C2 be a right X -complete and X -hereditary pair such that (A ∩ X )⊥ ∩A∩X ⊆B∩X and B = smd (B). Then, for any X ∈ X , we have:

(a) coresdimB (X) ≤ idA∩X (X) ≤ idA∩X (B) + coresdimB (X) ; X (b) coresdimB∩X (X) = idA∩X (X) = coresdimB∩X (X) ≤ ≤ coresdimB∩X (A ∩ X ) + 1; X X (c) coresdimB (X) = coresdimB∩X (X), if X is closed under extensions;

(d) coresdimB (X) ≤ idA (X) ≤ idA (B) + coresdimB (A)+1; (e) (A ∩ X )⊥ ∩X ⊆B. Proof. Let X ∈ X. We prove ﬁrstly that X (4.A) coresdimB∩X (X) ≤ idA∩X (X).

We may assume that n := idA∩X (X) < ∞. Let n = 0. In order to show that X coresdimB∩X (X)=0, it is enough to prove that X ∈ B. Since (A, B) is right X -complete, there is an exact sequence η : 0 → X → B → A → 0, with B ∈B∩X and A ∈A∩X . 16 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

Observe that η splits since n = 0. Hence X is a direct summand of B and thus X ∈B. Note that this argument gives a proof of (e). Let n ≥ 1. Since (A, B) is right X -complete, there is an exact sequence

g0 g1 g2 gn−1 ǫ : 0 → X → B0 → B1 → ... → Bn−1 → An → 0 with Bi ∈ B∩X and Ai+1 := Coker (gi) ∈A∩X ∀i ∈ [0,n − 1]. Now, since idA∩X (B ∩ X ) = 0 and n = idA∩X (X), we have i ∼ n+i ExtC (A, An) = ExtC (A, X)=0 ∀A ∈A∩X∀i ≥ 1.

⊥ X Hence An ∈ (A ∩ X ) ∩A∩X ⊆ B∩X and thus, from ǫ, we have coresdimB (X) ≤ n; proving (4.A). Note that (a) follows from (4.A) and Theorem 4.8. On the other hand, by using that idA∩X (B ∩ X ) = 0, (4.A) and Theorem 4.8, we get

X coresdimB (X) ≤ coresdimB (X) X ≤ coresdimB∩X (X)

≤ idA∩X (X)

≤ idA∩X (B ∩ X ) + coresdimB∩X (X)

= coresdimB∩X (X) X (4.B) ≤ coresdimB∩X (X). Note that (4.B) proves (b). Next, let us prove that

idA∩X (X) ≤ coresdimB∩X (A ∩ X ) + 1, ∀X ∈ X . Consider X ∈ X . Since (A, B) is right X -complete, there is an exact sequence 0 → X → B → A → 0, with B ∈B∩X and A ∈A∩X . Then, by Lemma 4.6 and Theorem 4.8, we have

idA∩X (X) ≤ max {idA∩X (B) , idA∩X (A)+1}

= idA∩X (A)+1

≤ idA∩X (A ∩ X )+1

≤ idA∩X (B ∩ X ) + coresdimB∩X (A ∩ X )+1

= coresdimB∩X (A ∩ X ) + 1.

Therefore, idA∩X (X) ≤ coresdimB∩X (A ∩ X )+1 ∀X ∈ X . To prove (c), we assume that X is closed under extensions. Then, by Theorem 4.9, we have

X X idA∩X (X) ≤ idA∩X (B ∩ X ) + coresdimB (X) = coresdimB (X) ∀X ∈ X , and by (4.B), it follows (c). Finally, since coresdimB (X) ≤ idA∩X (X) ≤ idA (X) ∀X ∈ X by (4.B), the proof of (d) is similar to the proof of (b). Indeed, since (A, B) is right X -complete, for any X ∈ X , there is an exact sequence 0 → X → B → A → 0, with B ∈B∩X and A ∈A∩X . RELATIVE TILTING THEORY I 17

Then, by Lemma 4.6 and Theorem 4.8, we have

idA (X) ≤ max {idA (B) , idA (A)+1}

≤ max {idA (B) , idA (A)+1}

≤ max {idA (B) , idA (B) + coresdimB (A)+1}

= idA (B) + coresdimB (A) + 1.

Corollary 4.12. Let C be an abelian category, X ⊆C be closed under extensions, and let (A, B) ⊆ C2 be a right X -complete and X -hereditary pair such that B = smd (B) . Then, the following statements hold true. X ∨ (a) idA∩X (M) = coresdimB (M) ∀M ∈ (X , B) . (b) Let (A ∩ X )⊥ ∩A∩X ⊆B∩X . Then, for any X ∈ X , we have X X coresdimB (X) = coresdimB∩X (X)

= idA∩X (X)

= coresdimB∩X (X)

≤ coresdimB∩X (A ∩ X )+1.

∨ X Proof. (a) Let M ∈BX ∩ X . We proceed by induction on n := coresdimB (M). If n = 0 then M =∼ N ∈B∩X . Thus idA∩X (M) = 0 and so idA∩X (B ∩ X ) = 0. We assert that idA∩X (M) ≥ 1 if n> 0. Indeed, since (A, B) is right X -complete and M ∈ X , there is an exact sequence 0 → M → B → A → 0, with B ∈B∩X and A ∈A∩X . X Note that this sequence does not split since M/∈B∩X (coresdimB (M)= n> 0). 1 Hence ExtC (A, M) 6= 0 and thus idA∩X (M) ≥ 1; proving our assertion. Let n = 1. Since X is closed under extensions, there is an exact sequence

0 → M → Y0 → Y1 → 0, with Y0, Y1 ∈B∩X .

By Lemma 4.6, idA∩X (M) ≤ max {idA∩X (Y0) , idA∩X (Y1)+1} = 1. Therefore, idA∩X (M) = 1 since idA∩X (M) ≥ 1. X Let n > 1. By inductive hypothesis, idA∩X (N) = coresdimB (N) for any N ∈ X X with coresdimB (N) ≤ n − 1. Since X is closed under extensions, we have an exact sequence f1 fn 0 → M → Y0 → Y1 → · · · → Yn → 0, with Yn ∈ B∩X , Yi ∈ B∩X , Im(fi) ∈ X ∀i ∈ [0,n−1]. Moreover, for K := Im (f1), X we have coresdimB (K)= n − 1. Consider the exact sequence

0 → M → Y0 → K → 0. X Note that idA∩X (K) = coresdimB (K)= n − 1 by inductive hypothesis. Hence, by Lemma 4.6, we have

idA∩X (M) ≤ max {idA∩X (Y0) , idA∩X (K)+1} = n, and

n − 1 = idA∩X (K) ≤ max {idA∩X (Y0) , idA∩X (M) − 1} = idA∩X (M) − 1 since idA∩X (M) ≥ 1. Therefore, idA∩X (M)= n. (b) It follows from Proposition 4.11(c,b). 18 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

Before going any further in the study of X -complete pairs, we recall from [10] the notion of thick class. We will be interested in reviewing the principal properties of this kind of classes with regard to their generators and cogenerators. Deﬁnition 4.13. [10, Deﬁnition 2.2] Let C be an abelian category and X ⊆C. (a) X is right thick if it is closed under extensions, direct summands and mono-cokernels. (b) X is left thick if it is closed under extensions, direct summands and epi-kernels. (c) X is thick if it is right and left thick. Lemma 4.14. Let C be an abelian category and (X ,ω) ⊆C2. If X is closed under epi-kernels and ω ⊆ X , then ω∨ ⊆ X . Proof. Let M ∈ ω∨. Then, there is an exact sequence

η : 0 → M → W0 → W1 →···→ Wn → 0 with Wi ∈ ω ∀i ∈ [0,n]. Then, since ω ⊆ X and X is closed under epi-kernels, it follows that M ∈ X . The next Lemma is a generalization of [10, Proposition 2.7]. The only diﬀerence between then is a subtle precision on the kind of the resolutions that are used. Lemma 4.15. For an abelian category C and (X ,ω) ⊆C2, with ω X -injective, the following statements hold true. (a) ω∧ is X -injective. (b) If ω = add (ω) is a relative cogenerator in X , then X ∩ X ⊥ = X ∩ ω∧ = (ω, X )∧ = ω. Proof. The item (a) follows from Lemma 4.3(b). Let us show (b). Indeed, from (a), it is clear that (ω, X )∧ ⊆ X ∩ ω∧ ⊆X∩X ⊥. Let X ∈X∩X ⊥. Since ω is a relative cogenerator in X , there is an exact sequence η : 0 → X → W → X′ → 0, with W ∈ ω and X′ ∈ X . Moreover, the exact sequence η splits since X ∈ X ⊥ and thus X ∈ ω. Therefore, (ω, X )∧⊆ X ∩ ω∧ ⊆X∩X ⊥ ⊆ ω. Finally ω ⊆ (ω, X )∧ since ω ⊆ X and 0 ∈ ω. We recall the following result of the Auslander-Buchweitz theory. Lemma 4.16. [6, Lemma 4.2] For an abelian category C and (X ,ω) ⊆ C2, with ω = smd (ω) an X -injective relative cogenerator in X , the following statements hold true. ∨ (a) X ∩ ω = {X ∈ X | idX (X) < ∞} . ∨ (b) idX (M) = coresdimω (M) ∀M ∈ X ∩ ω . (c) If X is left thick, then ω∨ is left thick and ∨ ω = {X ∈ X | idX (X) < ∞} . The following result is a generalization of [6, Lemma 4.2]. Lemma 4.17. For an abelian category C, (W,ν) ⊆ C2 and X ⊆C be such that ν = smd (ν) is a W ∩ X -injective relative cogenerator in W ∩ X , the following statements hold true. RELATIVE TILTING THEORY I 19

∨ (a) W∩X∩ νX = {W ∈ W ∩ X | idW∩X (W ) < ∞} . X ∨ (b) idW∩X (M) = coresdimν (M) ∀M ∈W∩X∩ νX . ∨ (c) If W ∩ X is left thick, then νX is left thick and ∨ νX = {W ∈ W ∩ X | idW∩X (W ) < ∞} . ∨ Proof. Let M ∈W∩X∩ νX . By Theorem 4.9, we have X X idW∩X (M) ≤ idν (W ∩ X ) + coresdimν (M) = coresdimν (M) < ∞. X For every M ∈W∩X with idW∩X (M) = n < ∞, we have coresdimν (M) ≤ n. Indeed, since ν is a relative cogenerator in W ∩ X , there is an exact sequence

η : 0 → M → N0 → Z → 0, with N0 ∈ ν and Z ∈W∩X . X Now, if n = 0 then η splits and thus coresdimν (M)=0. Let n ≥ 1. We can build an exact sequence

f0 fn−2 0 → M → N0 → N1 →···→ Nn−2 → Nn−1 → Z → 0, with Ni ∈ ν ∀i ∈ [0,n − 1], Im (fi) ∈W∩X ∀i ∈ [0,n − 2], and Z ∈W∩X . Hence, by the shifting lemma, it follows that k n+k ExtC (W, Z) = ExtC (W, M)=0 ∀ W ∈W∩X , ∀k> 0. ⊥ X Therefore, by Lemma 4.15(b), Z ∈ W∩X ∩(W∩X ) = ν and thus coresdimν (M) ≤ n, proving (a) and (b). Let W ∩ X be left thick. Then, by Lemma 4.14 we have ν∨ ⊆W∩X . Finally, ∨ ∨ (c) follows from (a) since νX ⊆ ν ⊆W∩X . In what follows, we will be interested in the study of the closure properties of ∨ ∨ ∨ (X , Y)∞, (X , Y) and (X , Y)n . We get suﬃcient conditions for this classes to be thick. Proposition 4.18. For an abelian category C and X ,Y ⊆C, the following statements hold true.

⊕<∞ ∨ (a) Let Y = Y and let X be closed under extensions and such that (X , Y)∞ ⊆ ⊥1 Y. Then, for a given exact sequence 0 → A → B → C → 0, with ∨ A, C ∈ (X , Y)∞, we have coresdimX (B) ≤ max coresdimX (A) , coresdimX (C) . Y Y Y ∨ ∨ Furthermore, (X , Y)∞ and (X , Y) are closed under extensions. ∨ (b) Let X = smd (X ) and (X , Y)∞ be both closed under extensions. Then ∨ (X , Y)∞ is closed under direct summands. u v Proof. (a) Let η0 : 0 → A → B → C → 0 be an exact sequence with A, C ∈ ∨ (X , Y)∞. Then B ∈ X since X is closed under extensions. On the other hand, by deﬁnition, there are exact sequences

0 a 0 c ηA : 0 → A → YA → A1 → 0 and ηC : 0 → C → YC → C1 → 0,

∨ ∨ ⊥1 ⊥1 with YA, YC ∈ Y and A1, C1 ∈ (X , Y)∞. Since C ∈ (X , Y)∞ ⊆ Y ⊆ YA, we have the exact sequence

0 → HomC(C, YA) → HomC(B, YA) → HomC(A, YA) → 0. 20 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

Therefore, there is a morphism α : B → YA such that αu = a. Consider the α morphism b := ( cv ): B → YA ⊕ YC . Since

1 a αu α α ( 0 ) a = ( 0 ) = ( 0 ) = ( cv ) u and ( 0 1 ) ( cv )= cv, by the Snake Lemma, we get the exact sequences

0 b ηB : 0 → B → Y0 → B1 → 0 and η1 : 0 → A1 → B1 → C1 → 0,

∨ where A1,C1 ∈ (X , Y)∞, Y0 := YA ⊕ YC ∈ Y and B1 ∈ X . In order to repeat the argument recursively, assume we have exact sequences

k−1 bk−1 uk vk ηB : 0 → Bk−1 → Yk−1 → Bk → 0 and ηk : 0 → Ak → Bk → Ck → 0,

∨ where Ak, Ck ∈ (X , Y)∞, Xk ∈ Y and Bk ∈ X ∀ k ≤ n. Observe that there are exact sequences

n an n cn ηA : 0 → An → YA,n → An+1 → 0 and ηC : 0 → Cn → YC,n → Cn+1 → 0,

∨ ∨ ⊥1 with YA,n, YC,n ∈ Y and An+1, Cn+1 ∈ (X , Y)∞. Since Cn ∈ (X , Y)∞ ⊆ Y, we have the exact sequence

0 → HomC(Cn, YA,n) → HomC(Bn, YA,n) → HomC (An, YA,n) → 0.

Therefore, there is a morphism αn : Bn → YA,n such that αnun = an. Consider αn the morphism bn := ( cnvn ): Bn → YA,n ⊕ YC,n. Since

1 an αnun αn αn ( 0 ) an = ( 0 ) = ( 0 ) = ( cnvn ) un and ( 0 1 ) ( cnvn )= cnvn, by the Snake Lemma, we get the exact sequences

n bn ηB : 0 → Bn → Yn → Bn+1 → 0 and ηn+1 : 0 → An+1 → Bn+1 → Cn+1 → 0,

∨ where An+1,Cn+1 ∈ (X , Y)∞, Yn := YA,n ⊕ YC,n ∈ Y and Bn+1 ∈ X . Observe that i ∞ the family of short exact sequences ηB i=0 induces a long exact sequence from ∨ ∨ where we get that B ∈ (X , Y)∞. Furthermore, if A, C ∈ (X , Y) then the families ∞ ∞ of exact sequences ηk and ηk can be chosen in a way that they form a A k=0 B k=0 (X , Y)-coresolution of minimal length. Hence, for

m := max coresdimX (A) , coresdimX (C) , Y Y we have Ak =0= Ck ∀k>m. Thus, by considering the family of exact sequences ∞ X {ηk}k=1, we have Bk =0 ∀k>m. Therefore coresdimY (B) ≤ m. (b) Consider an split exact sequence

f ∨ 0 → W → V → U → 0, with V ∈(X ,Y)∞ .

∨ Then U, W ∈ X since X = smd (X ) . Let us show that W ∈ (X , Y)∞. Indeed, since ∨ V ∈ (X , Y)∞, there is an exact sequence

g ∨ 0 → V → Y0 → V1 → 0, with Y0∈ Y and V1∈(X ,Y)∞ . RELATIVE TILTING THEORY I 21

Now, by considering the pushout of f with g, we get the exact sequences

η :0 → U → W1 → V1 → 0, 0 0

µ0 :0 → W → Y0 → W1 → 0. 0 W V U 0 Since U, V1 ∈ X , from η we get that W1 ∈ X . Moreover, by making the 0 W Y0 W1 0 coproduct of η with the exact sequence V1 V1 0 → W →1 W → 0 → 0, we get the exact sequence 0 0

0 → V → W ⊕ W1 → V1 → 0.

∨ ∨ ∨ Observe that V, V1 ∈ (X , Y)∞. Hence W ⊕ W1 ∈ (X , Y)∞ since (X , Y)∞ is closed under extensions. Then, by repeating the above argument, we get a family ∞ of exact sequences {µi : 0 → Wi → Yi → Wi+1 → 0}i=0 , where W0 := W , Yi ∈ Y ∨ and Wi ∈ X ∀ i ≥ 0. Therefore W ∈ (X , Y)∞. The following theorem is inspired in a result of Victor Becerril, Octavio Mendoza, and Valente Santiago [11, Theorem 3.29], which in turn is a generalization of a result of Maurice Auslander and Idun Reiten [7, Proposition 5.1]. Theorem 4.19. Let C be an abelian category and (X , Y) ⊆ C2 be such that Y = ⊕<∞ 1 Y , X = smd (X ) is closed under extensions and ExtC (X , X ∩ Y)=0. Then, the following statements hold true. ∨ ∨ (a) (X , Y)∞ = (X , X ∩ Y)∞ and it is closed under extensions and direct summands. Moreover (X , Y)∨ = (X , X ∩Y)∨ and it is closed under extensions. ∨ (b) (X , Y)∞ is left thick if X is left thick. ∨ ∨ Proof. (a) The equality (X , Y)∞ = (X , X ∩ Y)∞ follows from the fact that X is 1 closed under extensions and direct summands. Since ExtC (X , X ∩ Y) = 0, we have ∨ ⊥1 that (X , X ∩ Y)∞ ⊆X ⊆ (X ∩ Y). Therefore, we get (a) by applying Proposition 4.18 to the pair (X , X ∩ Y). (b) Let X be closed under epi-kernels. Then, by (a), it is enough to show that ∨ a (X , X ∩ Y)∞ is closed under epi-kernels. Consider an exact sequence 0 → A → ∨ B → C → 0, with B, C ∈ (X , X ∩ Y)∞ . In particular, there is an exact sequence

b 0 → B → W0 → C0 → 0, 0 0 ∨ with W0 ∈X∩Y and C0 ∈ (X , X ∩ Y)∞. By the composition ba : A → W0 and the 0 A B C 0 Snake Lemma, we get the exact sequences ′ ′ η : 0 → A → W0 → C → 0, 0 A W0 C 0 ′ ′ η : 0 → C → C → C0 → 0. C C ∨ 0 0 Since C, C0 ∈ (X , X ∩Y)∞, it follows from (a) that C′ ∈ (X , X ∩ Y)∨ , and since X ∞ 0 0 is left thick, we have A ∈ X . Therefore A ∈ (X , X ∩ Y)∨ . ∞ 22 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

Theorem 4.20. Let C be an abelian category and (Z,ν) ⊆ C2 be such that Z = smd (Z) is closed under extensions, add (ν) = ν and ν is Z-injective. Then, the following statements hold true. ∨ ∨ (a) The classes (Z,ν)∞ and (Z,ν) are closed under extensions and direct summands. Moreover, we have the equalities ∨ ∨ (a1) (Z,ν)∞ = (Z, Z ∩ ν)∞ , ∨ ∨ ∨ (a2) (Z,ν) = (Z, Z ∩ ν) = M ∈ (Z,ν) | id ∨ (M) < ∞ . ∞ (Z,ν)∞ ∨ Z ∨ (b) id(Z,ν)∞ (M) = coresdimν (M) ∀ M ∈ (Z,ν) . ∨ ∨ (c) The classes (Z,ν)∞ and (Z,ν) are left thick if Z is left thick. ∨ Proof. (a) & (b) By Theorem 4.19, we get: the ﬁrst two equalities in (a), (Z,ν)∞ is closed under extensions and direct summands and (Z,ν)∨ is closed under extensions. ∨ Let W = (Z,ν)∞. Since ν is Z-injective, it follows that ν is a W-injective relative cogenerator in W. Hence, by Lemma 4.17 (a) ∨ ∨ ∨ (Z,ν) = W ∩ (Z,ν) = W∩Z∩ νZ = {M ∈ W ∩ Z | idW∩Z (M) < ∞} . Note that W ∩ Z = W. Consequently, ∨ ∨ (∗) (Z,ν) = M ∈ (Z,ν) | id ∨ (M) < ∞ = {M ∈ W | id (M) < ∞}. ∞ (Z,ν)∞ W Furthermore, we have (b) from Lemma 4.17(b). Let us show that (Z,ν)∨ is closed under direct summands. Indeed, let M ∈ ∨ ∨ ∨ ∨ (Z,ν) and M = M1 ⊕ M2. Since (Z,ν) ⊆ (Z,ν)∞ and (Z,ν)∞ is closed under ∨ direct summands, we have M1,M2 ∈ (Z,ν)∞. Now, by using (∗) and that

max {idW (M1) , idW (M2)} = idW (M) < ∞, ∨ it follows that M1,M2 ∈ (Z,ν) . ∨ (c) Let Z be left thick. By Theorem 4.19 (b), we have that (Z,ν)∞ is left thick. Now, from (a) and the proof of Theorem 4.19 (b), it follows that (Z,ν)∨ is left thick. Corollary 4.21. Let C be an abelian category, X ⊆C be left thick and T = add (T ) ⊆C be such that T ⊆ T ⊥ ∩ X . Then, the following statements hold true. ⊥ ∨ (a) The class Q := ( T ∩ X , T )∞ is left thick. ∨ ∨ (b) TX = T = {M ∈ Q | idQ (M) < ∞} and it is left thick. Proof. Note that Q ⊆ ⊥T ∩ X , Q ∩ X = Q and T ⊆ ⊥T ∩Q. Using that Exti ⊥T , T = 0 ∀i > 0, it follows that T is ⊥T ∩ X -injective and thus T C is Q-injective since Q ⊆ ⊥T ∩ X . Now, by applying Theorem 4.20 to the pair (⊥T ∩ X , T ), we get that Q is left thick; proving (a). Finally, by applying Lemma 4.16 and Lemma 4.17 to the pair (Q, T ) and the class X , it can be seen that (b) holds true. We can now return to the study of the X -complete pairs in an abelian category C. We will be focusing on deepen our understanding of the relations between the diﬀerent induced relative dimensions. Furthermore, we will see that, under certain hypotheses, for an X -complete pair (A, B) in C, the class A∩B∩X is a relative generator in A ∩ X and a relative cogenerator in B ∩ X . Let us start by recalling the following result proved by M. Auslander and R. O. Buchweitz in [6]. RELATIVE TILTING THEORY I 23

Theorem 4.22. [6, Proposition 2.1] Let C be an abelian category and let (X ,ω) ⊆ C2 be both closed under direct summands. If X is closed under extensions and ω is an X -injective relative cogenerator in X , then ∧ pdω∧ (C)=pdω (C) = resdimX (C) ∀ C ∈ X . Proposition 4.23. Let C be an abelian category, X ⊆C and let (A, B) be an X - complete and X -hereditary pair such that A, X and B are closed under extensions and direct summands. Then, the following statements hold true, for ω := A∩B∩X . (a) The class ω is an A ∩ X -injective relative cogenerator in A ∩ X . (b) The class ω is an B ∩ X -projective relative generator in B ∩ X . (c) For any M ∈ (A, X )∧ , we have the equalities

∧ X pdB∩X (M)=pdω (M)=pdω (M) = resdimA (M) = resdimX ∩A (M) . X ∧ (d) pdB∩X (M) = resdimω (M) ∀ M ∈ (ω, X ) . (e) For any M ∈ (X , B)∨ , we have the equalities

∨ X idA∩X (M) = idω (M) = idω (M) = coresdimB (M) = coresdimX∩B (M) . X ∨ (f) idA∩X (M) = coresdimω (M) ∀ M ∈ (X ,ω) . Proof. Note that (b) is the dual of (a), (e) is the dual of (c) and (f) is the dual of (d). (a) We have that idA∩X (B ∩ X ) = 0 since (A, B) is X -hereditary. In particular idA∩X (ω) ≤ idA∩X (B ∩ X ) = 0 and thus ω is A ∩ X -injective. Let us show that ω is a relative cogenerator in A ∩ X . Indeed, since (A, B) is right X -complete, for every X ∈A∩X , there is an exact sequence 0 → X → W → X′ → 0, with W ∈B∩X and X′ ∈A∩X . Furthermore, W ∈A∩X since A ∩ X is closed under extensions. Hence W belongs to A∩B∩X = ω, proving (a). (c) Observe, ﬁrstly, that (A, X )∧ ⊆ (A ∩ X )∧ since X is closed under extensions. ∧ Let M ∈ (A, X ) . Then by (a) and Theorem 4.22, pdω∧ (M) = pdω (M) = X resdimA∩X (M) . By the duall of Corollary 4.12 (a), pdB∩X (M) = resdimA (M). X Moreover resdimA∩X (M) ≤ resdimA (M) since X is closed under extensions. Since we have that

∧ X pdω (M)=pdω (M) = resdimA∩X (M) ≤ resdimA (M)=pdB∩X (M), it is enough to show that pdB∩X (M) ≤ pdω (M) . In order to prove that, we can assume that pdω (M)= m< ∞. Then X pdω (M) ≤ pdB∩X (M) = resdimA (M) < ∞. and there is some t ≥ 0 such that pdB∩X (M) = m + t. Let B ∈B∩X . By (b), we know that ω is an B ∩ X -projective relative generator in B ∩ X . Hence, there is an exact sequence 0 → Bt → At−1 →···→ A0 → B → 0, with Bt ∈B∩X and ⊥>m Ai ∈ ω ∀i ∈ [0,t − 1]. Since Ai ∈ ω ⊆ M ∀ i ∈ [0,t − 1], by the shifting lemma k ∼ k+t we have ExtC (M,B) = ExtC (M,Bt) ∀k>m. Now, by using that pdB∩X (M)= m + t, it follows that k ∼ k+t ExtC (M,B) = ExtC (M,Bt)=0 ∀ k>m.

Therefore pdB∩X (M) ≤ m = pdω (M). 24 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

∧ (d) Let M ∈ (ω, X ) . By (b), we have that pdB∩X (ω) = 0. Then, by the dual of Theorem 4.9, we get that X X pdB∩X (M) ≤ pdB∩X (ω) + resdimω (M) = resdimω (M). X X We shall prove, by induction on n = resdimω (M), that pdB∩X (M) = resdimω (M). If n = 0 then M ∈ ω and thus pdB∩X (M)=0. X Let n> 0. By inductive hypothesis pdB∩X (N) = resdimω (N) , for every N ∈ X X X with resdimω (N)

(4.C) n − 1=pdB∩X (K) ≤ max{pdB∩X (M) − 1, pdB∩X (W0)}.

We assert that pdB∩X (M) > 0. Suppose that pdB∩X (M) = 0. Since ω ⊆ A, we ∧ ∧ have (ω, X ) ⊆ (A, X ) . Hence, by (c), pdB∩X (M) = pdω∧ (M). Thus η splits ∧ X since K ∈ ω . Consequently M ∈ ω, contradicting that resdimω (M) > 0; and the assertion follows. Then, by (4.C), we get that pdB∩X (M)= n since pdB∩X (M) > 0 and pdB∩X (W0)=0. Theorem 4.24. Let C be an abelian category, X ⊆C and let (A, B) be an X - complete and X -hereditary pair such that A, X and B are closed under extensions and direct summands. Then, the following statements hold true, for ω := A∩B∩X . (a) ω = (A ∩ X )⊥ ∩A∩X = A∩X∩ ω∧ = (ω, A ∩ X )∧. Furthermore, (a1) we have that

pdX (A ∩ X )=pdA∩X (A ∩ X ) = coresdimB∩X (A ∩ X ) X X = coresdimB (X ) = coresdimB (A ∩ X )

= coresdimω (A ∩ X ) = coresdimB∩X (A ∩ X ) X X = coresdimB∩X (A ∩ X ) = coresdimB∩X (X ) ; ∨ (a2) pdA∩X (A ∩ X ) < ∞ if, and only if, A∩X ⊆ ω and pdX (ω) < ∞. Moreover, for pdA∩X (A ∩ X ) < ∞, we have that ∨ ∨ X ⊆ (X , B) ⊆ (B ∩ X ) and pdX (A ∩ X )=pdX (ω) . (b) ω = ⊥ (B ∩ X ) ∩B∩X = B∩X∩ ω∨ = (B ∩ X ,ω)∨. Furthermore, (b1) we have that

idX (B ∩ X ) = idB∩X (B ∩ X ) = resdimA∩X (B ∩ X ) X X = resdimA (X ) = resdimA (B ∩ X )

= resdimω (B ∩ X ) = resdimA∩X (B ∩ X ) X X = resdimA∩X (B ∩ X ) = resdimA∩X (X ) ; ∧ (b2) idB∩X (B ∩ X ) < ∞ if, and only if, B∩X ⊆ ω and idX (ω) < ∞. Moreover, for idB∩X (B ∩ X ) < ∞, we have that ∧ ∧ X ⊆ (A, X ) ⊆ (A ∩ X ) and idX (B ∩ X ) = idX (ω) . Proof. Note ﬁrstly that (b) is the dual of (a). Thus, we need to prove (a). By Proposition 4.23 (a), ω is an A ∩ X -injective relative cogenerator in A ∩ X . Then, by Lemma 4.15 (b), ω satisﬁes the desired equalities of (a). Let us show the statements of (a1) and (a2). RELATIVE TILTING THEORY I 25

(a1) By Corollary 4.12, we have X X idA∩X (X ) = coresdimB (X ) = coresdimB∩X (X ) = coresdimB∩X (X ) and ′ X ′ ′ X ′ idA∩X (A ) = coresdimB (A ) = coresdimB∩X (A ) = coresdimB∩X (A ) , where A′ := A ∩ X . On the other hand, by Theorem 4.10 (c) and Lemma 4.7,

idA∩X (X )=pdX (A ∩ X )=pdA∩X (A ∩ X ) = idA∩X (A ∩ X ) . Now, since ω ⊆B∩X , we have

coresdimB∩X (A ∩ X ) ≤ coresdimω (A ∩ X ).

We claim that coresdimω (A ∩ X ) ≤ idA∩X (A ∩ X ). To show it, we can assume idA∩X (A ∩ X ) < ∞. By Proposition 4.23 (a), we can apply Lemma 4.16 to the pair (A ∩ X ,ω) and since idA∩X (A ∩ X ) < ∞, it follows that ∨ ∨ A ∩ X = {Z ∈ A ∩ X | idA∩X (Z) < ∞} = A∩X ∩ ω ⊆ ω and idA∩X (A ∩ X ) = coresdimω (A ∩ X ). Hence ′ ′ ′ ′ coresdimB∩X (A ) ≤ coresdimω (A ) ≤ idA∩X (A ) = coresdimB∩X (A ) and thus coresdimB∩X (A ∩ X ) = coresdimω (A ∩ X ) ; proving (a1). X (a2) (⇒) Let pdA∩X (A ∩ X ) < ∞. Then, by (a1) coresdimB (X ) < ∞ and thus X ⊆ (X , B)∨ ⊆ (B ∩X )∨ since X is closed under extensions. Moreover, in the proof of (a1), we showed that A∩X ⊆ ω∨. Then, by (a1) and Proposition 4.23 (e), we have pdX (ω) = idω (X ) = idA∩X (X )=pdX (A ∩ X ). ∨ ∨ (⇐) Let A∩X ⊆ ω and pdX (ω)= n< ∞. Since ω ⊆A∩X ⊆ ω , by (a1) and ∨ Lemma 4.3, we have pdX (ω)=pdX (ω ) ≥ pdX (A ∩ X )=pdA∩X (A ∩ X ) .

The class X 5. Facn (M) In the theory of infinitely generated tilting modules of finite projective dimension, Silvana Bazzoni [9] and Jiaqun Wei [26] presented the class Genn(M) as a tool in the characterization of tilting modules. The goal of this section is to present a generalization of such class and to review some basic properties. Definition 5.1. Let C be an abelian category, n ≥ 1 and X , T ⊆C. We denote by X Facn (T ) the class of all the objects C ∈C admitting an exact sequence

fn f2 f1 0 → K → Tn −→ Tn−1 →···→ T2 −→ T1 −→ C → 0, with Ker(fi) ∈ X and Ti ∈T ∩X ∀ i ∈ [1,n]. X X ⊕ X X ⊕<∞ We also deﬁne Genn (T ) := Facn (T ) and genn (T ) := Facn (T ). For an X X X X object T ∈C, we deﬁne Genn (T ) := Genn (Add(T )) and genn (T ) := genn (add(T )). C C In case of X = C, we denote Facn(T ) := Facn(T ), Genn(T ) := Genn(T ) and C genn(T ) := genn(T ). The following result is a generalization of [26, Proposition 3.7]. Proposition 5.2. Let C be an abelian category, T ⊆C, X = smd (X ) ⊆C be closed X X under extensions, Facn (T ) ∩ X be closed under extensions and let Facn (T ) ∩ X = X Facn+1(T ) ∩ X . Then X X X Fack (Facn (T ) ∩ X ) ∩ X = Fack (T ) ∩ X ∀k ≥ 1 X and Facn (T ) ∩ X is closed by n-quotients in X . 26 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

X Proof. Since T ∩X⊆ Facn (T ) ∩ X , it follows that X X X Fack (Facn (T ) ∩ X ) ∩X ⊇ Fack (T ) ∩ X . X X X Hence, we need to show that Fack (Facn (T ) ∩ X ) ∩X ⊆ Fack (T ) ∩ X . We proceed by induction on k. X X Let k = 1 and X ∈ Fack (Facn (T ) ∩ X ) ∩ X . Then, there is an exact sequence f ′ ′ X 0 → K → M → X → 0 with X,K ∈ X and M ∈ Facn (T ) ∩ X . X X Moreover, by using that Facn (T ) ∩X ⊆ Fac1 (T ) ∩ X , there is an exact sequence g ′ 0 → K1 → M1 → M → 0 with M1 ∈T ∩X and K1 ∈ X . By taking the pullback of f and g and since X is closed under extensions, we get X X X X that X ∈ Fac1 (T ) ∩ X . Therefore Fac1 (Facn (T ) ∩ X ) ∩X ⊆ Fac1 (T ) ∩ X . X X Let k> 1 and M ∈ Fack+1(Facn (T ) ∩ X ) ∩ X . Then, there is an exact sequence

fk+1 f1 0 → K → Ck+1 → Ck → ... → C1 → M → 0, X with M ∈ X , Ci ∈ Facn (T ) ∩ X and Ker(fi) ∈ X ∀ i ∈ [1, k + 1]. Observe that X X M1 := Ker (f1) ∈ Fack (Facn (T ) ∩ X ) ∩ X . X By inductive hypothesis M1 ∈ Fack (T ) ∩ X , and thus, there is an exact sequence

i f1 X X 0 → M1 −→ C1 −→ M → 0, with M1 ∈ Fack (T ) ∩ X and C1 ∈ Facn (T ) ∩ X . X X X On the other hand, since Facn (T ) ∩X = Facn+1(T ) ∩X and C1 ∈ Facn (T ) ∩X , there is an exact sequence ′ p 0 → C → T1 → C1 → 0, 0 0 ′ X with T1 ∈T ∩X and C ∈ Facn (T ) ∩ X . ′ ′ Now, by taking the pullback of i and p, C C we get an exact sequence ′ 0Y T1 M 0 ′ p 0 → C → Y → M1 → 0; X 0M C 0 and since M1 ∈ Fack (T ), we have an ex- 1 1 M act sequence ′′ 0 0 ′ ′ p 0 → M1 → T1 → M1 → 0,

′ ′ X ′ ′′ with T1 ∈T ∩X and M1 ∈ Fack−1(T ) ∩ X . By taking the pullback of p and p , we get an exact sequence

′ ′ 0 0 0 → C → X → T1 → 0, ′ X with C ∈ Facn (T ) ∩ X and ′ ′ M1 M1 ′ X T1 ∈T ∩X⊆ Facn (T ) ∩ X , and thus, X ∈ FacX (T )∩X . On the other 0C′ X T ′ 0 n 1 hand, from the second pullback we also

′ get an exact sequence 0Y M1 0 C ′ 0 → M1 → X → Y → 0, 0 0 RELATIVE TILTING THEORY I 27

with M ′ ∈ FacX (T ) ∩X ⊆ Fac X FacX (T ) ∩ X ∩X and X ∈ FacX (T ) ∩X . 1 k−1 k−1 n n Hence, Y ∈ Fac X FacX (T ) ∩ X ∩X ⊆ FacX (T ) ∩ X by inductive hypothesis. k n k Finally, from the ﬁrst pullback, we get the exact sequence

0 → Y → T1 → M → 0, X X where Y ∈ Fack (T ) ∩ X and T1 ∈T ∩X . Therefore M ∈ Fack+1(T ) ∩ X ; proving the result.

References

[1] Lidia Angeleri Hügel, Dieter Happel, and Henning Krause, editors. Handbook of Tilting The- ory. London Mathematical Society Lecture Note Series. Cambridge University Press, 2007. [2] Lidia Angeleri Hügel, Jan Saroch,ˇ and Jan Trlifaj. On the telescope conjecture for module categories. Journal of Pure and Applied Algebra, 212(2):297–310, 2008. [3] Lidia Angeleri Hügel and Flávio Ulhoa Coelho. Infinitely generated tilting modules of finite projective dimension. Forum Mathematicum, 13:239–250, 2001. [4] Alejandro Argud´ın Monroy. The yoneda ext bifunctor and arbitrary products and coproducts in abelian categories. arXiv preprint arXiv:1904.12182, 2019. [5] Alejandro Argudin Monroy and Octavio Mendoza Hernández. Relative tilting theory in abelian categories II : n-X tilting theory. Preprint, 2021. [6] Maurice Auslander and Ragnar-Olaf Buchweitz. The homological theory of maximal Cohen- Macaulay approximations. Memoirs of Soc. Math. de France Suppl., Nouvelle Serie, 38:5–37, 1989. [7] Maurice Auslander and Idun Reiten. Applications of contravariantly finite subcategories. Advances in Mathematics, 86(1):111–152, 1991. [8] Maurice Auslander and Idun Reiten. Homologically finite subcategories. London Math. Soc. Lecture Note Series, 168:1–42, 1992. [9] Silvana Bazzoni. A characterization of n-cotilting and n-tilting modules. Journal of Algebra, 273(1):359–372, 2004. [10] V´ıctor Becerril, Octavio Mendoza, Marco A. Pérez, and Valente Santiago. Frobenius pairs in abelian categories. Journal of Homotopy and Related Structures, 14(1):1–50, 2019. [11] Victor Becerril, Octavio Mendoza, and Valente Santiago. Relative Gorenstein objects in abelian categories. Communications in Algebra, pages 1–51, 2020. [12] Daniel Bravo, James Gillespie, and Marco A Pérez. Locally type FPn and n-coherent categories. arXiv preprint arXiv:1908.10987, 2019. [13] Juan Ramon Garcia Rozas. Covers and envelopes in the category of complexes of modules, volume 407. CRC Press, 1999. [14] Alexander Grothendieck. Sur quelques points d’algebre homologique. Tohoku Mathematical Journal, 9:119–221, 1957. [15] Dieter Happel and Claus Michael Ringel. Tilted algebras. Transactions of the American Mathematical Society, 274(2):399–443, 1982. [16] Mindy Huerta, Octavio Mendoza, and Marco A Pérez. Cut cotorsion pairs. arXiv preprint arXiv:2006.11189, 2020. [17] Osamu Iyama. Cluster tilting for higher auslander algebras. Advances in Mathematics, 226(1):1–61, 2011. [18] Hiroki Matsui, Tran Nam, Ryo Takahashi, Nguyen Tri, and Do Yen. Cohomological dimensions of specialization-closed subsets and subcategories of modules. Proceedings of the American Mathematical Society, 2020. [19] Hiroki Matsui and Ryo Takahashi. Filtrations in module categories, derived categories and prime spectra. arXiv preprint arXiv:1912.10584, 2019. [20] Octavio Mendoza and Corina Sáenz. Tilting categories with applications to stratifying sys- tems. Journal of Algebra, 302(1):419–449, 2006. [21] Barry Mitchell. Theory of Categories. Academic Press, 1965. [22] Yoichi Miyashita. Tilting modules of finite projective dimension. Mathematische Zeitschrift, 193(1):113–146, 1986. 28 ALEJANDRO ARGUDIN MONROY AND OCTAVIO MENDOZA HERNANDEZ´

[23] Leonid Positselski and Jan St’ov´ıˇcek.ˇ ∞-tilting theory. Paciﬁc Journal of Mathematics, 301(1):297–334, 2019. [24] Leonid Positselski and Jan St’ov´ıˇcek.ˇ The tilting-cotilting correspondence. International Mathematics Research Notices, 07 2019. [25] Luigi Salce. Cotorsion theories for abelian groups. Symposia Math., 23(3):11–32, 1979. [26] Jiaqun Wei. n-star modules and n-tilting modules. Journal of Algebra, 283(2):711–722, 2005.

Alejandro Argud´ın Monroy Instituto de Matemáticas Universidad Nacional Autónoma de México. Circuito Exterior, Ciudad Universitaria C.P. 04510, México, D.F. MEXICO. [email protected]

Octavio Mendoza Hernández Instituto de Matemáticas Universidad Nacional Autónoma de México. Circuito Exterior, Ciudad Universitaria C.P. 04510, México, D.F. MEXICO. [email protected]