arXiv:2010.14869v1 [math.RT] 28 Oct 2020 ym n etn[ Reiten and Iyama n ag[ Yang and lsia itn hoywsmtvtdb h eeto ucosint a modules reflection tilting the by so-called [ motivated using Ponomarev was algebras theory two tilting of Classical categories the When n oainl finite covariantly any weak Let of subcategory classes. support torsion support with that generated bijection showed also in They are assumptions. subcategories silting two-term that any that proved They modules. τ tilting of generalization a mo tilting of class complements. our two have enlarge always τ ones to complete desirable almost the is that when property it only possible possible, is always mutation and mutation complements, two or [ one Butler either and Brenner by generalized ouei h ietsmado xcl w support two exactly of summand support direct the is module onaino hn GatN.21J30) n yteScien the by and 2018JJ3205), 19B239). No. No. (Grant (Grant an Department 11901190 China Nos. No. of (Grant (Grant Foundation China China of Foundation of Science Foundation Natural Science Natural National the hr xssabijection a exists There hoe 1.1. Theorem for completion ntl eeae oso lse.Frasubcategory a For support that classes. showed torsion generated they finitely precisely, More classes. uctgr ossigo atrojcso nt ietsm of sums direct finite of objects factor of consisting subcategory rjcieojcsof objects projective hoe 1.2. Theorem tligmdl.I at ti hw n[ in shown is it fact, In module. -tilting support precisely, more or modules, -tilting h uhr ol iet hn rfso ogYn n Profe and Yang Dong Professor thank to like would authors The nmteais seilyrpeetto hoy lsia tilting classical theory, representation especially mathematics, In e od n phrases. and words Key eety ym,JresnadYn [ Yang and Jørgensen Iyama, Recently, ym,JresnadYn [ Yang and Jørgensen Iyama, 2010 uLuwsspotdb h udmna eerhFnsfrth for Funds Research Fundamental the by supported was Liu Yu nti ril,w ics naeinvrinof version abelian an discuss we article, this In R R ahmtc ujc Classification. Subject Mathematics 1-lse itn uctgre of subcategories tilting [1]-cluster hwta support that show htaycvratyfinite covariantly any that oeapiain formi eut r logiven. also are results main our of applications Some Abstract. τ sasligsbaeoy h ieto bv nue h ieto giv bijection the induces above bijection the subcategory, silting a is tligmdlsi laspossible. always is modules -tilting IJY BGP ]. τ T seTheorem (see rgdsubcategories. -rigid seTheorem (see huadZu[ Zhu and Zhou . .Teefntr eerfruae yAsadr ltekadR and Platzeck Auslander, by reformulated were functors These ]. Let AIR τ M TLIGTER NAEINCATEGORIES ABELIAN IN THEORY -TILTING τ A rgdsbaeoyi otie nasupport a in contained is subcategory -rigid ,wihgnrlzscascltligtheory. tilting classical generalizes which ], ae nteries u eodmi euti h following. the is result main second our ideas, their on Based . 7→ M bla categories; abelian τ eaHmfiieaeinctgr iheog rjcie.In projectives. enough with category abelian Hom-finite a be tligsbaeoisaei ieto ihcranfinite certain with bijection in are subcategories -tilting 3.2 Fac τ 3.4 T rgdsbaeoyi otie nasupport a in contained is subcategory -rigid IJY o details) for M eatinuae aeoywt hf uco 1 and [1] shift with category triangulated a be ZZ loivsiae h eainbetween relation the investigated also ] o details) for BB rvdta hr xssabjcinbtentesto two-ter of set the between bijection a exists there that proved ] rmtefis ftefloigst otesecond: the to sets following the of first the from ULUADPNU ZHOU PANYUE AND LIU YU 81;16S90. 18E10; .I swl nw htayams opeetligmdl has module tilting complete almost any that known well is It ]. AIR τ rgdsbaeois support subcategories; -rigid IJY 1. T hoe .8 htayams opeesupport complete almost any that 2.18] Theorem , Let Introduction τ τ n h e fsupport of set the and aeafntrvrinof version functor a gave ] tligsbaeoisaei ieto ihcranfinitely certain with bijection in are subcategories -tilting tligmdls ti called is It modules. -tilting Let A τ 1 tligter.Orfis anrsl stefollowing the is result main first Our theory. -tilting ea bla aeoywt nuhpoetvs Then projectives. enough with category abelian an be A τ 1721,adb h ua rvnilNtrlScience Natural Provincial Hunan the by and 11671221), d tligpiscrepn ietvl ihcertain with bijectively correspond pairs -tilting M 1049.Pnu huwsspotdb h National the by supported was Zhou Panyue 11901479). ea bla aeoywt nuhprojectives. enough with category abelian an be τ tligmdls hsmasta uainof mutation that means This modules. -tilting fa bla aeoy eoeb Fac by denote category, abelian an of icRsac udo ua rvnilEducation Provincial Hunan of Fund Research tific srBnZufrhlfldiscussions. helpful for Zhu Bin ssor eta nvriis(rn o 621Z2)and 2682018ZT25) No. (Grant Universities Central e τ rgdmdl sadrc umn fsome of summand direct a is module -rigid τ τ bet of objects hsi copihdb introducing by accomplished is This τ tligsubcategories. -tilting tligsbaeoisudrcertain under subcategories -tilting oue yBrsen efn and Gelfand Bernstein, by roduced τ tligsubcategory. -tilting tligmdlscnb iwdas viewed be can modules -tilting τ eaetocmlmns omake To complements. two are re τ hoydsrbsawyt relate to way a describes theory tligsbaeoy ealso We subcategory. -tilting tligsbaeoisof subcategories -tilting ygnrtdtrinclasses. torsion generated ly dascae itn functors. tilting associated nd τ tligter.Te showed They theory. -tilting ue ogtamr regular more a get to dules τ τ tligter n torsion and theory -tilting tligter yAdachi, by theory -tilting M hsnt,w show we note, this nb ym,Jørgensen Iyama, by en and , ie [ eiten P ( M R APR h Ext- the ) earigid a be τ mod -tilting M ,and ], the R m . 2 YU LIU AND PANYUE ZHOU

(a) Support τ-tilting subcategories M. (b) Subcategories S = Fac P(S) such that every projective object admits a left P(S)-approximation. This article is organized as follows. In Section 2, we give some basic concepts which be used later. In Section 3, we prove our two main results. In Section 4, We give some applications of our main results.

2. Preliminaries In this article, let k be a field and A be a Hom-finite over k. We assume that A has enough projectives P. For a subcategory B, denote Fac B by the subcategory {C ∈ A | there exists an epimorphism B → C → 0, where B ∈ B}; denote P(B) by the subcategory 1 {D ∈ B | ExtA(D,B)=0 for any B ∈ B}. Such object D is called Ext-projective. Since we assume that A has enough projectives P, we have A≃ modP, see [B, Corollaries 3.9 and 3.10] for more details. Based on [IJY, Definition 1.3], we give the following definition. Definition 2.1. Let A be an abelian category with enough projectives P. (i) A subcategory M of A is said to be τ-rigid if any object M ∈ M admits an exact sequence f ′ ′ P1 −→ P0 → M → 0 such that P1, P0 ∈P and HomA(f,M ) is a surjection for any M ∈M. (ii) A τ-rigid subcategory M is said to be support τ-tilting if any projective object P admits an exact m sequence P −→ M 0 → M 1 → 0 such that M 0,M 1 ∈M and m is a left M-approximation. (iii) A τ-rigid subcategory M is said to be τ-tilting if any projective object P admits an exact sequence m P −→ M 0 → M 1 → 0 such that M 0,M 1 ∈M and m is a non-zero left M-approximation. Since modP is a full abelian subcategory of ModP, and any monomorphism (resp. epimorphism, , cokernel) in modP is also a monomorphism (resp. epimorphism, kernel, cokernel) in ModP, by the proof of [IJY, Lemma 5.2], we get the following important lemma. 1 Lemma 2.2. A subcategory M ⊆ A is τ-rigid if and only if ExtA(M, Fac M)=0. Remark 2.3. Fac M is called a finitely generated torsion class if it is closed under extensions. By the proof of [IJY, Proposition 5.3], if M is a τ-rigid subcategory, then Fac M is a finitely generated torsion class. Let T be a Krull-Schimdt, Hom-finite over k with the shift functor [1] and R be a rigid subcategory. Let H = {T ∈ T | there exists a triangle R1 → T → R0[1] → R1[1], where R0, R1 ∈ R}. By the definition, We can get the following useful lemmas. Lemma 2.4. [IY, Proposition 2.1] H is closed under direct summands. Lemma 2.5. If T ∈ T admits a triangle R → S → T → R[1] where S ∈ H and R ∈ R, then T ∈ H.

′ ′ For objects A, B ∈ T and a subcategory T of T , let [T ](A, B) be the subgroup of HomT (A, B) ′ consisting of morphisms which factor through objects in T . For a subcategory T0, we denote by T0 the category which has the same objects as T0, and

HomT0 (A, B) = HomT0 (A, B)/[R[1]](A, B) where A, B ∈ T . For any morphism f ∈ Hom (A, B), we denote its image in Hom (A, B) by f. We 0 T0 T0 know that T0 is a subcategory of T . Definition 2.6. Let U be a subcategory of T . (a) U is called two-term R[1]-rigid if U ⊆ H and [R[1]](U, U[1]) = 0. (b) U is called two-term weak R[1]-cluster tilting if U ⊆ H and U = {T ∈ H | [R[1]](T, U[1]) = 0 and [R[1]](U,T [1]) = 0}. τ-TILTING THEORY IN ABELIAN CATEGORIES 3

By [LC, Corollary B], the bounded Db(A) is a Krull-Schmidt, Hom-finite triangu- lated category over k. Since A is a full abelian subcategory (which is the heart of a t-structure) in Db(A), it is also Krull-Schmidt. We also assume A has enough projectives P, then P is a rigid subcategory of Db(A). We have a functor: F: Db(A) −→ ModP

M 7−→ HomDb(A)(−,M)|P b Let T = D (A) and R = P. Then we can use the previous notions. For a morphism f in H, F|H(f)=0 if and only if f factors through P[1]. F|H also induces an equivalence H : H → modP. Denote its quasi- −1 mod inverse by H . Since HomDb(A)(−, −)|A×Aop = HomA(−, −), we have an equivalence F|A : A → P.

In the next section, we will use the following result frequently, which is a special case of [ZZ, Theorem 4.4, Theorem 4.5]. Theorem 2.7. The functor F: Db(A) −→ ModP induces a bijection Φ: X → F(X ) from the first of the following sets to the second: (I) Two-term P[1]-rigid subcategories of Db(A). (II) τ-rigid subcategories of modP. It also induces a bijection from the first of the following sets to the second: (I) Two-term weak P[1]-cluster tilting subcategories of Db(A). (II) Support τ-tilting subcategories of modP.

3. τ-rigid subcategories and support τ-tilting subcategories In the following sections, let A be a Hom-finite abelian category over a field k. Assume that A has enough projectives P. q s t Lemma 3.1. Any triangle Q −→ S −→ T −→ Q[1] in Db(A) where Q,S,T ∈ H induces an exact sequence q s Q −→ S −→ T in H.

F(r) F(s) Proof. It is enough to show F(R) −−→ F(S) −−→ F(T ) is exact in modP. But this is immediately followed by the basic property of triangulated category.  We have the following theorem. Theorem 3.2. Let A be a Hom-finite abelian category with enough projectives P. Then any covariantly finite τ-rigid subcategory V is contained in a support τ-tilting subcategory P(Fac V), which is just the following subcategory v add{W ∈ A | there is an exact sequence P −→ V → W → 0, P ∈P, v is a left V-approximation}. v Proof. Since V is covariantly finite, any projective object P admits an exact sequence P −→ V → W → 0 where v is a left V-approximation. We show that W ∈ P(Fac V). v v Obviously W ∈ Fac V. Let P −→1 U −→2 V be an epic-monic factorization of v. Then we have a short v exact sequence 0 → U −→2 V → W → 0. Now let Z ∈ Fac V. It admits an epimorphism z : V ′ → Z → 0 where V ′ ∈V. Let u : U → Z be any morphism, since P is projective, there is a morphism p′ : P → V ′ ′ ′ ′ such that zp = uv1. Since v is a left V-approximation, there is a morphism v : P → U such that ′ ′ ′ v v = p . Hence we have u = zv v2. We have the following exact sequence

HomA(v2,Z) 0 1 1 HomA(V,Z) −−−−−−−−→ HomA(U,Z) −→ ExtA(W, Z) → ExtA(V,Z)=0 1 which implies ExtA(X,Z) = 0. Hence W ∈ P(Fac V). By Lemma 2.2, P(Fac V) is a τ-rigid subcategory. Denote v add{W ∈ A | there is an exact sequence P −→ V → W → 0, P ∈P, v is a left V-approximation} by M, since M ⊆ P(Fac V), M is τ-rigid and then by definition it is a support τ-tilting subcategory. F|A / mod P mod Since A ≃ P , we have F( (Fac V)) is a τ-rigid subcategory in P. By Theorem 2.7, there is 4 YU LIU AND PANYUE ZHOU a two-term P[1]-rigid subcategory S such that F(S)= F(P(Fac V)). We also have F(M) is a support τ- tilting subcategory in modP. By Theorem 2.7, there is a two-term weak P[1]-cluster tilting subcategory N such that F(M) = F(N ). For a projective object P , we have HomA(P, M) = 0 if and only if HomA(P, P(Fac V)) = 0, hence N is contained in S, which implies N = S and then we have P(Fac V)= M.  By the proof of this theorem, we get the following corollary. Corollary 3.3. Let A be a Hom-finite abelian category with enough projectives P. If M is a support τ-tilting subcategory, then P(Fac M)= M. Moreover, we also have the following theorem. Theorem 3.4. Let A be an abelian category with enough projectives P. There is a bijection Φ: M 7→ Fac M from the first of the following sets to the second: (a) Support τ-tilting subcategories M. (b) Subcategories S = Fac P(S) such that every projective object P admits a left P(S)-approximation. Proof. We show that Φ : M 7→ Fac M is a bijection from the set (a) to the set (b). By Theorem 3.2 and Corollary 3.3 we know that Φ is injective. Now we show that Φ is surjective. 1 Let P(S) = M. By definition we have ExtA(M, Fac M) = 0. By Lemma 2.2, M is τ-rigid. Let p P be any projective object. It admits an exact sequence P −→ M 0 → M 1 → 0 where p is a left M- p p approximation. We have M 1 ∈ Fac M = S. Let P −→1 Q −→2 M 0 be an epic-monic factorization of p. p2 0 1 Then we have a short exact sequence 0 → Q −→ M → M → 0 where p2 is a left M-approximation. For any object S ∈ S, we have an exact sequence

0 HomA(p2,S) 0 1 1 1 0 HomA(M ,S) −−−−−−−−→ HomA(Q,S) −→ ExtA(M ,S) → ExtA(M ,S)=0 1 1 1 which implies that ExtA(M ,S) = 0. Hence M ∈ M and by the definition M is a support τ-tilting subcategory.  Remark 3.5. The subcategory S = Fac P(S) is a finitely generated torsion class since P(S) is a τ-rigid subcategory. Let U be an object in A such that add U is τ-rigid. Then we can get a two-term P[1]-rigid object H−1 ◦ F(U) =: V (we can assume that V does not have any direct summand in P[1]). Now by [ZZ, Theorem 3.1], V is contained in a two-term weak P[1]-cluster tilting subcategory b p v Y = add{Y ∈ D (A) | ∃ a triangle P −→ Y → V0 −→ P [1], P ∈P, v is a right (add V )-approximation}. Since V does not contain any direct summand in P[1], we get p 6= 0. Hence we have a τ-tilting −1 subcategory N = (F|A) F(Y) that contains U. We call N the Bongartz completion of U. Moreover, we have the following proposition. Proposition 3.6. If A = modΛ where Λ is a finite dimensional k-algebra, then the Bongartz completion of U is just add P(⊥(τU)) (P(⊥(τU)) is the Bongartz completion of U defined in [AIR]), where ⊥(τU)= {X ∈ modΛ | HomΛ(X,τU)=0}. Proof. By [AIR, Theorem 2.10], P(⊥(τU)) is a τ-tilting module. Then we have a two-term weak Λ[1]-cluster tilting subcategory Z ⊆ Db(Λ) such that F(Z) = F(add P(⊥(τU))). Then V ∈ Z and [Λ[1]](V, Z[1]) = 0. Let Z ∈ Z and z : P → Z → 0 be an epimorphism where P is projective. Since v P admits a triangle P → Y → V0 −→ P [1], v is a right (add V )-approximation, we have the following commutative diagram / / / V0[−1] P Y V0

z y   Z ⊥ ⊥ 1 which implies Z ∈ Fac Y. Then P( (τU)) ∈ Fac N and Fac P( (τU)) ⊆ Fac N . Since ExtΛ(U, Fac N )= ⊥ ⊥ 0, we have HomΛ(N ,τU) =0. Then by [AIR, Theorem 2.10], we have N ⊆ (τU) = Fac P( (τU)). Hence we have Fac N = Fac P(⊥(τU)), which implies N = add P(⊥(τU)).  τ-TILTING THEORY IN ABELIAN CATEGORIES 5

We have the following corollary immediately. Corollary 3.7. Let Λ be a finite dimensional k-algebra and U ∈ modΛ be a τ-rigid module. Then ⊥ any P admits an exact sequence P → Y0 → U0 → 0 where Y0 ∈ add P( (τU)) and U0 ∈ add U.

4. Applications In this section, we also assume that A has enough injectives I. Definition 4.1. Let C be a subcategory of A. 2 (i) C is said to be hereditary if for any object C ∈C, we have ExtA(C, −)=0. 1 (ii) C is said to be partial tilting if C is hereditary and ExtA(C, C)=0. (iii) C is said to be tilting if it is partial tilting and any projective object P admits a short exact sequence 0 → P → C0 → C1 → 0 where C0, C1 ∈C. Remark 4.2. By Lemma 2.2, we know that any partial tilting subcategory is τ-rigid.

⊥1 1 For any subcategory C ⊆ A, let C = {A ∈ A | ExtA(C, A)=0}. We have the following lemma. Proposition 4.3. Let U be a contravariantly finite partial tilting subcategory. Then P(U ⊥1 ) is a tilting subcategory that contains U. Proof. Let p M = add{M ∈ P(U ⊥1 ) | there is a short exact sequence 0 → P −→ M → U → 0, P ∈P,U ∈U}. Since we have 2 2 2 0 = ExtA(U, A) → ExtA(M, A) → ExtA(P, A)=0, M is a partial tilting subcategory. For any object P ∈ P, since we assume A has enough injectives, P admits a short exact sequence 0 → P → I → Q → 0 where I ∈ I. Let u: U → Q be a right U-approximation. Then we have the following commutative diagram 0 / P / M ′ / U / 0

u   0 / P / I / Q / 0 where M ′ ∈U ⊥1 . For any object N ∈U ⊥1 , we have the following exact sequence 1 1 ′ 1 0 = ExtA(U,N) → ExtA(M ,N) → ExtA(P,N)=0. Then M ′ ∈ M. Hence by the definition, M is a tilting subcategory of A. Obviously it is a τ-tilting subcategory, so is P(U ⊥1 ). By Theorem 3.2 and Theorem 2.7, the two-term weak P[1]-cluster tilting subcategory which is correspondent to M is contained in the one that is correspondent to P(U ⊥1 ), which means they are the same, then by the one-to-one correspondence, we have M = P(U ⊥1 ).  Proposition 4.4. Let U be a contravariantly finite partial tilting subcategory. The following conditions are equivalent: (a) U is a tilting subcategory. (b) U ⊥1 = Fac U. Proof. By Lemma 2.2, U ⊥1 ⊇ Fac U holds. To show (a) implies (b), we only need to prove U ⊥1 ⊆ Fac U. p Let X ∈ U ⊥1 . It admits an epimorphism P −→ X → 0 where P is projective. Since U is tilting, P m admits a short exact sequence 0 → P −→ U 0 → U 1 → 0 where U 0,U 1 ∈U. Hence there is a morphism m′ : M → X such that p = m′m. Moreover, m′ is an epimorphism, which implies X ∈ Fac U. Now we show that (b) implies (a). If U is not tilting, then by Proposition 4.3 we have a tilting subcategory P(U ⊥1 )= P(Fac U) ) U. Let X be an indecomposable object in P(U ⊥1 ) such that X/∈U. Since X ∈ Fac U and U is contravariantly g finite, X admits a short exact sequence 0 → Y → UX −→ X → 0 where g is a right U-approximation. 6 YU LIU AND PANYUE ZHOU

