Higher dimensional homological algebra

Size: px
Start display at page:

Download "Higher dimensional homological algebra"

Transcription

1 Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 5 3 d-cluster tilting subcategories 6 4 Higher Auslander Reiten translations 10 5 d-abelian categories 15 1

2 6 Higher Auslander Reiten sequences 19 7 (d + 2)-angulated categories 21 A A class of examples by Vaso 26 A.i The d-abelian category of Φ A.ii The (d + 2)-angulated category of Φ

3 1 Preface These are notes on higher dimensional homological algebra for the LMS CMI Research School New trends in representation theory The impact of cluster theory in representation theory, held at the University of Leicester June The notes take the view that d-abelian and (d + 2)-angulated categories, as introduced by Jasso and Geiss Keller Oppermann, are the natural framework for higher dimensional homological algebra. The theory of d-cluster tilting subcategories and higher Auslander Reiten theory are developed as means to this end. Many important parts of the theory are not covered: The higher Auslander correspondence, d-exact categories, d-frobenius categories, relative d-cluster tilting subcategories, etc. Appendix A describes a class of examples by Vaso. We do not describe any of the other examples which are known: Higher Auslander, Nakayama, and preprojective algebras, Iyama s cone construction, etc. In particular, we do not explain their rich combinatorial structure, which is one of the motivations for higher homological algebra. 3

4 None of the material in these notes is due to me. I have tried to give due credit for all definitions and results, but would be grateful to learn if there are missing, incomplete, or wrong attributions. I thank the organisers of the LMS CMI Research School, Karin Baur and Sibylle Schroll, for the opportunity to give a course, and for the chance to present these notes. I thank Gustavo Jasso for providing feedback on a preliminary version, and for providing a number of exercises. 4

5 2 Notation and Terminology Symbol Meaning d A positive integer Φ A finite dimensional C-algebra mod(φ) The category of finite dimensional right Φ-modules mod(φ) mod(φ) modulo morphisms which factor through a projective mod(φ) mod(φ) modulo morphisms which factor through an injective mod(φ op ), mod(φ op ), mod(φ op ) The same for left Φ-modules F mod(φ) A d-cluster tilting subcategory F F modulo morphisms which factor through a projective F F modulo morphisms which factor through an injective D( ) Hom C (, C) ( ) Hom Φ (, Φ) if is a Φ-module Tr d The d th higher transpose τ d = D Tr d The d-auslander Reiten translation τ d = Tr d D The inverse d-auslander Reiten translation 5

6 3 d-cluster tilting subcategories Definition 3.1. Let A be a category, F A a full subcategory. Then F is called: (i) Generating if each a A permits an epimorphism f a with f F, (ii) Cogenerating if each a A permits a monomorphism a f with f F. Definition 3.2 (Enochs [1]). Let A be a category, F A a full subcategory. A morphism a α f in A with f F is called: An F -preenvelope of a if it has the extension property a α f f for each morphism a f with f F. An F -envelope of a if it is an F -preenvelope which is left minimal, that is, satisfies that each morphism f ϕ f with ϕα = α is an automorphism. 6

7 We say that F is preenveloping (resp. enveloping) in A if each a A has an F -preenvelope (resp. envelope). The dual notion of preenvelope is precover, and F is called functorially finite if it is preenveloping and precovering. Definition 3.3 (Iyama [3, def. 2.2], Jasso [5, def. 3.14]). Let A be an abelian or triangulated category. A d-cluster tilting subcategory F of A is a full subcategory which satisfies the following. (i) F = {a A Ext 1..d 1 (F, a) = 0} = {a A Ext 1..d 1 (a, F ) = 0}. (ii) F is functorially finite. (iii) If A is abelian then F is generating and cogenerating. A d-cluster tilting object f of A is an object f such that F = add(f) is a d-cluster tilting subcategory. Remark 3.4. If p A is projective, then 3.3(i) implies p F. Similarly, if i A is injective, then i F. Hence if A has enough projectives and injectives, then 3.3(i) implies 3.3(iii). 7

8 Definition 3.5. Let A be an abelian category, F a full subcategory. An augmented left F -resolution of a A is a sequence f 2 f 1 f 0 a 0 with f i F for each i, which becomes exact under A (f, ) for each f F. Then f 2 f 1 f 0 0 is called a left F -resolution of a. The resolutions are said to have length n if f j = 0 for j n + 1. (Augmented) right resolutions are defined dually. Proposition 3.6 (Iyama [3, prop ]). Let A be an abelian category, F mod(φ) a d-cluster tilting subcategory. Then each a A has (augmented) left and right F -resolutions of length d 1. Proof. We give a proof for left resolutions in the special case d = 2. There is an F -precover f ϕ a by Definition 3.3(ii), and ϕ is an epimorphism by Exercise 3.7. Hence there is a short exact sequence 8

9 0 k f sequence ϕ a 0. If f F then there is a long exact 0 Hom Φ ( f, k) Hom Φ ( f, f) ϕ Hom Φ ( f, a) (1) Ext 1 Φ( f, k) Ext 1 Φ( f, f). Here ϕ is surjective since ϕ is an F -precover and Ext 1 Φ( f, f) = 0 by Definition 3.3(i) whence Ext 1 Φ( f, k). This shows k F. It also shows that 0 Hom Φ ( f, k) Hom Φ ( f, f) Hom Φ ( f, a) 0 is exact for each f F whence 0 k f a 0 is an augmented left F -resolution of a. Exercise 3.7. Let A be an abelian category, F a full subcategory. (i) Show that if F is generating, then each F -precover is an epimorphism. (ii) Show that if F is cogenerating, then each F -preenvelope is a monomorphism. Exercise 3.8. Let R be a commutative ring, A an R-linear Hom-finite Krull Schmidt category, F a full subcategory closed under sums and summands. Show that if F has only finitely many isomorphism classes of indecomposable objects, then it is functorially finite. Exercise 3.9. Let A be an abelian category, F a full subcategory. Show that if F is precovering, then each a A has an augmented left F -resolution which can be obtained as follows: Set k 1 = a. Suppose k i has been defined. Pick an F -precover f j+1 k j and complete to a left exact sequence 0 k j+1 f j+1 k j. Exercise Prove Proposition 3.6 in general. 9

10 4 Higher Auslander Reiten translations Definition 4.1 (Iyama [3, 1.4.1]). Let m mod(φ) have the augmented projective resolution p 2 p 1 p 0 m 0. The d th higher transpose of m is Tr d (m) = Coker(p d 1 p d ). The d-auslander Reiten translation of m and the inverse d-auslander Reiten translation of m are τ d (m) = D Tr d (m), τ d (m) = Tr d D(m). Proposition 4.2. There are functors mod(φ) Tr d mod(φ op ) and mod(φ) τ d τ d mod(φ). Lemma 4.3. Let F mod(φ) be a d-cluster tilting subcategory. Let f F have the augmented projective resolution p 2 p 1 p 0 f 0. 10

