arxiv: v1 [math.rt] 12 Nov 2017

Transcription

1 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES WUZHONG YANG, PANYUE ZHOU, AND BIN ZHU Dedicated to Proessor Idun Reiten on the occasion o her 75th birthday arxiv:7.0490v [math.rt] Nov 07 Abstract. Let C be a trianulated cateory with a cluster tiltin subcateory T. We introduce the notion o T []-cluster tiltin subcateories (also called host cluster tiltin subcateories) o C, which are a eneralization o cluster tiltin subcateories. We irst develop a basic theory on host cluster tiltin subcateories. Secondly, we study links between host cluster tiltin theory and τ-tiltin theory: Inspired by the work o Iyama, Jørensen and Yan [IJY], we introduce the notion o τ-tiltin subcateories and tiltin subcateories o modt. We show that there exists a bijection between weak T []-cluster tiltin subcateories o C and support τ-tiltin subcateories o modt. Moreover, we iure out the subcateories o modt which correspond to cluster tiltin subcateories o C. This eneralizes and improves several results by Adachi- Iyama-Reiten [AIR], Beliiannis [Be], and Yan-Zhu [YZ]. Finally, we prove that the deinition o host cluster tiltin objects is equivalent to the deinition o relative cluster tiltin objects introduced by the irst and the third author in [YZ]. Contents. Introduction. Backround and preliminary results 3.. Cluster tiltin subcateories and relative cluster tiltin objects 3.. Support τ-tiltin modules and support τ-tiltin subcateories 4.3. From trianulated cateories to abelian cateories 5 3. Ghost cluster tiltin subcateories 6 4. Connection with τ-tiltin theory 4.. On the relationship between host cluster tiltin and support τ-tiltin 4.. τ-tiltin subcateories and tiltin subcateories 8 5. A characterization o host cluster tiltin objects Acknowleement 6 Reerences 6. Introduction In 0, Adachi-Iyama-Reiten [AIR] introduced the τ-tiltin theory or inite dimensional alebras. As a eneralization o classical tiltin theory, it completes tiltin theory rom the viewpoint o mutation. Nowadays the relationships between τ-tiltin theory and the various aspects o the representation theory o inite dimensional alebras have been studied. In 03, Iyama-Jørensen-Yan [IJY] ave a unctor version o τ-tiltin theory. They considered modules 00 Mathematics Subject Classiication. 8E30; 6G0; 6G70. Key words and phrases. Ghost cluster tiltin subcateories; Support τ-tiltin subcateories; τ-tiltin subcateories, Cluster tiltin subcateories. Correspondin author. The irst author was supported by Scientiic Research Proram Funded by Shaanxi Provincial Education Department (Proram No. 7JK0794). The second author is supported by the NSF o China (Grants No. 67) and the China Postdoctoral Science Foundation (Grant No. 06M5955). The third author is supported by the NSF o China (Grants No. 67).

2 YANG, ZHOU, AND ZHU over a cateory and showed or a trianulated cateory C with a siltin subcateory S, there exists a bijection between the set o siltin subcateories o C which are in S S[] and the set o support τ-tiltin pairs o mods. Cluster-tilted alebras, as the endomorphism alebras o cluster tiltin objects in cluster cateories, were introduced by Buan-Marsh-Reiten [BMR]. The authors showed that the module cateory o a cluster-tilted alebra is equivalent to the quotient cateory o cluster cateory C by the cluster tiltin object T, i.e. C/[T[]] modendt. Actually, the equivalence above still holds or more eneral cases. It was proved that or a trianulated cateory C with a cluster tiltin subcateory T, there is an equivalence [KR, KZ, IY] C/[T []] modt. Then we have a unctor rom C to modt, which is denoted by H. Under this unctor, a series o papers investiate the relationships between objects in C and modules in mod T (see or example [Sm, FL, HJ, Be]). Especially Adachi-Iyama-Reiten [AIR] established a bijection between cluster tiltin objects in a -Calabi-Yau trianulated cateory and support τ-tiltin modules over a cluster-tilted alebra (see also [CZZ, YZZ, YZ] or various versions o this bijection). It is natural to ask which class o subcateories o C correspond bijectively to support τ-tiltin subcateories o mod T or hiher Calabi-Yau trianulated cateories or arbitrary trianulated cateories. Motivated by this question and the bijection iven by Iyama-Jørensen-Yan [IJY], we introduce the notion o T[]-cluster tiltin subcateories (also called host cluster tiltin subcateories) o C, which are a eneralization o cluster tiltin subcateories. The irst part o our work is to develop a basic theory o host cluster tiltin subcateories o C. Some intrinsic properties and results on host cluster tiltin subcateories will be presented. Inspired also by Adachi-Iyama- Reiten [AIR] and Iyama-Jørensen-Yan [IJY], we introduce the notion o τ-tiltin subcateories and tiltin subcateories o modt. The second part o our paper is to ive some close relationships between certain host cluster tiltin subcateories o C and some important subcateories o modt. Here is the main result in the second part. Theorem.. (see Theorem 4. and Theorem 4.3 or more details) Let C be a trianulated cateory with a cluster-tiltin subcateory T. The unctor H: C ModT induces a bijection Φ: X ( H(X ),T X [ ] ) rom the irst o the ollowin sets to the second: (I) T []-riid subcateories o C. (II) τ-riid pairs o modt. It restricts to a bijection rom the irst to the second o the ollowin sets. (I) Weak T []-cluster tiltin subcateories o C. (II) Support τ-tiltin subcateories o mod T. Consequently, we also iure out the subcateories o mod T which correspond to cluster tiltin subcateories o C. This eneralizes and improves several results in the literature. This also answers the question above. When host cluster tiltin subcateories have additive enerators, we call these additive enerators in C host cluster tiltin objects. Comparin with the deinition o relative cluster tiltin objects in [YZ], the last part o this paper aims to show that host cluster tiltin objects are exactly relative cluster tiltin objects introduced in [YZ] provided that C has a Serre unctor. The paper is oranized as ollows. In Section, we recall some elementary deinitions and acts that will be used requently, includin cluster tiltin subcateories and support τ-tiltin subcateories. In Section 3, we will develop a basic theory o host cluster tiltin subcateories o C. In Section 4, we explore the connections between host cluster tiltin theory and τ- tiltin theory. In the last section, we show that the deinition o host cluster tiltin objects is

