arxiv: v4 [math.rt] 7 Sep 2013

Transcription

1 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES FOR FINITE-DIMENSIONAL ALGEBRAS STEFFEN KOENIG AND DONG YANG arxv: v4 [math.rt] 7 Sep 2013 Abstract. Bjectve correspondences are establshed between (1) sltng objects, (2) smplemnded collectons, (3) bounded t-structures wth length heart and (4) bounded co-t-structures. These correspondences are shown to commute wth mutatons and partal orders. The results are vald for fnte dmensonal algebras. A concrete example s gven to llustrate how these correspondences help to compute the space of Brdgeland s stablty condtons. MSC 2010 classfcaton: 16E35, 16E45, 18E30. Keywords: sltng object, smple-mnded collecton, t-structure, co-t-structure, mutaton. Contents 1. Introducton 1 2. Notatons and prelmnares 3 3. The four concepts 5 4. Fnte-dmensonal non-postve dg algebras 7 5. The maps The correspondences are bjectons Mutatons and partal orders A concrete example 27 References Introducton Let Λ be a fnte-dmensonal assocatve algebra. Fundamental objects of study n the representaton theory of Λ are the projectve modules, the smple modules and the category of all (fnte-dmensonal) Λ-modules. Varous structural concepts have been ntroduced that nclude one of these classes of objects as partcular nstances. In ths artcle, four such concepts are related by explct bjectons. Moreover, these bjectons are shown to commute wth the basc operaton of mutaton and to preserve partal orders. These four concepts may be based on two dfferent general ponts of vew, ether consderng partcular generators of categores ((1) and (2)) or consderng structures on categores that dentfy partcular subcategores ((3) and (4)): (1) Focussng on objects that generate categores, the theory of Morta equvalences has been extended to tltng or derved equvalences. In ths way, projectve generators are Date: Last modfed on September 10,

2 2 STEFFEN KOENIG AND DONG YANG examples of tltng modules, whch have been generalsed further to sltng objects (whch are allowed to have negatve self-extensons). (2) Another, and dfferent, natural choce of generators of a module category s the set of smple modules (up to somorphsm). In the context of derved or stable equvalences, ths set s ncluded n the concept of smple-mnded system or smple-mnded collecton. (3) Startng wth a trangulated category and lookng for partcular subcategores, t-structures have been defned so as to provde abelan categores as ther hearts. The fnte-dmensonal Λ-modulesformtheheartofsomet-structurentheboundeddervedcategoryD b (modλ). (4) Choosng as trangulated category the homotopy category K b (projλ), one consders cot-structures. The addtve category proj Λ occurs as the co-heart of some co-t-structure n K b (projλ). The frst man result of ths artcle s: Theorem (6.1). Let Λ be a fnte-dmensonal algebra over a feld K. There are one-to-one correspondences between (1) equvalence classes of sltng objects n K b (projλ), (2) equvalence classes of smple-mnded collectons n D b (modλ), (3) bounded t-structures of D b (modλ) wth length heart, (4) bounded co-t-structures of K b (projλ). Here two sets of objects n a category are equvalent f they addtvely generate the same subcategory. A common feature of all four concepts t that they allow for comparsons, often by equvalences. In partcular, each of the four structures to be related comes wth a basc operaton, called mutaton, whch produces a new such structure from a gven one. Moreover, on each of the four structures there s a partal order. All the bjectons n Theorem 6.1 enjoy the followng naturalty propertes: Theorem (7.12). Each of the bjectons between the four structures (1), (2), (3) and (4) commutes wth the respectve operaton of mutaton. Theorem (7.13). Each of the bjectons between the four structures (1), (2), (3) and (4) preserves the respectve partal orders. The four concepts are crucal n representaton theory, geometry and topology. They are also closely related to fundamental concepts n cluster theory such as clusters ([20]), c-matrces and g-matrces ([21, 40]) and cluster-tltng objects ([7]). We refer to the survey paper [16] for more detals. A concrete example to be gven at the end of the artcle demonstrates one practcal use of these bjectons and ther propertes. Fnally we gve some remarks on the lterature. For path algebras of Dynkn quvers, Keller and Vosseck [33] have already gven a bjecton between bounded t-structures and sltng objects. The bjecton between sltng objects and t-structures wth length heart has been establshed by Keller and Ncolás [32] for homologcally smooth non-postve dg algebras, by Assem, Souto

3 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 3 Saloro and Trepode [5] and by Vtóra [46], who are focussng on pecewse heredtary algebras. An unbounded verson of ths bjecton has been studed by Ahara and Iyama [1]. The bjecton between smple-mnded collectons and bounded t-structures has been establshed mplctely n Al-Nofayee s work [3] and explctely for homologcally smooth non-postve dg algebras n Keller and Ncolás work [32] and for fnte-dmensonal algebras n our preprnt [37], whch has been partly ncorporated nto the present artcle, and partally n the work [44] of Rckard and Rouquer. For heredtary algebras, Buan, Reten and Thomas[17] studed the bjectons between sltng objects, smple-mnded collectons (=Hom 0 -confguratons n ther settng) and bounded t-structures. The correspondence between sltng objects and co-t-structures appears mplctly on varous levels of generalty n the work of Ahara and Iyama [1] and of Bondarko [12] and explctly n full generalty n the work of Mendoza, Sáenz, Santago and Souto Saloro [39] and of Keller and Ncolás [31]. For homologcally smooth non-postve dg algebras, all the bjectons are due to Keller and Ncolás [31]. The ntersecton of our results wth those of Keller and Ncolás s the case of fnte-dmensonal algebras of fnte global dmenson. Acknowledgement. The authors would lke to thank Paul Balmer, Mark Blume, Martn Kalck, Hennng Krause, Qunhua Lu, Yuya Mzuno, Davd Pauksztello, Perre-Guy Plamondon, Davd Ploog, Jorge Vtóra and Je Xao for nsprng dscussons and helpful remarks. The secondnamed author gratefully acknowledges fnancal support from Max-Planck-Insttut für MathematknBonnandfromDFG programspp1388(ya297/1-1). HesdeeplygratefultoBernhard Keller for valuable conversatons on derved categores of dg algebras. 2. Notatons and prelmnares 2.1. Notatons. Throughout, K wll be a feld. All algebras, modules, vector spaces and categores areover thebase feldk, and D = Hom K (?,K) denotes the K-dual. By abuseof notaton, we wll denote by Σ the suspenson functors of all the trangulated categores. For a category C, we denote by Hom C (X,Y) the morphsm space from X to Y, where X and Y are two objects of C. We wll omt the subscrpt and wrte Hom(X,Y) when t does not cause confuson. For S a set of objects or a subcategory of C, call S = {X C Hom(X,S) = 0 for all S S} and S = {X C Hom(S,X) = 0 for all S S} the left and rght perpendcular category of S, respectvely. Let C be an addtve category and S a set of objects or a subcategory of C. Let Add(S) and add(s), respectvely, denote the smallest full subcategory of C contanng all objects of S and stable for takng drect summands and coproducts respectvely takng fnte coproducts. The category add(s) wll be called the addtve closure of S. If further C s abelan or trangulated, the extenson closure of S s the smallest subcategory of C contanng S and stable under takng extensons. Assume that C s trangulated and let thck(s) denote the smallest trangulated subcategory of C contanng objects n S and stable under takng drect summands. We say that S s a set of generators of C, or that C s generated by S, when C = thck(s).