Then Y ∈U ⊥1 = Fac U and this short exact sequence splits, which implies that X is a direct summand of U, a contradiction. Hence U has to be tilting. 

When A is hereditary, any subcategory U ⊆ A is τ-rigid if and only if it is partial tilting, if and only 1 if ExtA(U, U) = 0. We have the following proposition. Proposition 4.5. Let A be hereditary and U ⊆ A be a functorially finite τ-rigid subcategory. Assume that U is not support τ-tilting, then U is contained in at least two different tilting subcategories.

Proof. By Theorem 3.2 and Proposition 4.3, U is contained in a tilting subcategories P(U ⊥1 ) =: Y and a support τ-tilting subcategory P(Fac U) =: X . Let X ∈ X be an indecomposable object such that X/∈ U. Since X ∈ Fac U and U is functorially u finite, we have a short exact sequence 0 → Y → U0 −→ X → 0 where u is a right U-approximation, then Y ∈U ⊥1 . Since A is hereditary, we have the following exact sequence

1 ⊥1 1 ⊥1 2 ⊥1 0 = ExtA(U0, U ) → ExtA(Y, U ) → ExtA(X, U )=0 which implies that Y ∈ Y. Obviously X/∈ Y and Y/∈ X , otherwise the short exact sequence splits and X becomes a direct summand of U0, a contradiction. Let U ′ = add(U∪{X}). Then U ′ is a functorially finite τ-rigid subcategory. By Proposition 4.3, U ′ ′⊥1 ′ ′ 1 is contained in a tilting subcategories P(U ) =: Y . We have Y/∈ Y since ExtA(X, Y ) 6= 0. Hence Y and Y′ are two different tilting subcategories that contain U. 