3 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 3 equivalent to relative cluster tiltin objects in [YZ] provided that the ambient cateory C has a Serre unctor. We conclude this section with some conventions. Throuhout this article, k is an alebraically closed ield. All modules we consider in this paper are let modules. Let C be an additive cateory. When we say that D is a subcateory o C, we always assume that D is a ull subcateory which is closed under isomorphisms, direct sums and direct summands. We denote by [D] the ideal o C consistin o morphisms which actor throuh objects in D. Thus we et a new cateory C/[D] whose objects are objects o C and whose morphisms are elements o C(X,Y)/[D](X,Y ) or X,Y C/[D]. For any object M, we denote by addm the ull subcateory o C consistin o direct summandso direct sum o initely many copies o M and simply denote C/[addM] by C/[M]. Let X and Y be subcateories o C. We denote by X Y the smallest subcateory o C containin X and Y. For two morphisms : M N and : N L, the composition o and is denoted by : M L. Let X be an object in C. A morphism : D 0 X is called a riht D-approximation o X i D 0 D and Hom C (,) D is surjective. I any object in C has a riht D-approximation, we call D contravariantly inite in C. Dually, a let D-approximation and a covariantly inite subcateory are deined. We say that D is unctorially inite i it is both covariantly inite and contravariantly inite. For more details, we reer to [AR]. For any trianulated cateory C, we assume that it is k-linear, Hom-inite, and satisies the Krull-Remak-Schmidt property [Ha]. In C, we denote the shit unctor by [] and or objects X and Y, deine Ext i C (X,Y) = Hom C(X,Y[i]). For two subcateories X,Y o C, we denote by Ext (X,Y ) = 0 when Ext (X,Y) = 0 or X X,Y Y. For an object X, X denotes the number o non-isomorphic indecomposable direct summands o X.. Backround and preliminary results In this section, we ive some backround material and recall some results that will be used in this paper... Cluster tiltin subcateories and relative cluster tiltin objects. Let C be a trianulated cateory. An important class o subcateories o C are the cluster tiltin subcateories, which have many nice properties. We recall the deinition o cluster tiltin subcateories rom [BMRRT, KR, KZ, IY]. Deinition.. () A subcateory T o C is called riid i Ext C (T,T ) = 0. () A subcateory T o C is called maximal riid i it is riid and maximal with respect to the property: T = {M C Ext C (T addm,t addm) = 0}. (3) A unctorially inite subcateory T o C is called cluster tiltin i T = {M C Ext C (T,M) = 0} = {M C Ext C (M,T ) = 0}. (4) An object T in C is called cluster tiltin i addt is a cluster tiltin subcateory o C. Remark.. In act, Koeni and Zhu [KZ] indicate that a subcateory T o C is cluster tiltin i and only i it is contravariantly inite in C and T = {M C Ext C (T,M) = 0}. For two subcateories X and Y o C, we denote by X Y the collection o objects in C consistin o all such M C with trianles where X X and Y Y. X M Y X 0 [], Recall rom [BK] that C has a Serre unctor S provided S : C C is an equivalence and there exists a unctorial isomorphism Hom C (A,B) DHom C (B,SA)

4 4 YANG, ZHOU, AND ZHU or any A,B C, where D is the duality over k. Thus C has the Auslander-Reiten translation τ C S[ ] [RVdB]. Deine an equivalence F = τ C []. We call an object M in C F-stable i F(M) M and a subcateory M o C F-stable i F(M) = M. We say that C is -Calabi-Yau i S []. For a -Calabi-Yau cateory C, F = id C. We have the ollowin result [KR, KZ, IY], which will be used requently in this paper. Proposition.3. Let T be a cluster-tiltin subcateory o C. Then (a) C = T T[]. (b) FT = T i C has a Serre unctor. I there is a cluster tiltin object T in C, then any cluster tiltin subcateory T is o the orm addt or some cluster tiltin object T, and the numbers o the non-isomorphic indecomposable direct summands o T, and T are the same [YZZ]. We denote this number by r(c), which is called the cluster rank o the trianulated cateory C. When C is -Calabi-Yau, we can deine the mutation o cluster tiltin objects. In order to eneralise it in a more eneral trianulated cateory, Yan and Zhu [YZ] introduced the notion o relative cluster-tiltin objects in trianulated cateories. Deinition.4. Let C be a trianulated cateory with a Serre unctor and with cluster tiltin objects. An object X in C is called host riid i there exists a cluster tiltin object T such that [T[]](X,X[]) = 0. In this case, X is also called T[]-riid. An object X in C is called relative cluster tiltin i there exists a cluster tiltin object T such that X is T[]-riid and X = r(c). In this case, X is also called T[]-cluster tiltin. Throuhout this paper, we denote by T[]-riid C (respectively, T[]-cluster tilt C) the set o isomorphism classes o basic T[]-riid (respectively, basic T[]-cluster tiltin) objects in C... Support τ-tiltin modules and support τ-tiltin subcateories. Let Λ be a inite dimensional k-alebra and τ the Auslander-Reiten translation. We denote by projλ the subcateory o modλ consistin o projective Λ-modules. Support τ-tiltin modules were introduced by Adachi, Iyama and Reiten [AIR], which can be rearded as a eneralization o tiltin modules. Deinition.5. Let (X,P) be a pair with X modλ and P projλ.. X is called τ-riid i Hom Λ (X,τX) = 0.. X is called τ-tiltin i X is τ-riid and X = Λ. 3. (X,P) is called a τ-riid pair i X is τ-riid and Hom Λ (P,X) = (X,P) is said to be a support τ-tiltin pair i it is a τ-riid pair and X + P = Λ. In this case, X is called a support τ-tiltin module. Throuhout this paper, we denote by τ-riidλ the set o isomorphism classes o basic τ-riid pairs o Λ, and by sτ-tiltλ the set o isomorphism classes o basic support τ-tiltin Λ-modules. The ollowin proposition ives a criterion or a τ-riid Λ-module to be a support τ-tiltin Λ-module. Proposition.6. [Ja, Proposition.4] Let Λ be a inite dimensional alebra and M a τ-riid Λ-module. Then M is a support τ-tiltin Λ-module i and only i there exists an exact sequence Λ M M 0, with M,M addm and a let (addm)-approximation o Λ. In 03, Iyama, Jørensen and Yan[IJY, Deinition.3] extended the notion o support τ-tiltin modules or inite dimensional alebras over ields to that or essentially small additive cateories. Let T be an additive cateory. We write Mod T or the abelian cateory o contravariant additive unctors rom T to the cateory o abelian roups and modt or the ull subcateory o initely presented unctors, see [Au].

