DOCSLIB.ORG

Notes on Homological Algebra

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Notes on Homological Algebra Notes on Homological Algebra Mariusz Wodzicki December 1, 2016 1 Foundations 1.1 Preliminaries 1.1.1 A tacit assumption is that A, B, ... , are abelian categories, i.e., additive categories with kernels, cokernels, every epimorphism being a kernel, and every monomorphism being a cokernel. 1.1.2 In an abelian category every morphism has an image-coimage factorization • fl [^ i ^ q [ (1) fl ••u a in which i is an image of a, i.e., a kernel of a cokernel of a, and q is a coimage of a, i.e., a cokernel of a kernel of a, cf. Notes on Category Theory. 1.1.3 Exact composable pairs A composable pair of arrows a b •••u u (2) is said to be exact if b factorizes k ◦ b0 with k being a kernel of a and b0 being an epimorphism. 1.1.4 If l is a cokernel of b, then l is a cokernel of k , i.e., a cokernel of b and a kernel of a form an extension l k . •••u u u (3) x Unlike the original condition this last condition is self-dual. 3 1.1.5 Note that a cokernel of b and a kernel of a form an extension precisely when k is an image of b and l is a coimage of a • fl [^^ a [l fl b •••u a u [^ [ k ^ flfl b¯ • in which case coimage factorization factorizes a through a cokernel of b with a being a monomorphism while image factorization factorizes b through a kernel of a with b¯ being an epimorphism. Let us record this fact for future use. Lemma 1.1 For any composable pair of arrows, the following three conditions are equivalent (a) b factorizes through a kernel of a b ••u [^ [ ff k ^ ffflfl b0 • (b) a factorizes being a cokernel of b • 0 fl [^^ a ff [l fffl ••u a (c) a cokernel of b and a kernel of a form an extension. 1.1.6 Condition a ◦ b = 0 A weaker condition, a ◦ b = 0, is equivalent to existence of a factorization of b b ••u u k l (4) v u ••u m x 4 with m being a monomorphism. Note that m satisfying identity a = k ◦ m ◦ l is unique in view of k being a monomorphism and l being an epimor- phism. 1.1.7 Homology A cokernel c of m is called a homology of composable pair (2) and it forms an extension c m •••u u u .(5) x 1.1.8 The target of c is usually referred to as the homology (group) of the com- posable pair. This terminology originally was applied to homomorphisms of abelian groups but the tradition is so well established that it continues to be used also in the context of general abelian categories. 1.1.9 Note that a homology morphism c is zero or, equivalently, in view of the fact that c is an epimorphism, its target is zero, precisely when m is an isomorphism, i.e., when (2) is exact. 1.1.10 Composable pairs (2) satisfying the condition a ◦ b = 0 form a full subcat- egory of the category of composable pairs A2,0 . Exercise 1 Show that any assignment of a morphism c on the class of such composable pairs admits a unique extension to a functor c : A2,0 −! Arr A. 1.1.11 The compositions Z ˜ s ◦ c and H ˜ t ◦ c 5 with the source and, respectively, the target functors s : Arr A −! A and t : Arr A −! A are referred to as a cycles and, respectively, homology functors. Exercise 2 Express the condition a ◦ b = 0 in terms of a certain factorization of a. 1.1.12 A dual approach to homology Based on the corresponding factorization of a instead of b one can develop a dual approach to homology. 1.1.13 Chain complices We shall use the term chain complex in two ways: either in a loose sense, to denote any sequence of composable morphisms of any length such that the composition of any two composable arrows is zero or, in a strict sense, as a Z-graded object C• = (Cl)l2Z equipped with an endomorphism ¶ of degree −1 such that ¶ ◦ ¶ = 0. The graded endomorphism ¶ is referred to as the boundary morphism or operator. 1.1.14 Notation We may use notation (C•, ¶•), (C, ¶), C• or, simply, C, to denote a chain complex (Cl, ¶l)l2Z . 1.2 Projective and injective objects 1.2.1 Projective objects in an abelian category An object P is said to be projective if it possesses the Lifting Property for epimorphisms, more precisely, if for any diagram P u ••u u e 6 with e being an epimorphism, there exists an arrow P \ \] • such that the diagram P \ \ \\] u ••u u e commutes. 1.2.2 The above definition makes sense in any category, in general categories, however, there may be “too many” epimorphisms making the Lifting Property with respect to the class of all epimorphisms very restrictive. 1.2.3 An example: the category of topological spaces In the category of topological spaces and continuous mappings, epimor- phisms are mappings with dense image. For any nonsurjective epimor- phism f : Y −! Z and any nonempty space X the maping that sends all points in X to a point in Z n f (Y) cannot be lifted to Y. Thus, the only topological space that has Lifting Property for epimorphisms is the empty space. 1.2.4 Projective objects in a general category For the above reasons, projective objects in general categories are defined by the Lifting Property with respect to a specific class of epimorphisms, e.g., the class of all strong epimorphisms, see Notes on Category Theory. 7 1.2.5 Injective objects in an abelian category An object I is said to be injective if it possesses the Extension Property for monomorphisms, more precisely, if for any diagram I u ••v m w with m being a monomorphism, there exists an arrow I \^ \ • such that the diagram I u \^\ \ \ ••v m w commutes. Exercise 3 Show that P is projective if and only if for any commutative diagram with an exact row P 0 f fl u •••u u a b there exists an arrow P \ ˜ \]f • such that the diagram P \ \f˜ f \\] u •••u u a b commutes. 8 1.2.6 Dually, I is injective if and only if for any commutative diagram with an exact row I u [^[ [0 y [ •••u u a b there exists an arrow I y˜ fffi ff • such that the diagram I u y˜ fffffi ff y ff •••u u a b commutes. 1.2.7 Characterization of projectivity in terms of extensions Lemma 1.2 An object P is projective if and only if every extension of P, p i P u u ••u , x splits. Proof. Consider the diagram P idP . u p P u u • If P is projective, then there exists iP such that p ◦ iP = idP . 9 Vice-versa, suppose that a diagram P a u e A00 u u A is given. Consider a pullback by a of the extension e k A00 u u A u A0 x where k is a kernel of e, e¯ k¯ P u u A¯ u A0 x a a¯ u u e k A00 u u A u A0 x i If P A¯ splits the pullback extension, then a¯ ◦ i lifts a. Indeed, w e¯ ◦ (idA¯ −i ◦ e¯) = 0 implies that 0 idA¯ −i ◦ e¯ = k¯ ◦ p for a unique p0 and 0 a ◦ e¯ = e ◦ a¯ = e ◦ a¯ ◦ idA¯ = e ◦ a¯ ◦ i ◦ e¯ + e ◦ a¯ ◦ k¯ ◦ p = e ◦ a¯ ◦ i ◦ e¯ which in turn implies that a = e ◦ (a¯ ◦ i) since e¯ is an epimorphism. 1.3 Categories of chain complices 1.3.1 The (strict) category of graded objects The strict category of Z-graded objects has Z-sequences (Aq)q2Z as its objects and Z -sequences of morphisms (fq)q2Z , 0 fq Aq u Aq ,(6) as morphisms. In order to avoid confusion with morphisms in the category of Z-graded chain complices Ch(A), we shall denote such sequences graded maps. 10 1.3.2 Ch(A) Morphisms in the category of chain complices are graded maps that com- mute with the boundary operators, 0 ¶q ◦ fq = fq−1 ◦ ¶q (q 2 Z). 1.3.3 The graded category of graded objects We shall also consider graded maps of degree d, i.e., sequences of morphisms (fq)q2Z in A, 0 fq Aq+d u Aq (q 2 Z),(7) and often will refer to them simply as maps of degree d. The resulting graded category will be referred to as the graded category of graded objects of A. 1.3.4 Subcategories of Ch(A) The category of chain complices Ch(A) of an abelian category A has several naturally defined subcategories, for example, for any pair of subsets J ⊆ I ⊆ Z, let ChI,J(A) denote the full subcategory of chain complices with chain objects being zero in degrees outside I , Cl = 0 for l < I, and homology objects being zero in degrees outside J , Hl = 0 for l < J. Thus, ChZ,Æ(A) denotes the subcategory of acyclic chain complices. When I = J we shall use notation ChI (A). 1.3.5 Ch+(A) The subcategory Ch+(A) of complices vanishing at −¥, i.e., satisfying Cl = 0 for l 0, is the union of the subcatories Ch≥n(A) of complices satisfying Cl = 0 for l < n.
Load more

Recommended publications
  • Category of G-Groups and Its Spectral Category
    Communications in Algebra ISSN: 0092-7872 (Print) 1532-4125 (Online) Journal homepage: http://www.tandfonline.com/loi/lagb20 Category of G-Groups and its Spectral Category María José Arroyo Paniagua & Alberto Facchini To cite this article: María José Arroyo Paniagua & Alberto Facchini (2017) Category of G-Groups and its Spectral Category, Communications in Algebra, 45:4, 1696-1710, DOI: 10.1080/00927872.2016.1222409 To link to this article: http://dx.doi.org/10.1080/00927872.2016.1222409 Accepted author version posted online: 07 Oct 2016. Published online: 07 Oct 2016. Submit your article to this journal Article views: 12 View related articles View Crossmark data Full Terms & Conditions of access and use can be found at http://www.tandfonline.com/action/journalInformation?journalCode=lagb20 Download by: [UNAM Ciudad Universitaria] Date: 29 November 2016, At: 17:29 COMMUNICATIONS IN ALGEBRA® 2017, VOL. 45, NO. 4, 1696–1710 http://dx.doi.org/10.1080/00927872.2016.1222409 Category of G-Groups and its Spectral Category María José Arroyo Paniaguaa and Alberto Facchinib aDepartamento de Matemáticas, División de Ciencias Básicas e Ingeniería, Universidad Autónoma Metropolitana, Unidad Iztapalapa, Mexico, D. F., México; bDipartimento di Matematica, Università di Padova, Padova, Italy ABSTRACT ARTICLE HISTORY Let G be a group. We analyse some aspects of the category G-Grp of G-groups. Received 15 April 2016 In particular, we show that a construction similar to the construction of the Revised 22 July 2016 spectral category, due to Gabriel and Oberst, and its dual, due to the second Communicated by T. Albu. author, is possible for the category G-Grp.
    [Show full text]
  • Homological Algebra
    Homological Algebra Donu Arapura April 1, 2020 Contents 1 Some module theory3 1.1 Modules................................3 1.6 Projective modules..........................5 1.12 Projective modules versus free modules..............7 1.15 Injective modules...........................8 1.21 Tensor products............................9 2 Homology 13 2.1 Simplicial complexes......................... 13 2.8 Complexes............................... 15 2.15 Homotopy............................... 18 2.23 Mapping cones............................ 19 3 Ext groups 21 3.1 Extensions............................... 21 3.11 Projective resolutions........................ 24 3.16 Higher Ext groups.......................... 26 3.22 Characterization of projectives and injectives........... 28 4 Cohomology of groups 32 4.1 Group cohomology.......................... 32 4.6 Bar resolution............................. 33 4.11 Low degree cohomology....................... 34 4.16 Applications to finite groups..................... 36 4.20 Topological interpretation...................... 38 5 Derived Functors and Tor 39 5.1 Abelian categories.......................... 39 5.13 Derived functors........................... 41 5.23 Tor functors.............................. 44 5.28 Homology of a group......................... 45 1 6 Further techniques 47 6.1 Double complexes........................... 47 6.7 Koszul complexes........................... 49 7 Applications to commutative algebra 52 7.1 Global dimensions.......................... 52 7.9 Global dimension of
    [Show full text]
  • On Universal Properties of Preadditive and Additive Categories
    On universal properties of preadditive and additive categories Karoubi envelope, additive envelope and tensor product Bachelor's Thesis Mathias Ritter February 2016 II Contents 0 Introduction1 0.1 Envelope operations..............................1 0.1.1 The Karoubi envelope.........................1 0.1.2 The additive envelope of preadditive categories............2 0.2 The tensor product of categories........................2 0.2.1 The tensor product of preadditive categories.............2 0.2.2 The tensor product of additive categories...............3 0.3 Counterexamples for compatibility relations.................4 0.3.1 Karoubi envelope and additive envelope...............4 0.3.2 Additive envelope and tensor product.................4 0.3.3 Karoubi envelope and tensor product.................4 0.4 Conventions...................................5 1 Preliminaries 11 1.1 Idempotents................................... 11 1.2 A lemma on equivalences............................ 12 1.3 The tensor product of modules and linear maps............... 12 1.3.1 The tensor product of modules.................... 12 1.3.2 The tensor product of linear maps................... 19 1.4 Preadditive categories over a commutative ring................ 21 2 Envelope operations 27 2.1 The Karoubi envelope............................. 27 2.1.1 Definition and duality......................... 27 2.1.2 The Karoubi envelope respects additivity............... 30 2.1.3 The inclusion functor.......................... 33 III 2.1.4 Idempotent complete categories.................... 34 2.1.5 The Karoubi envelope is idempotent complete............ 38 2.1.6 Functoriality.............................. 40 2.1.7 The image functor........................... 46 2.1.8 Universal property........................... 48 2.1.9 Karoubi envelope for preadditive categories over a commutative ring 55 2.2 The additive envelope of preadditive categories................ 59 2.2.1 Definition and additivity.......................
    [Show full text]
  • Nearly Locally Presentable Categories Are Locally Presentable Is Equivalent to Vopˇenka’S Principle
    NEARLY LOCALLY PRESENTABLE CATEGORIES L. POSITSELSKI AND J. ROSICKY´ Abstract. We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopˇenka’s principle, the same happens in the regular case. The category of complete partial orders is the natural example of a nearly locally finitely presentable category which is not locally presentable. 1. Introduction Locally presentable categories were introduced by P. Gabriel and F. Ulmer in [6]. A category K is locally λ-presentable if it is cocomplete and has a strong generator consisting of λ-presentable objects. Here, λ is a regular cardinal and an object A is λ-presentable if its hom-functor K(A, −): K → Set preserves λ-directed colimits. A category is locally presentable if it is locally λ-presentable for some λ. This con- cept of presentability formalizes the usual practice – for instance, finitely presentable groups are precisely groups given by finitely many generators and finitely many re- lations. Locally presentable categories have many nice properties, in particular they are complete and co-wellpowered. Gabriel and Ulmer [6] also showed that one can define locally presentable categories by using just monomorphisms instead all morphisms. They defined λ-generated ob- jects as those whose hom-functor K(A, −) preserves λ-directed colimits of monomor- phisms. Again, this concept formalizes the usual practice – finitely generated groups are precisely groups admitting a finite set of generators. This leads to locally gener- ated categories, where a cocomplete category K is locally λ-generated if it has a strong arXiv:1710.10476v2 [math.CT] 2 Apr 2018 generator consisting of λ-generated objects and every object of K has only a set of strong quotients.
    [Show full text]
  • Derived Functors and Homological Dimension (Pdf)
    DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION George Torres Math 221 Abstract. This paper overviews the basic notions of abelian categories, exact functors, and chain complexes. It will use these concepts to define derived functors, prove their existence, and demon- strate their relationship to homological dimension. I affirm my awareness of the standards of the Harvard College Honor Code. Date: December 15, 2015. 1 2 DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION 1. Abelian Categories and Homology The concept of an abelian category will be necessary for discussing ideas on homological algebra. Loosely speaking, an abelian cagetory is a type of category that behaves like modules (R-mod) or abelian groups (Ab). We must first define a few types of morphisms that such a category must have. Definition 1.1. A morphism f : X ! Y in a category C is a zero morphism if: • for any A 2 C and any g; h : A ! X, fg = fh • for any B 2 C and any g; h : Y ! B, gf = hf We denote a zero morphism as 0XY (or sometimes just 0 if the context is sufficient). Definition 1.2. A morphism f : X ! Y is a monomorphism if it is left cancellative. That is, for all g; h : Z ! X, we have fg = fh ) g = h. An epimorphism is a morphism if it is right cancellative. The zero morphism is a generalization of the zero map on rings, or the identity homomorphism on groups. Monomorphisms and epimorphisms are generalizations of injective and surjective homomorphisms (though these definitions don't always coincide). It can be shown that a morphism is an isomorphism iff it is epic and monic.
    [Show full text]
  • Arxiv:2008.00486V2 [Math.CT] 1 Nov 2020
    Anticommutativity and the triangular lemma. Michael Hoefnagel Abstract For a variety V, it has been recently shown that binary products com- mute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points π : Pt(C) → C, if and only if Gumm’s shifting lemma holds on pullbacks in V. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain cat- egorical anticommutativity condition. In particular, we show that this anticommutativity and its local version are Mal’tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corol- lary, every locally anticommutative variety V has directly decomposable congruence classes in the sense of Duda, and the converse holds if V is idempotent. 1 Introduction Recall that a category is said to be pointed if it admits a zero object 0, i.e., an object which is both initial and terminal. For a variety V, being pointed is equivalent to the requirement that the theory of V admit a unique constant. Between any two objects X and Y in a pointed category, there exists a unique morphism 0X,Y from X to Y which factors through the zero object. The pres- ence of these zero morphisms allows for a natural notion of kernel or cokernel of a morphism f : X → Y , namely, as an equalizer or coequalizer of f and 0X,Y , respectively. Every kernel/cokernel is a monomorphism/epimorphism, and a monomorphism/epimorphism is called normal if it is a kernel/cokernel of some morphism.
    [Show full text]
  • AN INTRODUCTION to CATEGORY THEORY and the YONEDA LEMMA Contents Introduction 1 1. Categories 2 2. Functors 3 3. Natural Transfo
    AN INTRODUCTION TO CATEGORY THEORY AND THE YONEDA LEMMA SHU-NAN JUSTIN CHANG Abstract. We begin this introduction to category theory with definitions of categories, functors, and natural transformations. We provide many examples of each construct and discuss interesting relations between them. We proceed to prove the Yoneda Lemma, a central concept in category theory, and motivate its significance. We conclude with some results and applications of the Yoneda Lemma. Contents Introduction 1 1. Categories 2 2. Functors 3 3. Natural Transformations 6 4. The Yoneda Lemma 9 5. Corollaries and Applications 10 Acknowledgments 12 References 13 Introduction Category theory is an interdisciplinary field of mathematics which takes on a new perspective to understanding mathematical phenomena. Unlike most other branches of mathematics, category theory is rather uninterested in the objects be- ing considered themselves. Instead, it focuses on the relations between objects of the same type and objects of different types. Its abstract and broad nature allows it to reach into and connect several different branches of mathematics: algebra, geometry, topology, analysis, etc. A central theme of category theory is abstraction, understanding objects by gen- eralizing rather than focusing on them individually. Similar to taxonomy, category theory offers a way for mathematical concepts to be abstracted and unified. What makes category theory more than just an organizational system, however, is its abil- ity to generate information about these abstract objects by studying their relations to each other. This ability comes from what Emily Riehl calls \arguably the most important result in category theory"[4], the Yoneda Lemma. The Yoneda Lemma allows us to formally define an object by its relations to other objects, which is central to the relation-oriented perspective taken by category theory.
    [Show full text]
  • Coreflective Subcategories
    transactions of the american mathematical society Volume 157, June 1971 COREFLECTIVE SUBCATEGORIES BY HORST HERRLICH AND GEORGE E. STRECKER Abstract. General morphism factorization criteria are used to investigate categorical reflections and coreflections, and in particular epi-reflections and mono- coreflections. It is shown that for most categories with "reasonable" smallness and completeness conditions, each coreflection can be "split" into the composition of two mono-coreflections and that under these conditions mono-coreflective subcategories can be characterized as those which are closed under the formation of coproducts and extremal quotient objects. The relationship of reflectivity to closure under limits is investigated as well as coreflections in categories which have "enough" constant morphisms. 1. Introduction. The concept of reflections in categories (and likewise the dual notion—coreflections) serves the purpose of unifying various fundamental con- structions in mathematics, via "universal" properties that each possesses. His- torically, the concept seems to have its roots in the fundamental construction of E. Cech [4] whereby (using the fact that the class of compact spaces is productive and closed-hereditary) each completely regular F2 space is densely embedded in a compact F2 space with a universal extension property. In [3, Appendice III; Sur les applications universelles] Bourbaki has shown the essential underlying similarity that the Cech-Stone compactification has with other mathematical extensions, such as the completion of uniform spaces and the embedding of integral domains in their fields of fractions. In doing so, he essentially defined the notion of reflections in categories. It was not until 1964, when Freyd [5] published the first book dealing exclusively with the theory of categories, that sufficient categorical machinery and insight were developed to allow for a very simple formulation of the concept of reflections and for a basic investigation of reflections as entities themselvesi1).
    [Show full text]
  • (Lec 8) Multilevel Min. II: Cube/Cokernel Extract Copyright
    (Lec(Lec 8) 8) MultilevelMultilevel Min.Min. II:II: Cube/CokernelCube/Cokernel Extract Extract ^ What you know X 2-level minimization a la ESPRESSO X Boolean network model -- let’s us manipulate multi-level structure X Algebraic model -- simplified model of Boolean eqns lets us factor stuff X Algebraic division / Kerneling: ways to actually do Boolean division ^ What you don’t know X Given a big Boolean network... X ... how do we actually extract a good set of factors over all the nodes? X What’s a good set of factors to try to find? ^ This is “extraction” X Amazingly enough, there is a unifying “covering” problem here whose solution answers all these extraction problems (Concrete examples from Rick Rudell’s 1989 Berkeley PhD thesis) © R. Rutenbar 2001 18-760, Fall 2001 1 CopyrightCopyright NoticeNotice © Rob A. Rutenbar 2001 All rights reserved. You may not make copies of this material in any form without my express permission. © R. Rutenbar 2001 18-760, Fall 2001 2 Page 1 WhereWhere AreAre We?We? ^ In logic synthesis--how multilevel factoring really works M T W Th F Aug 27 28 29 30 31 1 Introduction Sep 3 4 5 6 7 2 Advanced Boolean algebra 10 11 12 13 14 3 JAVA Review 17 18 19 20 21 4 Formal verification 24 25 26 27 28 5 2-Level logic synthesis Oct 1 2 3 4 5 6 Multi-level logic synthesis 8 9 10 11 12 7 Technology mapping 15 16 17 18 19 8 Placement 22 23 24 25 26 9 Routing 29 30 31 1 2 10 Static timing analysis Nov 5 6 7 8 9 11 12 13 14 15 16 12 Electrical timing analysis Thnxgive 19 20 21 22 23 13 Geometric data structs & apps 26 27 28 29 30 14 Dec 3 4 5 6 7 15 10 11 12 13 14 16 © R.
    [Show full text]
  • Categories of Modules for Idempotent Rings and Morita Equivalences
    Master's Thesis Categories of Modules for Idempotent Rings and Morita Equivalences I Leandro Marm 1997 t Department of Mathematics University of Glasgow University Gardens Glasgow, G12 8QW ProQuest Number: 13834261 All rights reserved INFORMATION TO ALL USERS The quality of this reproduction is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a com plete manuscript and there are missing pages, these will be noted. Also, if material had to be removed, a note will indicate the deletion. uest ProQuest 13834261 Published by ProQuest LLC(2019). Copyright of the Dissertation is held by the Author. All rights reserved. This work is protected against unauthorized copying under Title 17, United States C ode Microform Edition © ProQuest LLC. ProQuest LLC. 789 East Eisenhower Parkway P.O. Box 1346 Ann Arbor, Ml 48106- 1346 10$ af 7 En resolucion, el se enfrasco tanto en su lectura, que se le pasaban las noches leyendo de claro en claro, y los dias de turbio en turbio; y asi, del poco dormir y del mucho leer se le seco el celebro 1 de manera, que vino a perder el juicio. M iguel de C ervantes Sa a v e d r a : El Ingenioso Hidalgo don Quijote de la Mancha. 1In modern Spanish this word is written ”cerebro” C ontents Chapter 1, Introduction 4 Chapter 2. Categories of Modules for Rings I 7 1. Noncommutative Localization 7 2. The Construction of the Categories 11 3. The Equivalence of the Categories 24 4. The Independence of the Base Ring 28 Chapter 3.
    [Show full text]
  • Abelian Categories
    Abelian Categories Lemma. In an Ab-enriched category with zero object every finite product is coproduct and conversely. π1 Proof. Suppose A × B //A; B is a product. Define ι1 : A ! A × B and π2 ι2 : B ! A × B by π1ι1 = id; π2ι1 = 0; π1ι2 = 0; π2ι2 = id: It follows that ι1π1+ι2π2 = id (both sides are equal upon applying π1 and π2). To show that ι1; ι2 are a coproduct suppose given ' : A ! C; : B ! C. It φ : A × B ! C has the properties φι1 = ' and φι2 = then we must have φ = φid = φ(ι1π1 + ι2π2) = ϕπ1 + π2: Conversely, the formula ϕπ1 + π2 yields the desired map on A × B. An additive category is an Ab-enriched category with a zero object and finite products (or coproducts). In such a category, a kernel of a morphism f : A ! B is an equalizer k in the diagram k f ker(f) / A / B: 0 Dually, a cokernel of f is a coequalizer c in the diagram f c A / B / coker(f): 0 An Abelian category is an additive category such that 1. every map has a kernel and a cokernel, 2. every mono is a kernel, and every epi is a cokernel. In fact, it then follows immediatly that a mono is the kernel of its cokernel, while an epi is the cokernel of its kernel. 1 Proof of last statement. Suppose f : B ! C is epi and the cokernel of some g : A ! B. Write k : ker(f) ! B for the kernel of f. Since f ◦ g = 0 the map g¯ indicated in the diagram exists.
    [Show full text]
  • Homological Algebra Over the Representation Green Functor
    Homological Algebra over the Representation Green Functor SPUR Final Paper, Summer 2012 Yajit Jain Mentor: John Ullman Project suggested by: Mark Behrens February 1, 2013 Abstract In this paper we compute Ext RpF; F q for modules over the representation Green functor R with F given to be the fixed point functor. These functors are Mackey functors, defined in terms of a specific group with coefficients in a commutative ring. Previous work by J. Ventura [1] computes these derived k functors for cyclic groups of order 2 with coefficients in F2. We give computations for general cyclic groups with coefficients in a general field of finite characteristic as well as the symmetric group on three elements with coefficients in F2. 1 1 Introduction Mackey functors are algebraic objects that arise in group representation theory and in equivariant stable homotopy theory, where they arise as stable homotopy groups of equivariant spectra. However, they can be given a purely algebraic definition (see [2]), and there are many interesting problems related to them. In this paper we compute derived functors Ext of the internal homomorphism functor defined on the category of modules over the representation Green functor R. These Mackey functors arise in Künneth spectral sequences for equivariant K-theory (see [1]). We begin by giving definitions of the Burnside category and of Mackey functors. These objects depend on a specific finite group G. It is possible to define a tensor product of Mackey functors, allowing us to identify ’rings’ in the category of Mackey functors, otherwise known as Green functors. We can then define modules over Green functors.
    [Show full text]