DOCSLIB.ORG

Classification of Subcategories in Abelian Categories and Triangulated Categories

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Classification of Subcategories in Abelian Categories and Triangulated Categories CLASSIFICATION OF SUBCATEGORIES IN ABELIAN CATEGORIES AND TRIANGULATED CATEGORIES ATHESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES AND RESEARCH IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN MATHEMATICS UNIVERSITY OF REGINA By Yong Liu Regina, Saskatchewan September 2016 c Copyright 2016: Yong Liu UNIVERSITY OF REGINA FACULTY OF GRADUATE STUDIES AND RESEARCH SUPERVISORY AND EXAMINING COMMITTEE Yong Liu, candidate for the degree of Doctor of Philosophy in Mathematics, has presented a thesis titled, Classification of Subcategories in Abelian Categories and Triangulated Categories, in an oral examination held on September 8, 2016. The following committee members have found the thesis acceptable in form and content, and that the candidate demonstrated satisfactory knowledge of the subject material. External Examiner: Dr. Henning Krause, University of Bielefeld Supervisor: Dr. Donald Stanley, Department of Mathematics and Statistics Committee Member: Dr. Allen Herman, Department of Mathematics and Statistics Committee Member: *Dr. Fernando Szechtman, Department of Mathematics and Statistics Committee Member: Dr. Yiyu Yao, Department of Computer Science Chair of Defense: Dr. Renata Raina-Fulton, Department of Chemistry and Biochemistry *Not present at defense Abstract Two approaches for classifying subcategories of a category are given. We examine the class of Serre subcategories in an abelian category as our first target, using the concepts of monoform objects and the associated atom spectrum [13]. Then we generalize this idea to give a classification of nullity classes in an abelian category, using premonoform objects instead to form a new spectrum so that there is a bijection between the collection of nullity classes and that of closed and extension closed subsets of the spectrum. Additionally, we impose a natural sheaf structure induced by the center of a category on the atom spectrum, over which the sheaves of modules over the structure sheaf are also discussed. The second approach is enlightened by the lattice structure implicitly shown in the s- tatements of classification of the subcategories in an abelian category. We introduce a new concept of classifying space of subcategories, those subcategories satifying finitely many closure operations, in an either abelian or triangulated category. We show that a class of subcategories is classified by a topological space if these subcategories are primely gener- ated. Many well-known results fit into our framework, such as Neeman’s classification [19] of localizing subcategories of the derived category D(R) of a commutative Noetherian ring R, etc. i Acknowledgements I would like to thank my supervisor Don for leading me into the field of classification of various subcategories, and for his support and patience as well. During my PhD program, Adam, Ivo and Soumen helped me a lot for problem discussion etc. I also appreciate Allen, Fernando and Yiyu for useful comments on my thesis. ii Contents Abstract i Acknowledgements ii Table of Contents iii 1 Introduction 1 2 Abelian category and its localization 8 2.1 Abelian category and its Serre subcategories . 9 2.2 The calculus of fractions . 13 2.3 Quotient category . 18 2.4 Adjoint functor . 21 2.5 Kan extension . 25 2.6 Localization functor . 32 3 Monoform and premonoform objects 42 3.1 Monoform objects . 43 iii 3.2 Premonoform objects . 47 3.2.1 Definitions and properties . 47 3.2.2 A premonoform but not monoform object . 50 3.3 Equivalence relation, support and topology . 53 3.4 Classification of nullity classes . 55 4 A structure sheaf on the atom spectrum 65 4.1 Atom spectrum and a structure sheaf R+ ................... 66 4.2 Sheaf of modules . 75 4.2.1 A module structure over R+ ..................... 75 4.2.2 Examples from quiver representations . 78 5 Classifying space of subcategories and its application 86 5.1 Classifying space . 87 5.1.1 Complete distributive lattices . 87 5.1.2 Points and topology . 91 5.1.3 Examples of classifying spaces . 95 5.2 Generally prime objects and classification . 97 5.3 Irreducible vs. prime, and functoriality . 102 5.4 Primely generated subcategories . 106 5.4.1 Serre subcategories in a noetherian abelian category . 106 5.4.2 Thick subcategories in Dperf (R) . 107 5.4.3 Localizing subcategories in D(R) . 108 iv 5.4.4 Localizing subcategories in a stable homotopy category . 111 5.4.5 An example . 113 Bibliography 115 v Chapter 1 Introduction We are motivated by the problem of classifying t-structures (see [4]) in a derived cat- egory Dperf (R) of perfect complexes over a ring R. It is known that each t-structure cor- responds bijectively to an aisle, a full subcategory closed under positive suspensions and extensions such that the inclusion functor admits a right adjoint. Stanley’s idea [26] of classifying these aisles is to find an invariant given by perversity functions on the prime spectrum SpecR. However, it is efficient not to deal with aisles directly but a generalized notion of aisles called nullity classes, also known as torsion theories when in an abelian category. As a first step, I attempted to do and obtained a c Generalization of Stanley’s method into the case when the derived category is Dfg(R): c Here Dfg(R) is a full triangulated subcategory of D(R) consisting of those objects repre- sented by cofibrant objects with each degree finitely generated, within which the nullity classes have invariants given by perversity functions as well, see [17] for detail. In a general setting of a category and its subcategories, we focus on establishing a theory 1 of invariants to distinguish those subcategories of the same type, say those subcategories closed under finite coproducts, nullity classes (Definition 3.1.7) and Serre subcategories (Definition 2.1.3) etc. This is successfully fulfilled historically in many different ways, for instance A. Neeman’s classification (see [19] and [21]) of (co)localizing subcategories of D(R) in terms of subsets of the prime spectrum SpecR, P. Balmer’s classification [3] of radical thick tensor ideals of a tensor triangulated category T via closed subsets of the Hochster dual of spectrum of T , Benson’s classification [5] of localizing tensor ideals in the homotopy category K(Inj kG) by subsets of SpecH∗(G; k) and so on. Inspired by them and also R. Kanda’s paper [13] on the atom spectrum of an abelian category, we approach our problem of classifying nullity classes (or torsion classes) by looking into a new spectrum SpecA of the abelian category A, a topological space with equivalence classes of premonoform objects, shown as Corollary 3.4.12, so that Theorem 1 (Result A). There is an order preserving bijection fNullity classes in Ag !∼ fClosed and extension closed subsets of SpecAg: Here the premonoform object is a slightly weaker notion of monoform object (see [28] e.g.), the latter is the same as strongly uniform module when the abelian category A is the category of modules over a ring. As a side issue and difficult one, it is always interesting to find the corresponding elementary and optimal objects to build subcategories of a certain type, see [27] for example. There is a common idea to develop the theory even further by considering the (atom) spectrum of an abelian category A together with the structure sheaf R induced by the 2 centers of its quotients by subcategories as a ringed space, hence the study of the sheaf of modules naturally and so on. We found a similar idea later in A. Rosenberg’s papers [24] and [23] when he was attempting to reconstruct a scheme X from the spectrum of its derived category D(X) of coherent sheaves. See also Rouquier’s paper [25] on the example of coherent sheaves on separated schemes. First we start from the simple example when the category A is abelian with atom spectrum ASpecA, which consists of atom equivalence classes of monoform objects (Definition 3.1.1). With certain set theoretical assumptions, in fact, the Freyd-Mitchell Embedding Theorem always allows us to obtain a concretization of an abstract abelian category, though not the best choice. We show as Proposition 4.1.16 and Proposition 4.2.5 that Theorem 2 (Result B). Let A be an abelian category and ASpecA its atom spectrum. Then (1) there is a natural structure sheaf R of rings on ASpecA induced by the centers of A and its localization (or quotient, see [7]) with respect to Serre subcategories S, making ASpecA a locally ringed space. (2) there is an associated sheaf of modules over R, i.e. the existence of a faithfully exact functor ∼: A!R-mod, provided the concretization A! Ab is exact. As a special case, when A is the category of R-modules with R a commutative Noetherian ring with identity, the construction in (1) coincides with the one given by the affine scheme (SpecR; OSpecR). Notice that such a module structure depends on the choice of concretiza- tion F : A! Ab, and the restriction map of its sheaf of modules relies on the existence of a localization functor LS : A!A. There is a more general approach to develop this 3 theory which we consider as a new project by studying the category of coherent sheaves. Apart from Result A, we have another method to classify subcategories (of certain type) by first collecting the target subcategories and ordering them via inclusions thus giving a poset Φ. In fact, Φ can be equipped with a complete distributive lattice structure naturally. We then define the classifying space K(Φ) of subcategories of the given type to be those subcategories which cannot be generated by their proper subcategories of the same type, i.e.
Load more