5 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 5 Deinition.7. [IJY, Deinition.3] Let T be an essentially small additive cateory. (i) Let M be a subcateory o modt. A class {P π M P 0 M 0 M M} o projective presentations in modt is said to have Property (S) i Hom mod T (π M,M ) : Hom mod T (P 0,M ) Hom mod T (P,M ) is surjective or any M,M M. (ii) A subcateory M o modt is said to be τ-riid i there is a class o projective presentations {P P 0 M 0 M M} which has Property (S). (iii) A τ-riid pair o modt is a pair (M,E), where M is a τ-riid subcateory o modt and E T is a subcateory with M(E) = 0, that is, M(E) = 0 or each M M and E E. (iv) A τ-riid pair (M,E) is support τ-tiltin i E = Ker(M) and or each T T there exists an exact sequence T(,T) M 0 M 0 with M 0,M M such that is a let M-approximation. In this case, M is called a support τ-tiltin subcateory o modt..3. From trianulated cateories to abelian cateories. In this subsection, we assume that T is a cluster tiltin subcateory o a trianulated cateory C. A T-module is a contravariant k-linear unctor F : T Modk. Then T -modules orm an abelian cateory ModT. We denote by modt the subcateory o ModT consistin o initely presented T-modules. It is easy to know that modt is an abelian cateory. Moreover the restricted Yoneda unctor is homoloical and induces an equivalence The ollowin results are crucial in this paper. H: C ModT, M Hom C (,M) T T proj(modt). Theorem.8. (i) H(C) is a subcateory o modt. (ii) [Au] For N ModT and T T, there exists a natural isomorphism Hom Mod T ( T (,T),N ) N(T). (iii) [KR, KZ, IY] The unctor H rom (i) induces an equivalence C/[T []] modt, and modt is Gorenstein o dimension at most one. Proo. Since T is cluster tiltin, or any object C C, there exists a trianle T 0 T C h T 0 [], where T 0,T T. Applyin the unctor H to the above trianle, we et an exact sequence H(T 0 ) H(T ) H(C) 0. This shows that H(C) modt. I there exists an object T C such that T = addt, we obtain the ollowin. Corollary.9. Let T be a cluster tiltin object in C and Λ = End op C (T). Then the unctor induces an equivalence ( ) := Hom C (T, ) : C modλ (.) C/[T[]] modλ. (.) This equivalence ives a close relationship between the relative cluster tiltin objects in C and support τ-tiltin Λ-modules.

6 6 YANG, ZHOU, AND ZHU Theorem.0. [YZ, Theorem 3.6] Let C be a trianulated cateory with a Serre unctor S and a cluster tiltin object T, and let Λ = End op C (T). Then the unctor (.) induces the ollowin bijections T[]-riid C T[]-cluster tilt C (a) τ-riidλ, (b) sτ-tiltλ. 3. Ghost cluster tiltin subcateories In this section, our aim is to develop a basic theory o host cluster tiltin subcateories in a trianulated cateory with cluster tiltin subcateories. We irst ive the deinitions o related subcateories and then discuss connections between them. Deinition 3.. Let C be a trianulated cateory with a cluster tiltin subcateory. (i) A subcateory X in C is called host riid i there exists a cluster tiltin subcateory T such that [T []](X,X []) = 0. In this case, X is also called T[]-riid. (ii) A subcateory X in C is called maximal host riid i there exists a cluster tiltin subcateory T such that X is T []-riid and [T []](X addm,(x addm)[]) = 0 implies M X. In this case, X is also called maximal T []-riid. (iii) A subcateory X in C is called weak host cluster tiltin i there exists a cluster tiltin subcateory T such that T X [ ] X and X = {M C [T []](M,X []) = 0 and [T []](X,M[]) = 0 }. In this case, X is also called weak T []-cluster tiltin. (iv) A subcateory X in C is called host cluster tiltin i X is contravariantly inite in C and there exists a cluster tiltin subcateory T such that X = {M C [T []](M,X []) = 0 and [T []](X,M[]) = 0 }. In this case, X is also called T[]-cluster tiltin. (v) An object X is called T []-riid, maximal T []-riid, weak T []-cluster tiltin, or T[]- cluster tiltin i addx is T[]-riid, maximal T []-riid, weak T []-cluster tiltin, or T []-cluster tiltin respectively. Remark 3.. We will show in the last section that host cluster tiltin objects are exactly the relative cluster tiltin objects deined by the irst and the third author in[yz]. From now on to the end o the section, we prove some properties o host cluster tiltin subcateories. We irst ive an observation. Proposition 3.3. Cluster-tiltin subcateories o C are host cluster tiltin. More precisely, cluster tiltin subcateories in C are T []-cluster tiltin, where T is a cluster tiltin subcateory. Proo. Let X be an arbitrary cluster tiltin subcateory in C. Clearly, X is contravariantly inite and X {M C [T []](X,M[]) = 0 = [T []](M,X [])}. For any object M {M C [T []](X,M[]) = 0 = [T []](M,X [])}, since T is cluster tiltin, there exists a trianle T T 0 M h T [], where T 0,T T. Take a let X -approximation o T 0 and complete it to a trianle T 0 u X v X w T 0 [],

7 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 7 where X X. Since X is cluster tiltin, we know that X X. By the octahedral axiom, we have a commutative diaram T T 0 M h T [] u T x=u X y N a z T [] v X b X w T 0 [] [] c M[] o trianles. We claim that x is a let X -approximation o T. Indeed, or any morphism α: T X, where X X, since α h[ ] [T ](M[ ],X ) = 0, there exists a morphism β: T 0 X such that α = β. Since u is a let X -approximation o T 0 and X X, there exists a morphism γ: X X such that β = γu and then α = γ(u) = γx. This shows that x is a let X -approximation o T. Note that X is cluster tiltin. Thus N X. Since c = []w [T []](X,M[]) = 0. This shows that the trianle M a N b X c M[]. splits. It ollows that M is a direct summand o N and then M X. Thus X = {M C [T []](X,M[]) = 0 = [T []](M,X [])} and hence X is T []-cluster tiltin. The ollowin example shows that host cluster tiltin subcateories need not be cluster tiltin. Example 3.4. Let A = kq/i be a sel-injective alebra iven by the quiver Q : α β and I = αβαβ,βαβα. Let C be the stable module cateory moda o A. This is a trianulated cateory whose Auslander-Reiten quiver is the ollowin:

8 8 YANG, ZHOU, AND ZHU where the letmost and rihtmost columns are identiied. It is easy to see that T := add( is a cluster tiltin subcateory o C. Note that X := add( ) is T[]-tiltin o C, but not cluster tiltin, since Hom(, []) = Hom(, ) 0. In order to ive a precise relation between cluster tiltin and host cluster tiltin subcateories, we assume that C has a Serre unctor S [BK]. We recall that F = τ C [] = S []. The ollowin result ives a characterisation o cluster tiltin subcateories in term o host cluster tiltin subcateories, which implies that in -Calabi-Yau trianulated cateories, host cluster tiltin subcateories coincide with cluster tiltin subcateories. Theorem 3.5. Let C be a trianulated cateory with a Serre unctor S and a cluster tiltin subcateory. Then F-stable host cluster tiltin subcateories o C are precisely cluster tiltin subcateories. To prove this theorem, we need the ollowin easy observation. Lemma 3.6. For two objects M and N in C, [T[]](M,N[]) = 0 and [T[]](N,τ C M) = 0 i and only i Hom C (M,N[]) = 0. In particular, i C is -CY, then M is T []-riid i and only i M is riid. Proo. Usin similar aruments as in the proo o Proposition 3.4 in [YZ]. Now we are ready to prove Theorem 3.5. It ollows rom Theorem.3 and Proposition 3.3 that cluster tiltin subcateories are F-stable host cluster tiltin. Now prove the other direction. Let X be a T []-cluster tiltin subcateory satisyin FX = X, where T is a cluster tiltin subcateory. It ollows that τ C X = X []. () We show that X is a riid subcateory o C. For any two objects M,N X, since X is T []-tiltin, we have [T []](M,N[]) = 0. (3.) Similarly, since τ C X = X [], we have that τ C M = M [], where M X. It ollows that [T []](N,τ C M) = [T []](N,M []) = 0. (3.) By Lemma 3.6, equalities (3.) and (3.) imply that Hom C (M,N[]) = 0. () We show that X = {M C Ext C (X,M) = 0}. The part is clear. Assume that an object M C satisies Ext C (X,M) = 0. Then Hom C (M,X []) DHom C (X [],SM) DHom C (τx,fsm) DHom C (X,M[]) = 0. This implies that [T[]](M,X []) = 0. Since [T[]](X,M[]) = 0 and X is T []-cluster tiltin, we know that M X. Note that X is contravariantly inite. It ollows rom Remark. that X is a cluster tiltin subcateory o C. From Deinition 3., any host cluster tiltin subcateory is a contravariantly inite maxiaml host riid subcateory. Now we prove the converse holds, which eneralizes a result [ZZ, Theorem.6]. Theorem 3.7. Let C be a trianulated cateory with a cluster tiltin subcateory T. Then host cluster tiltin subcateories are precisely contravariantly inite maximal host riid subcateories. To prove Theorem 3.7, we shall need the ollowin result. )

9 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 9 Lemma 3.8. (a) Let X be a maximal T []-riid subcateory in C. For T 0 T, i there is a trianle: h M[ ] T 0 X 0 M such that X 0 X and : T 0 X 0 is a let X -approximation o T 0, then M X. (b) Let X be a maximal T []-riid subcateory in C. For T 0 T, i there is a trianle: X 0 [ ] T 0 M h X 0 such that X 0 X and : X 0 [ ] T 0 is a riht X [ ]-approximation o T 0, then M X. Proo. We only prove part (a), the proo o part (b) is similar. For any x [T ](M[ ],X ), there are two morphisms x : M[ ] T and x : T X such that x = x x, where T T and X X. X 0 [ ] h[ ] M[ ] T 0 h X 0 M [] T 0 [] T x x a b c y T y X X [ ] Since X is T[]-riid, we have xh[ ] = x (x h[ ]) = 0. Thus, there exists a: T 0 X such that x = a. Because is a let X -approximation o T 0, we know there exists b: X 0 X such that a = b. Thereore, x = a = b() = 0 and [T []](M,X []) = 0. (3.3) For y [T ](X [ ],M), there are two morphisms y : X [ ] T and y : T M such that y = y y, where T T and X X. Since []y = 0, there exists c: T X 0 such that y = hc. Because X is T []-riid, we have y = y y = h(cy ) = 0. Thereore, [T[]](X,M[]) = 0. (3.4) z [T ](M[ ],M), there are two morphisms z : M[ ] T 3 and z : T 3 M such that z = z z, where T 3 T. Since []z = 0, there exists d: T 3 X 0 such that z = hd. By equality (3.3), we have z = z z = h(dz ) = 0. Thus, [T []](M,M[]) = 0. (3.5) T 0 X 0 h M [] T 0 [] d z T 3 z M[ ] Usin equalities (3.3), (3.4) and (3.5), we et [T []](X addm,(x addm)[]) = 0. Note that X is maximal T []-riid. Hence M X. We have the ollowin direct consequences.

10 YANG, ZHOU, AND ZHU Corollary 3.9. Let T be a cluster tiltin subcateory in a trianulated cateory C and X be a covariantly (or contravariantly) inite maximal T []-riid subcateory. Then T X [ ] X. Corollary 3.0. Let C be a trianulated cateory with a cluster tiltin subcateory T. Then host cluster tiltin subcateories are weak host cluster tiltin subcateories. Proo. This ollows rom Theorem 3.7 and Corollary 3.9. The ollowin example shows that the converse is not true. Example 3.. Let C be a cluster cateory o type A in [HJ, N]. The AR-quiver o C is as ollows: Set X to be the subcateory whose indecomposable objects are marked by bullets here, T the subcateory whose indecomposable objects are marked by clubsuits here. It is easy to see that T is a cluster tiltin subcateory o C and T X [ ] X. By Theorem 4.3 and Theorem 4.4 in [HJ], we know that X is a weak cluster tiltin subcateory o C and X is not contravariantly inite in C. That is to say, X is a weak host cluster tiltin subcateory in the sense o Deinition 3., but it is not host cluster tiltin (=cluster tiltin). Now we are ready to prove Theorem 3.7. () Assume that X is a T[]-cluster tiltin subcateory. I there exists an object M C such that then [T []](X addm,(x addm)[]) = 0, [T []](X,M[]) = 0 and [T []](M,X []) = 0. Since X is T []-cluster tiltin, we obtain M X. () Assume that X is a contravariantly inite maximal T[]-riid subcateory in C. Clearly, X {M C [T []](X,M[]) = 0 = [T []](M,X [])}. For any object M {M C [T []](X,M[]) = 0 = [T []](M,X [])}, since T is cluster tiltin, there exists a trianle T T 0 M h T [], where T 0,T T. By Corollary 3.9, there exists a trianle T 0 u X v X w T 0 [],

11 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES where X,X X. Since X is T []-riid, we have that u is a let X -approximation o T 0. By the octahedral axiom, we have a commutative diaram T T 0 M h T [] u T x=u X y N a z T [] v X b X w T 0 [] [] c M[] o trianles. Usin similar aruments as in the proo o Proposition 3.3, we conclude that x is a let X -approximation o T. By Lemma 3.8, we have N X. Since This shows that the trianle c = []w [T []](X,M[]) = 0. M a N b X c M[]. splits. It ollows that M is a direct summand o N and then M X. Hence X is T []-cluster tiltin. As an application o the above theorem, we have the ollowin. Corollary 3.. [ZZ, Theorem.6] Let C be a -Calabi-Yau trianulated cateory with a cluster tiltin subcateory T. Then every unctorially inite maximal riid subcateory is cluster-tiltin. Proo. This ollows rom Lemma 3.6 and Theorem 3.7. We ive a characterization o weak host cluster tiltin subcateories. Theorem 3.3. Let C be a trianulated cateory with a cluster tiltin subcateory T, and X a subcateory o C. Then X is a weak host cluster tiltin subcateory i and only i X is a maximal host riid subcateory such that T X [ ] X. Proo. Usin similar aruments as in the proo o Theorem 3.7. We conclude this section with a picture illustratin the relationships between host cluster tiltin subcateories and related subcateories: cluster tiltin F-stable host cluster tiltin contravariantly inite maximal host riid. contravariantly inite 4. Connection with τ-tiltin theory weak host cluster tiltin Throuhout this section, we assume that C is a k-linear, Hom-inite trianulated cateory with a cluster tiltin subcateory T. It is well-known that the cateory modt o coherent T -modules is abelian. By Theorem.8, we know that the restricted Yoneda unctor H: C modt induces an equivalence C/[T []] modt. In this section, we investiate this relationship between C and modt via H more closely.

