DOCSLIB.ORG

How Can We Understand an Abelian Category?

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
How Can We Understand an Abelian Category? HOW CAN WE UNDERSTAND AN ABELIAN CATEGORY? Jackson Ryder Supervisor: Associate Professor Daniel Chan School of Mathematics and Statistics UNSW Sydney November 2020 Submitted in partial fulfillment of the requirements of the degree of Bachelor of Science with Honours Plagiarism statement I declare that this thesis is my own work, except where acknowledged, and has not been submitted for academic credit elsewhere. I acknowledge that the assessor of this thesis may, for the purpose of assessing it: • Reproduce it and provide a copy to another member of the University; and/or, • Communicate a copy of it to a plagiarism checking service (which may then retain a copy of it on its database for the purpose of future plagiarism check- ing). I certify that I have read and understood the University Rules in respect of Student Academic Misconduct, and am aware of any potential plagiarism penalties which may apply. By signing this declaration I am agreeing to the statements and conditions above. Signed: Date: i Acknowledgements Firstly, I would like to thank my supervisor Daniel Chan for exposing me to such a wonderful area of mathematics, and for his constant support and guidance throught this challenging year. I would also like to thank my highschool maths teacher, Phil Baillie, for first introducing me to higher maths and taking the time to foster my interest in the sub- ject. Without him I would never have thought of pursuing a degree in mathematics to begin with. Last, but certainly not least, I thank my family, particularly my mother and brother, for their unconditional love and support. I truly would not be where I am today without them. ii Abstract A classical theorem of Morita theory states that if an abelian category has a pro- generator then it is equivalent to the category of modules over some ring. However, not all abelian categories have a progenerator, and so there are some abelian cate- gories to which the theorem of Morita can not be applied. We prove a Morita-type result, introducing conditions for an arbitrary abelian category to be equivalent to a quotient of the category of coherent modules over an indexed algebra. iii Contents Chapter 1 Introduction 1 1.1 Introduction . .1 1.2 Assumed Knowledge . .2 Chapter 2 Abelian Categories 3 2.1 Additive Categories . .3 2.2 Abelian Categories . .6 2.3 Directed Systems and Limits . 10 2.4 Determining Equivalence with a Module Category . 11 Chapter 3 Cohomology in Abelian Categories 16 3.1 Cochain Complexes and Resolutions . 16 3.2 Exactness and Derived Functors . 18 Chapter 4 Quotients of Abelian Categories 20 4.1 The Field of Fractions of Z ....................... 20 4.2 Quotient Categories . 21 4.3 Localising Subcategories . 26 4.4 Grothendieck Categories . 30 Chapter 5 I-Algebras and cohproj 33 5.1 I-algebras . 33 5.2 Cohomology of I-algebras . 42 5.3 Determining Equivalence with cohproj of a Coherent I-algebra . 45 References 52 iv Chapter 1 Introduction 1.1 Introduction Abelian categories arose in the mid-1950s in the attempt to unify cohomology the- ories for groups and for sheaves. They can be thought of as a generalisation of the category of modules over a ring, taking only the properties required to be able to perform homological algebra. For this reason, abelian categories appear frequently throughout fields such as algebraic topology and algebraic geometry. One downside to this generality is that we don't know a lot more about an arbitrary abelian cate- gory than the properties it satisfies to be abelian. Compare this to the category of modules over a ring, where we have all of the knowledge of the theory of modules at our disposal. For this reason, results demonstrating equivalence of an abelian category with some more well-understood category are of significance. The aim of this thesis is to prove such a result. We begin by talking about abelian categories. We will introduce the basic theory of abelian categories in a similar fashion to [15], culminating in proving a theorem of Morita which gives necessary and sufficient conditions for an abelian category to be equivalent to the category ModR of modules over some ring R. As we mentioned earlier, abelian categories were introduced as a general setting for homological algebra. Chapter 3 will be devoted to a brief exposition of this theory, introducing the homological material necessary to prove the main theorem of the thesis. Chapter 4 will begin by presenting a notion of a quotient of an abelian category by a Serre subcategory, which will be the type of category our main result will identify an arbitrary abelian category with. The idea behind the construction of these quotients will be to describe the construction of the field of fractions of the integers, or more generally the localisation of modules over a commutative ring, in a way that can be applied to any abelian category. These quotient categories originally arose from the field of projective geometry, where it was shown in [14] and [7] that the category cohX of coherent sheaves on a projective scheme X is equivalent to a quotient qgrA of the category of finitely generated graded modules grA over the homogeneous coordinate ring A of X. This result gave way to the field of noncommutative projective geometry as this quotient construction works in the case that A is noncommutative, allowing us to view such a quotient as the category of coherent sheaves on some `noncommutative space'. The last portion 1 of this chapter will be devoted to study the properties of a specific type of abelian category, named after Grothendieck, which are intimately related to these quotients. These Grothendieck categories will appear in the final chapter as the category GrA of graded modules over a graded algebra A form a Grothendieck category. The goal of the last chapter of the thesis will be to prove an analogue of the theorem of Morita introduced in Chapter 2. The first section of this chapter will introduce indexed algebras; a special type of bigraded algebras that arose from noncommutative projective geometry, relating to the quotient qgrA. Modules over these algebras behave slightly differently to graded algebras, so some time will be spent studying such modules. We will then proceed to look at the cohomology of these algebras. In particular we will study the right derived functors of the internal Hom functor. Finally, we will introduce the properties that an arbitrary abelian category will have to satisfy to be equivalent to a quotient of a subcategory of the graded modules over an indexed algebra. Specifically, an abelian category must have an ample sequence of objects. We will finish this chapter by proving our Morita-type result, showing that an abelian category with such an ample sequence is equivalent to a quotient of a subcategory of graded modules over an indexed algebra. 1.2 Assumed Knowledge Throughout this thesis, basic results from category theory are assumed. Specifi- cally, notions such as categories, functors, natural transformations, diagram chas- ing, equivalence of categories, limits, universal properties and adjoint functors will not be formally introduced. More rigorous introductions to these topics can be found in [13]. Similarly, familiarity with the basic properties of graded rings and modules, which can be found in Chapter 1.5 of [5], will also be assumed. 2 Chapter 2 Abelian Categories In this chapter we will give an introduction to abelian categories which are, in a sense, an abstraction of the category of modules ModR over a ring R, which take all of the properties necessary for homological algebra. We will present the definition of an abelian category in the usual segmented way, and then compare arbitrary abelian categories with module categories1, giving necessary and sufficient conditions for an abelian category to be equivalent to a module category. Our presentation of this material will follow similarly to Chapter 2 of [15]. 2.1 Additive Categories We start by considering our prototypical example: the category of right modules ModR over a ring R. We wish to abstract a number of special properties of this category to define an abelian category. Recall that if M and N are R-modules and f; f 0 : M ! N are R-module homomorphisms we can define the homomorphism f + f 0 : M ! N as (f + f 0)(m) := f(m) + f 0(m) for any m 2 M, where the addition is that of N. The abelian group structure on N then induces an abelian group structure on HomR(M; N), with negatives given by (−f)(m) = −(f(m)) and identity being the zero morphism. Moreover, if L is also an R-module and g; g0 : L ! M are homomorphisms, then (f+f 0)g = fg+f 0g and f(g+g0) = fg+fg0, so the group structure is bilinear with respect to composition of homomorphisms. This leads us to the first property that we want an abelian category to have. Definition 2.1.1. A category C is preadditive if for any X; Y 2 C there is an abelian group structure on HomC(X; Y ) which is bilinear with respect to the composition of morphisms. Remark 2.1.2. As we have done in this definition, we will often abuse notation and refer to objects or morphisms as belonging to a category, when we mean they belong to the set of objects or set of morphisms of the category. Remark 2.1.3. If instead of abelian group structure we imposed that the sets of morphisms in our category have R-module structure for some ring R, then we say C is an R-linear category.
Load more