4 4 STEFFEN KOENIG AND DONG YANG 2.2. Derved categores. For a fnte-dmensonal algebra Λ, let Mod Λ (respectvely, mod Λ, proj Λ, nj Λ) denote the category of rght Λ-modules (respectvely, fnte-dmensonal rght Λ- modules, fnte-dmensonal projectve, njectve rght Λ-modules), let K b (projλ) (respectvely, K b (njλ)) denote the homotopy category of boundedcomplexes of projλ (respectvely, njλ) and let D(ModΛ) (respectvely, D b (modλ), D (modλ)) denote the derved category of ModΛ (respectvely, bounded derved category of mod Λ, bounded above derved category of mod Λ). All these categores are trangulated wth suspenson functor the shft functor. We vew D (modλ) and D b (modλ) as trangulated subcategores of D(ModΛ). The categores modλ, D b (modλ) and K b (projλ) are Krull Schmdt categores. An object M of modλ (respectvely, D b (modλ), K b (projλ)) s sad to be basc f every ndecomposable drect summand of M has multplcty 1. The fnte-dmensonal algebra Λ s sad to be basc f the free module of rank 1 s basc n modλ (equvalently, n D b (modλ) or K b (projλ)). For a dfferental graded(=dg) algebra A, let C(A) denote the category of (rght) dg modules over A and K(A) the homotopy category. Let D(A) denote the derved category of dg A- modules,.e. the trangle quotent of K(A) by acyclc dg A-modules, cf. [29, 30], and let D fd (A) denote ts full subcategory of dg A-modules whose total cohomology s fnte-dmensonal. The category C(A) s abelan and the other three categores are trangulated wth suspenson functor the shft functor of complexes. Let per(a) = thck(a A ),.e. the trangulated subcategory of D(A) generated by the free dg A-module of rank 1. For two dg A-modules M and N, let Hom A (M,N) denote the complex whose degree n component conssts of those A-lnear maps from M to N whch are homogeneous of degree n, and whose dfferental takes a homogeneous map f of degree n to d N f ( 1) n f d M. Then (2.1) Hom K(A) (M,N) = H 0 Hom A (M,N). A dg A-module M s sad to be K-projectve f Hom A (M,N) s acyclc when N s an acyclc dg A-module. For example, A A, the free dg A-module of rank 1 s K-projectve, because Hom A (A,N) = N. Dually, one defnes K-njectve dg modules, and D( A A) s K-njectve. For two dg A-modules M and N such that M s K-projectve or N s K-njectve, we have (2.2) Hom D(A) (M,N) = Hom K(A) (M,N). LetAandB betwodgalgebras. ThenatrangleequvalencebetweenD(A)andD(B)restrcts to a trangle equvalence between per(a) and per(b) and also to a trangle equvalence between D fd (A) and D fd (B). If A s a fnte-dmensonal algebra vewed as a dg algebra concentrated n degree 0, then D(A) s exactly D(ModA), D fd (A) s D b (moda), per(a) s trangle equvalent to K b (proja), and thck(d( A A)) s trangle equvalent to K b (nja) The Nakayama functor. Let Λ be a fnte-dmensonal algebra. The Nakayama functor ν modλ s defned as ν modλ =? Λ D( Λ Λ), and the nverse Nakayama functor ν 1 modλ s ts rght adjont ν 1 modλ = Hom Λ(D( Λ Λ),?). They restrct to quas-nverse equvalences between projλ and njλ.

5 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 5 The derved functors of ν modλ and ν 1 modλ, denoted by ν and ν 1, restrct to quas-nverse trangle equvalences between K b (projλ) and K b (njλ). When Λ s self-njectve, they restrct to quas-nverse trangle auto-equvalences of D b (modλ). The Auslander Reten formula for M n K b (projλ) and N n D(ModΛ) (cf. [23, Chapter 1, Secton 4.6]) provdes an somorphsm DHom(M,N) = Hom(N,νM), whch s natural n M and N. When K b (projλ) concdes wth K b (njλ) (that s, when Λ s Gorensten), t has Auslander Reten trangles and the Auslander Reten translaton s τ = ν Σ The four concepts In ths secton we ntroduce sltng objects, smple-mnded collectons, t-structures and co-tstructure. Let C be a trangulated category wth suspenson functor Σ Sltng objects. A subcategory M of C s called a sltng subcategory [33, 1] f t s stable for takng drect summands and generates C (.e. C = thck(m)) and f Hom(M,Σ m N) = 0 for m > 0 and M,N M. Theorem 3.1. ([1, Theorem 2.27]) Assume that C s Krull Schmdt and has a sltng subcategory M. Then the Grothendeck group of C s free and ts rank s equal to the cardnalty of the set of somorphsm classes of ndecomposable objects of M. An object M of C s called a sltng object f addm s a sltng subcategory of C. Ths noton was ntroduced by Keller and Vosseck n [33] to study t-structures on the bounded derved category of representatons over a Dynkn quver. Recently t has also been studed by We [47] (who uses the termnology sem-tltng complexes) from the perspectve of classcal tltng theory. A tltng object s a sltng object M such that Hom(M,Σ m M) = 0 for m < 0. For an algebra Λ, a tltng object n K b (projλ) s called a tltng complex n the lterature. For example, the free module of rank 1 s a tltng object n K b (projλ). Assume that Λ s fnte-dmensonal. Theorem 3.1 mples that (a) any sltng subcategory of K b (projλ) s the addtve closure of a sltng object, and (b) any two basc sltng objects have the same number of ndecomposable drect summands. We wll rederve (b) as a corollary of the exstence of a certan derved equvalence (Corollary 5.1) Smple-mnded collectons. Defnton 3.2. A collecton X 1,...,X r of objects of C s sad to be smple-mnded (cohomologcally Schuran n [3]) f the followng condtons hold for,j = 1,...,r Hom(X,Σ m X j ) = 0, m < 0, End(X ) s a dvson algebra and Hom(X,X j ) vanshes for j, X 1,...,X r generate C (.e. C = thck(x 1,...,X r )).