12 YANG, ZHOU, AND ZHU 4.. On the relationship between host cluster tiltin and support τ-tiltin. In this subsection, we ive a direct connection between host cluster tiltin subcateories o C and support τ-tiltin pairs o modt. We start with the ollowin important observation. Lemma 4.. Let C be a trianulated cateory with a cluster tiltin subcateory T and X a subcateory o C. For any object X X, let T T 0 X h T [] (4.) be a trianle in C with T 0,T T. Then applyin the unctor H ives a projective presentation P H(X) π H(X) P H(X) 0 H(X) 0 (4.) in modt, and X is a T[]-riid subcateory i and only i the class {π H(X) X X } has Property (S). Proo. It is easy to see that H applies to the trianle (4.) ives the projective presentation (4.). By Theorem.8(ii), the map Hom mod T ( π H(X),H(X ) ), where X X is the same as Hom C (T 0,X ) Hom C(, X ) Hom C (T,X ). (4.3) So the class {π H(X) X X } has Property (S) i and only i the morphism (4.3) is surjective or all X,X X. Assume that the class {π H(X) X X } has Property (S). For any a [T[]](X,X []), we know that there exist two morphisms a : X T[] and a : T[] X [] such that a = a a, where X,X X and T T. Since Hom C (T 0,T[]) = 0, there exists a morphism b: T [] T[] such that a = bh. T T 0 X h T [] a T[] b a X [] Since Hom C (, X ) is surjective, there exists a morphism c: T 0 X such that a [ ] b[ ] = c and then a b = c[] []. It ollows that a = a a = a bh = c[] ([]h) = 0. This shows that [T []](X,X []) = 0. Hence X is a T []-riid subcateory. Conversely, assume that X is a T []-riid subcateory. For any morphism x: T X, since X is T[]-riid, we have x h[ ] = 0. So there exists a morphism y: T 0 X such that x = y. X[ ] h[ ] T T 0 X h T [] x X y This shows that Hom C (,X ): Hom C (T 0,X ) Hom C (T,X ) is surjective. By the above discussion, we know that the class {π H(X) X X } has Property (S). The ollowin result plays an important role in this paper. Theorem 4.. Let C be a trianulated cateory with a cluster tiltin subcateory T. The unctor H: C ModT induces a bijection Φ: X ( H(X ),T X [ ] ) rom the irst o the ollowin sets to the second: (I) T []-riid subcateories o C.

13 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 3 (II) τ-riid pairs o modt. Proo. Step : The map Φ has values in τ-riid pairs o modt. Assume that X is a T[]-riid subcateory o C. Since T is a cluster tiltin subcateory, or any X X, there exists a trianle in C T T 0 X h T [], where T 0,T T. By Lemma 4., we have that H sends the set o these trianles to a set o projective presentations (4.) which has Property (S). It remains to show that or any X X and X T X [ ], we have H(X)(X ) = 0. Indeed, since X is a T []-riid subcateory, we have H(X)(X ) = Hom C (X,X) = 0. X X [ ] X X X T This shows that ( H(X ),T X [ ] ) is a τ-riid pair o modt. Step : The map Φ is surjective. Let (M,E) be a τ-riid pair o modt. For each M M, take a projective presentation P π M P 0 M 0 (4.4) such that the class {π M M M} has Property (S). By Theorem.8(ii), there is a unique morphism M : T T 0 in T such that H( M ) = π M. Moreover, H(cone( M )) = M. Since (4.4) has Property (S), it ollows rom Lemma 4. that the cateory is a T[]-riid subcateory. X := {cone( M ) M M} Let X := X E[]. Now we show that X is a T[]-riid subcateory o C. Let E E T. Since T is cluster-tiltin, we have [T []](cone( M ) E[],E[]) = 0. M Applyin the unctor Hom C (E, ) to the trianle T T 0 cone( M ) T [], we have an exact sequence which is isomorphic to Hom C (E,T ) M Hom C (E,T 0 ) Hom C (E,cone( M )) 0, P (E) πm P 0 (E) M(E) 0. The condition M(E) = 0 implies that Hom C (E,cone( M )) = 0 and then Thus the assertion ollows. Now we show that Φ(X ) = (M,E). [T []](E[],cone( M )[]) = 0. It is straihtorward to check that T X [ ] = 0. For any object X T X [ ], we can write X = X [ ] E T, where X X and E E. Since X [ ] T X [ ] = 0, we have X = E E. Thus we have T X [ ] E. By the deinition o τ-riid pair, we have E T. Note that E X [ ] E = X [ ], it ollows that E T X [ ]. Hence T X [ ] = E. It remains to show that H(X ) = M. Indeed, since E T, we have Step 3: The map Φ is injective. H(X ) = Hom C (T,X ) = Hom C (T,X ) = H(X ) = M. Let X and X be two T []-riid subcateories o C such that Φ(X ) = Φ(X ). Let X and X be respectively the ull subcateories o X and X consistin o objects without direct

14 4 YANG, ZHOU, AND ZHU summands in T []. Then X = X (X T []) and X = X (X T []). Since Φ(X ) = Φ(X ), it ollows that H(X ) = H(X ) and X T [] = X T[]. For any object X X, there exists X X such that H(X ) = H(X ). By Theorem.8(iii), there exists an isomorphism X Y[] X Z[] or some Y,Z T. Since C is Krull-Remak- Schmidt, we have X X. This implies that X X. Similarly, we obtain X X and then X X. Thereore X = X. This shows that Φ is injective. Our main result in this subsection is the ollowin. Theorem 4.3. Let C be a trianulated cateory with a cluster tiltin subcateory T. The unctor H: C ModT induces a bijection Φ: X ( H(X ),T X [ ] ) rom the irst o the ollowin sets to the second: (I) Weak T []-cluster tiltin subcateories o C. (II) Support τ-tiltin pairs o modt. Proo. Step : The map Φ has values in support τ-tiltin pairs o modt. Assume that X is a weak T []-cluster tiltin subcateory o C. By Theorem 4., we know that Φ(X ) is a τ-riid pair o modt. Thereore T X [ ] Ker H(X ). Let T T be an object o Ker H(X ), i.e. Hom C (T,X) = 0 or each X X. This implies that [T []](X T[],X []) = 0. Note that [T []] ( X,(X T[])[] ) = 0. Since X is a T[]-cluster tiltin subcateory, we have X T[] X and then T X [ ]. Thereore T T X [ ]. This shows that Ker H(X ) T X [ ]. Hence Ker H(X ) = T X [ ]. By the deinition o weak T []-cluster tiltin subcateories, or any T T, there exists a trianle T X X h T[], where X,X X. Applyin the unctor H to the above trianle, we obtain an exact sequence H(T) H() H(X ) H(X ) 0. For any morphism a: T X, where X X, since X is T[]-riid, we have ah[ ] = 0. So there exists a morphism b: X X such that a = b. This shows that Hom C (,X) is a surjective. Thus there exists the ollowin commutative diaram. Hom C (X,X) Hom C (, X) Hom C (T,X) 0 Hom mod T (H(X ),H(X)) H() Hom mod T (H(T),H(X)) Usin Theorem.8(ii), the riht vertical map is an isomorphism. It ollows that H() is surjective, that is, H() is a let H(X )-approximation. Altoether, we have shown that Φ(X ) is a support τ-tiltin pair o modt. Step : The map Φ is surjective. Let (M,E) be a support τ-tiltin pair o modt and let X be the preimae o (M,E) under Φ constructed in Theorem 4.. Since H(X ) = M is a support τ-tiltin subcateory, or each T T, there is an exact sequence H(T) α H(X 3 ) H(X 4 ) 0. such that X 3,X 4 X and α is a let H(X )-approximation. By Yoneda s lemma, there exists a unique morphism β: T X 3 such that H(β) = α. Complete it to a trianle T β X 3 γ Y T δ T[]. (4.5)