11 Then Tr d (f) has an augmented projective resolution which begins p 0 p 1 p d 1 p d Tr d (f) 0, (2) and τ d (f) has an augmented injective resolution which begins 0 τ d (f) D(p d ) D(p d 1) D(p 1 ) D(p 0 ). Proof. Each module p j = Hom Φ(p j, Φ) is projective. The last part of the augmented projective resolution, p d 1 p d Tr d (f) 0, is exact by the definition of Tr d (f). If 1 j d 1 then the homology of (2) at p j is Ext j Φ (f, Φ) by definition, and this Ext is 0 since f, Φ F. The augmented injective resolution is obtained by dualising the augmented projective resolution. Lemma 4.4. For m, p mod(φ) with p projective, there is a natural isomorphism Hom Φ ( m, D(p ) ) = DHomΦ (p, m). 11

12 Proof. We can compute as follows, using tensor-hom adjointness (a) and an evaluation morphism (b). Hom Φ ( m, D(p ) ) = HomΦ ( m, Hom C ( HomΦ (p, Φ), C )) (a) ( = HomC m Hom Φ (p, Φ), C ) Φ (b) ( = HomC HomΦ (p, m Φ), C ) Φ ( = HomC HomΦ (p, m), C ) = DHom Φ (p, m). Theorem 4.5 (Iyama [3, thm. 2.3]). Let F mod(φ) be a d- cluster tilting subcategory. The τ d and τ d map F to itself. Proof. We show the statement for τ d. Let f, f F and 1 j d 1 be given. Lemma 4.3 gives an injective resolution of τ d (f). Applying Hom Φ (f, ) gives a complex which computes the Ext j Φ( f, τ d (f) ). By Lemma 4.4, the complex is isomorphic to the following. DHom Φ (p d, f ) DHom Φ (p 0, f ) 0 12

13 The homology at DHom Φ (p j, f ) is DExt j Φ (f, f ) by definition, and this Ext is zero since f, f F. Hence Ext j Φ( f, τ d (f) ) = 0 whence τ d (f) F since f F and 1 j d 1 are arbitrary. Theorem 4.6 (Iyama [3, thm. 2.3]). Let F mod(φ) be a d- cluster tilting subcategory. There are quasi-inverse equivalences F τ d τ d F. Proof. Combine Proposition 4.2 and Theorem 4.5 to get the existence of the functors. It is a separate argument to show that they are quasi-inverse to each other. Definition 4.7 (Iyama Oppermann [4, def. 2.2]). The algebra Φ is called d-representation finite if gldim(φ) d and Φ has a d-cluster tilting object. Theorem 4.8 (Iyama). If Φ is d-representation finite, then mod(φ) has the unique d-cluster tilting subcategory F = add{ τ j d (i) i injective in mod(φ) and 0 j }. Exercise 4.9. Prove Proposition 4.2. Exercise Show that a d-representation finite algebra has global dimension 0 or d. 13

14 Exercise Let Φ be the path algebra of the following quiver with the indicated relation. Show that Φ is 2-representation finite. Exercise Let Φ be the path algebra of the following quiver with the indicated relations. Show that Φ is 2-representation finite. 14

15 5 d-abelian categories Definition 5.1 (Jasso [5, defs. 2.2 and 2.4]). Let F be an additive category. (i) A diagram f d+1 f 2 f 1 is a d-kernel of a morphism f 1 f 0 if 0 f d+1 f 2 f 1 f 0 becomes an exact sequence under F ( f, ) for each f F. (ii) A diagram f d f d 1 f 0 is a d-cokernel of a morphism f d+1 f d if f d+1 f d f d 1 f 0 0 becomes an exact sequence under F (, f) for each f F. (iii) A d-exact sequence is a diagram f d+1 f d f d 1 f 2 f 1 f 0 such that f d+1 f 2 f 1 is a d-kernel of f 1 f 0 and f d f d 1 f 0 is a d-cokernel of f d+1 f d. 15

16 Remark 5.2. A d-exact sequence is often written 0 f d+1 f d f d 1 f 2 f 1 f 0 0. (3) This is motived by Exercise 5.7. Definition 5.3 (Jasso [5, def. 3.1]). An additive category F is called d-abelian if it satisfies the following: (A0) F has split idempotents. (A1) Each morphism in F has a d-kernel and a d-cokernel. (A2) If f d+1 f d is a monomorphism which has a d-cokernel f d f 0, then 0 f d+1 f d f 0 0 is a d-exact sequence. (A2 op ) The dual of (A2). Conditions (A2) and (A2 op ) can be replaced with: (A2 ) If f d+1 f d is a monomorphism, then there exists a d-exact sequence f d+1 f d f 0. 16

17 (A2 op ) The dual of (A2 ). Remark 5.4. The notions of 1-kernel, 1-cokernel, 1-exact sequence, and 1-abelian category coincide with the notions of kernel, cokernel, short exact sequence, and abelian category. Theorem 5.5 (Jasso [5, thm. 3.16]). If F is a d-cluster tilting subcategory of an abelian category A, then F is d-abelian. Remark 5.6. We will not prove Theorem 5.5, but will explain how to obtain d-kernels and d-cokernels in F : ϕ Let f 1 1 f0 be a morphism in F. Viewed as a morphism in A, is has a kernel k left F -resolution κ f 1. By Proposition 3.6 there is an augmented 0 f d+1 f 2 ε k 0. Then f d+1 f 2 κε f 1 is a d-kernel of ϕ 1. ϕ d+1 Let f d+1 f d be a morphism in F. Viewed as a morphism in A, ϕ is has a cokernel f d c. By Proposition 3.6 there is an augmented 17

18 right F -resolution 0 c γ f d 1 f 0 0. Then f d γϕ f d 1 f 0 is a d-cokernel of ϕ d+1. Exercise 5.7. (i) Let f d+1 f 2 f 1 be a d-kernel of f 1 f 0. Show that f d+1 f d is a monomorphism. (ii) Let f d f d 1 f 0 be a d-cokernel of f d+1 f d. Show that f 1 f 0 is an epimorphism. Exercise 5.8. (i) Show that 1-kernel means kernel. (ii) Show that 1-cokernel means cokernel. (iii) Show that 1-exact sequence means short exact sequence. (iv) Show that 1-abelian category means abelian category. Exercise 5.9. Show that the d-kernels and d-cokernels constructed in Remark 5.6 have the properties required by Definition 5.1. Exercise (i) Show that kernels and cokernels (=1-kernels and 1-cokernels) are unique up to unique isomorphism. (ii) Give an example to show that if d 2, then d-kernels and d-cokernels are not unique up to isomorphism. 18

19 6 Higher Auslander Reiten sequences Definition 6.1. Let F be a category. ϕ (i) A morphism f 1 1 f0 is a split epimorphism if it has a right ϕ inverse, that is, if there is a morphism f 0 0 f1 such that ϕ 1 ϕ 0 = id f0. ϕ (ii) A morphism f 1 1 f0 is right almost split if it is not a split epimorphism and has the lifting property f f 1 ϕ 1 f 0 for each morphism f f 0 which is not a split epimorphism. ϕ (iii) A morphism f 1 1 f0 is right minimal if each morphism ϕ f 1 with ϕ 1 ϕ = ϕ 1 is an isomorphism. f 1 There are dual notions of split monomorphism, left almost split morphism, and left minimal morphism. The notion of d-auslander Reiten sequences is due to Iyama, see [3]. The following version of the definition is due to Jasso and Kvamme. 19