6 6 STEFFEN KOENIG AND DONG YANG Smple-mnded collectons are varants of smple-mnded systems n [36] and were frst studed by Rckard [43] n the context of derved equvalences of symmetrc algebras. For a fntedmensonal algebra Λ, a complete collecton of parwse non-somorphc smple modules s a smple-mnded collecton n D b (modλ). A natural queston s: do any two smple-mnded collectons have the same collecton of endomorphsm algebras? 3.3. t-structures. A t-structure on C ([8]) s a par (C 0,C 0 ) of strct (that s, closed under somorphsms) and full subcategores of C such that ΣC 0 C 0 and Σ 1 C 0 C 0 ; Hom(M,Σ 1 N) = 0 for M C 0 and N C 0, for each M C there s a trangle M M M ΣM n C wth M C 0 and M Σ 1 C 0. The two subcategores C 0 and C 0 are often called the asle and the co-asle of the t-structure respectvely. The heart C 0 C 0 s always abelan. Moreover, Hom(M,Σ m N) vanshes for any two objects M and N n the heart and for any m < 0. The t-structure (C 0,C 0 ) s sad to be bounded f n ZΣ n C 0 = C = Σ n C 0. n Z A bounded t-structure s one of the two ngredents of a Brdgeland stablty condton [15]. A typcal example of a t-structure s the par (D 0,D 0 ) for the derved category D(ModΛ) of an (ordnary) algebra Λ, where D 0 conssts of complexes wth vanshng cohomologes n postve degrees, and D 0 conssts of complexes wth vanshng cohomologes n negatve degrees. Ths t-structure restrcts to a bounded t-structure of D b (modλ) whose heart s modλ, whch s a length category,.e. every object n t has fnte length. The followng lemma s well-known. Lemma 3.3. Let (C 0,C 0 ) be a bounded t-structure on C wth heart A. (a) The embeddng A C nduces an somorphsm K 0 (A) K 0 (C) of Grothendeck groups. (b) C 0 respectvely C 0 s the extenson closure of Σ m A for m 0 respectvely for m 0. (c) C = thck(a). Assume further A s a length category wth smple objects {S I}. (d) C 0 respectvely C 0 s the extenson closure of Σ m {S I} for m 0 respectvely for m 0. (e) C = thck(s, I). (f) If I s fnte, then {S I} s a smple-mnded collecton Co-t-structures. Accordng to [41], a co-t-structure on C (or weght structure n [12]) s a par (C 0,C 0 ) of strct and full subcategores of C such that both C 0 and C 0 are addtve and closed under takng drect summands, Σ 1 C 0 C 0 and ΣC 0 C 0 ; Hom(M,ΣN) = 0 for M C 0 and N C 0, for each M C there s a trangle M M M ΣM n C wth M C 0 and M ΣC 0.

7 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 7 The co-heart s defned as the ntersecton C 0 C 0. Ths s usually not an abelan category. For any two objects M and N n the co-heart, the morphsm space Hom(M,Σ m N) vanshes for any m > 0. The co-t-structure (C 0,C 0 ) s sad to be bounded [12] f n ZΣ n C 0 = C = Σ n C 0. n Z A bounded co-t-structure s one of the two ngredents of a Jørgensen Pauksztello costablty condton [27]. A typcal example of a co-t-structure s the par (K 0,K 0 ) for the homotopy category K b (projλ) of a fnte-dmensonal algebra Λ, where K 0 conssts of complexes whch are homotopy equvalent to a complex boundedbelow at 0, and K 0 conssts of complexes whch are homotopy equvalent to a complex bounded above at 0. The co-heart of ths co-t-structure s projλ. Lemma 3.4. ([39, Theorem 4.10 (a)]) Let (C 0,C 0 ) be a bounded co-t-structure on C wth co-heart A. Then A s a sltng subcategory of C. Proof. For the convenence of the reader we gve a proof. It suffces to show that C = thck(a). Let M be an object of C. Snce the co-t-structure s bounded, there are ntegers m n such that M Σ m C 0 Σ n C 0. Up to suspenson and cosuspenson we may assume that m = 0. If n = 0, then M A. Suppose n < 0. There exsts a trangle M M M ΣM wth M Σ 1 C 0 and M C 0. In fact, M A, see [12, Proposton ]. Moreover, ΣM Σ n+1 C 0 due to the trangle M ΣM ΣM ΣM snce both M and ΣM belong to Σ n+1 C 0 and C 0 s extenson closed (see [12, Proposton ]). So ΣM C 0 Σ n+1 C 0. We fnsh the proof by nducton on n. Proposton 3.5. ([1, Proposton 2.22], [12, (proof of) Theorem 4.3.2], [39, Theorem 5.5] and [31]) Let A be a sltng subcategory of C. Let C 0 respectvely C 0 be the extenson closure of Σ m A for m 0 respectvely for m 0. Then (C 0,C 0 ) s a bounded co-t-structure on C wth co-heart A. 4. Fnte-dmensonal non-postve dg algebras In ths secton we study derved categores of non-postve dg algebras,.e. dg algebras A = Z A wth A = 0 for > 0, especally fnte-dmensonal non-postve dg algebras,.e., non-postve dg algebras whch, as vector spaces, are fnte-dmensonal. These results wll be used n Sectons 5.1 and 5.4. Non-postve dg algebras are closely related to sltng objects. A trangulated category s sad to be algebrac f t s trangle equvalent to the stable category of a Frobenus category. Lemma 4.1. (a) Let A be a non-postve dg algebra. The free dg A-module of rank 1 s a sltng object of per(a).

8 8 STEFFEN KOENIG AND DONG YANG (b) Let C be an algebrac trangulated category wth splt dempotents and let M C be a sltng object. Then there s a non-postve dg algebra A together wth a trangle equvalence per(a) C whch takes A to M. Proof. (a) Ths s because Hom per(a) (A,Σ A) = H (A) vanshes for > 0. (b) By [30, Theorem 3.8 b)] (whch s a classcally generated verson of [29, Theorem 4.3]), there s a dgalgebra A together wth atrangle equvalence per(a ) C. In partcular, there are somorphsms Hom per(a )(A,Σ A ) = Hom C (M,Σ M) for all Z. Snce M s a sltng object, A has vanshng cohomologes n postve degrees. Therefore, f A = τ 0 A s the standard truncaton at poston 0, then the embeddng A A s a quas-somorphsm. It follows that there s a composte trangle equvalence whch takes A to M. per(a) per(a ) C In the sequel of ths secton we assume that A s a fnte-dmensonal non-postve dg algebra. The 0-th cohomology Ā = H0 (A) of A s a fnte-dmensonal K-algebra. Let ModĀ and modā denote the category of (rght) modules over Ā and ts subcategory consstng of those fnte-dmensonal modules. Let π : A Ā be the canoncal projecton. We vew ModĀ as a subcategory of C(A) va π. The total cohomology H (A) of A s a fnte-dmensonal graded algebra wth multplcaton nduced from the multplcaton of A. Let M be a dg A-module. Then the total cohomology H (M) carres a graded H (A)-module structure, and hence a graded Ā = H0 (A)-module structure. In partcular, a stalk dg A-module concentrated n degree 0 s an Ā-module The standard t-structure. We follow [22, 4, 34], where the dg algebra s not necessarly fnte-dmensonal. Let M =... M 1 d 1 M d M be a dg A-module. Consder the standard truncaton functors τ 0 and τ >0 : τ 0 M = τ >0 M =... M 2 d 2 M 1 d 1 kerd M 0 /kerd 0 d0 M 1 d1 M 2 d2 M 3... SnceAsnon-postve, τ 0 M sadga-submoduleofm andτ >0 M sthecorrespondngquotent dg A-module. Hence there s a dstngushed trangle n D(A) τ 0 M M τ >0 M Στ 0 M. These two functors defne a t-structure (D 0,D 0 ) on D(A), where D 0 s the subcategory of D(A) consstng of dg A-modules wth vanshng cohomology n postve degrees, and D 0 s the subcategory of D(A) consstng of dg A-modules wth vanshng cohomology n negatve degrees. By the defnton of the t-structure (D 0,D 0 ), the heart H = D 0 D 0 conssts of those dg A-modules whose cohomology s concentrated n degree 0. Thus the functor H 0 nduces an