15 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 5 Let X := X add{y T T T } be the additive closure o X and {Y T T T }. We claim that X is a weak T[]-cluster tiltin subcateory o C such that Φ( X ) = (M,E). It is clear that T X [ ] X. It remains to show that X = {M C [T []](M, X []) = 0 = [T []]( X,M[])}. Applyin the unctor H to the trianle (4.5), we see that H(Y T ) and H(X 4 ) are isomorphic in modt. For any object X X, consider the ollowin commutative diaram. Hom C (X 3,X) Hom C (β, X) Hom C (T,X) H( ) Hom mod T (H(X 3 ),H(X)) α Hom mod T (H(T),H(X)) By Theorem.8, the map H( ) is surjective and the riht vertical map is an isomorphism. Because α is a let H(X )-approximatiom, α is also surjective. ThereoreHom C (β,x) is surjective too. For any morphism a [T []](Y T,X[]), since X is T []-riid, we have aγ = 0. So there exists a morphism b: T[] X[] such that a = bδ. T β X 3 γ δ Y T T[] a X[] b Since Hom C (β, X) is surjective, there exists a morphism c: X 3 X such that cβ = b[ ] and then b = c[] β[]. It ollows that a = bδ = c[] (β[]δ) = 0. This shows that [T []](Y T,X []) = 0. (4.6) For any morphismx [T ](X[ ],Y T ), weknow that thereexist two morphismsx : X[ ] T and x : T Y T such that x = x x, where T T. Since T is cluster tiltin, we have δx = 0. So there exists a morphism y: T X 3 such that x = γy. X[ ] T x T β X 3 y γ x Y T δ T[] Since X is T []-riid, we have x = x x = γ(yx ) = 0. This shows that [T []](X,Y T []) = 0. (4.7) For any T T and morphism u [T ](Y T [ ],Y T ), we know that there exist two morphisms u : Y T [ ] T and u : T Y T such that u = u u, where T T. Since T is cluster tiltin,

16 6 YANG, ZHOU, AND ZHU we have δu = 0. So there exists a morphism v: T X 3 such that u = γv. Y T [ ] T u v u T β X 3 γ Y T δ T[] Since [T []](Y T,X []) = 0, we have vu = 0. It ollows that u = u u = γvu = 0. This shows that [T []](Y T,Y T []) = 0. (4.8) Usin equalities (4.6), (4.7) and (4.8), we know that X is a T []-riid subcateory. Now we show that {M C [T []](M, X []) = 0 = [T[]]( X,M[])} X. For any object M C, assume that [T []](M, X []) = 0 = [T []]( X,M[]). Since T is a cluster-tiltin subcateory, there exists a trianle T 5 T 6 M h T 5 [], where T 5,T 6 T. By the above discussion, or object T 6 T, there exists a trianle T 6 u X 6 v Y T6 w T6 [], where X 6 X, Y T6 X and u is a let X -approximation o T 6. For object T 5 T, there exists a trianle u T v 5 X w 5 Y T5 T 5 [], where X 5 X, Y T5 X and u is a let X -approximation o T 5. By the octahedral axiom, we have a commutative diaram T 5 T 6 M h T 5 [] u T 5 x=u X 6 y N a z T 5 [] v b Y T6 Y T6 w T 6 [] [] c M[] o trianles in C. We claim that x is a let X -approximation o T 5. Indeed, or any d: T 5 X, since dh[ ] [T ](M[ ], X ) = 0, there exists a morphism e: T6 X such that d = e, where X X. M[ ] h[ ] T 5 X d e T 6 M h T 5 [] Since u is a let X -approximation o T 6, there exists a morphism k: X 6 X such that ku = e. It ollows that d = e = ku = kx, as required.

17 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 7 Since x is a let X -approximation o T 5, by Lemma.4.3 in [Ne], we have the ollowin commutative diaram T 5 x X 6 y λ N ϕ z T 5 [] T 5 u X 5 v Y T5 w T 5 [], where the middle square is homotopy cartesian and the dierential = x[] w, that is, there exists a trianle ( y λ) (ϕ, v X 6 N X ) 5 Y T5 X 6 []. Note that [T []]( X, X []) = 0. Thus we have N X 5 X 6 Y T5 X, which implies N X. Since c = []w [T []]( X,M[]) = 0, we know that the trianle M a N b Y T6 c M[] splits. Hence M is a direct summand o N and then M X. This shows that X = {M C [T []](M, X []) = 0 = [T []]( X,M[])}. For any object T T, H(Y T ) H(X 4 ). Thereore H( X ) H(X ) M. Since T X [ ] T X [ ] = E and T X [ ] Ker H(X ) = E, we have T X [ ] = E. This shows that Φ is surjective. Step 3: The map Φ is injective. This ollows rom Step 3 in Theorem 4.. For any support τ-tiltin subcateory Y o modt, by Theorem 4.3 there exists a unique weak T[]-cluster tiltin subcateory X o C such that H(X ) = Y. Throuhout this paper, we denote the preimae X by H (Y ) or simplicity. Consequently, we have the ollowin result. Theorem 4.4. The bijection in Theorem 4.3 induces a bijection rom the irst o the ollowin sets to the second: (I) T []-cluster tiltin subcateories o C. (II) Support τ-tiltin subcateories Y o modt such that H (Y ) is contravariantly inite in C. Moveover, i C admits a Serre unctor S, we et a bijection rom the irst to the second o the ollowin sets. (I) Cluster tiltin subcateories o C. (II) Support τ-tiltin subcateories Y o modt such that H (Y ) is contravariantly inite and F-stable in C. Proo. The irst bijection ollows rom T[]-cluster tiltin subcateories o C are precisely contravariantly inite weak T []-cluster tiltin subcateories, and the second bijection ollows rom Theorem 3.5.

