Chapter 2 Projective and Injective Representations

Size: px
Start display at page:

Download "Chapter 2 Projective and Injective Representations"

Transcription

1 Chapter Projective and Injective Representations Projective representations and injective representations are key concepts in representation theory. A representation P is called projective i the unctor Hom.P; / maps surjective morphisms to surjective morphisms. Dually a representation I is called injective i the unctor Hom. ;I/ maps injective morphisms to injective morphisms. The terminology comes rom the property that or any representation M there is a projective representation P such that there exists a surjective morphism (a projection ): p W P M: Dually, or any representation M, there is an injective representation I such that there exists an injective morphism: i W M,! I : I M is not projective itsel, then the morphism p above will have a kernel, and we can ind another projective P such that there exists a surjective morphism p rom P to the kernel o p. Iterating this procedure yields an exact sequence P 3 p 3 P p P p P p M where each P i is a projective representation. Such a sequence is called a projective resolution. We think o projective resolutions as a way to approximate the representation M by projective representations. Oten it is possible to deduce properties o M rom a projective resolution o M. Springer International Publishing Switzerland 4 R. Schiler, Quiver Representations, CMS Books in Mathematics, DOI.7/

2 34 Projective and Injective Representations Dually, we have injective resolutions, thus exact sequences o the orm M i I i I i I i 3 I 3 where each I i is an injective representation. For representations o quivers without oriented cycles the situation is very simple. We will see that every quiver representation has a projective resolution o the orm P P M, and an injective resolution o the orm M I I. We will use this result to show that every subrepresentation o a projective representation is projective. Categories with this property are called hereditary. Moreover, it is very easy to write down all indecomposable projective representations o a quiver Q without oriented cycles. There is exactly one indecomposable projective representation P.i/ or each vertex i Q, and this representation P.i/ is given by the paths in Q starting at the vertex i. Dually, there is exactly one indecomposable injective representation I.i/ or each vertex i Q, and I.i/ is given by the paths ending at the vertex i. We will see later in Chap. 4 that each quiver deines an algebra A, thepath algebra o the quiver, whose basis consist o the set o all paths in Q. We will also see that we can consider the algebra A as a representation o Q and that this representation is isomorphic to the direct sum o the indecomposable projective representations, thus A Š iq P.i/ as representations o Q. In the current chapter, we also introduce the Auslander Reiten translation, which is crucial to Auslander Reiten theory and Auslander Reiten quivers. It is deined in a rather curious way by taking the beginning o a projective resolution o M P p P M and then setting M D ker p, where is the so-called Nakayama unctor. This unctor maps projective representations to injective representations, and thereore we obtain the beginning o an injective resolution: τm νp ν p νp.

3 Projective and Injective Representations 35 Throughout this chapter, and the rest o the book, the very natural notion o paths in a quiver will be essential. Here is a ormal deinition. Deinition.. Let Q D.Q ;Q ;s;t/be a quiver, i;j Q.Apath c rom i to j o length ` in Q is a sequence with h Q such that c D.ij ; ;:::; `jj/ s. / D i; s. h/ D t. h /; or h D ;3;:::;`, t. `/ D j: Thus a path rom i to j is a way to go rom vertex i to vertex j in the quiver Q, where we are only allowed to walk along an arrow in the direction to which it is pointing. Example.. In the quiver α β γ 3, we have that.j j/,.j ; ˇj/,.j ; ; ˇj/ are paths, but.j ; ˇ; j/ is not. Example... The constant path (or lazy path).ijji/ at vertex i is the path o length ` D which never leaves the vertex i. We denote this path e i.. An arrow i α j is a path.ij jj/o length one. I i D j then i α is called a loop. 3. A path o the orm i α α α 3 α α given by.ij ; ;:::; `ji/ is called an oriented cycle. Thus a loop is an oriented cycle o length one.

4 36 Projective and Injective Representations. Simple, Projective, and Injective Representations Let Q be a quiver without oriented cycles. For every vertex i in Q, we will now deine three representations: the simple, the projective, and the injective representation at i. We will show that in the category rep Q, these representations are respectively simple, projective, or injective objects in the categorical sense. Deinition.. Let i be a vertex o Q. Deine representations S.i/;P.i/, and I.i/ as ollows: (a) S.i/ is o dimension one at vertex i, and zero at every other vertex; thus S.i/ D.S.i/ j ;' / j Q ; Q ; where k i i D j, S.i/ j D and otherwise, ' D or all arrows : (b) S.i/ is called the simple representation at vertex i. P.i/ D.P.i/ j ;' / j Q ; Q where P.i/ j is the k-vector space with basis the set o all paths rom i to j in Q; so the elements o P.i/ j are o the orm P c c c, where c runs over all paths rom i to j, and c k; and i j! ` is an arrow in Q, then ' W P.i/ j! P.i/` is the linear map deined on the basis by composing the paths rom i to j with the arrow j! `. More precisely, the arrow induces an injective map between the bases basis o P.i/ j! basis o P.i/` c D.ijˇ;ˇ;:::;ˇsjj/ 7! c D.ijˇ;ˇ;:::;ˇs; j`/ and ' is deined by '! X c c D X c c c c : (c) P.i/ is called the projective representation at vertex i. I.i/ D.I.i/ j ;' / j Q ; Q

5 . Simple, Projective, and Injective Representations 37 where I.i/ j is the k-vector space with basis the set o all paths rom j to i in Q; so the elements o I.i/ j are o the orm P c c c, where c runs over all paths rom j to i, and c k; and i j! ` is an arrow in Q, then ' W I.i/ j! I.i/` is the linear map deined on the basis by deleting the arrow j! ` rom those paths rom j to i which start with and sending to zero the paths that do not start with. More precisely, the arrow induces a surjective map between the bases basis o I.i/ j! c D.j jˇ;ˇ;:::;ˇsji/ 7! basis o I.i/`.`jˇ;:::;ˇsji/ i ˇ D ; otherwise; and ' is deined by '! X c c D X c c c.c/: I.i/ is called the injective representation at vertex i. Note that we need the hypothesis that Q has no oriented cycles, because, otherwise, there would be a vertex i such that P.i/ is ininite-dimensional, and hence not a representation in rep Q. For example, i Q is the quiver then P./ and P./ would be ininite-dimensional. The ollowing remark will be very useul later on. Remark.. Let P.i/ D.P.i/ j ;' / be the projective representation at vertex i and let c be a path starting at i,say Then we can deine the map c D.ijˇ;ˇ;:::;ˇ`jj/: ' c W P.i/ i! P.i/ j ' c D 'ˇ` 'ˇ'ˇ as the composition o the maps in the representation P.i/along the path c. Then, i e i denotes the constant path at vertex i, it ollows rom the deinition o P.i/ that Remark.. Simple projectives and simple injectives: ' c.e i / D c: (.) () The projective representation at vertex i is the simple representation at vertex i i and only i there is no arrow in Q such that s. / D i. Such vertices are called sinks o the quiver Q. Thus