Recommended publications
  • Arxiv:1403.7027V2 [Math.AG] 21 Oct 2015 Ytnoigit Iebnlson Bundles Line Into Tensoring by N Ytednsyfoundation
    ON EQUIVARIANT TRIANGULATED CATEGORIES ALEXEY ELAGIN Abstract. Consider a finite group G acting on a triangulated category T . In this paper we investigate triangulated structure on the category T G of G-equivariant objects in T . We prove (under some technical conditions) that such structure exists. Supposed that an action on T is induced by a DG-action on some DG-enhancement of T , we construct a DG-enhancement of T G. Also, we show that the relation “to be an equivariant category with respect to a finite abelian group action” is symmetric on idempotent complete additive categories. 1. Introduction Triangulated categories became very popular in algebra, geometry and topology in last decades. In algebraic geometry, they arise as derived categories of coherent sheaves on algebraic varieties or stacks. It turned out that some geometry of varieties can be under- stood well through their derived categories and homological algebra of these categories. Therefore it is always interesting and important to understand how different geometrical operations, constructions, relations look like on the derived category side. In this paper we are interested in autoequivalences of derived categories or, more gen- eral, in group actions on triangulated categories. For X an algebraic variety, there are “expected” autoequivalences of Db(coh(X)) which are induced by automorphisms of X or by tensoring into line bundles on X. If X is a smooth Fano or if KX is ample, essentially that is all: Bondal and Orlov have shown in [6] that for smooth irreducible projective b variety X with KX or −KX ample all autoequivalences of D (coh(X)) are generated by automorphisms of X, twists into line bundles on X and translations.
    [Show full text]
  • Non-Exactness of Direct Products of Quasi-Coherent Sheaves
    Documenta Math. 2037 Non-Exactness of Direct Products of Quasi-Coherent Sheaves Ryo Kanda Received: March 19, 2019 Revised: September 4, 2019 Communicated by Henning Krause Abstract. For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos’ characterization of Grothendieck categories satisfying Ab6 and Ab4*. 2010 Mathematics Subject Classification: 14F05 (Primary), 18E20, 16D90, 16W50, 13C60 (Secondary) Keywords and Phrases: Quasi-coherent sheaf, divisorial scheme, invertible sheaf, direct product, Gabriel-Popescu embedding, Grothendieck category Contents 1 Introduction 2038 Acknowledgments 2039 2 Gabriel-Popescu embedding and Roos’ theorem 2039 2.1 Preliminaries ............................2039 2.2 Gabriel-Popescu embedding ....................2043 2.3 Roos’ theorem ...........................2045 3 Divisorial noetherian schemes 2047 References 2054 Documenta Mathematica 24 (2019) 2037–2056 2038 Ryo Kanda 1 Introduction The class of Grothendieck categories is a large framework that includes • the category Mod R of right modules over a ring R, • the category QCoh X of quasi-coherent sheaves on a scheme X, and • the category of sheaves of abelian groups on a topological space. One of the significant properties of Mod R for rings R among Grothendieck categories is the exactness of direct products, which is known as Grothendieck’s condition Ab4*. This is immediately verified by direct computation, but it is also a consequence of the fact that Mod R has enough projectives.
    [Show full text]
  • N-Quasi-Abelian Categories Vs N-Tilting Torsion Pairs 3
    N-QUASI-ABELIAN CATEGORIES VS N-TILTING TORSION PAIRS WITH AN APPLICATION TO FLOPS OF HIGHER RELATIVE DIMENSION LUISA FIOROT Abstract. It is a well established fact that the notions of quasi-abelian cate- gories and tilting torsion pairs are equivalent. This equivalence fits in a wider picture including tilting pairs of t-structures. Firstly, we extend this picture into a hierarchy of n-quasi-abelian categories and n-tilting torsion classes. We prove that any n-quasi-abelian category E admits a “derived” category D(E) endowed with a n-tilting pair of t-structures such that the respective hearts are derived equivalent. Secondly, we describe the hearts of these t-structures as quotient categories of coherent functors, generalizing Auslander’s Formula. Thirdly, we apply our results to Bridgeland’s theory of perverse coherent sheaves for flop contractions. In Bridgeland’s work, the relative dimension 1 assumption guaranteed that f∗-acyclic coherent sheaves form a 1-tilting torsion class, whose associated heart is derived equivalent to D(Y ). We generalize this theorem to relative dimension 2. Contents Introduction 1 1. 1-tilting torsion classes 3 2. n-Tilting Theorem 7 3. 2-tilting torsion classes 9 4. Effaceable functors 14 5. n-coherent categories 17 6. n-tilting torsion classes for n> 2 18 7. Perverse coherent sheaves 28 8. Comparison between n-abelian and n + 1-quasi-abelian categories 32 Appendix A. Maximal Quillen exact structure 33 Appendix B. Freyd categories and coherent functors 34 Appendix C. t-structures 37 References 39 arXiv:1602.08253v3 [math.RT] 28 Dec 2019 Introduction In [6, 3.3.1] Beilinson, Bernstein and Deligne introduced the notion of a t- structure obtained by tilting the natural one on D(A) (derived category of an abelian category A) with respect to a torsion pair (X , Y).
    [Show full text]
  • Basic Category Theory and Topos Theory
    Basic Category Theory and Topos Theory Jaap van Oosten Jaap van Oosten Department of Mathematics Utrecht University The Netherlands Revised, February 2016 Contents 1 Categories and Functors 1 1.1 Definitions and examples . 1 1.2 Some special objects and arrows . 5 2 Natural transformations 8 2.1 The Yoneda lemma . 8 2.2 Examples of natural transformations . 11 2.3 Equivalence of categories; an example . 13 3 (Co)cones and (Co)limits 16 3.1 Limits . 16 3.2 Limits by products and equalizers . 23 3.3 Complete Categories . 24 3.4 Colimits . 25 4 A little piece of categorical logic 28 4.1 Regular categories and subobjects . 28 4.2 The logic of regular categories . 34 4.3 The language L(C) and theory T (C) associated to a regular cat- egory C ................................ 39 4.4 The category C(T ) associated to a theory T : Completeness Theorem 41 4.5 Example of a regular category . 44 5 Adjunctions 47 5.1 Adjoint functors . 47 5.2 Expressing (co)completeness by existence of adjoints; preserva- tion of (co)limits by adjoint functors . 52 6 Monads and Algebras 56 6.1 Algebras for a monad . 57 6.2 T -Algebras at least as complete as D . 61 6.3 The Kleisli category of a monad . 62 7 Cartesian closed categories and the λ-calculus 64 7.1 Cartesian closed categories (ccc's); examples and basic facts . 64 7.2 Typed λ-calculus and cartesian closed categories . 68 7.3 Representation of primitive recursive functions in ccc's with nat- ural numbers object .
    [Show full text]
  • Weak Subobjects and Weak Limits in Categories and Homotopy Categories Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 38, No 4 (1997), P
    CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES MARCO GRANDIS Weak subobjects and weak limits in categories and homotopy categories Cahiers de topologie et géométrie différentielle catégoriques, tome 38, no 4 (1997), p. 301-326 <http://www.numdam.org/item?id=CTGDC_1997__38_4_301_0> © Andrée C. Ehresmann et les auteurs, 1997, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ CAHIERS DE TOPOLOGIE ET Volume XXXVIII-4 (1997) GEOMETRIE DIFFERENTIELLE CATEGORIQUES WEAK SUBOBJECTS AND WEAK LIMITS IN CATEGORIES AND HOMOTOPY CATEGORIES by Marco GRANDIS R6sumi. Dans une cat6gorie donn6e, un sousobjet faible, ou variation, d’un objet A est defini comme une classe d’6quivalence de morphismes A valeurs dans A, de faqon a étendre la notion usuelle de sousobjet. Les sousobjets faibles sont lies aux limites faibles, comme les sousobjets aux limites; et ils peuvent 8tre consid6r6s comme remplaqant les sousobjets dans les categories "a limites faibles", notamment la cat6gorie d’homotopie HoTop des espaces topologiques, ou il forment un treillis de types de fibration sur 1’espace donn6. La classification des variations des groupes et des groupes ab£liens est un outil important pour d6terminer ces types de fibration, par les foncteurs d’homotopie et homologie. Introduction We introduce here the notion of weak subobject in a category, as an extension of the notion of subobject.
    [Show full text]
  • Introduction to Category Theory (Notes for Course Taught at HUJI, Fall 2020-2021) (UNPOLISHED DRAFT)
    Introduction to category theory (notes for course taught at HUJI, Fall 2020-2021) (UNPOLISHED DRAFT) Alexander Yom Din February 10, 2021 It is never true that two substances are entirely alike, differing only in being two rather than one1. G. W. Leibniz, Discourse on metaphysics 1This can be imagined to be related to at least two of our themes: the imperative of considering a contractible groupoid of objects as an one single object, and also the ideology around Yoneda's lemma ("no two different things have all their properties being exactly the same"). 1 Contents 1 The basic language 3 1.1 Categories . .3 1.2 Functors . .7 1.3 Natural transformations . .9 2 Equivalence of categories 11 2.1 Contractible groupoids . 11 2.2 Fibers . 12 2.3 Fibers and fully faithfulness . 12 2.4 A lemma on fully faithfulness in families . 13 2.5 Definition of equivalence of categories . 14 2.6 Simple examples of equivalence of categories . 17 2.7 Theory of the fundamental groupoid and covering spaces . 18 2.8 Affine algebraic varieties . 23 2.9 The Gelfand transform . 26 2.10 Galois theory . 27 3 Yoneda's lemma, representing objects, limits 27 3.1 Yoneda's lemma . 27 3.2 Representing objects . 29 3.3 The definition of a limit . 33 3.4 Examples of limits . 34 3.5 Dualizing everything . 39 3.6 Examples of colimits . 39 3.7 General colimits in terms of special ones . 41 4 Adjoint functors 42 4.1 Bifunctors . 42 4.2 The definition of adjoint functors . 43 4.3 Some examples of adjoint functors .
    [Show full text]
  • On the Voevodsky Motive of the Moduli Space of Higgs Bundles on a Curve
    ON THE VOEVODSKY MOTIVE OF THE MODULI SPACE OF HIGGS BUNDLES ON A CURVE VICTORIA HOSKINS AND SIMON PEPIN LEHALLEUR Abstract We study the motive of the moduli space of semistable Higgs bundles of coprime rank and degree on a smooth projective curve C over a field k under the assumption that C has a rational point. We show this motive is contained in the thick tensor subcategory of Voevodsky's triangulated category of motives with rational coefficients generated by the motive of C. Moreover, over a field of characteristic zero, we prove a motivic non-abelian Hodge correspondence: the integral motives of the Higgs and de Rham moduli spaces are isomorphic. Contents 1. Introduction 1 1.1. Moduli of Higgs bundles and their cohomological invariants 1 1.2. Our results 2 2. Moduli of Higgs bundles and moduli of chains 4 2.1. Moduli of Higgs bundles 5 2.2. The scaling action on the moduli space of Higgs bundles 5 2.3. Moduli of chains 6 2.4. Variation of stability and Harder{Narasimhan stratification results 8 3. Voevodsky's category of effective motives and motives of stacks 8 3.1. Motives of schemes 8 3.2. Motives of smooth exhaustive stacks 9 4. Motivic non-abelian Hodge correspondence 10 5. Hecke correspondences and the stack of generically surjective chains 11 5.1. Motives of stacks of Hecke correspondences 11 5.2. Motive of the stack of generically surjective chains 12 6. The recursive description of the motive of the Higgs moduli space 13 6.1. Motivic consequences of wall-crossing and HN recursions 13 6.2.
    [Show full text]
  • Groups and Categories
    \chap04" 2009/2/27 i i page 65 i i 4 GROUPS AND CATEGORIES This chapter is devoted to some of the various connections between groups and categories. If you already know the basic group theory covered here, then this will give you some insight into the categorical constructions we have learned so far; and if you do not know it yet, then you will learn it now as an application of category theory. We will focus on three different aspects of the relationship between categories and groups: 1. groups in a category, 2. the category of groups, 3. groups as categories. 4.1 Groups in a category As we have already seen, the notion of a group arises as an abstraction of the automorphisms of an object. In a specific, concrete case, a group G may thus consist of certain arrows g : X ! X for some object X in a category C, G ⊆ HomC(X; X) But the abstract group concept can also be described directly as an object in a category, equipped with a certain structure. This more subtle notion of a \group in a category" also proves to be quite useful. Let C be a category with finite products. The notion of a group in C essentially generalizes the usual notion of a group in Sets. Definition 4.1. A group in C consists of objects and arrows as so: m i G × G - G G 6 u 1 i i i i \chap04" 2009/2/27 i i page 66 66 GROUPSANDCATEGORIES i i satisfying the following conditions: 1.
    [Show full text]
  • On Ideals and Homology in Additive Categories
    IJMMS 29:8 (2002) 439–451 PII. S0161171202011675 http://ijmms.hindawi.com © Hindawi Publishing Corp. ON IDEALS AND HOMOLOGY IN ADDITIVE CATEGORIES LUCIAN M. IONESCU Received 28 January 2001 and in revised form 26 July 2001 Ideals are used to define homological functors in additive categories. In abelian categories the ideals corresponding to the usual universal objects are principal, and the construction reduces, in a choice dependent way, to homology groups. The applications considered in this paper are: derived categories and functors. 2000 Mathematics Subject Classification: 18G50, 18A05. 1. Introduction. Categorification is by now a commonly used procedure [1, 6, 9]. The concept of an additive category generalizes that of a ring in the same way group- oids generalize the notion of groups. Additive categories were called “rings with sev- eral objects” in [14], and were studied by imitating results and proofs from noncom- mutative homological ring theory, to additive category theory. Alternatively, the addi- tive category theory may be applied, as in [15], to the ring theory. Subsequent related papers adopted the “ideal theory” point of view, for example, [5], and in [17] the prob- lem of lifting algebraic geometry to the category theory level was considered and a notion of prime spectrum of a category was defined. In this paper, we consider the Dedekind’s original aim for introducing ideals [7], and leading to the study of general rings, not only principal ideal rings (PIR). In the context of categories, we relax the requirements of an exact category for the existence of kernels and cokernels, and define homological objects in an intrinsic way, using ideals.
    [Show full text]
  • Agnieszka Bodzenta
    June 12, 2019 HOMOLOGICAL METHODS IN GEOMETRY AND TOPOLOGY AGNIESZKA BODZENTA Contents 1. Categories, functors, natural transformations 2 1.1. Direct product, coproduct, fiber and cofiber product 4 1.2. Adjoint functors 5 1.3. Limits and colimits 5 1.4. Localisation in categories 5 2. Abelian categories 8 2.1. Additive and abelian categories 8 2.2. The category of modules over a quiver 9 2.3. Cohomology of a complex 9 2.4. Left and right exact functors 10 2.5. The category of sheaves 10 2.6. The long exact sequence of Ext-groups 11 2.7. Exact categories 13 2.8. Serre subcategory and quotient 14 3. Triangulated categories 16 3.1. Stable category of an exact category with enough injectives 16 3.2. Triangulated categories 22 3.3. Localization of triangulated categories 25 3.4. Derived category as a quotient by acyclic complexes 28 4. t-structures 30 4.1. The motivating example 30 4.2. Definition and first properties 34 4.3. Semi-orthogonal decompositions and recollements 40 4.4. Gluing of t-structures 42 4.5. Intermediate extension 43 5. Perverse sheaves 44 5.1. Derived functors 44 5.2. The six functors formalism 46 5.3. Recollement for a closed subset 50 1 2 AGNIESZKA BODZENTA 5.4. Perverse sheaves 52 5.5. Gluing of perverse sheaves 56 5.6. Perverse sheaves on hyperplane arrangements 59 6. Derived categories of coherent sheaves 60 6.1. Crash course on spectral sequences 60 6.2. Preliminaries 61 6.3. Hom and Hom 64 6.4.
    [Show full text]
  • Perpendicular Categories with Applications to Representations and Sheaves
    JOURNAL OF ALGEBRA 14, 273-343 (1991) Perpendicular Categories with Applications to Representations and Sheaves WERNER GEIGLE AND HELMUT LENZING Fachbereich Mathematik, Universitiit-GH Paderborn, D-4790 Paderborn, Germany Communicated by Walter Feit Received March 20, 1989 DEDICATED TO PROFESSORHIROYUKI TACHIKAWA ON THE OCCASION OF HIS 60TH BIRTHDAY This paper is concerned with the omnipresence of the formation of the sub- categories right (left) perpendicular to a subcategory of objects in an abelian category. We encounter these subcategories in various contexts: l the formation of quotient categories with respect to localizing subcategories (cf. Section 2); w the deletion of vertices and shrinking of arrows (see [37]) in the representa- tion theory of finite dimensional algebras (cf. Section 5); l the comparison of the representation theories of different extended Dynkin quivers (cf. Section 10); l the theory of tilting (cf. Sections 4 and 6); l the study of homological epimorphisms of rings (cf. Section 4); l the passage from graded modules to coherent sheaveson ‘a possibly weighted projective variety or scheme (cf. Section 7 and [21]); l the study of (maximal) Cohen-Macaulay modules over surface singularities (cf. Section 8); . the comparison of weighted projective lines for different weight sequences (cf. Section 9); l the formation of atline and local algebras attached to path algebras of extended Dynkin quivers, canonical algebras, and weighted projective lines (cf. Section 11 and [21] and the concept of universal localization in [40]). Formation of the perpendicular category has many aspects in common with localization and allows one to dispose of localization techniques in situations not accessible to any of the classical concepts of localization.
    [Show full text]
  • Classifying Finite Localizations of Quasicoherent Sheaves
    Algebra i analiz St. Petersburg Math. J. Tom 21 (2009), 3 Vol. 21 (2010), No. 3, Pages 433–458 S 1061-0022(10)01102-7 Article electronically published on February 26, 2010 CLASSIFYING FINITE LOCALIZATIONS OF QUASICOHERENT SHEAVES G. GARKUSHA In memory of Vera Puninskaya Abstract. Given a quasicompact, quasiseparated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets ⊆ \ ∈ Y X of the form Y = i∈Ω Yi,withX Yi quasicompact and open for all i Ω, is established. As an application, an isomorphism of ringed spaces ∼ (X, OX ) −→ (spec(Qcoh(X)), OQcoh(X)) is constructed, where (spec(Qcoh(X)), OQcoh(X)) is a ringed space associated with the lattice of tensor localizing subcategories of finite type. Also, a bijective correspon- dence between the tensor thick subcategories of perfect complexes Dper(X)andthe tensor localizing subcategories of finite type in Qcoh(X) is established. §1. Introduction In his celebrated paper [1] on Abelian categories, Gabriel proved that for any Noe- therian scheme X, the assignments ⊇D→ ⊇ →{ ∈ | ⊆ } (1.1) coh X suppX (x)andX U x coh X suppX (x) U x∈D induce bijections between (1) the set of all tensor Serre subcategories of coh X,and ⊆ ∈ (2) the set of all subsets U X of the form U = i∈Ω Yi, where, for all i Ω, Yi has a quasicompact open complement X \ Yi. As a consequence of this result, X can be reconstructed from its Abelian category, coh X, of coherent sheaves (see Buan–Krause–Solberg [2, §8]).
    [Show full text]