18 8 YANG, ZHOU, AND ZHU 4.. τ-tiltin subcateories and tiltin subcateories. In this subsection, we assume that C is atrianulated cateory with acluster tiltin subcateory T. By deinition we know that the cateory modt is abelian and has enouh projectives. Thus we can investiate the projective dimension o an object M in modt, which we denote by pdm. For a subcateory D o modt, we say that the projective dimension o D is at most n, denoted by pdd n, i pdm n or any object M D. Let X C, I X (T []) be the ideal o T[] ormed by the morphisms between objects in T [] actorin throuh the object X. For a subcateory D o C, we deine the actorization ideal o D, denoted by I D (T []), as ollows I D (T []) := { I X (T []) X D }. Theorem.8 indicates that mod T is Gorenstein o dimension at most one. Thus all objects in mod T have projective dimension zero, one or ininity. The ollowin result characterizes the objects in modt havin inite projective dimension. Theorem 4.5. [BBT, La] Let C be a trianulated cateory with a cluster tiltin subcateory T, and X be an object in C havin no direct summands in T []. Then pdh(x) i and only i I X (T []) = 0. In this subsection, we introduce two important classes o subcateories o modt and ive a connection with host cluster tiltin subcateories and cluster tiltin subcateories o C. We start with the ollowin deinition. Deinition 4.6. Let C be a trianulated cateory with a cluster tiltin subcateory T. (i) A subcateory M o modt is said to be τ-tiltin i (M,0) is a support τ-tiltin pair o modt. (ii) [Be] A subcateory M o modt is said to be weaktiltin i the ollowin three conditions are satisied: (T) Ext modt (M,M) = 0. (T) pdm, or any M M. (T3) or any projective object P in modt, there exists a short exact sequence 0 P M 0 M 0 where M 0,M M. A weak tiltin subcateory M is called a tiltin subcateory i it also satisies the ollowin additional condition: (T4) M is contravariantly inite in modt. Remark 4.7. Beliiannis [Be, Be] indicates that a contravariantly inite subcateory M o modt is a tiltin subcateory i and only i Fac(M) = { X modt Ext modt (M,X) = 0 }, where Fac(M) is the ull subcateory o modt consistin o all actors o objects o M. Immediately, we have the ollowin result. Theorem 4.8. Let C be a trianulated cateory with a cluster tiltin subcateory T. The unctor H: C ModT induces a bijection Φ: X H(X ) rom the irst o the ollowin sets to the second: (I) Weak T[]-cluster tiltin subcateories o C whose objects do not have non-zero direct summands in T []. (II) τ-tiltin subcateories o mod T. It restricts to a bijection rom the irst to the second o the ollowin sets. (I) T []-cluster tiltin subcateories o C whose objects do not have non-zero direct summands in T[].

19 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES 9 (II) τ-tiltin subcateories Y o modt such that H (Y ) is contravariantly inite in C. Moreover, i C admits a Serre unctor S, we et the ollowin bijection. (I) Cluster tiltin subcateories o C whose objects do not have non-zero direct summands in T []. (II) τ-tiltin subcateories Y o modt such that H (Y ) is contravariantly inite and F- stable in C. Proo. Note that objects in X do not have non-zero direct summands in T[] i and only i T X [ ] = 0. This assertion ollows rom Theorem 4.3 and Theorem 4.4 directly. Now we ive a close relationship between τ-tiltin subcateories and weak tiltin subcateories. Lemma 4.9. Let C be a trianulated cateory with a cluster tiltin subcateory T. Then any weak tiltin subcateory o modt is a τ-tiltin subcateory. Proo. Let M be a weak tiltin subcateory o modt. () We irst show that (M,0) is a τ-riid pair o modt. For any object M M, since pdm, we et a short exact sequence 0 P π M P 0 M 0. Note that P = 0 i pdm = 0. Applyin the unctor Hom modt (,M) to it, we et an exact sequence Hom modt (P 0,M) πm Hom modt (P,M) Ext modt (M,M) = 0. This means that there is a class o projective presentations {P π M P 0 M 0 M M} which has Property (S). Thereore (M,0) is a τ-riid pair o modt because M(0) = 0. () We show that (M,0) is a support τ-tiltin pair o modt. For each object T T, T (,T) is a projective object in modt. Since M is weak tiltin in modt, there exists a short exact sequence 0 T(,T) M 0 M 0 where M 0,M M. Applyin the unctor Hom modt (,M) to the above exact sequence, we have the ollowin exact sequence: Hom modt (M 0,M) Hom modt (T (,T),M) Ext modt (M,M) = 0. This shows that is a let M-approximation. I M(E) = 0, where E T, by the above discussion, there exists an exact sequence 0 T (,E) M 0 M 0 with M 0,M M. It ollows that there exists an exact sequence 0 T(E,E) M 0 (E) M (E) 0 Since M 0 (E) = 0, we have T (E,E) = 0 and then E = 0. Thereore Ker(M) = 0. This shows that (M,0) is a support τ-tiltin pair o modt. The ollowin result ives a criterion or a τ-tiltin subcateory o modt to be a weak tiltin subcateory. Theorem 4.0. Let C be a trianulated cateory with a cluster tiltin subcateory T. A τ-tiltin subcateory o modt is a weak tiltin subcateory i and only i its projective dimension is at most one.