6 38 Projective and Injective Representations S.i/ D P.i/ i is a sink in Q. () The injective representation at vertex i is the simple representation at vertex i i and only i there is no arrow in Q such that t. / D i. Such vertices are called sources o the quiver Q. Thus S.i/ D I.i/ i is a source in Q. In the ollowing two examples, we use matrix notation to describe projective and injective representations. We use the isomorphism and not the equality symbol since there are many other possible descriptions or these representations; see Exercise.. Example.3. Let Q be the quiver Then S(3) = k, P(3) = k k, k I(3) = k k. The quiver in the next example contains parallel paths. As a result the indecomposable projective modules can be o dimension greater than at a single vertex.

7 . Simple, Projective, and Injective Representations 39 Example.4. Let Q be the quiver 3 4. Then P() = k k k, k I(4) = k k k. k In category theory, a projective object is an object P such that the Hom unctor Hom.P; / maps surjective morphisms to surjective morphisms. The ollowing proposition shows that the representations P.i/ satisy this condition, which is the reason why we call them projective. Proposition.3. Let gw M! N be a surjective morphism between representations o Q, and let P.i/ be the projective representation at vertex i. Then the map g W Hom.P.i/; M /! Hom.P.i/; N / is surjective. In other words, i W P.i/! N is any morphism, then there exists a morphism hw P.i/! M such that the diagram P(i) h M g N commutes, that is, D g ı h D g.h/.

8 4 Projective and Injective Representations Proo. Exercise.4. Corollary.4. I P is projective, then any exact sequence o the orm ut L M g P splits. Proo. Use Proposition.3 with the identity morphism D P to get the commutative diagram: P h M g P Thereore D g ı h, and g is a retraction. ut A dual statement holds or the injective representations. In category theory, an injective object is an object I such that the Hom unctor Hom. ;I/ maps injective morphisms to surjective morphisms. The next proposition shows that the representations I.i/ satisy this condition, which is the reason why we call them injective. Proposition.5. Let gw L! M be an injective morphism between representations o Q, and let I.i/ be the injective representation at vertex i. Then the map g W Hom.M; I.i//! Hom.L; I.i// is surjective. In other words, i W L! I.i/ is any morphism, then there exists a morphism hw M! I.i/ such that the diagram L g M h I(i) commutes, that is, D h ı g D g.h/. Proo. Exercise.5. ut

9 . Simple, Projective, and Injective Representations 4 Corollary.6. I I is injective then any exact sequence o the orm I g M N splits. Proo. Use Proposition.5 with the identity morphism D I to get a commutative diagram: I g M. h I Thus I D h ı g, and g is a section. ut Finally, a simple object in a category is a nonzero object S that has no proper subobjects. The representations S.i/ have this property, hence their name. The next proposition states that sums o projective objects are projective and that summands o projective objects are projective. We state the result or the category rep Q, but the proo holds in any additive category. Proposition.7. () Let P and P be representations o Q. Then P P is projective P and P are projective. () Let I and I be representations o Q. Then I I is injective I and I are injective. Proo. We only show () since the proo o () is similar. ()) Letg W M! N be surjective in rep Q and let W P! N be any morphism in rep Q. Consider the ollowing diagram: P P pr i h P M g N