Recommended publications
  • Arxiv:1705.02246V2 [Math.RT] 20 Nov 2019 Esyta Ulsubcategory Full a That Say [15]
    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, cokernels, and extensions. Wide subcategories provide a significant interface between representation theory and combinatorics. If Φ is a finite dimensional algebra, then each functorially finite wide subcategory of mod(Φ) is of the φ form φ∗ mod(Γ) in an essentially unique way, where Γ is a finite dimensional algebra and Φ −→ Γ is Φ an algebra epimorphism satisfying Tor (Γ, Γ) = 0. 1 Let F ⊆ mod(Φ) be a d-cluster tilting subcategory as defined by Iyama. Then F is a d-abelian category as defined by Jasso, and we call a subcategory of F wide if it is closed under sums, summands, d- kernels, d-cokernels, and d-extensions. We generalise the above description of wide subcategories to this setting: Each functorially finite wide subcategory of F is of the form φ∗(G ) in an essentially φ Φ unique way, where Φ −→ Γ is an algebra epimorphism satisfying Tord (Γ, Γ) = 0, and G ⊆ mod(Γ) is a d-cluster tilting subcategory. We illustrate the theory by computing the wide subcategories of some d-cluster tilting subcategories ℓ F ⊆ mod(Φ) over algebras of the form Φ = kAm/(rad kAm) . Dedicated to Idun Reiten on the occasion of her 75th birthday 1. Introduction Let d > 1 be an integer. This paper introduces and studies wide subcategories of d-abelian categories as defined by Jasso. The main examples of d-abelian categories are d-cluster tilting subcategories as defined by Iyama.
    [Show full text]
  • BIPRODUCTS WITHOUT POINTEDNESS 1. Introduction
    BIPRODUCTS WITHOUT POINTEDNESS MARTTI KARVONEN Abstract. We show how to define biproducts up to isomorphism in an ar- bitrary category without assuming any enrichment. The resulting notion co- incides with the usual definitions whenever all binary biproducts exist or the category is suitably enriched, resulting in a modest yet strict generalization otherwise. We also characterize when a category has all binary biproducts in terms of an ambidextrous adjunction. Finally, we give some new examples of biproducts that our definition recognizes. 1. Introduction Given two objects A and B living in some category C, their biproduct { according to a standard definition [4] { consists of an object A ⊕ B together with maps p i A A A ⊕ B B B iA pB such that pAiA = idA pBiB = idB pBiA = 0A;B pAiB = 0B;A and idA⊕B = iApA + iBpB. For us to be able to make sense of the equations, we must assume that C is enriched in commutative monoids. One can get a slightly more general definition that only requires zero morphisms but no addition { that is, enrichment in pointed sets { by replacing the last equation with the condition that (A ⊕ B; pA; pB) is a product of A and B and that (A ⊕ B; iA; iB) is their coproduct. We will call biproducts in the first sense additive biproducts and in the second sense pointed biproducts in order to contrast these definitions with our central object of study { a pointless generalization of biproducts that can be applied in any category C, with no assumptions concerning enrichment. This is achieved by replacing the equations referring to zero with the single equation (1.1) iApAiBpB = iBpBiApA, which states that the two canonical idempotents on A ⊕ B commute with one another.
    [Show full text]
  • Exercises and Solutions in Groups Rings and Fields
    EXERCISES AND SOLUTIONS IN GROUPS RINGS AND FIELDS Mahmut Kuzucuo˘glu Middle East Technical University [email protected] Ankara, TURKEY April 18, 2012 ii iii TABLE OF CONTENTS CHAPTERS 0. PREFACE . v 1. SETS, INTEGERS, FUNCTIONS . 1 2. GROUPS . 4 3. RINGS . .55 4. FIELDS . 77 5. INDEX . 100 iv v Preface These notes are prepared in 1991 when we gave the abstract al- gebra course. Our intention was to help the students by giving them some exercises and get them familiar with some solutions. Some of the solutions here are very short and in the form of a hint. I would like to thank B¨ulent B¨uy¨ukbozkırlı for his help during the preparation of these notes. I would like to thank also Prof. Ismail_ S¸. G¨ulo˘glufor checking some of the solutions. Of course the remaining errors belongs to me. If you find any errors, I should be grateful to hear from you. Finally I would like to thank Aynur Bora and G¨uldaneG¨um¨u¸sfor their typing the manuscript in LATEX. Mahmut Kuzucuo˘glu I would like to thank our graduate students Tu˘gbaAslan, B¨u¸sra C¸ınar, Fuat Erdem and Irfan_ Kadık¨oyl¨ufor reading the old version and pointing out some misprints. With their encouragement I have made the changes in the shape, namely I put the answers right after the questions. 20, December 2011 vi M. Kuzucuo˘glu 1. SETS, INTEGERS, FUNCTIONS 1.1. If A is a finite set having n elements, prove that A has exactly 2n distinct subsets.
    [Show full text]
  • The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras
    Algebras and Representation Theory 3: 19–42, 2000. 19 © 2000 Kluwer Academic Publishers. Printed in the Netherlands. The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras S. CAENEPEEL1, BOGDAN ION2, G. MILITARU3;? and SHENGLIN ZHU4;?? 1University of Brussels, VUB, Faculty of Applied Sciences, Pleinlaan 2, B-1050 Brussels, Belgium 2Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, NJ 08544-1000, U.S.A. 3University of Bucharest, Faculty of Mathematics, Str. Academiei 14, RO-70109 Bucharest 1, Romania 4Institute of Mathematics, Fudan University, Shanghai 200433, China (Received: July 1998) Presented by A. Verschoren Abstract. We consider the factorization problem for bialgebras. Let L and H be algebras and coalgebras (but not necessarily bialgebras) and consider two maps R: H ⊗ L ! L ⊗ H and W: L ⊗ H ! H ⊗ L. We introduce a product K D L W FG R H and we give necessary and sufficient conditions for K to be a bialgebra. Our construction generalizes products introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed by Beattie, Dascˇ alescuˇ and Grünenfelder appear as special cases. Mathematics Subject Classification (2000): 16W30. Key words: Hopf algebra, smash product, factorization structure. Introduction The factorization problem for a ‘structure’ (group, algebra, coalgebra, bialgebra) can be roughly stated as follows: under which conditions can an object X be written as a product of two subobjects A and B which have minimal intersection (for example A \ B Df1Xg in the group case). A related problem is that of the construction of a new object (let us denote it by AB) out of the objects A and B.In the constructions of this type existing in the literature ([13, 20, 27]), the object AB factorizes into A and B.
    [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]
  • Arxiv:2001.09075V1 [Math.AG] 24 Jan 2020
    A topos-theoretic view of difference algebra Ivan Tomašić Ivan Tomašić, School of Mathematical Sciences, Queen Mary Uni- versity of London, London, E1 4NS, United Kingdom E-mail address: [email protected] arXiv:2001.09075v1 [math.AG] 24 Jan 2020 2000 Mathematics Subject Classification. Primary . Secondary . Key words and phrases. difference algebra, topos theory, cohomology, enriched category Contents Introduction iv Part I. E GA 1 1. Category theory essentials 2 2. Topoi 7 3. Enriched category theory 13 4. Internal category theory 25 5. Algebraic structures in enriched categories and topoi 41 6. Topos cohomology 51 7. Enriched homological algebra 56 8. Algebraicgeometryoverabasetopos 64 9. Relative Galois theory 70 10. Cohomologyinrelativealgebraicgeometry 74 11. Group cohomology 76 Part II. σGA 87 12. Difference categories 88 13. The topos of difference sets 96 14. Generalised difference categories 111 15. Enriched difference presheaves 121 16. Difference algebra 126 17. Difference homological algebra 136 18. Difference algebraic geometry 142 19. Difference Galois theory 148 20. Cohomologyofdifferenceschemes 151 21. Cohomologyofdifferencealgebraicgroups 157 22. Comparison to literature 168 Bibliography 171 iii Introduction 0.1. The origins of difference algebra. Difference algebra can be traced back to considerations involving recurrence relations, recursively defined sequences, rudi- mentary dynamical systems, functional equations and the study of associated dif- ference equations. Let k be a commutative ring with identity, and let us write R = kN for the ring (k-algebra) of k-valued sequences, and let σ : R R be the shift endomorphism given by → σ(x0, x1,...) = (x1, x2,...). The first difference operator ∆ : R R is defined as → ∆= σ id, − and, for r N, the r-th difference operator ∆r : R R is the r-th compositional power/iterate∈ of ∆, i.e., → r r ∆r = (σ id)r = ( 1)r−iσi.
    [Show full text]
  • Formal Power Series - Wikipedia, the Free Encyclopedia
    Formal power series - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Formal_power_series Formal power series From Wikipedia, the free encyclopedia In mathematics, formal power series are a generalization of polynomials as formal objects, where the number of terms is allowed to be infinite; this implies giving up the possibility to substitute arbitrary values for indeterminates. This perspective contrasts with that of power series, whose variables designate numerical values, and which series therefore only have a definite value if convergence can be established. Formal power series are often used merely to represent the whole collection of their coefficients. In combinatorics, they provide representations of numerical sequences and of multisets, and for instance allow giving concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved; this is known as the method of generating functions. Contents 1 Introduction 2 The ring of formal power series 2.1 Definition of the formal power series ring 2.1.1 Ring structure 2.1.2 Topological structure 2.1.3 Alternative topologies 2.2 Universal property 3 Operations on formal power series 3.1 Multiplying series 3.2 Power series raised to powers 3.3 Inverting series 3.4 Dividing series 3.5 Extracting coefficients 3.6 Composition of series 3.6.1 Example 3.7 Composition inverse 3.8 Formal differentiation of series 4 Properties 4.1 Algebraic properties of the formal power series ring 4.2 Topological properties of the formal power series
    [Show full text]
  • 1. Rings of Fractions
    1. Rings of Fractions 1.0. Rings and algebras (1.0.1) All the rings considered in this work possess a unit element; all the modules over such a ring are assumed unital; homomorphisms of rings are assumed to take unit element to unit element; and unless explicitly mentioned otherwise, all subrings of a ring A are assumed to contain the unit element of A. We generally consider commutative rings, and when we say ring without specifying, we understand this to mean a commutative ring. If A is a not necessarily commutative ring, we consider every A module to be a left A- module, unless we expressly say otherwise. (1.0.2) Let A and B be not necessarily commutative rings, φ : A ! B a homomorphism. Every left (respectively right) B-module M inherits the structure of a left (resp. right) A-module by the formula a:m = φ(a):m (resp m:a = m.φ(a)). When it is necessary to distinguish the A-module structure from the B-module structure on M, we use M[φ] to denote the left (resp. right) A-module so defined. If L is an A module, a homomorphism u : L ! M[φ] is therefore a homomorphism of commutative groups such that u(a:x) = φ(a):u(x) for a 2 A, x 2 L; one also calls this a φ-homomorphism L ! M, and the pair (u,φ) (or, by abuse of language, u) is a di-homomorphism from (A, L) to (B, M). The pair (A,L) made up of a ring A and an A module L therefore form the objects of a category where the morphisms are di-homomorphisms.
    [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]
  • Two Constructions in Monoidal Categories Equivariantly Extended Drinfel’D Centers and Partially Dualized Hopf Algebras
    Two constructions in monoidal categories Equivariantly extended Drinfel'd Centers and Partially dualized Hopf Algebras Dissertation zur Erlangung des Doktorgrades an der Fakult¨atf¨urMathematik, Informatik und Naturwissenschaften Fachbereich Mathematik der Universit¨atHamburg vorgelegt von Alexander Barvels Hamburg, 2014 Tag der Disputation: 02.07.2014 Folgende Gutachter empfehlen die Annahme der Dissertation: Prof. Dr. Christoph Schweigert und Prof. Dr. Sonia Natale Contents Introduction iii Topological field theories and generalizations . iii Extending braided categories . vii Algebraic structures and monoidal categories . ix Outline . .x 1. Algebra in monoidal categories 1 1.1. Conventions and notations . .1 1.2. Categories of modules . .3 1.3. Bialgebras and Hopf algebras . 12 2. Yetter-Drinfel'd modules 25 2.1. Definitions . 25 2.2. Equivalences of Yetter-Drinfel'd categories . 31 3. Graded categories and group actions 39 3.1. Graded categories and (co)graded bialgebras . 39 3.2. Weak group actions . 41 3.3. Equivariant categories and braidings . 48 4. Equivariant Drinfel'd center 51 4.1. Half-braidings . 51 4.2. The main construction . 55 4.3. The Hopf algebra case . 61 5. Partial dualization of Hopf algebras 71 5.1. Radford biproduct and projection theorem . 71 5.2. The partial dual . 73 5.3. Examples . 75 A. Category theory 89 A.1. Basic notions . 89 A.2. Adjunctions and monads . 91 i ii Contents A.3. Monoidal categories . 92 A.4. Modular categories . 97 References 99 Introduction The fruitful interplay between topology and algebra has a long tradi- tion. On one hand, invariants of topological spaces, such as the homotopy groups, homology groups, etc.
    [Show full text]
  • Categories of Modules with Differentials
    JOURNAL OF ALGEBRA 185, 50]73Ž. 1996 ARTICLE NO. 0312 Categories of Modules with Differentials Paul Popescu Department of Mathematics, Uni¨ersity of Craio¨a, 13, A.I. Cuza st., Craio¨a, 1100, Romania Communicated by Walter Feit CORE Metadata, citation and similar papers at core.ac.uk Received August 1, 1994 Provided by Elsevier - Publisher Connector 1. INTRODUCTION The definitions of the module with arrow Ž.module fleche , the infinitesi- mal module, and the Lie pseudoalgebra, as used here, are considered inwx 7 . Moreover, we define the preinfinitesimal module, called inwx 1 ``un pre- espace d'Elie Cartan regulier.'' Inwx 7 the Lie functor is constructed from the category of differentiable groupoids in the category of Lie algebroids, but it is inwx 2 that the first general and abstract treatment of the algebraic properties of Lie alge- broids is made, giving a clear construction of the morphisms of Lie algebroids. We shall use it fully in this paper to define completely the categories M W A Ž.Ž.modules and arrows , P I M preinfinitesimal modules , IMŽ.Ž.infinitesimal modules , and L P A Lie pseudoalgebras ; we call these categories the categories of modules with differentials. We notice that in wx7 and wx 1 the objects of these categories and the subcategories of modules over a fixed algebra are considered. Inwx 3 the category of L P A of Lie pseudoalgebras is defined and some aspects related to the functional covariance or contravariance correspondence with categories constructed with additional structures on vector bundles are studied. In Section 2 we give a brief description of the category MA , of modules over commutative k-algebrasŽ considered also inwx 3.
    [Show full text]