9 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 9 equvalence H 0 : H ModĀ. M H 0 (M) See also [26, Theorem 1.3]. The t-structure (D 0,D 0 ) on D(A) restrcts to a bounded t- structure on D fd (A) wth heart equvalent to modā Morta reducton. Let d be the dfferental of A. Then d(a 0 ) = 0. LetebeandempotentofA. Fordegreereasons, emustbelongtoa 0, andthegradedsubspace ea of A s a dg submodule: d(ea) = d(e)a +ed(a) = ed(a). Therefore for each decomposton 1 = e e n of the unty nto a sum of prmtve orthogonal dempotents, there s a drect sum decomposton A = e 1 A... e n A of A nto ndecomposable dg A-modules. Moreover, f e and e are two dempotents of A such that ea = e A as ordnary modules over the ordnary algebra A, then ths somorphsm s also an somorphsm of dg modules. Indeed, there are two elements of A such that fg = e and gf = e. Agan for degree reasons, f and g belong to A 0. So they nduce somorphsms of dg A-modules: ea e A, a ga and e A ea, a fa. It follows that the above decomposton of A nto a drect sum of ndecomposable dg modules s essentally unque. Namely, f 1 = e e n s another decomposton of the unty nto a sum of prmtve orthogonal dempotents, then m = n and up to reorderng, e 1 A = e 1A,..., e n A = e na The perfect derved category. Snce A s fnte-dmensonal(and thus has fnte-dmensonal total cohomology), per(a) s a trangulated subcategory of D fd (A). We assume, as we may, that A s basc. Let 1 = e e n be a decomposton of 1 n A nto a sum of prmtve orthogonal dempotents. Snce d(x) = λ 1 e λ s e s mples that d(e j x) = λ j e j, the ntersecton of the space spanned by e 1,...,e n wth the mage of the dfferental d has a bass consstng of some e s, say e r+1,...,e n. So, e r+1 A,...,e n A are homotopc to zero. We say that a dg A-module M s strctly perfect f ts underlyng graded module s of the form N j=1 R j, where R j belongs to add(σ t j A) for some t j wth t 1 < t 2 <... < t N, and f ts dfferental sof theformd nt +δ, whered nt s thedrect sumof thedfferental of ther j s, andδ, as a degree 1 map from N j=1 R j to tself, s a strctly upper trangular matrx whose entres are n A. It s mnmal f n addton no shfted copy of e r+1 A,...,e n A belongs to add(r 1,...,R j ), and the entres of δ are n the radcal of A, cf. [42, Secton 2.8]. Strctly perfect dg modules are K-projectve. If A s an ordnary algebra, then strctly perfect dg modules are precsely bounded complexes of fntely generated projectve modules. Lemma 4.2. Let M be a dg A-module belongng to per(a). Then M s quas-somorphc to a mnmal strctly perfect dg A-module. Proof. Bearng n mndthat e 1 A,...,e r A have local endomorphsmalgebras and e r+1 A,...,e n A are homotopc to zero, we prove the asserton as n [42, Lemma 2.14].

10 10 STEFFEN KOENIG AND DONG YANG 4.4. Smple modules. Assume that A s basc. Accordng to the precedng subsecton, we may assume that there s a decomposton 1 = e e r +e r e n of the unty of A nto a sum of prmtve orthogonal dempotents such that 1 = ē ē r s a decomposton of 1 n Ā nto a sum of prmtve orthogonal dempotents. LetS 1,...,S r beacompletesetofparwsenon-somorphcsmpleā-modulesandletr 1,...,R r be ther endomorphsm algebras. Then R j R j f = j, Hom A (e A,S j ) = 0 otherwse. Therefore, by (2.1) and (2.2), Hom D(A) (e A,Σ m R j R j f = j and m = 0, S j ) = 0 otherwse. Moreover, {e 1 A,...,e r A} and {S 1,...,S r } characterse each other by ths property. On the one hand, f M s a dg A-module such that for some nteger 1 j r Hom D(A) (e A,Σ m R j R j f = j and m = 0, M) = 0 otherwse, then M s somorphc n D(A) to S j. On the other hand, let M be an object of per(a) such that for some nteger 1 r Hom D(A) (M,Σ m R j R j f = j and m = 0, S j ) = 0 otherwse. ThenbyreplacngM byts mnmalperfectresoluton (Lemma4.2), weseethatm ssomorphc n D(A) to e A. Further, recall from Secton 4.1 that D fd (A) admts a standard t-structure whose heart s equvalent to modā. Ths mples that the smple modules S 1,...,S r form a smple-mnded collecton n D fd (A) The Nakayama functor. For a complex M of K-vector spaces, we defne ts dual as D(M) = Hom K (M,K), where K n the second argument s consdered as a complex concentrated n degree 0. One checks that D defnes a dualty between fnte-dmensonal dg A-modules and fnte-dmensonal dg A op -modules. Let e be an dempotent of A and M a dg A-module. Then there s a canoncal somorphsm Hom A (ea,m) = Me. If n addton each component of M s fnte-dmensonal, there are canoncal somorphsms Hom A (ea,m) = Me = DHom A (M,D(Ae)). Let C(A) denote the category of dg A-modules. The Nakayama functor ν : C(A) C(A) s defned by ν(m) = DHom A (M,A) [29, Secton 10]. There are canoncal somorphsms DHom A (M,N) = Hom A (N,νM)

11 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 11 for any strctly perfect dg A-module M and any dg A-module N. Then ν(ea) = D(Ae) for an dempotent e of A, and the functor ν nduces a trangle equvalences between the subcategores per(a) and thck(d(a)) of D(A) wth quas-nverse gven by ν 1 (M) = Hom A (D(A),M). Moreover, we have the Auslander Reten formula whch s natural n M per(a) and N D(A). DHom(M,N) = Hom(N,νM), Let e 1,...,e r, S 1,...,S r and R 1,...,R r be as n the precedng subsecton. Then Hom A (S j,d(ae )) (R j ) Rj f = j, = DHom A (e A,S j ) = 0 otherwse. Therefore, by (2.1) and (2.2), Hom D(A) (S j,σ m (R j ) Rj f = j and m = 0, D(Ae )) = 0 otherwse. Moreover, {D(Ae 1 ),...,D(Ae r )} and {S 1,...,S r } characterse each other n D(A) by ths property. Ths follows from the arguments n the precedng subsecton by applyng the functors ν and ν The standard co-t-structure. Let P 0 (respectvely, P 0 ) be the smallest full subcategory of per(a) contanng {Σ m A m 0} (respectvely, {Σ m A m 0}) and closed under takng extensons and drect summands. The followng lemma s a specal case of Proposton 3.5. For the convenence of the reader we nclude a proof. Lemma 4.3. The par (P 0,P 0 ) s a co-t-structure on per(a). Moreover, ts co-heart s add(a A ). Proof. Snce Hom(A,Σ m A) = 0 for m 0, t follows that Hom(X,ΣY) = 0 for M P 0 and N P 0. It remans to show that any object M n per(a) fts nto a trangle whose outer terms belong to P 0 and P 0, respectvely. By Lemma 4.2, we may assume that M s mnmal perfect. Wrte M = ( N j=1 R j,d nt + δ) as n Secton 4.3. Let N {1,...,N} be the unque nteger such that t N 0 but t N +1 < 0. Let M be the graded module N j=1 R j endowed wth the dfferental restrcted from d nt +δ. Because d nt +δ s upper trangular, M s a dg submodule of M. Clearly M belongs to P 0 and the quotent M = M/M belongs to ΣP 0. Thus we obtan the desred trangle wth M n P 0 and M n ΣP 0. M M M ΣM 5. The maps Let Λ be a fnte-dmensonal basc K-algebra. Ths secton s devoted to defnng the maps n the followng dagram.