10 4 Projective and Injective Representations where pr denotes the projection on the irst summand and i is the canonical injection. Clearly, pr ı i D P. Since P P is projective, there exists a map h W P P! M such that ghd pr. Thereore ghi D pr i D P D : Now we can deine h W P! M as h D hi, and we have gh D.This shows that P is projective. One can show in a similar way that P is projective. (() Letg W M! N be a surjective morphism in rep Q and let W P P! N be any morphism in rep Q. Consider the ollowing commutative diagram: P i h P P M g N where i denotes the canonical injection and, since P is projective, there exists a morphism h such that gh D i. By symmetry, there also exists a morphism h W P! M such that gh D i. Deine h D.h ;h / W P P! M by h.p C p / D h.p/ C h.p /. Then gh.pc p / D gh.p/ C gh.p / D i.p/ C i.p / D.pC p /; which shows that P P is projective. ut Proposition.7 implies that i we know the indecomposable projective, respectively injective, representations, then we know all projective, respectively injective, representations. The next step is to show that the representations P.i/ and I.i/ are in act indecomposable. We will see later in Corollary. that there are no other indecomposable projective or injective representations. Proposition.8. The representations S.i/;P.i/, and I.i/ are indecomposable. Proo. For S.i/ this ollows directly rom the act that S.i/ is simple. Let us prove the result or the projective representation P.i/ D.P.i/ j ;' / j Q ; Q : Since Q has no oriented cycles, we have P.i/ i D k. Suppose that P.i/ D M N or some M; N rep Q. Then we may suppose without loss o generality that P.i/ i D M i and N i D. Let` be a vertex o Q such that N`. Now,P.i/` has a basis consisting o the paths rom i to ` in Q. Letc D.ijˇ;:::;ˇsj`/ be such a path.

11 . Simple, Projective, and Injective Representations 43 Let ' c D 'ˇs 'ˇ denote the composition o the linear maps o the representation P.i/ along the path c. Then, since P.i/ is the direct sum o M and N,themap ' c W M i! M` N` sends the unique basis element e i o M i to an element ' c.e i / o M`. But rom Remark. we know that ' c.e i / D c; thus every basis element c o P.i/` lies in M`, a contradiction. The proo or I.i/ is similar. ut The ollowing proposition shows that the simple representations S.i/ orm a complete set o simple representations in rep Q, up to isomorphism. Proposition.9. A representation o Q is simple i and only i it is isomorphic to S.i/,orsomei Q : Proo. It is clear that the S.i/ are simple representations. Conversely, let M D.M i ;' / be any representation o Q. We want to show that there is a vertex i such that S.i/ is a subrepresentation o M, and we have to choose this vertex i careully. We do not want to have a nonzero map in the representation M that starts at the vertex i. For example, i i is a sink in the quiver, we have what we want. But on the other hand, we also need the representation M to be nonzero at the vertex i. This leads us to pick i as ollows. Let i Q such that M i and M j D, whenever there is an arrow i! j in Q. Note that such a vertex exists since Q has no oriented cycles. Choose any injective linear map i W S.i/ i Š k! M i, and extend it trivially to a morphism W S.i/! M by letting j D i i j. Note that actually is a morphism since the diagram S(i) i i M ϕ α M i ϕ β commutes, or all arrows `! ˇ i and i! j in Q. Since is injective this shows that S.i/ is a subrepresentation o M, and thereore, either M Š S.i/ or M is not simple. ut Remark.. Proposition.9 does not hold i the quiver has oriented cycles. For example, i Q is the quiver then or each k, there is a simple representation k, where is given by multiplication by.

12 44 Projective and Injective Representations The vector space at vertex i o any representation can be described as a space o morphisms using the projective representation P.i/ as ollows: Theorem.. Let M D.M i ; / be a representation o Q. Then, or any vertex i in Q, there is an isomorphism o vector spaces: Hom.P.i/; M / Š M i : Proo. Let e i D.ijji/ be the constant path at i. Then e i g is a basis o the vector space P.i/ i. Deine a map W Hom.P.i/; M /! M i D. j / j Q 7! i.e i /: I is a morphism rom P.i/ to M, then its component i is a linear map rom P.i/ i to M i, which shows that the map is well deined, since e i P.i/ i. We will show that is an isomorphism o vector spaces. Let us use the notation P.i/ D.P.i/ j ;' /. First, we show that is linear. I ; g Hom.P.i/; M / are two morphisms, then. C g/ D. C g/ i.e i / D i.e i / C g i.e i / D. /C.g/, and i k then. / D. / i.e i / D i.e i / D. /. Next, we show that is injective. I D. / D i.e i /, then the linear map i sends the basis e i g to zero, and thus i is the zero map. We will now show that j W P.i/ j! M j is the zero map, or any vertex j, and this will show that is injective. By deinition o P.i/, the vector space P.i/ j has a basis consisting o all paths rom i to j.letc D.ij ;:::; tjj/ be such a basis element, and consider the maps ' c D ' t ıı' and ' c D ' t ıı' deined as the composition o the maps along the path c o the representation P.i/ and M, respectively. It ollows rom the deinition o P.i/ that ' c.e i / D c. Since is a morphism o representations, we have j ' c D ' c i, and, since i.e i / D, this implies that j maps c to zero. As c is an arbitrary basis element o P.i/ j,itollowsthat j D. It remains to show that is surjective. Let m i M i. We want to construct a morphism W P.i/! M such that i.e i / D m i. Let us start by ixing its component i W P.i/ i! M i by requiring the condition we need, that is, i.e i / D m i. Since e i g is a basis o P.i/ i, this condition deines the linear map i in a unique way. We can extend the map i to a morphism D. j / j Q by ollowing the paths in Q. More precisely, or any path c rom i toavertexj in Q, put j.c/ D ' c.m i/. This deines each map j on a basis o P.i/ j, and we extend this map linearly to the whole vector space P.i/ j. It ollows rom our construction that is a morphism o representations, thus Hom.P.i/; M / and. / D m i,so is surjective. ut Note that in the proo o Theorem., the particular structure o the representation P.i/ is the essential ingredient to show the injectivity and surjectivity o the map. As an immediate consequence o Theorem., we can describe the morphisms between projective representations as ollows:

13 . Projective Resolutions and Radicals o Projectives 45 Corollary.. Let i and j be vertices in Q. () The vector space Hom.P.i/; P.j // has a basis consisting o all paths rom j to i in Q. In particular, End.P.i// D Hom.P.i/; P.i// Š k: () I A D iq P.i/, then the vector space End.A/ D Hom.A; A/ has a basis consisting o all paths in Q. Remark.3. In Chap. 4, we will see that the so-called path algebra o the quiver Q is isomorphic to End.A/ as a vector space and as an algebra. Proo. Theorem. implies that Hom.P.i/; P.j // is isomorphic to P.j/ i, and this vector space has a basis consisting o all paths rom j to i in Q. The act that Q has no oriented cycles implies that End.P.i// is o dimension one; hence End.P.i// Š k. This proves (), and () is a direct consequence. ut Corollary.4. The representation P.j/ is a simple representation i and only i Hom.P.i/; P.j // D or all i j. Proo. The representation P.j/ is simple i and only i j is a sink, which means that there are no paths rom j to any other vertex i. The statement now ollows rom Corollary.. ut. Projective Resolutions and Radicals o Projectives We have seen above that the projective representations can be used to describe the vector spaces o an arbitrary representation using the Hom unctor. Now we will introduce another way o describing arbitrary representations by means o projective representations: the projective resolutions. As usual, there is a dual notion, the injective resolutions. Deinition.3. Let M be a representation o Q. () A projective resolution o M is an exact sequence P 3 P P P M, where each P i is a projective representation. () An injective resolution o M is an exact sequence M I I I I 3, where each I i is an injective representation.

14 46 Projective and Injective Representations Theorem.5. Let M be a representation o Q. () There exists a projective resolution o M o the orm P P M. () There exists an injective resolution o M o the orm M I I. Proo. We will show only (), and to achieve this, we will construct the so-called standard projective resolution o M.LetM D.M i ;' i /, and denote by d i the dimension o M i. Deine P D M Q d s. / P.t. // P D M iq d i P.i/; where d i P.i/ stands or the direct sum o d i copies o P.i/. Beore deining the morphisms o the projective resolution, let us examine the representations P and P. For every vector space M i,wehaved i D dim M i copies o P.i/ in P. The natural map g rom P to M will send the d i copies o the constant path e i in P to a basis o M i. Now in each copy o P.i/, the kernel o the map g contains a copy o P.t. // or every that starts at i. So, or every arrow with s. / D i, wehaved s. / copies o P.t. // in the kernel o g, which justiies the deinition o P. To deine the morphisms o the projective resolution, we introduce speciic bases or each o the representations P ;P and M as ollows: For each i Q,let m i ;:::;m idi g be a basis or M i, and thus B Dm ij j i Q ;j D ;;:::;d i g is a basis or M. Taking the standard bases or the projective representations, the set B Dc ij j i Q ;c i a path with s.c i / D i; and j D ;:::;d i g is a basis or P ; and the set B Db j j Q ;b a path with s.b / D t. /; and j D ;:::;d s. / g is a basis or P. Deine a map g on the basis B by g.c ij / D ' ci.m ij / M t.ci / and extend g linearly to P. Deine the map on the basis B by.b j / D. b / j b M ;

15 . Projective Resolutions and Radicals o Projectives 47 where b is the path rom s. / to t.b / given by the composition o and b, and b M D P d t. / `D `b `, where the ` are the scalars that occur when writing '.m s. /j / in the basis m t. /` j ` D ;:::;d t. / g o M t. / ; thus We will now prove that the sequence! M Q d s. / P.t. // d t. / X '.m s. /j / D `m t. /`: (.) `D! M g d i P.i/! M! (.3) iq is exact. g is surjective, because or any basis vector m ij o M,wehavem ij D g.e ij /, where e i is the constant path at vertex i. ker g im : It suices to show that g ı.b j / D or any b j in the basis B. We compute g..b j // D g.. b / j b M / D ' b.m s. /j / ' b. P` `m t. /`/ D ' b '.m s. /j / t. /` P` `m D ' b./ D ; where the next to last equation ollows rom (.). ker g im : First note that any x L iq d i P.i/ can be written as a linear combination o the basis B; thus x D X cij c ij D x C X cij c ij ; c ij B c ij BnB where B is the subset o B consisting o constant paths (together with a choice o j ), B De ij j i Q ;j D ;:::;d i g; and x D P e ij B eij e ij. Any nonconstant path is the product o an arrow and another path; thus x D x C X c ij Wc i D b cij. b / j ;

16 48 Projective and Injective Representations and using the deinition o, we get x D x C X c ij Wc i D b cij.b j / C cij b M : (.4) Let x D x C P c i D b cij b M : Note that x x im. Deine the degree o a linear combination o paths to be the length o the longest path that appears in it with nonzero coeicient. Note that deg x < deg x and deg x D. Now let us suppose that x ker g. We want to show that x im.using(.4) and the act that g ı D, we get D g.x/ D g.x /: Summarizing, we have x ker g,degx < deg x and x x im. Now we repeat the argument with x instead o x. We get x ker g, degx < deg x < deg x, and x x im. Continuing like this, we will eventually get x h ker g, x x h im, and deg x h D ; thus x h is a linear combination o constant paths, say x h D P i;j ij e ij ; or some ij k. By deinition o g,wehave D g.x h / D X i;j ij m ij ; and since the m ij orm a basis o M, this implies that all ij are zero. Hence x h D and thus x im. is injective. Suppose that D P b h b h D P b h. b / h b M : Then P b h. b / h D P b h b M D P b h P `b `: Let i be a source in M, that is, i is such that there is no arrow j! i with d j. Note that such an i exists since Q has no oriented cycles. Then, since each o the paths b starts at the endpoint o the arrow, none o the paths b can go through i, and this shows that b h must be zero, or all arrows with s. / D i.now let i be a source in M n i, that is, i is such that there is no arrow j! i with j i and d j. Since b h D or all arrows with s. / D i, there is no path b h with b h that goes through i. Continuing in this way, we show that every b h D, since Q has only initely many arrows. Thus is injective. This concludes the proo o the exactness o the standard resolution (.3). ut Remark.6. There are other projective resolutions than the standard resolution.

17 . Projective Resolutions and Radicals o Projectives 49 Example.5. Let Q be the quiver 3 and consider the representations M D S.3/ D 3 and M D 3. Then we have the standard projective resolutions: The second resolution is not minimal in the sense that one can eliminate a direct summand S./ D in each o the projective modules and still have a projective resolution: 3 3. Example.6. Let Q be the quiver β 3 α γ 4 and consider the representation M D given by 34 k k k. k Then we have the standard projective resolution: 34 (3 3) (4 4) Again, this resolution is not minimal in the sense that one can eliminate three direct summands in each o the projective modules and still have a projective resolution:

18 5 Projective and Injective Representations To make this notion o minimality more precise, we need the deinitions o projective covers and injective envelopes. Deinition.4. Let M rep Q. A projective cover o M is a projective representation P together with a surjective morphism gw P! M with the property that, whenever g W P! M is a surjective morphism with P projective, then there exists a surjective morphism h W P P such that the diagram P h g P g M commutes, that is, gh D g. An injective envelope o M is an injective representation I together with an injective morphism W M! I with the property that, whenever W M! I is an injective morphism into an injective representation I, then there exists an injective morphism h W I,! I such that the diagram M I h I commutes, that is, h D.

19 . Projective Resolutions and Radicals o Projectives 5 Deinition.5. A projective resolution P 3 3 P P P M is called minimal i W P! M is a projective cover and i W P i! ker i is a projective cover, or every i>. An injective resolution M I I I 3 I 3 is called minimal i W M! I is an injective envelope and, or every i >, i W coker i! I i is an injective envelope. The next two propositions show that projective covers are unique up to isomorphism. Proposition.7. Let gw P! M be a projective cover o M and let g W P! M be a surjective morphism with P projective. Then P is isomorphic to a direct summand o P. Proo. From the deinition o projective covers, we see that there exists a surjective morphism hw P! P. This morphism gives rise to an exact sequence: ker h P h P. Since P is projective, Corollary.4 implies that this sequence splits, and then the result ollows rom Proposition.8. ut Proposition.8. Let gw P! M and g W P! M be projective covers o M. Then P is isomorphic to P. Proo. From Proposition.7, we conclude that P is isomorphic to a direct summand o P, and P is isomorphic to a direct summand o P. Thus P Š P. ut Remark.9. The dual statements to the propositions.7 and.8 about injective envelopes hold too. We leave the statements and their proos as an exercise. We introduce now the concept o a ree representation. The prototype o a ree representation is the direct sum o the indecomposable projective representations, and in general, ree representations are direct sums o this prototype. Deinition.6. Let A D iq P.i/. A representation F rep Q is called ree i F Š A A. Proposition.. A representation M rep Q is projective i and only i there exists a ree representation F rep Q such that M is isomorphic to a direct summand o F.

20 5 Projective and Injective Representations Proo. (() By the Krull Schmidt Theorem. and Proposition.8, every direct summand o F is a direct sum o P.i/ s, hence projective, by Proposition.7..)/ Suppose that M is projective and dim M D.d i / iq. The standard projective resolution o M gives a surjective morphism gw d i P.i/! M. Thus there is a short exact sequence: kerg d i P(i) g M Since M is projective, this sequence splits, and thereore M is isomorphic to a direct summand d i P.i/. ut Corollary.. Any projective representation P rep Q is a direct sum o P.i/ s, that is, P Š P.i / P.i t /; with i ;:::;i t not necessarily distinct. Proo. This ollows directly rom Proposition. ut Our next goal is to show that, in rep Q, subrepresentations o projective representations are projective. We start by introducing a particular subrepresentation o P.i/. Deinition.7. Let P.i/ D.P.i/ j ;' / be the projective representation at vertex i. The radical o P.i/ is the representation rad P.i/ D.R j ;' / deined by R i D ; R j D P.i/ j i i j; and ' D i s. / D i ' otherwise. The next lemma shows that the radical o P.i/ is the maximal proper subrepresentation o P.i/. Lemma.. Any proper subrepresentation o P.i/ is contained in rad P.i/. Proo. Suppose W M,! P.i/ is an injective morphism o representations. Let M D.M i ; / and P.i/ D.P.i/ j ;' /. It is clear that i M i D, we have that.m i / rad P.i/, so let us suppose that M i. We will show that this implies that the morphism is an isomorphism. Since P.i/ i Š k, itollowsthatm i Š k, and there is an element m i M i such that i.m i / D e i.nowletj be any vertex, and let c be a path rom i to j. Then c D ' c.e i / D ' c. i.m i // D j. c.m i // im j ;

21 . Projective Resolutions and Radicals o Projectives 53 where the irst identity is shown in Remark., and the third identity holds because is a morphism o representations. Thus we see that the arbitrary element c o the basis o P.i/ j lies in the image o j, which implies that is surjective, hence an isomorphism, and so M is not a proper subrepresentation o P.i/. ut Lemma.3. I P.i/ is simple, then rad P.i/ D. IP.i/ is not simple, then the radical o P.i/ is projective. Proo. We will show that rad P.i/ is isomorphic to the projective representation P D Ws. /Di P.t. //.Ii j, then.rad P.i// j D P.i/ j has as a basis the set o paths rom i to j. Deine a morphism D. j / j Q W rad P.i/! P on this basis by j.ij ; ˇ;:::ˇsjj/ D.t. /jˇ;:::;ˇsjj/: Then j sends the basis o.rad P.i// j to a basis o P j, or each j Q, and thus is an isomorphism. ut Theorem.4. Subrepresentations o projective representations in rep Q are projective. Remark.5. The subrepresentation inherits the projectivity. Categories with this property are called hereditary. Proo. Suppose that P is a projective representation with dimension vector.d i / iq. We will prove the theorem by induction on d D P iq d i, the dimension o P. I d D, then P is simple and there is nothing to prove. So suppose that d>. Let M be a subrepresentation o P and let u W M! P be the inclusion morphism. By Corollary., wehavep Š P.i / P.i t / or some vertices i ;:::;i t, and thus the inclusion u is o the orm 3 u 6 u D : 4 7 : 5 u t with im u j P.i j /.ItollowsthatM Š im u im u t, and, by Proposition.7, it suices to show that im u j is projective or each j. This is obvious in the case where im u j D P.i j /, so let us suppose that im u j is a proper subrepresentation o P.i j /. Then im u j is a subrepresentation o rad P.i j /, and rad P.i j / is projective, by Lemma.3. Moreover, the dimension o rad P.i j / is strictly smaller than d, and, by induction, we conclude that im u j is projective, which completes the proo. ut As a consequence o Theorem.4, we obtain the ollowing result on morphisms into projective modules:

22 54 Projective and Injective Representations Corollary.6. Let W M! P be a nonzero morphism rom an indecomposable representation M to a projective representation P. Then M is projective, and is injective. Proo. Since the image o is a subrepresentation o P, it is projective, by Theorem.4. Thereore, the short exact sequence ker M im splits, and then Proposition.8 implies that im is isomorphic to a direct summand o M.ButM is indecomposable, so M Š im is projective and ker D. ut Corollary.6 shows that when we construct the Auslander Reiten quiver o Q, we must start with the projective representations and that the projective representations are partially ordered by inclusion..3 Auslander Reiten Translation In this section, we will deine the Auslander Reiten translation, which is undamental or the Auslander Reiten theory and Auslander Reiten quivers. We consider at this point only the Auslander Reiten translation in the category o quiver representations. Later, we will also consider the more general situation o bound quiver representations and modules. We start with another notion rom category theory. Categories 5 I C ; D are two categories. We say that two unctors F ;F W C! D are unctorially isomorphic, and we write F Š F,i or every object M C, there exists an isomorphism M W F.M /! F.M / D such that, or every morphism W M! N in C,the ollowing diagram commutes: F (M) F ( ) F (N) η M F (M) F ( ) η N F (N) A covariant unctor F W C! D is called an equivalence o categories i there exists a unctor G W D! C such that GıF Š C and F ıg Š D. The unctor G is called a quasi-inverse unctor or F. A contravariant unctor F that has a (contravariant) quasi-inverse is called a duality

23 .3 Auslander Reiten Translation Duality Let Q be a quiver without oriented cycles, and let Q op be the quiver obtained rom Q by reversing each arrow. Thus Q op D Q and Q op D op j Q g with s. op / D t. / and t. op / D s. /. In this section, we need to work with projective and injective representations o both Q and Q op. To distinguish between these, we will oten use the notation P Q.i/; I Q.i/ or the representations o Q and P Q op.i/; I Q op.i/ or the representations o Q op. The duality D D Hom k. ;k/w rep Q! rep Q op is the contravariant unctor deined as ollows: On objects M D.M i ;' /,wehave DM D.DM i ;D' op/ iq ; Q ; where DM i is the dual vector space o the vector space M i, and thus DM i D Hom k.m i ;k/is the space o linear maps M i! k; and i is an arrow in Q then D' op is the pullback o ', and thus D' op W DM t. /! DM s. / u 7! u ı ' : On morphisms W M! N in rep Q, wehaved W DN! DM in rep Q op deined by D.u/ D u ı : M N. u u I we compose the duality o Q with the duality o Q op, we get the identity unctor rep Q ; thus the quasi-inverse o D Q is D Q op. Let proj Q be the category o projective representations o Q and let inj Q be category o injective representations o Q. Thus the objects in proj Q are the projective representations o Q, and the morphisms are the morphisms between projective representations. Proposition.7. We have D.P Q.i// D I Q op.i/, or all vertices i Q,in particular, the duality restricts to a duality proj Q! inj Q op. k

24 56 Projective and Injective Representations Proo. Exercise.. ut Example.7. Let Q be the quiver 3 as in Example.4. The indecomposable representations o the subcategory proj Q are the three projective representations: 3 : The quiver Q op is 3, and the indecomposable representations o the subcategory inj Q op are 3 :.3. Nakayama Functor Let A be the ree representation given as the direct sum o the indecomposable projective representations o Q, that is, A D j Q P.j/. Consider the contravariant unctor Hom. ;A/. We know already rom Sect..4 that the Hom unctors map representations o Q to vector spaces, and thus Hom.X; Y / is a vector space or every pair o representations X; Y. But now, instead o the arbitrary representation Y, we use the special ree representation A, and, in this case, we can give Hom.X; A/ the structure o a representation.m i ;' op/ o the opposite quiver Q op as ollows: Deine the vector space at vertex i as M i D Hom.X; P.i// or every i Q, and or an arrow rom i to j in Q, deine a linear map ' op W Hom.X; P.j //! Hom.X; P.i// as ' op. / D ı ; thus we have the diagram X P( j) ϕ α op ( ) α P(i) where we use the act that, being a path rom i to j, gives a morphism rom P.j/ to P.i/, by Corollary.. Thus Hom.X; A/ is a representation o Q op.

25 .3 Auslander Reiten Translation 57 To show that Hom. ;A/is a unctor rom rep Q to rep Q op, we must check that the image under Hom. ;A/o any morphism g W X! X o representations o Q is a morphism o representations o Q op. This means we must check or every arrow i! j in Q that the ollowing diagram commutes: Hom(X,P( j)) ϕ α op Hom(X,P(i)) g =Hom(g,P( j)) g =Hom(g,P(i)) Hom(X,P( j)) ϕ α op Hom(X,P(i)). To do so, let Hom.X ; P.j //, then g ' op. / D g. ı / D. ı /ı g, whereas ' op ı g. / D ' op. ı g/ D ı. ı g/ D. ı /ıg, so the diagram commutes. We have shown the ollowing: Proposition.8. Hom. ;A/is a unctor rom rep Q to rep Q op. Composing the two contravariant unctors D and Hom. ;A/, we get the ollowing important covariant unctor: Deinition.8. The unctor D DHom. ;A/ W rep Q! rep Q is called the Nakayama unctor: repq Hom(,A) repq op D repq ν Corollary.6 implies that the unctor Hom. ;A/ is zero on all representations which have no projective direct summands. Thereore we must study the behavior o the Nakayama unctor when applied to an indecomposable projective representation, say, P Q.i/. Let us irst consider the unctor Hom. ;A/ only. Let M D Hom.P Q.i/; A/, and use the habitual notation M D.M j ;' op/ j Q ; Q to denote the representation. Then the vector space M j is Hom.P Q.i/; P Q.j //; thus, according to Corollary.4, the space M j has a basis consisting o all paths rom j to i in Q. In terms o Q op this can be rephrased as M j has a basis consisting o all paths rom i to j in Q op. Moreover, or any arrow h! j in Q, the linear map ' op W M j! M h maps the basis element c, which is a path rom i to j in Q op, to the basis element c op, whichisapathromi to h in Q op. This shows that M D Hom.P Q.i/; A/ is the indecomposable projective Q op -representation P Q op.i/ at vertex i.

26 58 Projective and Injective Representations Thus the restriction o Hom. ;A/ to the subcategory proj Q gives a duality o categories proj Q! proj Q op, whose quasi-inverse is given by Hom Q op. ;A op /, where A op is the sum o all indecomposable projective Q op -representations. To obtain the Nakayama unctor, we must now orm the composition with the duality D. Note that DA op D iq I Q.i/. Proposition.9. The restriction o to proj Q is an equivalence o categories proj Q! inj Q whose quasi-inverse is given by Moreover, or any vertex i, D Hom.DA op ; /W inj Q! proj Q: P.i/ D I.i/; and i c is a path rom i to j, and c morphism, then Hom.P.j /; P.i// is the corresponding c W I.j/! I.i/ is the morphism given by the cancellation o the path c. Proo. The unctor is an equivalence because it is the composition o the two dualities D and Hom. ;A/. Its quasi-inverse is the composition o the quasiinverses o D and Hom. ;A/, thus D Hom Q op. ;A op / ı D. Note that since Hom Q op.dx; DY / Š Hom Q.Y; X/ or all X; Y rep Q, we have in particular that Hom Q op.dx; A op / Š Hom Q.DA op ;X/, whence D Hom.DA; /. Finally, P Q.i/ D DHom.P Q.i/; A/ D D.P Q op.i// D I Q.i/: To show the last statement, let c be a path rom i to j, and let c W P Q.j /! P Q.i/ be deined by.x/ D cx as in the proposition. Let c be the image o c under the unctor Hom. ;A/. Thus c W Hom.P Q.i/; A/! Hom.P Q.j /; A/ maps a morphism g to the pullback g ı c. Now using Hom.P Q.x/; A/ Š P Q op.x/, we see that c W P Q op.i/! P Q op.j / is given by.y/ D cop y, where c op denotes the opposite o the path c in Q op. Finally, c D Dc is the map sending D.c op y/ to D.y/; thus the result ollows rom D.c op y/ D D.y/c: ut Example.8. Let Q be the quiver 3. Its Auslander Reiten quiver is

27 .3 Auslander Reiten Translation Note that the Nakayama unctor sends proj Q to inj Q as ollows: P()=νP(3) P() νp() P(3) νp() Example.9. Let Q be the quiver 4 3. Then proj Q and inj Q are as ollows:

28 6 Projective and Injective Representations Beore we can state the next property o the Nakayama unctor, we need to introduce the notion o exactness or unctors. Categories 6 Let C and D be abelian categories. A (covariant or contravariant) unctor F W C! D is called exact i it maps exact sequences in C to exact sequences in D. For example, every equivalence or duality o abelian categories is exact. Many nice unctors, the Homunctors or example, are not exact but have the weaker property o being let exact or right exact, which we deine below. The deinition o these notions is dierent or covariant and contravariant unctors. Let F W C! D be a covariant unctor. F is called let exact i or any exact sequence L M g N the sequence F(L) F( ) F(M) F(g) F(N) is exact. F is called right exact i or any exact sequence L M g N the sequence F(L) F( ) F(M) F(g) F(N) is exact. Let GW C! D be a contravariant unctor. G is called let exact i or any exact sequence L M g N the sequence G(N) G(g) G(M) G( ) G(L) is exact.

29 .3 Auslander Reiten Translation 6 G is called right exact i or any exact sequence L M g N the sequence G(N) G(g) G(M) G( ) G(L) is exact. We have shown in Sect..4 that the Hom unctors Hom.X; / and Hom. ;X/ are let exact. Since the Nakayama unctor is the composition o the let exact unctor Hom. ;A/ and the exact contravariant unctor D, we get the ollowing proposition: Proposition.3. The Nakayama unctor is right exact. Example.. In the setting o Example.8 there is a short exact sequence 3 3 g, and applying yields the exact sequence 3 ν νg. This conirms that is right exact. Since the morphism is clearly not injective, this also shows that is not exact..3.3 The Auslander Reiten Translations ; Let Q be a quiver without oriented cycles, and let M be an indecomposable representation o Q. Deinition.9. Let P p P p M be a minimal projective resolution. Applying the Nakayama unctor, we get an exact sequence τm νp ν p νp ν p νm,

30 6 Projective and Injective Representations where M D ker p is called the Auslander Reiten translate o M and the Auslander Reiten translation. Let M i I i I i be a minimal injective resolution. Applying the inverse Nakayama unctor, we get an exact sequence ν M ν i ν I ν i ν I τ M, where M D coker i is called the inverse Auslander Reiten translate o M and the inverse Auslander Reiten translation. Example.. Continuing Example., we compute. We have already constructed the minimal projective resolution and applied the Nakayama unctor to it. It only remains to compute the kernel o ; thus D ker D 3 : Remark.3. The Auslander Reiten translation has been introduced by Auslander and Reiten in []..4 Extensions and Ext In this section, Q always denotes a quiver without oriented cycles. We give here a short account on the Ext -groups; or urther inormation we reer to [53, Sect. 7.]. Let M rep Q and take a projective resolution P P g M o M in rep Q. Thus P and P are projective representations and the above sequence is exact. Let N be any representation in rep Q. Then we can apply the unctor Hom. ;N/ to this projective resolution, and as a result we get the exact sequence Hom(M,N) g Hom(P,N) Hom(P,N) Ext (M,N), where Ext.M; N / D coker is called the irst group o extensions o M and N.

31 .4 Extensions and Ext 63 Remark.3. In arbitrary categories, projective resolutions do not necessarily stop ater two steps; in act, they might not even stop at all. Thus a projective resolution in a general category is o the orm P n n P n P P M and applying Hom. ;N/yields a so-called cochain complex Hom(M, N) Hom(P,N) n Hom(P n,n), which means that i i D, or all i. One then deines the ith extension group Ext i.m; N / or i to be the ith cohomology group o this complex, that is, Ext i.m; N / D ker ic ı im i : One can show that this deinition does not depend on the choice o the projective resolution; see, or example, [53, Proposition 6.4]. In the category rep Q, all the Ext i -groups, with i, vanish, because the minimal projective resolutions are o the orm P P g M. On the other hand, the Ext -groups provide very interesting inormation. Our next goal is to show that the vector space Ext.M; N / is isomorphic to the vector space o extensions o M by N. Deinition.. An extension o M by N is a short exact sequence! N! E! g M!. Two extensions and are called equivalent i there is a commutative diagram: ζ : N E g M = = = ζ : N E g M Example.. Let Q be the quiver α β,

32 64 Projective and Injective Representations let N D S./, M D S./ be the two simple modules and let E = k k and E = k k. Then the short exact sequences ζ : ζ : S() S() E E g g S() S() are not equivalent, because E and E are not isomorphic. An extension is split i the short exact sequence is split, that is, i the extension is equivalent to the short exact sequence: N N M M. Given two extensions and o M by N, we deine their sum C as ollows: Let E D.x; x / E E j g.x/ D g.x /g be the so-called pull back o g and g, and deine F to be the quotient o E by the subspace..n/;.n// E E j n N g, compare with Exercises.8 and.9 in Chap.. Then C is N F M. The set o equivalence classes E.M; N / o extensions o M by N together with the sum o extensions is an abelian group, and the class o the split extension is the zero element o that group. There is an isomorphism o groups E.M; N /! Ext.M; N / which is deined as ollows. Let W! N! u E! v M! be a representative o a class in g E.M; N /, and let! P! P! M! be a projective resolution. Then since P is projective, it ollows that there exists a morphism Hom.P ;E/ such that g D v. Now since is exact, the universal property o the kernel implies that there exists also a morphism u Hom.P ;N/such that the ollowing diagram commutes: P P g M u = ζ : N u E v M.

33 .4 Extensions and Ext 65 Recall that Ext.M; N / is the cokernel o, which is the quotient Hom.P ;N/=im. The isomorphism E.M; N /! Ext.M; N / is sending the class o to the class o u. Example.3. Let us compute the sum o the two short exact sequences and in Example.. Thus Q is the quiver α β, N D S./, M D S./ and E = k k and E = k k. Using our notation E D.E i ;' / iq ; Q and E D.E i ;' /iq ; Q,wehave E Š E Š k ' D 'ˇ D E Š E Š k ' D 'ˇ D Let us denote the elements o E as pairs.e ;e / E E and those o E as.e ;e / E E : To compute the sum C, we irst need to compute the pull back E. By deinition E D.e ;e /;.e ;e / E E j g.e ;e / D g.e ;e / : Since g and g are both projections on the irst component, we have E D.e ;e /;.e ;e / E E : We want to write E as a representation E D.E i ;' above shows that E This shows that Š k and E Š k. Let s compute ' /iq ; Q. Our computation and ' ˇ. Wehave '..e ;e /;.e ;e // D.'.e ;e /; '.e ;e // D..; e /;.; // ' ˇ..e ;e /;.e ;e // D.'ˇ.e ;e /; ' ˇ.e ;e // D..; /;.; e // E = k k.

34 66 Projective and Injective Representations Now we compute F. By deinition and using the act that both and are inclusions in the second component, we have F D E =..; n/;.; n// j n kg : Writing F D.F i ; /, we see that F Š F Š k. Moreover, i.e ;e /;.e ;e / E and.e ;e /;.e ;e / denotes its class in F, then and ˇ.e ;e /;.e ;e / D '.e ;e /;.e ;e / D..; e /;.; //.e ;e /;.e ;e / D ' ˇ.e ;e /;.e ;e / D..; /;.; e //: In particular,.e ;e /;.e ;e / D ˇ.e ;e /;.e ;e /. This shows that F = k k. Finally, we see that the sum C is the short exact sequence S() F g S() with the inclusion in the second component and g the projection on the irst component. Problems Exercises or Chap... Let Q be the quiver 3 4. Prove that x ab P() = k x k cd k, z k y y

35 .4 Extensions and Ext 67 i and only i. all our maps have maximal rank, that is, ad bc,.x ;x /.; /;.y ;y /.; /; z and ab x ab y. the vectors and are linearly independent. cd cd x.. Compute the indecomposable projective representations P.i/ and the indecomposable injective representations I.i/ or the ollowing quivers: y Compute a projective resolution or each simple representation S.i/ or each o the quivers in (.).. Compute the dimension vector o S.i/or each simple representation S.i/ o the quivers in (.)..4. Prove Proposition.3.5. Prove Proposition.5.6. Show that or each i Q, the sequence radp(i) P(i) S(i) is a minimal projective resolution..7. Let M D.M i ; / be a representation o Q. Prove that or any vertex i in Q, there is an isomorphism o vector spaces: Hom.M; I.i// Š M i :.8. Let i and j be vertices in the quiver Q. Prove that the vector space Hom.I.i/; I.j // has a basis consisting o all paths rom j to i in Q. In particular, End.I.i// Š k:.9. Prove that the representation I.j/ is a simple representation i and only i Hom.I.j /; I.i// D or all i j.

36 68 Projective and Injective Representations.. Prove Proposition.7... Prove that P is projective i and only i Ext.P; N / D or all representations N... Let Q be the quiver α β and let M be the representation deined in Exercise.6 o Chap... Show that the short exact sequences are not equivalent i.. Show that M D M, or all. M λ, M μ,,

37

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

Categories and Natural Transformations

Categories and Natural Transformations Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical

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

Lie Algebra Cohomology

Lie Algebra Cohomology Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d

More information

University of Cape Town

University of Cape Town The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial

More information

1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.

1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity. MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an

More information

Higher dimensional homological algebra

Higher dimensional homological algebra 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

More information

SEPARATED AND PROPER MORPHISMS

SEPARATED AND PROPER MORPHISMS SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the

More information

Math 216A. A gluing construction of Proj(S)

Math 216A. A gluing construction of Proj(S) Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does

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

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle

More information

GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS

GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions

More information

EXT, TOR AND THE UCT

EXT, TOR AND THE UCT EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem

More information

LIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset

LIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset 5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,

More information

Notes on the definitions of group cohomology and homology.

Notes on the definitions of group cohomology and homology. Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.

More information

SEPARATED AND PROPER MORPHISMS

SEPARATED AND PROPER MORPHISMS SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.

More information

Descent on the étale site Wouter Zomervrucht, October 14, 2014

Descent on the étale site Wouter Zomervrucht, October 14, 2014 Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and

More information

A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space.

A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let P n be the projective n space over the complex numbers. In this note we show that an indecomposable

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

Representations of quivers

Representations of quivers Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice

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

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection 3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given

More information

VALUATIVE CRITERIA BRIAN OSSERMAN

VALUATIVE CRITERIA BRIAN OSSERMAN VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not

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

VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS

VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where

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

Variations on a Casselman-Osborne theme

Variations on a Casselman-Osborne theme Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne

More information

(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results

(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results (C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o

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

2 Coherent D-Modules. 2.1 Good filtrations

2 Coherent D-Modules. 2.1 Good filtrations 2 Coherent D-Modules As described in the introduction, any system o linear partial dierential equations can be considered as a coherent D-module. In this chapter we ocus our attention on coherent D-modules

More information

A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)

A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A category C is skeletally small if there exists a set of objects in C such that every object

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

CALABI-YAU ALGEBRAS AND PERVERSE MORITA EQUIVALENCES

CALABI-YAU ALGEBRAS AND PERVERSE MORITA EQUIVALENCES CALABI-YAU ALGEBRAS AND PERERSE MORITA EQUIALENCES JOSEPH CHUANG AND RAPHAËL ROUQUIER Preliminary Draft Contents 1. Notations 2 2. Tilting 2 2.1. t-structures and filtered categories 2 2.1.1. t-structures

More information

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS

KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between the Koszul and Ringel dualities for graded

More information

ALGEBRA HW 3 CLAY SHONKWILER

ALGEBRA HW 3 CLAY SHONKWILER ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination

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

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

8 Perverse Sheaves. 8.1 Theory of perverse sheaves

8 Perverse Sheaves. 8.1 Theory of perverse sheaves 8 Perverse Sheaves In this chapter we will give a self-contained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves

More information

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation; 4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length

More information

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

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.

12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End

More information

HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS

HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence

More information

Injective Modules and Matlis Duality

Injective Modules and Matlis Duality Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following

More information

Homotopy, Quasi-Isomorphism, and Coinvariants

Homotopy, Quasi-Isomorphism, and Coinvariants LECTURE 10 Homotopy, Quasi-Isomorphism, an Coinvariants Please note that proos o many o the claims in this lecture are let to Problem Set 5. Recall that a sequence o abelian groups with ierential is a

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

THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS

THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS FINNUR LÁRUSSON Abstract. We give a detailed exposition o the homotopy theory o equivalence relations, perhaps the simplest nontrivial example o a model structure.

More information

In the index (pages ), reduce all page numbers by 2.

In the index (pages ), reduce all page numbers by 2. Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by

More information

Notes on Beilinson s How to glue perverse sheaves

Notes on Beilinson s How to glue perverse sheaves Notes on Beilinson s How to glue perverse sheaves Ryan Reich June 4, 2009 In this paper I provide something o a skeleton key to A.A. Beilinson s How to glue perverse sheaves [1], which I ound hard to understand

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

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

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

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

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485 Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

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

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

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9 COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We

More information

Artin algebras of dominant dimension at least 2.

Artin algebras of dominant dimension at least 2. WS 2007/8 Selected Topics CMR Artin algebras of dominant dimension at least 2. Claus Michael Ringel We consider artin algebras with duality functor D. We consider left modules (usually, we call them just

More information

ERRATA for An Introduction to Homological Algebra 2nd Ed. June 3, 2011

ERRATA for An Introduction to Homological Algebra 2nd Ed. June 3, 2011 1 ERRATA for An Introduction to Homological Algebra 2nd Ed. June 3, 2011 Here are all the errata that I know (aside from misspellings). If you have found any errors not listed below, please send them to

More information

Math 248B. Base change morphisms

Math 248B. Base change morphisms Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback

More information

Cohomology and Base Change

Cohomology and Base Change Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)

More information

Homological Methods in Commutative Algebra

Homological Methods in Commutative Algebra Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes

More information

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014 Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

More information

The Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!

The Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread! The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

NOTES ON SPLITTING FIELDS

NOTES ON SPLITTING FIELDS NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y

More information

GENERAL ABSTRACT NONSENSE

GENERAL ABSTRACT NONSENSE GENERAL ABSTRACT NONSENSE MARCELLO DELGADO Abstract. In this paper, we seek to understand limits, a uniying notion that brings together the ideas o pullbacks, products, and equalizers. To do this, we will

More information

HOMOLOGY AND COHOMOLOGY. 1. Introduction

HOMOLOGY AND COHOMOLOGY. 1. Introduction HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together

More information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

THE SNAIL LEMMA ENRICO M. VITALE

THE SNAIL LEMMA ENRICO M. VITALE THE SNIL LEMM ENRICO M. VITLE STRCT. The classical snake lemma produces a six terms exact sequence starting rom a commutative square with one o the edge being a regular epimorphism. We establish a new

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

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.

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

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

REPRESENTATION THEORY. WEEKS 10 11

REPRESENTATION THEORY. WEEKS 10 11 REPRESENTATION THEORY. WEEKS 10 11 1. Representations of quivers I follow here Crawley-Boevey lectures trying to give more details concerning extensions and exact sequences. A quiver is an oriented graph.

More information

Indecomposable Quiver Representations

Indecomposable Quiver Representations Indecomposable Quiver Representations Summer Project 2015 Laura Vetter September 2, 2016 Introduction The aim of my summer project was to gain some familiarity with the representation theory of finite-dimensional

More information

PERVERSE EQUIVALENCES

PERVERSE EQUIVALENCES PERERSE EQUIALENCES JOSEPH CHUANG AND RAPHAËL ROUQUIER Contents 1. Introduction 2 2. Notations 3 3. t-structures and filtered categories 4 3.1. t-structures 4 3.2. Intersections of t-structures 4 3.3.

More information

A Primer on Homological Algebra

A Primer on Homological Algebra A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

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

CATEGORIES. 1.1 Introduction

CATEGORIES. 1.1 Introduction 1 CATEGORIES 1.1 Introduction What is category theory? As a irst approximation, one could say that category theory is the mathematical study o (abstract) algebras o unctions. Just as group theory is the

More information

UNIVERSAL DERIVED EQUIVALENCES OF POSETS

UNIVERSAL DERIVED EQUIVALENCES OF POSETS UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for

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

Some Classification of Prehomogeneous Vector Spaces Associated with Dynkin Quivers of Exceptional Type

Some Classification of Prehomogeneous Vector Spaces Associated with Dynkin Quivers of Exceptional Type International Journal of Algebra, Vol. 7, 2013, no. 7, 305-336 HIKARI Ltd, www.m-hikari.com Some Classification of Prehomogeneous Vector Spaces Associated with Dynkin Quivers of Exceptional Type Yukimi

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

LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES

LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,

More information

STABLE EQUIVALENCES OF GRADED ALGEBRAS

STABLE EQUIVALENCES OF GRADED ALGEBRAS STABLE EQUIVALENCES OF GRADED ALGEBRAS ALEX S. DUGAS AND ROBERTO MARTÍNEZ-VILLA Abstract. We extend the notion o stable equivalence to the class o locally noetherian graded algebras. For such an algebra

More information

Thus we get. ρj. Nρj i = δ D(i),j.

Thus we get. ρj. Nρj i = δ D(i),j. 1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :

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

REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY WEEK 9 REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence

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

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R) CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.

More information

CLASS NOTES MATH 527 (SPRING 2011) WEEK 6

CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i

More information

PERVERSE SHEAVES. Contents

PERVERSE SHEAVES. Contents PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a

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

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

AN ABSTRACT CHARACTERIZATION OF NONCOMMUTATIVE PROJECTIVE LINES

AN ABSTRACT CHARACTERIZATION OF NONCOMMUTATIVE PROJECTIVE LINES AN ABSTRACT CHARACTERIZATION OF NONCOMMUTATIVE PROJECTIVE LINES A. NYMAN Abstract. Let k be a field. We describe necessary and sufficient conditions for a k-linear abelian category to be a noncommutative

More information

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY

EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define

More information

DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

More information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information