DOCSLIB.ORG

Categories and Chain Complexes in Homological Algebra

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Categories and Chain Complexes in Homological Algebra Sudan University of Science and Technology College of Graduate Studies Categories and Chain Complexes in Homological Algebra اﻷﺻﻨﺎف وﻣﺠﻤﻌﺎت اﻟﺴﻼﺳﻞ ﻓﻲ اﻟﺠﺒﺮ اﻟﮭﻤﻮﻟﻮﺟﻲ A thesis Submitted in fulfillment of the requirements for the degree of Philosophy in mathematics By Mohmoud Awada Mohmoud Torkawy Supervisor: Dr. Adam Abdalla Abbaker Hassan April 2014 - 1 - Dedication To my family for their cooperation and encouragement I Acknowledgements My thanks firstly to Allah. I am great full to express my deep thanks to my supervisor Dr. Adam Abdalla Abbakar Hassan at Nile Valley University who suggested the title of this thesis and for his full help. Also I thank Sudan University of Science and Technology for their help and advice, for their cooperation throughout this study. My thanks extends to the University of Kordofan for the scholarship. II Abstract The thesis exposes the basic language of categories and functions. We construct the projective, inductive limits, kernel, cokernel, product, co product. Complexes in additive categories and complexes. in abelian categories. The study asked when dealing with abelian category c, we assume that c is full Abelian. The thesis prove the Yoned lemma, Five lemma, Horseshoe lemma and Snake lemma an then it give rise to an exact sequence, and introduce the long and short exact sequence. We consider three Abelian categories c, c', c" an additive bi functor F: cxc' → c" and we assume that F is left exact with respect to each of its argument, and the study assume that each injective object I∈C the functor F (1,.): c' → c" is exact. The study shows important theorm and proving it if R is ring R = e {x1, ….…, xn }, the Kozul complex KZ (R) is an object with effective homology. We prove the cone reduction theorem ∈ (if p = (f,g,h): C* D*, and p' = f',f',h'): C'* D'*, be two reduction and Ø: C* C'* a chain complex morphism, then these data define a canonical reduction P" = (f", g", h" : cone (Ø) cone (f' Ø g'). The study gives a deep concepts and nation of completely multi – positive linear maps between C ∗- algebra and shows they are completely multi positive We gives interpretation and explain how whiteheal theorem is important to homological algebra. III The study construct the localization of category when satisfies its suitable conditions and the localization functors. The thesis is splitting on De Rham co-homology in the module category and structures on categories of complexes in abelian categories. The thesis applies triangulated categories to study the problem B = D (R), the unbounded derived category of chain complexes, and how to relate between categories and chain complexes. IV اﻟﺧـﻼﺻــﺔ ﺗوﺿﺢ ﻫذﻩ اﻷطروﺣﺔ اﻟﻠﻐﺔ اﻷﺳﺎﺳﯾﺔ اﻷﺻﻧﺎف ووظﺎﺋﻔﻬﺎ. اﻫﺗﻣت اﻟدراﺳﺔ ﺑﺗرﻛﯾب أو ﺑﻧﺎء اﻟﺣدود اﻟﻣﺷروﻋﯾﺔ اﻻﺳﺗﻧﺗﺎﺟﯾﺔ ﻟﻠﻧواة اﻹﺿـﺎﻓﯾﺔ واﻟﻧـــــــواة اﻟﺛﺎﻧوﯾـــــــﺔ واﻟﺿـــــــرب اﻟـــــــداﺧﻠﻲ واﻟﺿـــــــرب اﻟﺧـــــــﺎرﺟﻲ ﻓـــــــﻲ اﻷﺻـــــــﻧﺎف اﻟﺟﻣﻌﯾـــــــﺔ اﻟﺗرﻛﯾﺑﯾﺔ(أو اﻟﻣﻌﻘدة) اﻹﺿﺎﻓﯾﺔ واﻟﺗرﻛﯾﺑﺎت ﻓﻲ اﻷﺻﻧﺎف اﻷﺑﯾﻠﯾﺔ. ﯾطرح اﻟﺑﺣث اﻟﺳؤال ﻓﻲ ﻛﯾﻔﯾﺔ اﻟﺗﻌﺎﻣل ﻣﻊ اﻟﺻﻧف C ﺣﯾث ﺗﻔﺗرض أن C ﻓﺋﺔ ﺻﻧف أﺑﯾﻠﻲ ﻛﺎﻣل. ﺗﻧﺎوﻟت اﻟدراﺳﺔ ﺗﻣﻬﯾدﯾﺔ ﯾوﻧدﻟﯾﻣﺎ ( Yoned lemma) و ﺗﻣﻬﯾدﯾﺔ ﻓﺎﯾف ( Five lemma) و ﺗوﻣﻬﯾدﯾـﺔ اﻟﻬورﺷـﻲ (Horsehose lemma) و ﺗﻣﻬﯾدﯾـﺔ ﺳــﻧﺎك ( Snak lemma) وﺑر اﻫﯾﻧﻬـــﺎ وﻣـــن ﺛـــم أﻋطـــت اﻟﻧﺗـــﺎﺋﺞ ﻟﻠﺳﻠﺳـــﻠﺔ اﻟﺗﺎﻣـــﺔ اﻟﺗـــﻲ ﺗﻌﻣـــل ﻋﻠـــﻰ ﺗﻘـــدﯾم اﻟﺳﻼﺳل ذو اﻟﻣدى اﻟطوﯾل واﻟﻘﺻﯾر وﻛﯾف ﯾﻣﻛن ﺗطﺑﯾﻘﻬﺎ واﻻﺳﺗﻔﺎدة ﻣن ذﻟك. ﺗﻬــدف اﻟدراﺳــﺔ إﻟــﻰ ﺑﻧــﺎء ﺛــﻼث أﺻــﻧﺎف أﺑﯾﻠﯾــﺔ ◌ C.C ً, ◌ً.Cوا ٕ ﻟــﻰ دوال إﺿــﺎﻓﯾﺔ أﺧرى ﻣﺛل اﻟداﻟﺔ F وﻗـد ﺗرﻛـت ﻟوﺣـدﻫﺎ ﻓﯾﻣـﺎ ﯾﺗﻌﻠـق ﺑﻛـل ﺣﺟﯾﺎﺗﻬـﺎ وﺗﻔﺗـرض اﻟدراﺳـﺔ أن ﻛل ﻣدﺧل ﻣوﺿوﻋﻲ ﯾﻧﺗﻣﻲ إﻟﻰ اﻟوظﯾﻔﺔ اﻟﺧﺎﺻﺔ ﺑﻪ (I∈C) وﻫﻲ: ⇉ (. ,F(I وﺗؤدي ﺗﻣﺎﻣﺎً إﻟﻰ ◌ C. ًC وﺗوﺿــﺢ اﻟدراﺳــﺔ أﻫﻣﯾــﺔ اﻟﻧظرﯾــﺔ اﻟﺗــﻲ ﺗــﻧص ﻋﻠــﻰ أﻧــﻪ إذا ﻛﺎﻧــت R ﺗﻣﺛــل ﺣﻠﻘــﺔ وان (R= (x1 ........... xn وان ﺗرﻛﯾـب ﻛـوزل (Kozul KZ(R ﻫـو ﺷـﻲء ذو ﺗﺟــﺎﻧس أو ﺗﻣﺎﺛل ﻓﻌﺎل ﯾﻧص ﺑرﻫﺎن اﻟﻧظرﯾﺔ ﻋﻠﻰ ان إذا ﻛﺎﻧت. P= (f,h,g) C* D* (◌ P ◌ = ( َf ◌، َg ◌ ، َhَ ﺗودي إﻟﻰ أن .D C∗ V ﯾﺧﺗﺻر إﻟﻰ اﻟﻣﺟﻣوﻋﺔ اﻟﺧﺎﻟﯾﺔ ◌ :C َC ﺗﻌطــﻲ اﻟدراﺳــﺔ ﻣﻔــﺎﻫﯾم ﻋﻣﯾﻘــﺔ ﻋــن اﻟرواﺳــم اﻟﺧطﯾــﺔ اﻟﻛﻠﯾــﺔ اﻟﻣوﺟﺑﯾــﺔ ﺑــﯾن *C اﻟﺟﺑــر. وﺗوﺿﺢ أﻧﻬﺎ ﻣﺗﻌددة اﻟﻣوﺟﺑﯾﺔ ﻛﻠﯾﺎً . وأﻫﺗﻣــت اﻟدراﺳــﺔ ﺑﻧظرﯾــﺔ واﯾﺗﻬــل (WHITEHEAL) وأﻋطﯾﻧــﺎ ﺗﻔﺳــﯾرات ووﺿــﺣﻧﺎ ﻛﯾــف أن ﻣﺑرﻫﻧﺔ واﯾﺗﻬل ﻣﻬﻣﺔ ﻓﻲ اﻟﺟﺑر اﻟﻬﻣوﻟوﺟﻲ. ﺗﻬﺗم اﻟدراﺳﺔ إﻟﻰ ﺑﻌض اﻟﺗﻧﺎﻗﺿﺎت اﻟﺧﺎﺻﺔ ﺑﺎﻟﺗﺟﺎﻧس اﻟﻣﺻﺎﺣب اﻟـذي ﻗـﺎم ﺑـﻪ دﯾرﻫـﺎم (De Rham) ﻓﻲ اﻷﺻﻧﺎف اﻷﺑﯾﻠﯾﺔ. ﺗطﺑق اﻷطروﺣﺔ اﻷﺻﻧﺎف اﻟﻣﺛﻠﺛﯾﺔ ﻟـ(B=D (R اﻟﺗﻲ ﺗﺧص اﻷﺻـﻧﺎف ﻏﯾـر اﻟﻣﺣـدودة ﻓـﻲ اﻟﺳﻠﺳـﻠﺔ اﻟﺗرﻛﯾﺑﯾـﺔ(اﻟﻣﻌﻘــدة) وﻛﯾـف ﺗﻘـﺎرن أو ﺗﺧﻠـق ﻋﻼﻗــﺔ ﺑـﯾن اﻷﺻـﻧﺎف وﺳﻼﺳــل اﻷﺻﻧﺎف اﻟﻣرﻛﺑﺔ (اﻟﻣﻌﻘدة). VI The Contents Subject Page - Dedication I - Acknowledgment II - Abstract III - Abstract in (Arabic) V - The contents VII Chapter One The language of categories (1.1) sets and maps. 4 (1.2) Modules and linear maps. 13 (1.3) Categories and functor. 35 (1.4) Representable functor, adjoint fucntor. 47 (1.5) Free Modules. 50 (1.6) The grothendieck theorem. 54 Chapter Two Limits (2.1) Products and co products 62 (2.2) Kernels and co kernels 66 (2.3) Limits and inductive limits and projective limits 71 (2.4) Properties of limits 79 (2. 5)compostion of limits 80 (2.6) Filtrates inductive limits 82 Chapter Three Additive categories (3.1) Additive categories 89 (3.2) Complexes in additive categories 93 (3.3) Double complexes 96 (3.4) Simplicial constructions 100 (3.5) Category of Diagrams 102 (3.6) Combinatorial topology of simplicity complexes 105 (3.7) Simplicial complexes 110 Chapter Four Abelian categories (4.1) Abelian categories 114 VII (4.2) Exact functors 119 (4.3) Injective and projective objects 122 (4.4) Complexes in abelian categories 131 (4.5) Resolutions 137 (4.6) Derived functors 142 (4.7) Koszul complexes 149 (4.8) Derived category of K-modules 158 Chapter Five Categories, localization and chain complexes (5.1) The homo Topycategory k (c) 163 (5.2) Derived categories 166 (5.3) Resolutions 171 (5.4) Derived functors 174 (5.5) Bi functors 176 (5.6) Localization of categories 180 (5.7) Localization of functors 188 (5.8) Triangulated categories 190 (5.9) Localization of triangulated categories. 195 (5.10) Effective chain complexes 199 (5.11) Locally effective chain complexes 203 - Appendix 207 - References 208 VIII Chapter One The Language of Categories The aim of the study is to introduce the language of categories and to present the basic notions of homological algebra first from an elementary point of view, with the notion of derived functors, next with a more sophisticated approach, with the introduction of triangulated and derived categories. After having introduced the basic concepts of categories theory and particular those of projective and inductive limits, we treat with some details additive and abelian categories and construct the derived. The thesis show the important concepts of triangulated and derived categories. This thesis is of five Chapter. In chapter one we expose the basic language of categories and functors. A key point is Yoneda Lemma, which asserts that a category c may be embedded in category ĉ of contra variant functors on c with values in the category set of sets. This naturally leads to the concept of representable functor. Many examples are treated, in particular in relation with the categories set of sets and Mod (A) of A-modules, for a (non necessarily commutative) ring A. In chapter two we construct the projective and inductive limits, as a particular case, the kernels and co-kernels, product and coproduces. We introduce the notions filtrant category and co final functors, and we study with some care filtrant inductive limits in the category set of sets. Chapter three deals with additive categories and study the category of complexes in sub categories in particular, we introduce the shifted complex, the mapping cone of morphism, the homotopy of complexes and the simple complex associated with a double 1 complex, with application to bifunctors. We also briefly study the simplicial category and explain how to associate complexes to simplicial objects. Chapter four deals with abelian category and develop chapter three, and gives the relations between additive categories and abelian categories C. The chapter also study the injective resolution in constructive the derived functors of left exact functor. Finally chapter four studies Kozul complexes and shows the important of derived category of K-modules with examples and applications. In chapter five we study the homotopy category k (c) of derived category c is \derived functors. Ho: k (c) c is co homological and the derived category D (c) of c is obtained by localizing k (c) with respect to the family of quasi-homomorphism. The chapter constructs the localization of category with respect to a family of morphism, satisfying suitable conditions and we construct the localization of functors, and Localization of categories appears in particular in the constructing of derived categories. We introduce triangulated categories, triangulated functors, and we give some results. We also study triangulated categories and functors, and we explain here this construction with some examples. The word homology was first used in topological context by Hennery Poincare in 1895. Who used it to think about manifolds which were the boundaries of higher-dimensional manifolds it was Emmy Noether in 1920 who began thinking of homology in terms of groups and who developed algebraic techniques such as the idea of Modules over a ring. These are both absolutely crucial in gradients in the Modern theory of homological algebra, yet for the next twenty years homology theory was to remain confined to the realer of topology. 2 In 1942 came the first more forward towards homological algebra as we know it today, with the arrival of a paper by Samuel Eilenbery and Saunders Mac-lame. In it we find Hom and Ext defined for the very first time, and a long with it the notions of a functor and natural isomorphism. These were needed to provide a precise language for talking about the properties of Hom (A,B); in particular the fact that it varies naturally, conveniently in A and conversantly in B.
Load more