12 12 STEFFEN KOENIG AND DONG YANG equvalence classes of sltng objects n K b (projλ) φ 41 φ 14 bounded co-t-structures on K b (projλ) φ 12 φ 21 φ 31 equvalence classes of φ 32 smple-mnded collectons n D b (modλ) φ 23 φ 34 bounded t-structures on D b (modλ) wth length heart 5.1. Sltng objects nduce derved equvalences. Let M be a basc sltng object of the category K b (projλ). By defnton, M s a bounded complex of fntely generated projectve Λ-modules such that Hom K b (projλ)(m,σ m M) vanshes for all m > 0. By Lemma 4.1, there s a non-postve dg algebra whose perfect derved category s trangle equvalent to K b (projλ). Ths equvalence sends the free dg module of rank 1 to M. Below we explctly construct such a dg algebra. Consder Hom Λ (M,M). Recall that the degree n component of Hom Λ (M,M) conssts of those Λ-lnear maps from M to tself whch are homogeneous of degree n. The dfferental of Hom Λ (M,M) takes a homogeneous map f of degree n to d f ( 1) n f d, where d s the dfferental of M. Ths dfferental and the composton of maps makes Hom Λ (M,M) nto a dg algebra. Therefore Hom Λ (M,M) s a fnte-dmensonal dg algebra. Moreover, H m (Hom Λ (M,M)) = Hom D(Λ) (M,Σ m M) for any nteger m, by (2.1) and (2.2). Because M s a sltng object, Hom Λ (M,M) has cohomology concentrated n non-postve degrees. Take the truncated dg algebra Γ = τ 0 Hom Λ (M,M), where τ 0 s the standard truncaton at poston 0. Then the embeddng Γ Hom Λ (M,M) s a quas-somorphsm of dg algebras, and hence Γ s a fnte-dmensonal non-postve dg algebra. Therefore, the derved category D( Γ) carres a natural t-structure (D 0,D 0 ) wth heart D 0 D 0 equvalent to ModΓ, where Γ = H 0 ( Γ) = End D(A) (M). Ths t-structure restrcts to a t-structure on D fd ( Γ), denoted by (D 0 fd,d 0 fd ), whose heart s equvalent to modγ. Moreover, there s a standard co-t-structure (P 0,P 0 ) on per( Γ), see Secton 4. TheobjectM hasanaturaldg Γ-Λ-bmodulestructure. Moreover, sncetgeneratesk b (projλ), t follows from [29, Lemma 6.1 (a)] that there are trangle equvalences F =? L Γ M : D( Γ) D(Λ) D(ModΛ) D fd ( Γ) per( Γ) D fd (Λ) per(λ) D b (modλ) K b (projλ)

13 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 13 These equvalences take Γ to M. The followng specal case of Theorem 3.1 s a consequence. Corollary 5.1. The number of ndecomposable drect summands of M equals the rank of the Grothendeck group of K b (projλ). In partcular, any two basc sltng objects of K b (projλ) have the same number of ndecomposable drect summands. Proof. The number of ndecomposable drect summands of M equals the rank of the Grothendeck group of modγ, whch equals the rank of the Grothendeck group of D fd ( Γ) = D b (modλ) snce modγ s the heart of a bounded t-structure (Lemma 3.3). Wrte M = M 1... M r wth M ndecomposable. Suppose that X 1,...,X r are objects n D b (modλ) such that ther endomorphsm algebras R 1,...,R r are dvson algebras and that the followng formula holds for,j = 1,...,r and m Z Hom(M,Σ m R j R j f = j and m = 0, X j ) = 0 otherwse. Then up to somorphsm, the objects X 1,...,X r are sent by the derved equvalence? ΓM L to a complete set of parwse non-somorphc smple Γ-modules, see Secton 4.4. Lemma 5.2. (a) Let X 1,...,X r be objects of D b (modλ) such that the followng formula holds for 1,j r and m Z Hom(M,Σ m X j) R j R j f = j and m = 0, = 0 otherwse. Then X = X for any = 1,...,r. (b) Let M 1,...,M r be objects of K b (projλ) such that the followng formula holds for 1,j r and m Z Hom(M,Σm R j R j f = j and m = 0, X j ) = 0 otherwse. Then M = M for any = 1,...,r. Proof. Ths follows from the correspondng result n D( Γ), see Secton From co-t-structures to sltng objects. Let (C 0,C 0 ) be a bounded co-t-structure of K b (projλ). By Lemma 3.4, the co-heart A = C 0 C 0 s a sltng subcategory of K b (projλ). Snce Λ s a sltng object of K b (projλ), t follows from Theorem 3.1 that A has an addtve generator, say M,.e. A = add(m). Then M s a sltng object n K b (projλ). Defne φ 14 (C 0,C 0 ) = M.

14 14 STEFFEN KOENIG AND DONG YANG 5.3. From t-structures to smple-mnded collectons. Let (C 0,C 0 ) be a bounded t- structure of D b (modλ) wth length heart A. Boundedness mples that the Grothendeck group of A s somorphc to the Grothendeck group of D b (modλ), whch s free, say, of rank r. Therefore, A has precsely r somorphsm classes of smple objects, say X 1,...,X r. By Lemma 3.3 (f), X 1,...,X r s a smple-mnded collecton n D b (modλ). Defne φ 23 (C 0,C 0 ) = {X 1,...,X r } From sltng objects to smple-mnded collectons, t-structures and co-t-structures. Let M be a sltng object of K b (projλ). Defne full subcategores of C C 0 = {N D b (modλ) Hom(M,Σ m N) = 0, m > 0}, C 0 = {N D b (modλ) Hom(M,Σ m N) = 0, m < 0}, C 0 = the addtve closure of the extenson closure of Σ m M, m 0 n K b (projλ), C 0 = the addtve closure of the extenson closure of Σ m M, m 0 n K b (projλ). Lemma 5.3. (a) The par (C 0,C 0 ) s a bounded t-structure on D b (modλ) whose heart s equvalent to modγ for Γ = End(M). Wrte M = M 1... M r and let X 1,...,X r be the correspondng smple objects of the heart wth endomorphsm algebras R 1,...,R r respectvely. Then the followng formula holds for 1,j r and m Z Hom(M,Σ m R j R j f = j and m = 0, X j ) = 0 otherwse. (b) The par (C 0,C 0 ) s a bounded co-t-structure on K b (projλ) whose co-heart s add(m). The frst statement of part (a) s proved by Keller and Vosseck [33] n the case when Λ s the path algebra of a Dynkn quver and by Assem, Souto and Trepode [5] n the case when Λ s heredtary. Proof. Let Γ be the truncated dg endomorphsm algebra of M, see Secton 5.1. Then per( Γ) has a standard bounded co-t-structure (P 0,P 0 ) and D fd ( Γ) has a standard bounded t-structure (D 0 fd,d 0 fd ) wth heart equvalent to modγ. One checks that the trangle equvalence? L Γ M takes (P 0,P 0 ) to (C 0,C 0 ) and t takes (D 0 fd,d 0 fd ) to (C 0,C 0 ). Defne φ 31 (M) = (C 0,C 0 ), φ 41 (M) = (C 0,C 0 ), φ 21 (M) = {X 1,...,X r } From smple-mnded collectons to t-structures. Let X 1,...,X r be a smple-mnded collecton of D b (modλ). Let C 0 (respectvely, C 0 ) be the extenson closure of {Σ m X = 1,...,r,m 0} (respectvely, {Σ m X = 1,...,r,m 0}) n D b (modλ).