Definition 4.6. A covariantly finite τ-rigid subcategory U ⊆ A is called almost support τ-tilting if for any support τ-tilting subcategory X ⊇ U, there exists an indecomposable object X/∈ U such that X = add(U∪{X}). Theorem 4.7. Let A be hereditary and U ⊆ A be a functorially finite almost support τ-tilting subcate- gory. Then U is contained in exactly two different tilting subcategories P(U ⊥1 ) and P(Fac U). To show this theorem, we need the following lemma, which is an analogue of [AIR, Lemma 2.20]. Lemma 4.8. Let T be a contravariantly finite tilting subcategory and U be a τ-rigid subcategory such f g ⊥1 ⊥1 that T ⊆U , then any object U ∈U admits a short exact sequence 0 → U −→ T −→ T0 → 0 where f is a minimal left (Fac T )-approximation, T,T0 ∈ T and add T ∩ add T0 =0.

f Proof. Let U −→ T be a minimal left T -approximation approximation. We show that f is a left (Fac T )- approximation approximation and it is a monomorphism. Let u : U → M be any morphism where M ∈ Fac T . Since T is a contravariantly finite, M admits a short t′ exact sequence 0 → N → T ′ −→ M → 0 where t′ is a right T -approximation. Then N ∈ T ⊥1 ⊆ U ⊥1 . Hence there is a morphism t : U → T ′ such that u = t′t. Then t factors through f, which implies that u factors through f. Hence f is a left (Fac T )-approximation approximation. Since any injective object I ∈ T ⊥1 = Fac T by Proposition 4.4 and A has enough injectives, we get that f is a monomorphism. f g ⊥1 Now we have a short exact sequence 0 → U −→ T −→ T0 → 0, hence T0 ∈ Fac T = T . Since f is a left ⊥1 1 ⊥1 ⊥1 T -approximation and ExtA(T, T ) = 0, we have T0 ∈ P(T )= T . The proof of add T ∩ add T0 = 0 is just the same as in [AIR, Lemma 2.20]. 