Recommended publications
  • Diagram Chasing in Abelian Categories
    Diagram Chasing in Abelian Categories Daniel Murfet October 5, 2006 In applications of the theory of homological algebra, results such as the Five Lemma are crucial. For abelian groups this result is proved by diagram chasing, a procedure not immediately available in a general abelian category. However, we can still prove the desired results by embedding our abelian category in the category of abelian groups. All of this material is taken from Mitchell’s book on category theory [Mit65]. Contents 1 Introduction 1 1.1 Desired results ...................................... 1 2 Walks in Abelian Categories 3 2.1 Diagram chasing ..................................... 6 1 Introduction For our conventions regarding categories the reader is directed to our Abelian Categories (AC) notes. In particular recall that an embedding is a faithful functor which takes distinct objects to distinct objects. Theorem 1. Any small abelian category A has an exact embedding into the category of abelian groups. Proof. See [Mit65] Chapter 4, Theorem 2.6. Lemma 2. Let A be an abelian category and S ⊆ A a nonempty set of objects. There is a full small abelian subcategory B of A containing S. Proof. See [Mit65] Chapter 4, Lemma 2.7. Combining results II 6.7 and II 7.1 of [Mit65] we have Lemma 3. Let A be an abelian category, T : A −→ Ab an exact embedding. Then T preserves and reflects monomorphisms, epimorphisms, commutative diagrams, limits and colimits of finite diagrams, and exact sequences. 1.1 Desired results In the category of abelian groups, diagram chasing arguments are usually used either to establish a property (such as surjectivity) of a certain morphism, or to construct a new morphism between known objects.
    [Show full text]
  • The Freyd-Mitchell Embedding Theorem States the Existence of a Ring R and an Exact Full Embedding a Ñ R-Mod, R-Mod Being the Category of Left Modules Over R
    The Freyd-Mitchell Embedding Theorem Arnold Tan Junhan Michaelmas 2018 Mini Projects: Homological Algebra arXiv:1901.08591v1 [math.CT] 23 Jan 2019 University of Oxford MFoCS Homological Algebra Contents 1 Abstract 1 2 Basics on abelian categories 1 3 Additives and representables 6 4 A special case of Freyd-Mitchell 10 5 Functor categories 12 6 Injective Envelopes 14 7 The Embedding Theorem 18 1 Abstract Given a small abelian category A, the Freyd-Mitchell embedding theorem states the existence of a ring R and an exact full embedding A Ñ R-Mod, R-Mod being the category of left modules over R. This theorem is useful as it allows one to prove general results about abelian categories within the context of R-modules. The goal of this report is to flesh out the proof of the embedding theorem. We shall follow closely the material and approach presented in Freyd (1964). This means we will encounter such concepts as projective generators, injective cogenerators, the Yoneda embedding, injective envelopes, Grothendieck categories, subcategories of mono objects and subcategories of absolutely pure objects. This approach is summarised as follows: • the functor category rA, Abs is abelian and has injective envelopes. • in fact, the same holds for the full subcategory LpAq of left-exact functors. • LpAqop has some nice properties: it is cocomplete and has a projective generator. • such a category embeds into R-Mod for some ring R. • in turn, A embeds into such a category. 2 Basics on abelian categories Fix some category C. Let us say that a monic A Ñ B is contained in another monic A1 Ñ B if there is a map A Ñ A1 making the diagram A B commute.
    [Show full text]
  • Snake Lemma - Wikipedia, the Free Encyclopedia
    Snake lemma - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Snake_lemma Snake lemma From Wikipedia, the free encyclopedia The snake lemma is a tool used in mathematics, particularly homological algebra, to construct long exact sequences. The snake lemma is valid in every abelian category and is a crucial tool in homological algebra and its applications, for instance in algebraic topology. Homomorphisms constructed with its help are generally called connecting homomorphisms. Contents 1 Statement 2 Explanation of the name 3 Construction of the maps 4 Naturality 5 In popular culture 6 See also 7 References 8 External links Statement In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), consider a commutative diagram: where the rows are exact sequences and 0 is the zero object. Then there is an exact sequence relating the kernels and cokernels of a, b, and c: Furthermore, if the morphism f is a monomorphism, then so is the morphism ker a → ker b, and if g' is an epimorphism, then so is coker b → coker c. Explanation of the name To see where the snake lemma gets its name, expand the diagram above as follows: 1 of 4 28/11/2012 01:58 Snake lemma - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Snake_lemma and then note that the exact sequence that is the conclusion of the lemma can be drawn on this expanded diagram in the reversed "S" shape of a slithering snake. Construction of the maps The maps between the kernels and the maps between the cokernels are induced in a natural manner by the given (horizontal) maps because of the diagram's commutativity.
    [Show full text]
  • Weakly Exact Categories and the Snake Lemma 3
    WEAKLY EXACT CATEGORIES AND THE SNAKE LEMMA AMIR JAFARI Abstract. We generalize the notion of an exact category and introduce weakly exact categories. A proof of the snake lemma in this general setting is given. Some applications are given to illustrate how one can do homological algebra in a weakly exact category. Contents 1. Introduction 1 2. Weakly Exact Category 3 3. The Snake Lemma 4 4. The3 × 3 Lemma 6 5. Examples 8 6. Applications 10 7. Additive Weakly Exact Categories 12 References 14 1. Introduction Short and long exact sequences are among the most fundamental concepts in mathematics. The definition of an exact sequence is based on kernel and cokernel, which can be defined for any category with a zero object 0, i.e. an object that is both initial and final. In such a category, kernel and cokernel are equalizer and coequalizer of: f A // B . 0 arXiv:0901.2372v1 [math.CT] 16 Jan 2009 Kernel and cokernel do not need to exist in general, but by definition if they exist, they are unique up to a unique isomorphism. As is the case for any equalizer and coequalizer, kernel is monomorphism and cokernel is epimorphism. In an abelian category the converse is also true: any monomorphism is a kernel and any epimor- phism is a cokernel. In fact any morphism A → B factors as A → I → B with A → I a cokernel and I → B a kernel. This factorization property for a cate- gory with a zero object is so important that together with the existence of finite products, imply that the category is abelian (see 1.597 of [FS]).
    [Show full text]
  • A Primer on Homological Algebra
    A Primer on Homological Algebra Henry Y. Chan July 12, 2013 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 should know what a ring is... Definition 1.1. A ring is a set R with two operations + and ∗ and two identities 0 and 1 such that 1. (R; +; 0) is an abelian group. 2. (Associativity) (x ∗ y) ∗ z = x ∗ (y ∗ z), for all x; y; z 2 R. 3. (Multiplicative Identity) x ∗ 1 = 1 ∗ x = x, for all x 2 R. 4. (Left Distributivity) x ∗ (y + z) = x ∗ y + x ∗ z, for all x; y; z 2 R. 5. (Right Distributivity) (x + y) ∗ z = x ∗ z + y ∗ z, for all x; y; z 2 R. A ring is commutative if ∗ is commutative. Note that multiplicative inverses do not have to exist! Example 1.2. 1. Z; Q; R; C with the standard addition, the standard multiplication, 0, and 1. 2. Z=nZ with addition and multiplication modulo n, 0, and 1. 3. R [x], the set of all polynomials with coefficients in R, where R is a ring, with the standard polynomial addition and multiplication. 4. Mn×n, the set of all n-by-n matrices, with matrix addition and multiplication, 0n, and In. For convenience, from now on we only consider commutative rings. Definition 1.3. Assume (R; +R; ∗R; 0R; 1R) is a commutative ring. A R-module is an abelian group (M; +M ; 0M ) with an operation · : R × M ! M such that 1 1.
    [Show full text]
  • Homological Algebra Lecture 3
    Homological Algebra Lecture 3 Richard Crew Summer 2021 Richard Crew Homological Algebra Lecture 3 Summer 2021 1 / 21 Exactness in Abelian Categories Suppose A is an abelian category. We now try to formulate what it means for a sequence g X −!f Y −! Z (1) to be exact. First of all we require that gf = 0. When it is, f factors through the kernel of g: X ! Ker(g) ! Y But the composite Ker(f ) ! X ! Ker(g) ! Y is 0 and Ker(g) ! Y is a monomorphism, so Ker(f ) ! X ! Ker(g) is 0. Therefore f factors Richard Crew Homological Algebra Lecture 3 Summer 2021 2 / 21 X ! Im(f ) ! Ker(g) ! Y : Since Im(f ) ! Y is a monomorphism, Im(f ) ! Ker(g) is a monomorphism as well. Definition A sequence g X −!f Y −! Z is exact if gf = 0 and the canonical monomorphism Im(f ) ! Ker(g) is an isomorphism. Richard Crew Homological Algebra Lecture 3 Summer 2021 3 / 21 We need the following lemma for the next proposition: Lemma Suppose f : X ! Z and g : Y ! Z are morphisms in a category C which has fibered products, and suppose i : Z ! Z 0 is a monomorphism. Set f 0 = if : X ! Z 0 and g 0 = ig : Y ! Z 0. The canonical morphism X ×Z Y ! X ×Z 0 Y is an isomorphism. Proof: The canonical morphism comes from applying the universal property of the fibered product to the diagram p2 X ×Z Y / Y p1 g f g 0 X / Z i f 0 , Z 0 Richard Crew Homological Algebra Lecture 3 Summer 2021 4 / 21 The universal property of X ×Z Y is that the set of morphisms T ! X ×Z Y is in a functorial bijection with the set of pairs of morphisms a : T ! X and b : T ! Y such that fa = gb.
    [Show full text]
  • Matemaattis-Luonnontieteellinen Matematiikan Ja Tilastotieteen Laitos Joni Leino on Mitchell's Embedding Theorem of Small Abel
    HELSINGIN YLIOPISTO — HELSINGFORS UNIVERSITET — UNIVERSITY OF HELSINKI Tiedekunta/Osasto — Fakultet/Sektion — Faculty Laitos — Institution — Department Matemaattis-luonnontieteellinen Matematiikan ja tilastotieteen laitos Tekijä — Författare — Author Joni Leino Työn nimi — Arbetets titel — Title On Mitchell’s embedding theorem of small abelian categories and some of its corollaries Oppiaine — Läroämne — Subject Matematiikka Työn laji — Arbetets art — Level Aika — Datum — Month and year Sivumäärä — Sidoantal — Number of pages Pro gradu -tutkielma Kesäkuu 2018 64 s. Tiivistelmä — Referat — Abstract Abelian categories provide an abstract generalization of the category of modules over a unitary ring. An embedding theorem by Mitchell shows that one can, whenever an abelian category is sufficiently small, find a unitary ring such that the given category may be embedded in the category of left modules over this ring. An interesting consequence of this theorem is that one can use it to generalize all diagrammatic lemmas (where the conditions and claims can be formulated by exactness and commutativity) true for all module categories to all abelian categories. The goal of this paper is to prove the embedding theorem, and then derive some of its corollaries. We start from the very basics by defining categories and their properties, and then we start con- structing the theory of abelian categories. After that, we prove several results concerning functors, "homomorphisms" of categories, such as the Yoneda lemma. Finally, we introduce the concept of a Grothendieck category, the properties of which will be used to prove the main theorem. The final chapter contains the tools in generalizing diagrammatic results, a weaker but more general version of the embedding theorem, and a way to assign topological spaces to abelian categories.
    [Show full text]
  • The Snail Lemma
    Theory and Applications of Categories, Vol. 31, No. 19, 2016, pp. 484{501. THE SNAIL LEMMA ENRICO M. VITALE Resum´ e.´ The classical snake lemma produces a six terms exact sequence starting from a commutative square with one of the edge being a regular epimorphism. We establish a new diagram lemma, that we call snail lemma, removing such a condition. We also show that the snail lemma subsumes the snake lemma and we give an interpretation of the snail lemma in terms of strong homotopy kernels. Our results hold in any pointed regular protomodular category. 1. Introduction One of the basic diagram lemmas in homological algebra is the snake lemma (also called kernel-cokernel lemma). In an abelian category, it can be stated in the following way : from the commutative diagram kf f Ker(f) / A / B (1) K(α) α β Ker(f0) / A0 / B0 kf0 f0 and under the assumption that f is an epimorphism, it is possible to get an exact sequence Ker(K(α)) / Ker(α) / Ker(β) / Cok(K(α)) / Cok(α) / Cok(β) If we replace \epimorphism" with \regular epimorphism" and if α; β and K(α) are proper morphisms (Definition 2.2) the snake lemma holds also in several important non-abelian categories, like groups, crossed modules, Lie algebras, not necessarily unitary rings. Despite its very clear formulation, the snake lemma is somehow asymmetric because of the hypothesis on the morphism f: The aim of this paper is to study what happens if we remove this condition. What we prove is that we can get a six-term exact sequence (the snail sequence) starting from any commutative diagram like f A / B (2) α β A0 / B0 f0 Received by the editors 2014-07-05 and, in final form, 2016-06-07.
    [Show full text]
  • Homological Algebra in Abelian Categories
    Homological Algebra in Abelian Categories Rylee Lyman March 3, 2019 1 Preliminaries Recall that a category is a collection of objects with arrows between them. We use the word \collection" advisedly, making no claim that we are dealing with sets. We require each object A to have an associated arrow A 1A A called the identity. We also require composition of arrows to be defined whenever it makes sense, and we require this composition to be associative. Furthermore, given f : A ! B, f1A = f = 1Bf We follow the treatment in [Mac71] to which the curious reader is referred. In category theory, a dual statement is one in which all the arrows have been reversed. For example, an arrow m is monic if it is \right-cancellative," i.e. mf = mg =) f = g The dual notion is an epi. An isomorphism is an arrow that has a two-sided inverse. Exercise 1. Isomorphisms are both monic and epi The converse does not always hold. A standard example is the inclusion Z ! Q in the category of rings. An object z is initial if, given another object t, there is a unique arrow z A: Dually, an object is terminal if there is a unique arrow to the object from any given object. A zero object is one that is both initial and terminal. Exercise 2. If z and w are both initial, terminal, or zero objects, there exists a unique isomorphism z ! w. We will denote our zero objects as 0, as well as any arrow that factors through the zero object.
    [Show full text]
  • Problem Set 1 Due: September 10, 2015
    Math 7260 Fall 2015 Homological Algebra P. Achar Problem Set 1 Due: September 10, 2015 1. (Do not hand in) Weibel, Exercises 1.1.1, 1.1.2, 1.1.5. 2. (Do not hand in) Show that any isomorphism of chain complexes is a quasi-isomorphism. 3. (Do not hand in) Weibel, Exercise 1.1.3. Also, give an example of a quasi-isomorphism that is not an isomorphism. 4. Weibel, Exercise 1.1.4. 5. Let R = C[t]=(t2). Regarding R as a module over itself, consider the R-module homomorphism f : R ! R given by f(r) = tr. Next, let N be the R-module R=(t) =∼ C[t]=(t). Consider the following two chain complexes (with nonzero terms only in degrees 0 and −1): f C = (···! 0 ! R ! R ! 0 !··· ); D = (···! 0 ! N !0 N ! 0 !··· ): ∼ Prove that Hn(C) = Hn(D) for all n, but that there is no quasi-isomorphism u : C ! D or u : D ! C. 6.A filtered abelian group is an abelian group M together with a fixed collection of subgroups labelled by integers: · · · ⊂ F−1M ⊂ F0M ⊂ F1M ⊂ · · · ⊂ M: A filtered homomorphism f : F•M ! F•N is a homomorphism of abelian groups f : M ! N such that f(FnM) ⊂ FnN for all n. (a) (Do not hand in) Show that the category FAb of filtered abelian groups is additive. (b) Show that FAb has kernels and cokernels. Also, describe in concrete terms the monic and epic morphisms in this category. (c) Show that FAb is not abelian. (Hint: Find a morphism that is both epic and monic, but not an isomorphism.) 7.
    [Show full text]
  • The Topological Snake Lemma and Corona Algebras
    New York Journal of Mathematics New York J. Math. 5 (1999) 131–137. The Topological Snake Lemma and Corona Algebras C. L. Schochet Abstract. We establish versions of the Snake Lemma from homological alge- bra in the context of topological groups, Banach spaces, and operator algebras. We apply this tool to demonstrate that if f : B → B0 is a quasi-unital C∗- map of separable C∗-algebras, so that it induces a map of Corona algebras f¯ : QB →QB0, and if f is mono, then the induced map f¯ is also mono. This paper presents a cross-cultural result: we use ideas from homological alge- bra, suitable topologized, in order to establish a functional analytic result. The Snake Lemma (also known as the Kernel-Cokernel Sequence) 1 is a basic result in homological algebra. Here is what it says. Suppose that one is given a commutative diagram (1) 0 0 0 Ker(γ0) /Ker(γ) /Ker(γ00) α0 α00 0 /A0 /A /A00 /0 γ0 γ γ00 β0 β00 0 /B0 /B /B00 /0 Cok(γ0) /Cok(γ) /Cok(γ00) 000 Received August 30, 1999. Mathematics Subject Classification. Primary 18G35, 46L05; Secondary 22A05, 46L85. Key words and phrases. Corona algebra, multiplier algebra, Snake Lemma, homological alge- bra for C∗-algebras. 1and fondly recalled as the one serious mathematical theorem ever to appear in a major motion picture: “It’s My Turn,” starring Jill Clayburgh (1980). c 1999 State University of New York ISSN 1076-9803/99 131 132 C. L. Schochet with exact rows in some abelian category.2 The Snake Lemma (cf.
    [Show full text]
  • Algebraic Topology
    Algebraic Topology DRAFT 2013 - U.T. Contents 0 Introduction 2 1 Chain complexes 2 2 Simplicial homology 4 3 Singular homology 6 4 Chain homotopy and homotopy invariance 8 4.1 Chain homotopy . .8 4.2 Homotopy invariance . .9 5 The Snake Lemma and relative homology 10 6 The Five Lemma and excision 12 6.1 Atool ............................................. 12 6.2 Excision . 13 6.3 Locality . 14 6.4 Mayer-Vietoris sequence . 15 7 The degree of a map of spheres 15 8 Cellular homology 17 9 Cohomology and the Universal Coefficient Theorem 20 9.1 Cohomology . 20 9.2 Universal Coefficient Theorem . 21 1 0 Introduction We study topological spaces by associating algebraic objects which are invariant under homotopy (deformation). Sets: number of path components π0 Numbers: Euler characteristic χ winding number w γ Groups: fundamental group π1 ( ) Graded abelian groups: Homology H∗ Graded rings: Cohomology H∗ This course will introduce and study homology and cohomology. Why? • Nonabelian groups are difficult to work with • π1 only tells us something about the 2-skeleton of a space n • higher dimensional analogues, πn fhomotopy classes of based maps from S to the space k of interestg, are very hard to compute. Even πn S are not all know for n k. = Homology, H∗, is a refinement of the Euler characteristic and still relatively easy> to compute. References Everything contained in this course is covered in • chapters 2 and 3 of `Algebraic Topology' by Allen Hatcher, available online at http://www.math.cornell.edu/∼hatcher/ 1 Chain complexes Definition 1.1. Let C0;C1;::: be abelian groups (or vector spaces) and let @n Cn Cn−1 be homomorphisms (or linear maps).
    [Show full text]