15 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 15 Proposton 5.4. The par (C 0,C 0 ) s a bounded t-structure on D b (modλ). Moreover, the heart of ths t-structure s a length category wth smple objects X 1,...,X r. The same results hold true wth D b (modλ) replaced by a Hom-fnte Krull Schmdt trangulated category C. Proof. The frst two statements are [3, Corollary 3 and Proposton 4]. The proof there stll works f we replace D b (modλ) by C. Defne φ 32 (X 1,...,X r ) = (C 0,C 0 ). Later we wll show that the heart of ths t-structure always s equvalent to the category of fnte-dmensonal modules over a fnte-dmensonal algebra (Corollary 6.2). Ths was proved by Al-Nofayee for self-njectve algebras Λ, see [3, Theorem 7]. Corollary 5.5. Any two smple-mnded collectons n D b (modλ) have the same cardnalty. Proof. By Proposton 5.4, the cardnalty of a smple-mnded collecton equals the rank of the Grothendeck group of D b (modλ). The asserton follows From smple-mnded collectons to sltng objects. Let X 1,...,X r be a smplemnded collecton n D b (modλ). We wll construct a sltng object ν 1 T of K b (projλ) followng a method of Rckard [43]. Then we defne φ 12 (X 1,...,X r ) = ν 1 T. The same constructon s studed by Keller and Ncolás [32] n the context of postve dg algebras. In the case of Λ beng heredtary, Buan, Reten and Thomas [17] gve an elegant constructon of ν 1 (T) usngthe Brad groupacton onexceptonal sequences. Unfortunately, ther constructon cannot be generalsed. Let R 1,...,R r be the endomorphsm algebras of X 1,...,X r, respectvely. Set X (0) = X. Suppose X (n 1) be a bass of Hom(Σ m X j,x (n 1) and let α (n 1) s exactly f. Let X (n) : Z (n 1) X (n 1) be a cone of α (n 1) s constructed. For,j = 1,...,r and m < 0, let B(j,m,) ) over R j. Put Z (n 1) = m<0 j B(j,m,) Σ m X j be the map whose component correspondng to f B(j,m,) and form the correspondng trangle Z (n 1) α (n 1) X (n 1) β (n 1) X (n) ΣZ (n 1). Inductvely, a sequence of morphsms n D(Mod Λ) s constructed: X (0) β (0) X (1)... X (n 1) β (n 1) X (n)...

16 16 STEFFEN KOENIG AND DONG YANG Let T be the homotopy colmt of ths sequence. That s, up to somorphsm, T s defned by the followng trangle n 0 X(n) d β n 0 X(n) T Σ n 0 X(n). Here β = (β mn ) s the square matrx wth rows and columns labeled by non-negatve ntegers and wth entres β mn = β (n) f n+1 = m and 0 otherwse. These propertes of T s were proved by Rckard n [43] for symmetrc algebras Λ over algebracally closed felds. Rckard remarked that they hold for arbtrary felds, see [43, Secton 8]. In fact, hs proofs verbatm carry over to general fnte-dmensonal algebras. Lemma 5.6. (a) ([43, Lemma 5.4]) For 1,j r, and m Z, Hom(X j,σ m (R j ) Rj f = j and m = 0, T ) = 0 otherwse. (b) ([43, Lemma 5.5]) For each 1 r, T s quas-somorphc to a bounded complex of fntely generated njectve Λ-modules. (c) ([43, Lemma 5.8]) Let C be an object of D (modλ). If Hom(C,Σ m T ) = 0 for all m Z and all 1 r, then C = 0. From now on we assume that T s a bounded complex of fntely generated njectve Λ- modules. Recall from Secton 2.3 that the Nakayama functor ν and the nverse Nakayama functor ν 1 are quas-nverse trangle equvalences between K b (projλ) and K b (njλ) The followng s a consequence of Lemma 5.6 and the Auslander Reten formula. Lemma 5.7. (a) For 1,j r, and m Z, Hom(ν 1 T,Σ m R j R j f = j and m = 0, X j ) = 0 otherwse. (b) For each 1 r, ν 1 T s a bounded complex of fntely generated projectve Λ-modules. (c) Let C be an object of D (modλ). If Hom(ν 1 T,Σ m C) = 0 for all m Z and all 1 r, then C = 0. Put T = r =1 T and ν 1 T = r =1 ν 1 T. Lemma 5.8. We have Hom(ν 1 T,Σ m T) = 0 for m < 0. Equvalently, Hom(ν 1 T,Σ m ν 1 T) = Hom(T,Σ m T) = 0 for m > 0. Proof. Same as the proof of [43, Lemma 5.7], wth the T n the frst entry of Hom there replaced by ν 1 T. ItfollowsfromLemma5.7(c)thatν 1 T generatesk b (projλ). CombnngthswthLemma5.8 mples Proposton 5.9. ν 1 T s a sltng object of K b (projλ).

