τ-TILTING THEORY IN ABELIAN CATEGORIES YU LIU AND PANYUE ZHOU Abstract. Let A be a Hom-finite abelian category with enough projectives. In this note, we show that any covariantly finite τ-rigid subcategory is contained in a support τ-tilting subcategory. We also show that support τ-tilting subcategories are in bijection with certain finitely generated torsion classes. Some applications of our main results are also given. 1. Introduction In mathematics, especially representation theory, classical tilting theory describes a way to relate the module categories of two algebras using so-called tilting modules and associated tilting functors. Classical tilting theory was motivated by the reflection functors introduced by Bernstein, Gelfand and Ponomarev [BGP]. These functors were reformulated by Auslander, Platzeck and Reiten [APR], and generalized by Brenner and Butler [BB]. It is well known that any almost complete tilting module has either one or two complements, and mutation is possible only when there are two complements. To make mutation always possible, it is desirable to enlarge our class of tilting modules to get a more regular property that almost complete ones always have two complements. This is accomplished by introducing τ-tilting modules, or more precisely, support τ-tilting modules. It is called τ-tilting theory by Adachi, Iyama and Reiten [AIR], which generalizes classical tilting theory. τ-tilting modules can be viewed as a generalization of tilting modules. They proved that any τ-rigid module is a direct summand of some τ-tilting module. In fact, it is shown in [AIR, Theorem 2.18] that any almost complete support τ-tilting module is the direct summand of exactly two support τ-tilting modules. This means that mutation of support τ-tilting modules is always possible. Recently, Iyama, Jørgensen and Yang [IJY] gave a functor version of τ-tilting theory. They showed that two-term silting subcategories are in bijection with support τ-tilting subcategories under certain assumptions. They also showed that support τ-tilting subcategories are in bijection with certain finitely generated torsion classes. Let T be a triangulated category with shift functor [1] and R be a rigid subcategory of T . Zhou and Zhu [ZZ] proved that there exists a bijection between the set of two-term weak R[1]-cluster tilting subcategories of T and the set of support τ-tilting subcategories of modR. When R is a silting subcategory, the bijection above induces the bijection given by Iyama, Jørgensen and Yang [IJY]. In this article, we discuss an abelian version of τ-tilting theory. Our first main result is the following completion for τ-rigid subcategories. Theorem 1.1. (see Theorem 3.2 for details) Let A be an abelian category with enough projectives. Then any covariantly finite τ-rigid subcategory is contained in a support τ-tilting subcategory. Iyama, Jørgensen and Yang [IJY] also investigated the relation between τ-tilting theory and torsion arXiv:2010.14869v1 [math.RT] 28 Oct 2020 classes. More precisely, they showed that support τ-tilting pairs correspond bijectively with certain finitely generated torsion classes. For a subcategory M of an abelian category, denote by Fac M the subcategory consisting of factor objects of finite direct sums of objects of M, and P(M) the Ext- projective objects of M. Based on their ideas, our second main result is the following. Theorem 1.2. (see Theorem 3.4 for details) Let A be an abelian category with enough projectives. There exists a bijection M 7→ Fac M from the first of the following sets to the second: Yu Liu was supported by the Fundamental Research Funds for the Central Universities (Grant No. 2682018ZT25) and the National Natural Science Foundation of China (Grant No. 11901479). Panyue Zhou was supported by the National Natural Science Foundation of China (Grant Nos. 11901190 and 11671221), and by the Hunan Provincial Natural Science Foundation of China (Grant No. 2018JJ3205), and by the Scientific Research Fund of Hunan Provincial Education Department (Grant No. 19B239). 2010 Mathematics Subject Classification. 18E10; 16S90. Key words and phrases. abelian categories; τ-rigid subcategories; support τ-tilting subcategories. The authors would like to thank Professor Dong Yang and Professor Bin Zhu for helpful discussions. 1 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 abelian category 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, kernel, 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 triangulated category 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 derived category 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.