Now we are ready to show Theorem 4.7.

Proof. We first show that any support τ-tilting subcategory V ) U is tilting. Since U is almost support τ-tilting, there is an indecomposable V/∈ U such that V = add(U∪{V }). Hence V is a contravariantly finite τ-rigid subcategory. If V is not tilting, by Proposition 4.3, we have a tilting subcategory P(V⊥1 ) ) V. Since any tilting subcategory is support τ-tilting, we also have an indecomposable object T/∈ V such that P(V⊥1 ) = add(U∪{T }). But then V ≃ T , a contradiction. Hence V is tilting. By Theorem 3.2 and Proposition 4.3, U is contained in two tilting subcategories P(U ⊥1 ) and P(Fac U). As in the proof of Proposition 4.5, we can get P(U ⊥1 ) + P(Fac U) and P(U ⊥1 ) * P(Fac U). Now let Z be a tilting subcategory that contains U. Then there is an indecomposable Z/∈ U such that Z = add(U∪{Z}). We show either Z ∈ P(Fac U) or Z ∈ P(U ⊥1 ). τ-TILTING THEORY IN ABELIAN CATEGORIES 7

Let P(U ⊥1 ) = add(U∪{Y }). By Lemma 4.8, there is a short exact sequence f   0 → Y ⊕ U −−−−→1 Z′ ⊕ U → Z′′ → 0 f ′ ′′ where U is an arbitrary object in U, 1  is a minimal left (Fac Z)-approximation. Z ,Z ∈ Z and add(Z′ ⊕ U) ∩ add Z′′ = 0. Then Z′′ ∈ add Z. ′′ ′ ′′ 1 If Z 6= 0, then we have Z ∈ U and Z ∈ Fac U. Hence Z ∈ Fac U. Since ExtA(Z, Fac U) = 0, we have Z ∈ P(Fac U). If Z′′ = 0, then Z′ ≃ Y . Hence Z ≃ Y and Z ∈ P(U ⊥1 ). 