17 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 17 Rckard s constructon was orgnally motvated by constructng tltng complexes over symmetrc algebras whch yeld certan derved equvalences, see [43, Theorem 5.1]. Hs work was later generalsed by Al-Nofayee to self-njectve algebras, see [2, Theorem 4] From co-t-structures to t-structures. Let (C 0,C 0 ) be a bounded co-t-structure of K b (projλ). Let C 0 = {N D b (modλ) Hom(M,N) = 0, M Σ 1 C 0 } C 0 = {N D b (modλ) Hom(M,N) = 0, M Σ 1 C 0 }. Lemma The par (C 0,C 0 ) s a bounded t-structure on D b (modλ) wth length heart. Proof. Because (C 0,C 0 ) = φ 31 φ 14 (C 0,C 0 ). By defnton (C 0,C 0 ) s rght orthogonal to the gven co-t-structure n the sense of Bondarko [11]. Defne φ 34 (C 0,C 0 ) = (C 0,C 0 ). If Λ has fnte global dmenson, then K b (projλ) s dentfed wth D b (modλ). As a consequence, C 0 = C 0 and C 0 = νc 0. Thus the t-structure (C 0,C 0 ) s rght adjacent to the gven co-t-structure (C 0,C 0 ) n the sense of Bondarko [12] Some remarks. Some of the maps φ j are defned n more general setups: φ 14 and φ 41 are defned for all trangulated categores, wth sltng objects replaced by sltng subcategores, by Proposton 3.5 and Lemma 3.4, see also [12, 31, 39]. φ 23 s defned for all trangulated categores, wth smple-mnded collectons allowed to contan nfntely many objects (Lemma 3.3). φ 32 s defned for all algebrac trangulated categores (see [32]) and for Hom-fnte Krull Schmdt trangulated categores (see Proposton 5.4). φ 21 and φ 31 are defned for all algebrac trangulated categores (replacng K b (projλ)), wth D b (modλ) replaced by a sutable trangulated category; then we may follow the arguments n Sectons 4.1 and 5.4. φ 34 sdefnedforallalgebractrangulatedcategores (replacngk b (projλ)), wthd b (modλ) replaced by a sutable trangulated category. Then we may follow the argument n Secton 5.7. φ 12 s defned for fnte-dmensonal non-postve dg algebras, snce these dg algebras behave lke fnte-dmensonal algebras from the perspectve of derved categores. Smlarly, φ 12 s defned for homologcally smooth non-postve dg algebras, see [31]. 6. The correspondences are bjectons Let Λ be a fnte-dmensonal K-algebra. In the precedng secton we defned the maps φ j. In ths secton we wll show that they are bjectons. See [5, 46] for related work, focussng on pecewse heredtary algebras.

18 18 STEFFEN KOENIG AND DONG YANG Theorem 6.1. The φ j s defned n Secton 5 are bjectve. In partcular, there are one-to-one correspondences between (1) equvalence classes of sltng objects n K b (projλ), (2) equvalence classes of smple-mnded collectons n D b (modλ), (3) bounded t-structures on D b (modλ) wth length heart, (4) bounded co-t-structures on K b (projλ). There s an mmedate consequence: Corollary 6.2. Let A be the heart of a bounded t-structure on D b (modλ). If A s a length category, then A s equvalent to mod Γ for some fnte-dmensonal algebra Γ. Proof. By Theorem 6.1, such a t-structure s of the form φ 31 (M) for some sltng object M of K b (projλ). The result then follows from Lemma 5.3 (a). The proof of the theorem s dvded nto several lemmas, whch are consequences of the materal collected n the prevous sectons. Lemma 6.3. The maps φ 14 and φ 41 are nverse to each other. Proof. Let M be a basc sltng object. The defntons of φ 14 and φ 41 and Lemma 5.3 (b) mply that φ 14 φ 41 (M) = M. Let (C 0,C 0 ) be a bounded co-t-structure on K b (projλ). It follows from Lemma 3.4 that φ 41 φ 14 (C 0,C 0 ) = (C 0,C 0 ). Recall from Secton 5.8 that φ 14 and φ 41 are defned n full generalty. Lemma 6.3 holds n full generalty as well, see [39, Corollary 5.8] and [31]. Lemma 6.4. The maps φ 21 and φ 12 are nverse to each other. Proof. Ths follows from the Hom-dualty: Lemma 5.7 (a), Lemma 5.3 (a) and Lemma 5.2. Lemma 6.5. The maps φ 23 and φ 32 are nverse to each other. Proof. Let X 1,...,X r be a smple-mnded collecton n D b (modλ). It follows from Proposton 5.4 that φ 23 φ 32 (X 1,...,X r ) = {X 1,...,X r }. Let (C 0,C 0 ) be a bounded t-structure on D b (modλ) wth length heart. It follows from Lemma 3.3 that φ 32 φ 23 (C 0,C 0 ) = (C 0,C 0 ). Lemma 6.6. For a trple,j,k such that φ j, φ jk and φ k are defned, there s the equalty φ j φ jk = φ k. In partcular, φ 31 and φ 34 are bjectve. Proof. In vew of the precedng three lemmas, t suffces to prove φ 23 φ 31 = φ 21 and φ 31 φ 14 = φ 34, whch s clear from the defntons. 7. Mutatons and partal orders In ths secton we ntroduce mutatons and partal orders on the four concepts n Secton 3, and we show that the maps defned n Secton 5 commute wth mutatons and preserve the partal orders. Let C be a Hom-fnte Krull Schmdt trangulated category wth suspenson functor Σ.

19 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES Sltng objects. We follow [1, 18] to defne sltng mutaton. Let M be a sltng object n C. We assume that M s basc and M = M 1... M r s a decomposton nto ndecomposable objects. Let = 1,...,r. The left mutaton of M at the drect summand M s the object µ + (M) = M j M j where M s the cone of the mnmal left add( j M j)-approxmaton of M M E. Smlarly one can defne the rght mutaton µ (M). Theorem 7.1. ([1, Theorem 2.31 and Proposton 2.33]) The objects µ + (M) and µ sltng objects. Moreover, µ + µ (M) = M = µ µ + (M). (M) are Let sltc be the set of somorphsm classes of basc tltng objects of C. The sltng quver of C has the elements n sltc as vertces. For P,P sltc, there are arrows from P to P f and only f P s obtaned from P by a left mutaton, n whch case there s precsely one arrow. See [1, Secton 2.6]. For P,P sltc, defne P P f Hom(P,Σ m P ) = 0 for any m > 0. Accordng to [1, Theorem 2.11], s a partal order on sltc. Theorem 7.2. ([1, Theorem 2.35]) The Hasse dagram of (sltc, ) s the sltng quver of C. Next we defne(a generalsaton of) the Brenner Butler tltng module for a fnte-dmensonal algebra, and show that t s a left mutaton of the free moduleof rank 1. The correspondngrght mutaton s the Okuyama Rckard complex, see [1, Secton 2.7]. Let Λ be a fnte-dmensonal basc algebra and 1 = e e n be a decomposton of the unty nto the sum of prmtve dempotents and Λ = P 1... P n the correspondngdecomposton of thefree moduleof rank 1. Fx = 1,...,n and let S be the correspondng smple module and let S + = D(Λ/Λ(1 e )Λ). Assume that S + s not njectve, the projectve dmenson of τ 1 modλ S+ s at most 1. Defnton 7.3. Defne the BB tltng module wth respect to by T = τ 1 modλ S+ j P j. We call t the APR tltng module f Λ/Λ(1 e )Λ s projectve as a Λ-module. When Λ/Λ(1 e )Λ s a dvson algebra (.e. there are no loops n the quver of Λ at the vertex ), ths specalses to the classcal BB tltng module [13] and APR tltng module [6]. The followng proposton generalses [1, Theorem 2.53]. Proposton 7.4. (a) T s somorphc to the left mutaton µ + (b) T s a tltng Λ-module of projectve dmenson at most 1. (Λ) of Λ. Proof. We modfy the proof n [1]. Take a mnmal njectve copresentaton of S + : 0 S + D(e Λ) f I.