20 0 YANG, ZHOU, AND ZHU Proo. Let M be a τ-tiltin subcateory o modt and pdm. By Theorem 4.8, there exists a weak T []-tiltin subcateory X o C whose objects do not have non-zero direct summands in T[] such that H(X ) = M. Step : We show that Ext modt (M,M) = 0. Namely, Ext modt (H(X ),H(X )) = 0. For any object X X, since T is cluster tiltin, there exists a trianle T 0 T X h T 0 [], (4.9) where is a minimal riht T-approximation o X and T 0,T T. Since H(X ) M, we have pdh(x ). Applyin the unctor H to the above trianle, we have a minimal projective presentation 0 H(T 0 ) H(T ) H(X ) 0 o H(X ), since X has no non-zero direct summands in T [] and pdh(x ). Applyin the unctor Hom modt (,H(X )), where X X to the above exact sequence, we et an exact sequence: Hom modt (H(T ),H(X )) Hom modt (H(T 0 ),H(X )) Ext modt (H(X ),H(X )) Ext modt (H(T ),H(X )) = 0. The last item vanishes because H(T ) is projective in modt. Note that the irst map is isomorphic to Hom C (T,X ) Hom C(,X ) Hom C (T 0,X ). This ollows that Ext modt (H(X ),H(X )) is isomorphic to CokerHom C (,X ). Applyin the unctor Hom C (,X ) to the trianle (4.9), we have the ollowin exact sequence: Hom C (T,X ) Hom C(,X ) Hom C (T 0,X ) Hom C(h[ ],X ) Hom C (X [ ],X ). In particular, we have the ollowin exact sequence: Hom C (T,X ) Hom C(,X ) Hom C (T 0,X ) Hom C(h[ ],X ) ImHom C (h[ ], X ) 0. We claim that ImHom C (h[ ], X ) = [T ](X [ ],X ). Indeed, ImHom C (h[ ], X ) [T ](X [ ],X ) is clear. For any morphism x [T ](X [ ],X ), we know that there exist two morphisms x : X [ ] T and x : T X, where T T such that x = x x. Since Hom C (T [ ],T) = 0, there exists a morphism a: T 0 T such that ah[ ] = x. [ ] T [ ] X [ ] h[ ] 0 x a T T 0 T X h T 0 [] It ollows that x = x x = (x a)h[ ] ImHom C (h[ ], X ), as required. Since X is T []-riid, we have [T ](X [ ],X ) = 0. Thus we obtain Ext modt (H(X ),H(X )) CokerHom C (,X ) = [T ](X [ ],X ) = 0. Step : We show that or any projective object P in modt, there exists a short exact sequence 0 P M 0 M 0 where M 0,M M. We may assume that P = T(,T) = H(T) in modt, where T T. Since T T X [ ] X, there exists a trianle X 3 [ ] u T v X 4 w X 3,

21 TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES where X 3,X 4 X. Applyin the unctor H to the above trianle, we have the ollowin exact sequence: H(X 3 [ ]) H(u) H(T) H(X 4 ) H(X 3 ) 0. We claim that ImH(u) = 0. That is to say, or any morphism y: T X 3 [ ], where T T, we have uy = 0. Indeed, since T is cluster tiltin, there exists a trianle T α T 3 β X 3 γ T [], where β is a minimal riht T -approximation o X 3 and T,T 3 T. Applyin the unctor H to the above trianle, we have a minimal projective presentation H(X 3 [ ]) H(γ[ ]) H(T ) H(α) H(T 3 ) H(β) H(X 3 ) 0. o H(X 3 ), since X has no non-zero direct summands in T []. Since H(X 3 ) M, we have pdh(x 3 ). Thus we have ImH(γ[ ]) = 0 and then γ[ ] y = 0. So there exists a morphism b: T T 3 [ ] such that y = β[ ] b. T 3 [ ] b T y β[ ] X 3 [ ] γ[ ] T α T 3. It ollows that uy = (uβ[ ])b = 0 b = 0, as required. Hence we have the ollowin exact sequence: 0 H(T) H(X 4 ) H(X 3 ) 0, where H(X 4 ),H(X 3 ) M. This shows that M is a weak tiltin subcateory o modt. Combinin with Lemma 4.9, the assertion ollows. Consequently, we have the ollowin result. Theorem 4.. Let C be a trianulated cateory with a cluster tiltin subcateory T. The unctor H: C ModT induces a bijection Φ: X H(X ) rom the irst o the ollowin sets to the second: (I) Weak T[]-cluster tiltin subcateories o C whose objects do not have non-zero direct summands in T [] and whose actorization ideals vanish. (II) Weak tiltin subcateories o mod T. It restricts to a bijection rom the irst to the second o the ollowin sets. (I) T []-cluster tiltin subcateories o C whose objects do not have non-zero direct summands in T [] and whose actorization ideals vanish. (II) Tiltin subcateories Y o modt such that H (Y ) is contravariantly inite in C. Moreover, i C admits a Serre unctor S, we et the ollowin bijection. (I) Cluster tiltin subcateories o C whose objects do not have non-zero direct summands in T [] and whose actorization ideals vanish. (II) Tiltin subcateories Y o modt such that H (Y ) is contravariantly inite and F-stable in C. Proo. This ollows rom Theorem 4.5, Theorem 4.8 and Theorem 4.0 directly. Remark 4.. The above results eneralize and improve several results in the literature. More precisely, Theorem 4., Theorem 4.3, Theorem 4.8 and Theorem 4. eneralize a result o Yan- Zhu, see [YZ, Theorem 3.6], where analoous results were proved in case C is -Calabi-Yau and T = addt [AIR, Theorem 4.]. Theorem 4. eneralizes a result o Beliiannis [Be, Theorem 6.6] in some cases, but we don t assume that modx has inite lobal dimension here.

22 YANG, ZHOU, AND ZHU 5. A characterization o host cluster tiltin objects In this section, we always assume that C is a trianulated cateory with a Serre unctor and with cluster tiltin objects. In Section 3, we have iven the ollowin notion. Deinition 5.. An object X in C is called host cluster tiltin i there exists a cluster tiltin object T such that addx = {M C [T[]](M,X[]) = 0 = [T[]](X,M[])}. In this case, X is also called T[]-cluster tiltin. We recall the deinition o relative cluster tiltin objects rom [YZ]. Deinition 5.. [YZ, Deinition 3.] An object X in C is called relative cluster tiltin i there exists a cluster tiltin object T such that X is T[]-riid and X = T (= r(c)). In this case, X is also called T[]-cluster tiltin. The aim o this section is to show that these two deinitions are equivalent. The ollowin analo o Lemma 3.8 is crucial in this section. Lemma 5.3. Let X be a T[]-cluster tiltin object in Deinition 5.. For any T 0 addt, i M[ ] h T 0 X 0 M is a trianle such that X 0 addx and : T 0 X 0 is a let addx-approximation o T 0, then M addx. Dually, i X 0 [ ] T 0 M h X 0 is a trianle such that X 0 addx and : X 0 [ ] T 0 is a riht addx[ ]-approximation o T 0, then M addx. Proo. Usin similar aruments as in the proo o Lemma 3.8 we conclude that [T[]](X M,(X M)[]) = 0. By Corollary 3.7() in [YZ], we have X M T. Since X = T, we know that M addx. The ollowin result was proved in [YZ, Corollary 3.7()]. For the convenience o the readers, now we ive a trianulated version o Bonartz s classical proo. Lemma 5.4. Let C be a trianulated cateory with a Serre unctor and a cluster tiltin object T, and let Λ = End op C (T). Then any T[]-riid object in C is a direct summand o some T[]-cluster tiltin object in the sense o Deinition 5.. Proo. Assume that X is a T[]-riid object, we take a trianle T U X h T[], where h is a riht (addx)-approximation o T[]. We claim that R := U X is a T[]-cluster tiltin object in the sense o Deinition 5.. Step : We show that R = U X is a T[]-riid object. Take any map a [T[]](X,U[]). Since a actors throuh addt[] and X is T[]-riid, we have []a = 0. U X h T[] c [] b U[] X a [] X []