References [AIR] T. Adachi, O. Iyama and I. Reiten. τ-tilting theory. Compos. Math. 150(3): 415–452, 2014. [APR] M. Auslander, M. Platzeck, I. Reiten. Coxeter functors without diagrams, Trans. Amer. Math. Soc. 250: 1–46, 1979. [B] A. Beligiannis. On the Freyd categories of an additive category. Homology, Homotopy and Applications, 2(11): 148– 185, 2011. [BB] S. Brenner, M. Butler. Generalizations of the Bernstein-Gelfand-Ponomarev reflection functors. Representation the- ory, II (Proc. Second Internat. Conf., Carleton Univ., Ottawa, Ont., 1979), pp. 103–169, Lecture Notes in Math., 832, Springer, Berlin-New York, 1980. [BGP] I. Bernstein, I. Gelfand, V. Ponomarev. Coxeter functors, and Gabriel’s theorem. Uspehi Mat. Nauk 28, 19–33, 1973. [HRS] D. Happel, I. Reiten, S. O. Smalø. Tilting in abelian categories and quasitilted algebra. Mem. Amer. Math. Sov. 120 (1996), no. 575. [IJY] O. Iyama, P. Jørgensen, D. Yang. Intermediate co-t-structures, two-term silting objects, τ-tilting modules, and torsion classes. Algebra and Number Theory, 8(10): 2413–2431, 2014. [IY] O. Iyama, Y. Yoshino. Mutation in triangulated categories and rigid Cohen-Macaulay modules. Invent. Math. 172: 117-168, 2008. [LC] J. Le, X. Chen. Karoubianness of a triangulated category. J. Algebra 310: 452–457, 2007. [ZZ] P. Zhou, B. Zhu. Two-term relative cluster tilting subcategories, τ-tilting modules and silting subcategories. J. Pure Appl. Algebra 224, no. 9, Article 106365, 22 pp, 2020.

School of Mathematics, Southwest Jiaotong University, 610031, Chengdu, Sichuan, People’s Republic of China Email address: [email protected]

College of Mathematics, Hunan Institute of Science and Technology, 414006, Yueyang, Hunan, People’s Republic of China Email address: [email protected]