20 20 STEFFEN KOENIG AND DONG YANG Snce Ext 1 Λ (S,S + ) = Ext1 Λ/Λ(1 e )Λ (S,S + ) = 0, t follows that the njectve module I belongs to addd((1 e )Λ). Applyng the nverse Nakayama functor ν 1 modλ yelds an exact sequence P ν 1 modλ f ν 1 modλ I τ 1 modλ S+ Moreover, ν 1 modλ f s a mnmal left approxmaton of P n add(p j,j ). Snce the projectve dmenson of τ 1 modλ S+ s at most 1, t follows that ν 1 modλf s njectve. Ths completes the proof for (a). (b) follows from [1, Theorem 2.32] Smple-mnded collectons. Let X 1,...,X r be a smple-mnded collecton n C and fx = 1,...,r. Let X denote the extenson closure of X n C. Assume that for any j the object Σ 1 X j admts a mnmal left approxmaton g j : Σ 1 X j X j n X. Defnton 7.5. The left mutaton µ + (X 1,...,X r ) of X 1,...,X r at X s a new collecton X 1,...,X r such that X = ΣX and X j 0. (j ) s the cone of the above left approxmaton Σ 1 X j g j X j. Smlarly one defnes the rght mutaton µ (X 1,...,X r ). Ths generalses Kontsevch Sobelman s mutaton of sphercal collectons [38, Secton 8.1] and appeared n [35] n the case of derved categores of acyclc quvers. Proposton 7.6. (a) µ + µ (X 1,...,X r ) = (X 1,...,X r ) = µ µ + (X 1,...,X r ). (b) Assume that for any j the object Σ 1 X j admts a mnmal left approxmaton g j : Σ 1 X j X j n X, the nduced map Hom(g j,x ) : Hom(X j,x ) Hom(Σ 1 X j,x ) s njectve, the nduced map Hom(g j,σx ) : Hom(X j,σx ) Hom(Σ 1 X j,σx ) s njectve. Then the collecton µ + (X 1,...,X r ) s smple-mnded. (c) Assume that for any j the object X j admts a mnmal rght approxmaton g j : Σ 1 X j X j n Σ 1 X, the nduced map Hom(X,Σg j ) : Hom(X,X j ) Hom(X,ΣX j ) s njectve, the nduced map Hom(X,Σ 2 g j,) : Hom(X,ΣX j ) Hom(X,Σ 2 X j ) s njectve. Then the collecton µ (X 1,...,X r ) s smple-mnded. Proof. (a) Because n the trangle Σ 1 X j g j X j g j X j X j g j s a mnmal left approxmaton of Σ 1 X j n X f and only f g j s a mnmal rght approxmaton of X j n X = Σ 1 (ΣX ). (b) and (c) The proof uses long exact Hom sequences nduced from the defnng trangles of the X j. We leave t to the reader.

21 SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES 21 Remark 7.7. In the course of the proof of Proposton 7.6 (b) and (c), one notces that the collecton of endomorphsm algebras of the mutated smple-mnded collecton s the same as that of the gven smple-mnded collecton. If Hom(X,ΣX ) = 0, then X = add(x ). In ths case, all sx assumptons n Proposton 7.6 (b) and (c) are satsfed. Lemma 7.8. Let Λ be a fnte-dmensonal algebra and let X 1,...,X r be a smple-mnded collecton n D b (modλ). Let = 1,...,r. Then the left mutaton µ + (X 1,...,X r ) and the rght mutaton µ (X 1,...,X r ) are agan smple-mnded collectons. Proof. We wll show that the three assumptons n Proposton 7.6 (b) are satsfed, so the leftmutated collecton µ + (X 1,...,X r ) s a smple-mnded collecton. The case for µ (X 1,...,X r ) s smlar. By Proposton 5.4, X 1,...,X r are the smple objects n the heart of a bounded t-structure on D b (modλ). Moreover, by Corollary 6.2, the heart s equvalent to modγ for some fntedmensonal algebra Γ. We dentfy modγ wth the heart va ths equvalence. In ths way we consder X 1,...,X r as smple Γ-modules. By [8, Secton 3.1], there s a trangle functor real : D b (modγ) D b (modλ) such that restrcted to modγ, real s the dentty; for M,N modγ, the nduced map Ext 1 Γ (M,N) = Hom D b (modγ)(m,σn) Hom D b (modλ)(m,σn) s bjectve; for M,N modγ, the nduced map Ext 2 Γ(M,N) = Hom D b (modγ)(m,σ 2 N) Hom D b (modλ)(m,σ 2 N) s njectve. For j = 1,...,r, there s a short exact sequence 0 ΩX j P j X j 0, where P j s the projectve cover of X j and ΩX j s the frst syzygy of X j. Let X be the extenson closure of X n modγ (by the second property of real lsted n the precedng paragraph, ths s the same as the extenson closure of X n D b (modλ)) and let X j denote the maxmal quotent of ΩX j belongng to X. There s the followng push-out dagram 0 ΩX j P j X j 0 ξ : 0 X j X j X j 0

22 22 STEFFEN KOENIG AND DONG YANG (a) Suppose we are gven an object Y of X and a short exact sequence η : 0 Y Z X j 0. Then there s a commutatve dagram 0 ΩX j P j X j 0 η : 0 Y Z X j 0. Because X j s the maxmal quotent of ΩX j belongng to X, ths morphsm of short exact sequences factors through ξ. In other words, the morphsm g j : X j ΣX j correspondng to ξ s a mnmal left ΣX -approxmaton. (b) The dmenson of the space Hom D b (modλ)(σx j,σx ) = Hom Γ (X j,x ) over End(X ) equals the number of ndecomposable drect summands of top(x j ), whch clearly equals the dmenson of Ext 1 Γ (X j,x ) = Hom D b (modλ)(x j,σx ) over End(X ). Therefore the nduced map Hom(g j,σx ) : Hom D b (modλ)(σx j,σx ) Hom D b (modλ)(x j,σx ) s njectve snce by (a) t s surjectve. (c) Frst observe that the followng dagram s commutatve Hom D b (modλ)(σx j,σ 2 X ) Hom Λ(g j,σ 2 X ) Hom D b (modλ)(x j,σ 2 X ) real real Hom D b (modγ)(σx j,σ 2 Hom Γ (g j,σ 2 X ) X ) Hom D b (modγ)(x j,σ 2 X ) The left vertcal map s a bjecton and the rght vertcal map s njectve, so to prove the njectvty of Hom Λ (g j,σ 2 X ) t suffces to prove the njectvty of Hom Γ (g j,σ 2 X ). Wrtng Hom D b (modγ)(σx j,σ 2 X ) = Ext 1 Γ(X j,x ) = Hom Γ (ΩX j,x ) and Hom D b (modγ) (X j,σ 2 X ) = Ext 2 Γ (X j,x ) = Ext 1 Γ (ΩX j,x ) = Hom Γ (Ω 2 X j,x ), we see that Hom Γ (g j,σ 2 X ) s Hom Γ (α,x ), where α s defned by the followng commutatve dagram 0 Ω 2 X j P 0 ΩX j 0 α 0 ΩX j Q 0 X j 0, Here, P 0 and Q 0 are projectve covers of ΩX j and X j, respectvely, and γ s the canoncal quotent map. As the map γ s surjectve, the map β s a splt epmorphsm. By the snake lemma, there s an exact sequence ker(γ) cok(α) 0. Snce X j s the maxmal quotent of ΩX j n X, t follows that Hom Γ (ker(γ),x ) = 0, and hence Hom Γ (cok(α),x ) = 0. Therefore Hom Γ (α,x ) s njectve. β γ