20 Definition 6.2 ([6, def. 5.3]). A d-auslander Reiten sequence in a d-abelian category F is a d-exact sequence ϕ d+1 0 f d+1 fd ϕ d ϕ d 1 ϕ 3 ϕ 2 ϕ 1 fd 1 f2 f1 f0 0 (4) such that ϕ d+1 if left almost split and left minimal, ϕ 1 is right almost split and right minimal, and ϕ d,..., ϕ 2 are in the radical of F. Theorem 6.3 ([3, thm ]). Let F mod(φ) be a d-cluster tilting subcategory. (i) For each non-projective indecomposable object f 0 F, there exists a d-auslander Reiten sequence (4) in F. (ii) For each non-injective indecomposable object f d+1 F, there exists a d-auslander Reiten sequence (4) in F. (iii) If (4) is a d-auslander Reiten sequence in F, then f d+1 = τ d (f 0 ) and f 0 = τ d (f d+1). 20

21 7 (d + 2)-angulated categories Definition 7.1 (Geiss Keller Oppermann [2, def. 2.1]). Let C be an additive category with an automorphism Σ d. The inverse is denoted Σ d, but Σ d is not assumed to be a power of another functor. A Σ d -sequence in C is a diagram of the form c 0 γ 0 c 1 c 2 c d d+1 γd+1 c Σ d (c 0 ). (5) Definition 7.2 (Geiss Keller Oppermann [2, def. 2.1]). A (d + 2)- angulated category is a triple (C, Σ d, ) where is a class of Σ d - sequences, called (d + 2)-angles, satisfying the following conditions. (N1) is closed under sums and summands and contains c id c c Σ d (c) for each c C. For each morphism c 0 γ 0 c 1 in C, the class contains a Σ d -sequence of the form (5). (N2) The Σ d -sequence (5) is in if and only if so is its left rotation c 1 c 2 d+1 γd+1 c Σ d (c 0 ) ( 1)d Σ d (γ 0 ) Σ d (c 1 ). 21

22 (N3) A commutative diagram with rows in has the following extension property. b 0 β 0 b 1 b 2 b d 1 b d b d+1 Σ d (b 0 ) c 0 c 1 c 2 c d 1 c d c d+1 Σ d (c 0 ) (N4) The octahedral axiom (the following version of the axiom is equivalent to the one in [2] by [7, thm. 2.2]): A commutative diagram with rows in has the following extension property, ξ x ξ y ζ x υ a 2 z b 2 a 3 b 3 a d b d a d+1 b d+1 Σ d (x) Σ d (x) Σ d (ξ) y υ z c 2 c 3 c d c d+1 δ Σ d (y), where each upright square is commutative and the totalisation a 2 a 3 b 2 a 4 b 3 c 2 a d+1 b d c d 1 b d+1 c d c d+1 Σd (ζ)δ Σ d (a 2 ) Σ d (β 0 ) is a (d + 2)-angle. 22

23 The following is a sample of what can be concluded from the definition. Proposition 7.3 (Geiss Keller Oppermann [2, prop. 2.5(a)]). Let (C, Σ d, ) be a (d+2)-angulated category, c C an object. Each (d + 2)-angle (5) induces long exact sequences C ( c, Σ d (c d+1 ) ) C (c, c 0 ) C (c, c d+1 ) C ( c, Σ d (c 0 ) ) and C ( Σ d (c 0 ), c ) C (c d+1, c) C (c 0, c) C ( Σ d (c d+1 ), c ). We would like to be able to obtain (d + 2)-angulated categories from d-abelian categories: Question 7.4 (The higher derived category problem). Let F be a suitable d-abelian category. Does there exist a d-derived category of F, in the sense that there is a (d + 2)-angulated category C with the following properties? (i) C contains F as an additive subcategory. (ii) Each d-exact sequence (3) in F induces a (d + 2)-angle (5) in C. (iii) We have Ext di F(f, f ) = C ( f, (Σ d ) i (f ) ) where i 0 is an integer and f, f F. The Ext group is defined by means of Yoneda extensions. 23

24 (iv) Each d-exact sequence in F induces two long exact sequences of Ext-groups (note that this is only true for suitable F ). Each (d + 2)-angle in C induces the long exact sequences in Proposition 7.3. The long exact sequences are identified under the isomorphisms in (iii). However, the answer to Question 7.4 is unknown. Here is a method we do have for obtaining (d + 2)-angulated categories: Theorem 7.5 (Geiss Keller Oppermann [2, thm. 1]). Let D be a triangulated category with suspension functor Σ. Let C be a d-cluster tilting subcategory of D which satisfies Σ d (C ) C. Then (C, Σ d, ) is a (d+2)-angulated category, where consists of all Σ d -sequences (5) which can be obtained from diagrams of the form c 1 c 2 c d 1 c d c 0 x 1.5 x 2.5 A wavy arrow x x d 0.5 c d+1. y signifies a morphism x Σ(y), and the d+1 γd+1 composition of the wavy arrows is c Σ d (c 0 ) in (5). Each oriented triangle is a triangle in D, and each non-oriented triangle is commutative. 24

25 This permits answering Question 7.4 in a special case: Theorem 7.6 (Iyama). Let Φ be a d-representation finite algebra, and let F be the unique d-cluster tilting subcategory of mod(φ), cf. Theorem 4.8. Then F has a d-derived category C in the sense of Question 7.4. Remark 7.7. What Iyama in fact proved is that the subcategory C = add{ Σ dj f j Z, f F } D b (mod Φ) is d-cluster tilting. It clearly satisfies Σ d (C ) C, so is (d + 2)- angulated by Theorem 7.5. It is also clear that C has property (i) in Question 7.4, and it can be proved that it satisfies (ii) (iv) as well. Exercise 7.8. Prove Proposition

26 A A class of examples by Vaso All the results in this appendix are due to Vaso, see [8, sec. 4]. Definition A.1. Let d 2, l 2, m 3 be integers such that m 1 l = d 2 and such that d is even if l > 2. Let Q be the quiver m m In this section we set Φ = CQ/(rad CQ) l. Equivalently, Φ is the path algebra of the quiver Q with the relations that l consecutive arrows compose to zero. Remark A.2. The indecomposable projective and injective modu- 26

27 les in mod(φ), shown as representations of Q, are the following. f 1 = C f 2 = C C. projective f l 1 = C C }{{} l 1 f l = C C C }{{} f l+1 = C C C 0 }{{} l. f m 1 = 0 C C C }{{} l f m = C C C }{{} l f m+1 = C C }{{} l 1. f m+l 2 = C C f m+l 1 = C Among them, the indecomposable projective modules are l projectiveinjective injective f i = e i Φ for 1 i m where e i is the idempotent corresponding to the vertex i in Q. The 27

28 f i appear in the Auslander Reiten quiver of mod(φ) as follows. f 1 f 2 f l 1 f l f l f m 1 f m f m f m+l 2 f m+l 1 It will be convenient to set f i = 0 if i 0 or i m + l. A.i The d-abelian category of Φ The following result shows that there is a canonical d-abelian category F associated to Φ, cf. Theorem 4.8. Theorem A.3. The algebra Φ is d-representation finite. The unique d-cluster tilting subcategory of mod(φ) is F = add(φ DΦ) = add { f i 1 i m + l 1 }. Example A.4. d = 4, l = 4, m = 9. f 1 f 2 f 3 f 4 a f 5 f 6 b f 7 f 8 c f 9 f 10 f 11 f 12 28

29 There is a short exact sequence and similarly 0 f 1 = C f 4 = C C C C a = C C C 0 0, 0 a f 5 b 0, 0 b f 8 c 0, 0 c f 9 f The short exact sequences can be spliced to give augmented F - resolutions of a, b, and c in the sense of Definition f 1 f 4 a 0, 0 f 1 f 4 f 5 b 0, 0 f 1 f 4 f 5 f 8 c 0. The short exact sequences can also be spliced to an exact sequence 0 f 1 f 4 f 5 f 8 f 9 f 12 0 which is a 4-exact sequence in F, see Definition 5.1. In particular, several 4-kernels and 4-cokernels can be read off. Observe that a 29

30 4-kernel does not necessarily have 4 non-zero objects; for instance, 0 0 f 1 f 4 f 5 is a 4-kernel of f 5 f 8. Proposition A.5. (i) We have dim C Hom Φ (f i, f j ) = { 1 if 0 j i l 1, 0 otherwise, (ii) If i q j then each morphism f i f j factors through f q. (iii) The quiver of F is f 1 f 2 f 3 f m+l 3 f m+l 2 f m+l 1 where the composition of l consecutive arrows is zero. (iv) If 0 j i l 1 then each non-zero morphism f i f j fits into an exact sequence f j l f i f j f i+l. Remark A.6. Part (iii) is immediate from parts (i) and (ii). Part (iv) implies that if j l 1, then f i f j is an injection because f j l = 0. Similarly, if i m then f i f j is a surjection because f i+l = 0. 30

31 Proposition A.7. If 0 j i l 1 then there is an exact sequence f i l f j l f i f j f i+l f j+l. Proof. Iterate Proposition A.5(iv). Remark A.8. We can follow the sequence in Proposition A.7 left or right until we reach a zero module. This gives a d-kernel or a d-cokernel of f i f j. Proposition A.9. We have τ d (f j ) = { 0 if 1 j m, f j m if m + 1 j m + l 1. Proof. If 1 j m then f j is projective whence τ d (f j ) = 0. Suppose m + 1 j m + l 1. There is a surjection f m f j which fits into an exact sequence from Proposition A.7: f m 2l f j 2l }{{} 2 f m l f j l }{{} 1 f m f j }{{} 0 0. The numbered brackets are useful for bookkeeping. Since m 1 l = d 2 31

32 we have m d 2l = 1, so on the left the sequence contains which can also be written 0 f 1 f j d 2 l }{{} d 2 0 f 1 f }{{ j+1 m }. (6) d 2 The exact sequence is an augmented projective resolution of f j because each term except f j is projective. The non-zero terms in Equation (6) are p d p d 1. We can write them e 1 Φ e j+1 m Φ. Applying ( ) and augmenting with the cokernel gives an exact sequence Φe j+1 m Φe 1 Tr d (f j ) 0. These left modules can be viewed as representations of the quiver Q op = m m Then Φe j+1 m is supported on the vertices j + 1 m through m while Φe 1 is supported on the vertices 1 through m. Hence Tr d (f j ) is 32

33 supported on the vertices 1 through j m. This finally means that τ d (f j ) = DTr d (f j ), viewed as a representation of Q, is supported on the same vertices, 1 through j m, and hence τ d (f j ) = e j m Φ = f j m. Proposition A.10. If m + 1 j m + l 1 then the d- Auslander Reiten sequence ending in f j is 0 f j m f j+1 m f j 1 l f j l f j 1 f j 0. A.ii The (d + 2)-angulated category of Φ Combining Remark 7.7 and Theorem A.3 shows that C = add{ Σ dj f j Z, f F } D b (mod Φ) is a (d + 2)-angulated category which can be viewed as the d-derived category of the d-abelian category F from Subsection A.i. Proposition A.11. (i) Up to isomorphism, the indecomposable objects of C are the Σ dj f i where i, j are integers with 1 i m + l 1. 33

34 (ii) The quiver of C is Σ d f 1 Σ d f m+l 1 f 1 f m+l 1 Σ d f 1 Σ d f m+l 1 where the composition of l consecutive arrows is zero. Exercise A.12. Prove Proposition A.5. Exercise A.13. Show that the sequence in Proposition A.10 is indeed a d-auslander Reiten sequence. Exercise A.14. Prove Proposition A.11. References [1] E. E. Enochs, Injective and flat covers, envelopes and resolvents, Israel J. Math. 39 (1981), [2] C. Geiss, B. Keller, and S. Oppermann, n-angulated categories, J. Reine Angew. Math. 675 (2013), [3] O. Iyama, Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv. Math. 210 (2007), [4] O. Iyama and S. Oppermann, n-representation-finite algebras and n-apr tilting, Trans. Amer. Math. Soc. 363 (2011),

35 [5] G. Jasso, n-abelian and n-exact categories, Math. Z. 283 (2016), [6] G. Jasso and S. Kvamme, An introduction to higher Auslander Reiten theory, preprint (2016). math.rt/ v1 [7] Z. Lin and Y. Zheng, Homotopy cartesian diagrams in n- angulated categories, preprint (2016). math.rt/ v1 [8] L. Vaso, n-cluster tilting subcategories of representation-directed algebras, preprint (2017). math.rt/ v1 35

Higher dimensional homological algebra

Higher dimensional homological algebra Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 6 3 d-cluster tilting subcategories 7 4 Higher Auslander Reiten translations 12 5 d-abelian categories

More information

WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES

WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,

More information

TORSION CLASSES AND t-structures IN HIGHER HOMOLOGICAL ALGEBRA. 0. Introduction

TORSION CLASSES AND t-structures IN HIGHER HOMOLOGICAL ALGEBRA. 0. Introduction TORSION CLASSES AND t-structures IN HIGHER HOMOLOGICAL ALGEBRA PETER JØRGENSEN Abstract. Higher homological algebra was introduced by Iyama. It is also known as n-homological algebra where n 2 is a fixed

More information

Extensions of covariantly finite subcategories

Extensions of covariantly finite subcategories Arch. Math. 93 (2009), 29 35 c 2009 Birkhäuser Verlag Basel/Switzerland 0003-889X/09/010029-7 published online June 26, 2009 DOI 10.1007/s00013-009-0013-8 Archiv der Mathematik Extensions of covariantly

More information

Relative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang

Relative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang Relative Left Derived Functors of Tensor Product Functors Junfu Wang and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, China Abstract We introduce and

More information

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS J. Aust. Math. Soc. 94 (2013), 133 144 doi:10.1017/s1446788712000420 TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS ZHAOYONG HUANG and XIAOJIN ZHANG (Received 25 February

More information

Gorenstein Homological Algebra of Artin Algebras. Xiao-Wu Chen

Gorenstein Homological Algebra of Artin Algebras. Xiao-Wu Chen Gorenstein Homological Algebra of Artin Algebras Xiao-Wu Chen Department of Mathematics University of Science and Technology of China Hefei, 230026, People s Republic of China March 2010 Acknowledgements

More information

Special Precovered Categories of Gorenstein Categories

Special Precovered Categories of Gorenstein Categories Special Precovered Categories of Gorenstein Categories Tiwei Zhao and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 9, Jiangsu Province, P. R. China Astract Let A e an aelian category

More information

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Department of Mathematics, Shanghai Jiao Tong University Shanghai , P. R.

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Department of Mathematics, Shanghai Jiao Tong University Shanghai , P. R. A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai Jiao Tong University Shanghai 200240, P. R. China Since Eilenberg and Moore [EM], the relative homological

More information

STABLE MODULE THEORY WITH KERNELS

STABLE MODULE THEORY WITH KERNELS Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite

More information

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Shanghai , P. R. China

A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Shanghai , P. R. China A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai 200240, P. R. China Shanghai Jiao Tong University Since Eilenberg and Moore [EM], the relative homological

More information

Dedicated to Helmut Lenzing for his 60th birthday

Dedicated to Helmut Lenzing for his 60th birthday C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,

More information

Applications of exact structures in abelian categories

Applications of exact structures in abelian categories Publ. Math. Debrecen 88/3-4 (216), 269 286 DOI: 1.5486/PMD.216.722 Applications of exact structures in abelian categories By JUNFU WANG (Nanjing), HUANHUAN LI (Xi an) and ZHAOYONG HUANG (Nanjing) Abstract.

More information

RELATIVE HOMOLOGY. M. Auslander Ø. Solberg

RELATIVE HOMOLOGY. M. Auslander Ø. Solberg RELATIVE HOMOLOGY M. Auslander Ø. Solberg Department of Mathematics Institutt for matematikk og statistikk Brandeis University Universitetet i Trondheim, AVH Waltham, Mass. 02254 9110 N 7055 Dragvoll USA

More information

Gorenstein algebras and algebras with dominant dimension at least 2.

Gorenstein algebras and algebras with dominant dimension at least 2. Gorenstein algebras and algebras with dominant dimension at least 2. M. Auslander Ø. Solberg Department of Mathematics Brandeis University Waltham, Mass. 02254 9110 USA Institutt for matematikk og statistikk

More information

HOMOLOGICAL PROPERTIES OF MODULES OVER DING-CHEN RINGS

HOMOLOGICAL PROPERTIES OF MODULES OVER DING-CHEN RINGS J. Korean Math. Soc. 49 (2012), No. 1, pp. 31 47 http://dx.doi.org/10.4134/jkms.2012.49.1.031 HOMOLOGICAL POPETIES OF MODULES OVE DING-CHEN INGS Gang Yang Abstract. The so-called Ding-Chen ring is an n-fc

More information

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES

NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,

More information

arxiv:math/ v1 [math.rt] 26 Jun 2006

arxiv:math/ v1 [math.rt] 26 Jun 2006 arxiv:math/0606647v1 [math.rt] 26 Jun 2006 AUSLANDER-REITEN TRIANGLES IN SUBCATEGORIES PETER JØRGENSEN Abstract. This paper introduces Auslander-Reiten triangles in subcategories of triangulated categories.

More information

ON THE RELATION BETWEEN CLUSTER AND CLASSICAL TILTING. 0. Introduction

ON THE RELATION BETWEEN CLUSTER AND CLASSICAL TILTING. 0. Introduction ON THE RELATION BETWEEN CLUSTER AND CLASSICAL TILTING THORSTEN HOLM AND PETER JØRGENSEN Abstract. Let D be a triangulated category with a cluster tilting subcategory U. The quotient category D/U is abelian;

More information

The Diamond Category of a Locally Discrete Ordered Set.

The Diamond Category of a Locally Discrete Ordered Set. The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a

More information

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki

AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS. Piotr Malicki AUSLANDER-REITEN THEORY FOR FINITE DIMENSIONAL ALGEBRAS Piotr Malicki CIMPA, Mar del Plata, March 2016 3. Irreducible morphisms and almost split sequences A algebra, L, M, N modules in mod A A homomorphism

More information

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension

More information

AUSLANDER-REITEN THEORY VIA BROWN REPRESENTABILITY

AUSLANDER-REITEN THEORY VIA BROWN REPRESENTABILITY AUSLANDER-REITEN THEORY VIA BROWN REPRESENTABILITY HENNING KRAUSE Abstract. We develop an Auslander-Reiten theory for triangulated categories which is based on Brown s representability theorem. In a fundamental

More information

ON SPLIT-BY-NILPOTENT EXTENSIONS

ON SPLIT-BY-NILPOTENT EXTENSIONS C O L L O Q U I U M M A T H E M A T I C U M VOL. 98 2003 NO. 2 ON SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM ASSEM (Sherbrooke) and DAN ZACHARIA (Syracuse, NY) Dedicated to Raymundo Bautista and Roberto

More information

Auslander-Reiten-quivers of functorially finite subcategories

Auslander-Reiten-quivers of functorially finite subcategories Auslander-Reiten-quivers of functorially finite subcategories Matthias Krebs University of East Anglia August 13, 2012 Preliminaries Preliminaries Let K be an algebraically closed field, Preliminaries

More information

CLUSTER-TILTED ALGEBRAS ARE GORENSTEIN AND STABLY CALABI-YAU

CLUSTER-TILTED ALGEBRAS ARE GORENSTEIN AND STABLY CALABI-YAU CLUSTER-TILTED ALGEBRAS ARE GORENSTEIN AND STABLY CALABI-YAU BERNHARD KELLER AND IDUN REITEN Abstract. We prove that in a 2-Calabi-Yau triangulated category, each cluster tilting subcategory is Gorenstein

More information

Dimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu

Dimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu Dimension of the mesh algebra of a finite Auslander-Reiten quiver Ragnar-Olaf Buchweitz and Shiping Liu Abstract. We show that the dimension of the mesh algebra of a finite Auslander-Reiten quiver over

More information

ON MINIMAL APPROXIMATIONS OF MODULES

ON MINIMAL APPROXIMATIONS OF MODULES ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAORÍN Let R be a ring and consider the category ModR of (right) R-modules. Given a class C of R-modules, a morphism M N in Mod R is called

More information

REFLECTING RECOLLEMENTS. A recollement of triangulated categories S, T, U is a diagram of triangulated

REFLECTING RECOLLEMENTS. A recollement of triangulated categories S, T, U is a diagram of triangulated REFLECTING RECOLLEMENTS PETER JØRGENSEN Abstract. A recollement describes one triangulated category T as glued together from two others, S and. The definition is not symmetrical in S and, but this note

More information

A note on standard equivalences

A note on standard equivalences Bull. London Math. Soc. 48 (2016) 797 801 C 2016 London Mathematical Society doi:10.1112/blms/bdw038 A note on standard equivalences Xiao-Wu Chen Abstract We prove that any derived equivalence between

More information

GORENSTEIN DIMENSIONS OF UNBOUNDED COMPLEXES AND CHANGE OF BASE (WITH AN APPENDIX BY DRISS BENNIS)

GORENSTEIN DIMENSIONS OF UNBOUNDED COMPLEXES AND CHANGE OF BASE (WITH AN APPENDIX BY DRISS BENNIS) GORENSTEIN DIMENSIONS OF UNBOUNDED COMPLEXES AND CHANGE OF BASE (WITH AN APPENDIX BY DRISS BENNIS) LARS WINTHER CHRISTENSEN, FATIH KÖKSAL, AND LI LIANG Abstract. For a commutative ring R and a faithfully

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

More information

Stable equivalence functors and syzygy functors

Stable equivalence functors and syzygy functors Stable equivalence functors and syzygy functors Yosuke OHNUKI 29 November, 2002 Tokyo University of Agriculture and Technology, 2-24-16 Nakacho, Koganei, Tokyo 184-8588, Japan E-mail: ohnuki@cc.tuat.ac.jp

More information

RECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES

RECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES RECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES DONG YANG Abstract. In this note I report on an ongoing work joint with Martin Kalck, which generalises and improves a construction

More information

ON sfp-injective AND sfp-flat MODULES

ON sfp-injective AND sfp-flat MODULES Gulf Journal of Mathematics Vol 5, Issue 3 (2017) 79-90 ON sfp-injective AND sfp-flat MODULES C. SELVARAJ 1 AND P. PRABAKARAN 2 Abstract. Let R be a ring. A left R-module M is said to be sfp-injective

More information

Correct classes of modules

Correct classes of modules Algebra and Discrete Mathematics Number?. (????). pp. 1 13 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Correct classes of modules Robert Wisbauer Abstract. For a ring R, call a class C

More information

REALISING HIGHER CLUSTER CATEGORIES OF DYNKIN TYPE AS STABLE MODULE CATEGORIES. 1. Introduction

REALISING HIGHER CLUSTER CATEGORIES OF DYNKIN TYPE AS STABLE MODULE CATEGORIES. 1. Introduction REALISING HIGHER CLUSTER CATEGORIES OF DYNKIN TYPE AS STABLE MODULE CATEGORIES THORSTEN HOLM AND PETER JØRGENSEN Abstract. We show that the stable module categories of certain selfinjective algebras of

More information

ABSOLUTELY PURE REPRESENTATIONS OF QUIVERS

ABSOLUTELY PURE REPRESENTATIONS OF QUIVERS J. Korean Math. Soc. 51 (2014), No. 6, pp. 1177 1187 http://dx.doi.org/10.4134/jkms.2014.51.6.1177 ABSOLUTELY PURE REPRESENTATIONS OF QUIVERS Mansour Aghasi and Hamidreza Nemati Abstract. In the current

More information

FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO

FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO FILTRATIONS IN ABELIAN CATEGORIES WITH A TILTING OBJECT OF HOMOLOGICAL DIMENSION TWO BERNT TORE JENSEN, DAG MADSEN AND XIUPING SU Abstract. We consider filtrations of objects in an abelian category A induced

More information

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules

More information

2 HENNING KRAUSE AND MANUEL SAOR IN is closely related is that of an injective envelope. Recall that a monomorphism : M! N in any abelian category is

2 HENNING KRAUSE AND MANUEL SAOR IN is closely related is that of an injective envelope. Recall that a monomorphism : M! N in any abelian category is ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAOR IN Let R be a ring and consider the category Mod R of (right) R-modules. Given a class C of R-modules, a morphism M! N in Mod R is called

More information

A functorial approach to modules of G-dimension zero

A functorial approach to modules of G-dimension zero A functorial approach to modules of G-dimension zero Yuji Yoshino Math. Department, Faculty of Science Okayama University, Okayama 700-8530, Japan yoshino@math.okayama-u.ac.jp Abstract Let R be a commutative

More information

arxiv:math/ v2 [math.rt] 9 Feb 2004

arxiv:math/ v2 [math.rt] 9 Feb 2004 CLUSTER-TILTED ALGEBRAS ASLAK BAKKE BUAN, ROBERT J. MARSH, AND IDUN REITEN arxiv:math/040075v [math.rt] 9 Feb 004 Abstract. We introduce a new class of algebras, which we call cluster-tilted. They are

More information

On the Existence of Gorenstein Projective Precovers

On the Existence of Gorenstein Projective Precovers Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society On the Existence of Gorenstein Projective Precovers Javad Asadollahi

More information

SPARSENESS OF T-STRUCTURES AND NEGATIVE CALABI YAU DIMENSION IN TRIANGULATED CATEGORIES GENERATED BY A SPHERICAL OBJECT. 0.

SPARSENESS OF T-STRUCTURES AND NEGATIVE CALABI YAU DIMENSION IN TRIANGULATED CATEGORIES GENERATED BY A SPHERICAL OBJECT. 0. SPARSENESS OF T-STRUCTURES AND NEGATIVE CALABI YAU DIMENSION IN TRIANGULATED CATEGORIES GENERATED BY A SPHERICAL OBJECT THORSTEN HOLM, PETER JØRGENSEN, AND DONG YANG Abstract. Let k be an algebraically

More information

Relative FP-gr-injective and gr-flat modules

Relative FP-gr-injective and gr-flat modules Relative FP-gr-injective and gr-flat modules Tiwei Zhao 1, Zenghui Gao 2, Zhaoyong Huang 1, 1 Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, P.R. China 2 College of Applied

More information

HIGHER DIMENSIONAL AUSLANDER-REITEN THEORY ON MAXIMAL ORTHOGONAL SUBCATEGORIES 1. Osamu Iyama

HIGHER DIMENSIONAL AUSLANDER-REITEN THEORY ON MAXIMAL ORTHOGONAL SUBCATEGORIES 1. Osamu Iyama HIGHER DIMENSIONAL AUSLANDER-REITEN THEORY ON MAXIMAL ORTHOGONAL SUBCATEGORIES 1 Osamu Iyama Abstract. Auslander-Reiten theory, especially the concept of almost split sequences and their existence theorem,

More information

HOMOLOGICAL DIMENSIONS AND REGULAR RINGS

HOMOLOGICAL DIMENSIONS AND REGULAR RINGS HOMOLOGICAL DIMENSIONS AND REGULAR RINGS ALINA IACOB AND SRIKANTH B. IYENGAR Abstract. A question of Avramov and Foxby concerning injective dimension of complexes is settled in the affirmative for the

More information

arxiv: v1 [math.ct] 14 Jul 2018

arxiv: v1 [math.ct] 14 Jul 2018 QUASI-ABELIAN HEARTS OF TWIN COTORSION PAIRS ON TRIANGULATED CATEGORIES AMIT SHAH arxiv:1807.05423v1 [math.ct] 14 Jul 2018 Abstract. We prove that, under a mild assumption, the heart H of a twin cotorsion

More information

STANDARD COMPONENTS OF A KRULL-SCHMIDT CATEGORY

STANDARD COMPONENTS OF A KRULL-SCHMIDT CATEGORY STANDARD COMPONENTS OF A KRULL-SCHMIDT CATEGORY SHIPING LIU AND CHARLES PAQUETTE Abstract. First, for a general Krull-Schmidt category, we provide criteria for an Auslander-Reiten component with sections

More information

RELATIVE THEORY IN SUBCATEGORIES. Introduction

RELATIVE THEORY IN SUBCATEGORIES. Introduction RELATIVE THEORY IN SUBCATEGORIES SOUD KHALIFA MOHAMMED Abstract. We generalize the relative (co)tilting theory of Auslander- Solberg [9, 1] in the category mod Λ of finitely generated left modules over

More information

Preprojective algebras, singularity categories and orthogonal decompositions

Preprojective algebras, singularity categories and orthogonal decompositions Preprojective algebras, singularity categories and orthogonal decompositions Claire Amiot Abstract In this note we use results of Minamoto [7] and Amiot-Iyama-Reiten [1] to construct an embedding of the

More information

Homological Aspects of the Dual Auslander Transpose II

Homological Aspects of the Dual Auslander Transpose II Homological Aspects of the Dual Auslander Transpose II Xi Tang College of Science, Guilin University of Technology, Guilin 541004, Guangxi Province, P.R. China E-mail: tx5259@sina.com.cn Zhaoyong Huang

More information

TRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS. 0. Introduction

TRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS. 0. Introduction TRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS PETER JØRGENSEN AND KIRIKO KATO Abstract. In a triangulated category T with a pair of triangulated subcategories

More information

REFLECTING RECOLLEMENTS

REFLECTING RECOLLEMENTS Jørgensen, P. Osaka J. Math. 47 (2010), 209 213 REFLECTING RECOLLEMENTS PETER JØRGENSEN (Received October 17, 2008) Abstract A recollement describes one triangulated category T as glued together from two

More information

LADDER FUNCTORS WITH AN APPLICATION TO REPRESENTATION-FINITE ARTINIAN RINGS

LADDER FUNCTORS WITH AN APPLICATION TO REPRESENTATION-FINITE ARTINIAN RINGS An. Şt. Univ. Ovidius Constanţa Vol. 9(1), 2001, 107 124 LADDER FUNCTORS WITH AN APPLICATION TO REPRESENTATION-FINITE ARTINIAN RINGS Wolfgang Rump Introduction Ladders were introduced by Igusa and Todorov

More information

Derived Canonical Algebras as One-Point Extensions

Derived Canonical Algebras as One-Point Extensions Contemporary Mathematics Derived Canonical Algebras as One-Point Extensions Michael Barot and Helmut Lenzing Abstract. Canonical algebras have been intensively studied, see for example [12], [3] and [11]

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

More information

A generalized Koszul theory and its applications in representation theory

A generalized Koszul theory and its applications in representation theory A generalized Koszul theory and its applications in representation theory A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Liping Li IN PARTIAL FULFILLMENT

More information

Injective Envelopes and (Gorenstein) Flat Covers

Injective Envelopes and (Gorenstein) Flat Covers Algebr Represent Theor (2012) 15:1131 1145 DOI 10.1007/s10468-011-9282-6 Injective Envelopes and (Gorenstein) Flat Covers Edgar E. Enochs Zhaoyong Huang Received: 18 June 2010 / Accepted: 17 March 2011

More information

CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING

CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING RYO TAKAHASHI Introduction The notion of a contravariantly finite subcategory (of the category of finitely generated modules)

More information

Properties of Triangular Matrix and Gorenstein Differential Graded Algebras

Properties of Triangular Matrix and Gorenstein Differential Graded Algebras Properties of Triangular Matrix and Gorenstein Differential Graded Algebras Daniel Maycock Thesis submitted for the degree of Doctor of Philosophy chool of Mathematics & tatistics Newcastle University

More information

Powers of translation quivers. Coralie Ducrest Master in Mathematics

Powers of translation quivers. Coralie Ducrest Master in Mathematics Powers of translation quivers Coralie Ducrest Master in Mathematics June 3, 008 Contents 1 Quiver representations 9 1.1 General principles........................ 9 1. Path algebras of finite representation

More information

arxiv:math/ v1 [math.ac] 11 Sep 2006

arxiv:math/ v1 [math.ac] 11 Sep 2006 arxiv:math/0609291v1 [math.ac] 11 Sep 2006 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES EDGAR E. ENOCHS AND HENRIK HOLM Abstract. We prove that the Auslander class determined by a semidualizing

More information

REPRESENTATION DIMENSION AS A RELATIVE HOMOLOGICAL INVARIANT OF STABLE EQUIVALENCE

REPRESENTATION DIMENSION AS A RELATIVE HOMOLOGICAL INVARIANT OF STABLE EQUIVALENCE REPRESENTATION DIMENSION AS A RELATIVE HOMOLOGICAL INVARIANT OF STABLE EQUIVALENCE ALEX S. DUGAS Abstract. Over an Artin algebra Λ many standard concepts from homological algebra can be relativized with

More information

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary

More information

Gorenstein homological dimensions

Gorenstein homological dimensions Journal of Pure and Applied Algebra 189 (24) 167 193 www.elsevier.com/locate/jpaa Gorenstein homological dimensions Henrik Holm Matematisk Afdeling, Universitetsparken 5, Copenhagen DK-21, Denmark Received

More information

THE TELESCOPE CONJECTURE FOR HEREDITARY RINGS VIA EXT-ORTHOGONAL PAIRS

THE TELESCOPE CONJECTURE FOR HEREDITARY RINGS VIA EXT-ORTHOGONAL PAIRS THE TELESCOPE CONJECTURE FOR HEREDITARY RINGS VIA EXT-ORTHOGONAL PAIRS HENNING KRAUSE AND JAN ŠŤOVÍČEK Abstract. For the module category of a hereditary ring, the Ext-orthogonal pairs of subcategories

More information

REPRESENTATION DIMENSION OF ARTIN ALGEBRAS

REPRESENTATION DIMENSION OF ARTIN ALGEBRAS REPRESENTATION DIMENSION OF ARTIN ALGEBRAS STEFFEN OPPERMANN In 1971, Auslander [1] has introduced the notion of representation dimension of an artin algebra. His definition is as follows (see Section

More information

TRIANGULATED CATEGORIES, SUMMER SEMESTER 2012

TRIANGULATED CATEGORIES, SUMMER SEMESTER 2012 TRIANGULATED CATEGORIES, SUMMER SEMESTER 2012 P. SOSNA Contents 1. Triangulated categories and functors 2 2. A first example: The homotopy category 8 3. Localization and the derived category 12 4. Derived

More information

A visual introduction to Tilting

A visual introduction to Tilting A visual introduction to Tilting Jorge Vitória University of Verona http://profs.sci.univr.it/ jvitoria/ Padova, May 21, 2014 Jorge Vitória (University of Verona) A visual introduction to Tilting Padova,

More information

Ext and inverse limits

Ext and inverse limits Ext and inverse limits Jan Trlifaj Dedicated to the memory of Reinhold Baer Ext was introduced by Baer in [4]. Since then, through the works of Cartan, Eilenberg, Mac Lane, and many successors, the Ext

More information

Examples of Semi-Invariants of Quivers

Examples of Semi-Invariants of Quivers Examples of Semi-Invariants of Quivers June, 00 K is an algebraically closed field. Types of Quivers Quivers with finitely many isomorphism classes of indecomposable representations are of finite representation

More information

Chinese Annals of Mathematics, Series B c The Editorial Office of CAM and Springer-Verlag Berlin Heidelberg 2014

Chinese Annals of Mathematics, Series B c The Editorial Office of CAM and Springer-Verlag Berlin Heidelberg 2014 Chin. Ann. Math. 35B(1), 2014, 115 124 DOI: 10.1007/s11401-013-0811-y Chinese Annals of Mathematics, Series B c The Editorial Office of CAM and Springer-Verlag Berlin Heidelberg 2014 T C -Gorenstein Projective,

More information

A course on cluster tilted algebras

A course on cluster tilted algebras Ibrahim Assem Département de mathématiques Université de Sherbrooke Sherbrooke, Québec Canada JK R A course on cluster tilted algebras march 06, mar del plata Contents Introduction 5 Tilting in the cluster

More information

arxiv: v1 [math.rt] 15 Aug 2016

arxiv: v1 [math.rt] 15 Aug 2016 GENDO-SYMMETRIC ALGEBRAS, DOMINANT DIMENSIONS AND GORENSTEIN HOMOLOGICAL ALGEBRA RENÉ MARCZINZIK arxiv:1608.04212v1 [math.rt] 15 Aug 2016 Abstract. This article relates dominant and codominant dimensions

More information

Journal of Algebra 330 (2011) Contents lists available at ScienceDirect. Journal of Algebra.

Journal of Algebra 330 (2011) Contents lists available at ScienceDirect. Journal of Algebra. Journal of Algebra 330 2011) 375 387 Contents lists available at ciencedirect Journal of Algebra www.elsevier.com/locate/jalgebra Higher Auslander algebras admitting trivial maximal orthogonal subcategories

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

An Axiomatic Description of a Duality for Modules

An Axiomatic Description of a Duality for Modules advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany

More information

THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA

THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA C. R. Math. Rep. Acad. Sci. Canada Vol. 30 (3) 2008, pp. 89 96 THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA VLASTIMIL DLAB AND CLAUS MICHAEL RINGEL

More information

WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS

WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS BERNHARD KELLER AND PEDRO NICOLÁS Abstract. Using techniques due to Dwyer Greenlees Iyengar we construct weight structures in triangulated

More information

Auslander-Reiten theory in functorially finite resolving subcategories

Auslander-Reiten theory in functorially finite resolving subcategories Auslander-Reiten theory in functorially finite resolving subcategories arxiv:1501.01328v1 [math.rt] 6 Jan 2015 A thesis submitted to the University of East Anglia in partial fulfilment of the requirements

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

STRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES

STRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 6, 2016 STRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES XIN MA AND ZHONGKUI LIU ABSTRACT. In this paper, we extend the notions of strongly

More information

arxiv: v3 [math.rt] 18 Oct 2017

arxiv: v3 [math.rt] 18 Oct 2017 A 2-CALABI-YAU REALIZATION OF FINITE-TYPE CLUSTER ALGEBRAS WITH UNIVERSAL COEFFICIENTS ALFREDO NÁJERA CHÁVEZ arxiv:1512.07939v3 [math.rt] 18 Oct 2017 Abstract. We categorify various finite-type cluster

More information

Cluster categories for algebras of global dimension 2 and quivers with potential

Cluster categories for algebras of global dimension 2 and quivers with potential Cluster categories for algebras of global dimension 2 and quivers with potential Claire Amiot To cite this version: Claire Amiot. Cluster categories for algebras of global dimension 2 and quivers with

More information

Approximation properties of the classes of flat modules originating from algebraic geometry

Approximation properties of the classes of flat modules originating from algebraic geometry Approximation properties of the classes of flat modules originating from algebraic geometry International Conference in Homological Algebra University of Kentucky, Lexington, July 23, 2015 Jan Trlifaj

More information

DESINGULARIZATION OF QUIVER GRASSMANNIANS FOR DYNKIN QUIVERS. Keywords: Quiver Grassmannians, desingularizations.

DESINGULARIZATION OF QUIVER GRASSMANNIANS FOR DYNKIN QUIVERS. Keywords: Quiver Grassmannians, desingularizations. DESINGULARIZATION OF QUIVER GRASSMANNIANS FOR DYNKIN QUIVERS G. CERULLI IRELLI, E. FEIGIN, M. REINEKE Abstract. A desingularization of arbitrary quiver Grassmannians for representations of Dynkin quivers

More information

Aisles in derived categories

Aisles in derived categories Aisles in derived categories B. Keller D. Vossieck Bull. Soc. Math. Belg. 40 (1988), 239-253. Summary The aim of the present paper is to demonstrate the usefulness of aisles for studying the tilting theory

More information

Pure-Injectivity in the Category of Gorenstein Projective Modules

Pure-Injectivity in the Category of Gorenstein Projective Modules Pure-Injectivity in the Category of Gorenstein Projective Modules Peng Yu and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 2193, Jiangsu Province, China Abstract In this paper,

More information

An introduction to derived and triangulated categories. Jon Woolf

An introduction to derived and triangulated categories. Jon Woolf An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes

More information

The real root modules for some quivers.

The real root modules for some quivers. SS 2006 Selected Topics CMR The real root modules for some quivers Claus Michael Ringel Let Q be a finite quiver with veretx set I and let Λ = kq be its path algebra The quivers we are interested in will

More information

A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra

A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra Volodymyr Mazorchuk and Serge Ovsienko Abstract We show that there exists a natural non-degenerate

More information

Structures of AS-regular Algebras

Structures of AS-regular Algebras Structures of AS-regular Algebras Hiroyuki Minamoto and Izuru Mori Abstract In this paper, we define a notion of AS-Gorenstein algebra for N-graded algebras, and show that symmetric AS-regular algebras

More information

AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN

AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN Bull. London Math. Soc. 37 (2005) 361 372 C 2005 London Mathematical Society doi:10.1112/s0024609304004011 AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN HENNING KRAUSE Abstract A classical theorem

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday

More information

ENDOMORPHISM ALGEBRAS AND IGUSA TODOROV ALGEBRAS

ENDOMORPHISM ALGEBRAS AND IGUSA TODOROV ALGEBRAS Acta Math. Hungar., 140 (1 ) (013), 60 70 DOI: 10.1007/s10474-013-031-1 First published online April 18, 013 ENDOMORPHISM ALGERAS AND IGUSA TODOROV ALGERAS Z. HUANG 1, and J. SUN 1 Department of Mathematics,

More information

THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING

THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING JESSE BURKE AND GREG STEVENSON Abstract. We give an exposition and generalization of Orlov s theorem on graded Gorenstein rings. We show the theorem holds

More information

The Category of Maximal Cohen Macaulay Modules as a Ring with Several Objects

The Category of Maximal Cohen Macaulay Modules as a Ring with Several Objects Mediterr. J. Math. 13 (2016), 885 898 DOI 10.1007/s00009-015-0557-8 1660-5446/16/030885-14 published online March 25, 2015 c Springer Basel 2015 The Category of Maximal Cohen Macaulay Modules as a ing

More information

STABILITY OF FROBENIUS ALGEBRAS WITH POSITIVE GALOIS COVERINGS 1. Kunio Yamagata 2

STABILITY OF FROBENIUS ALGEBRAS WITH POSITIVE GALOIS COVERINGS 1. Kunio Yamagata 2 STABILITY OF FROBENIUS ALGEBRAS WITH POSITIVE GALOIS COVERINGS 1 Kunio Yamagata 2 Abstract. A finite dimensional self-injective algebra will be determined when it is stably equivalent to a positive self-injective

More information