DOCSLIB.ORG

A Categorys Quotient Category of Isomorphism Types Versus Its

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Categorys Quotient Category of Isomorphism Types Versus Its GLASNIK MATEMATICKI SERIJA III. Vol. 20 (40) - 1985 GLMAB 2 ZAGREB 1985 DRUSTVO MATEMATICARA I FIZICARA SR HRVATSKE SADRZAJ—CONTENTS Originalni znanstveni radovi /. Hafner, On lower bound of the proof length in the equivalen- tial calculus 269 N. Seifter, Fixed points, fixed ends and groups of graphs ... 271 V. Vukovic, (Nonassociative) near-rings 279 R. Brü and M. Löpiz- -Pellicer, Extensions of algebraic Jordan basis 289 M. E. Harris, A remark on the Schur's lemma Situation 293 R. Fritsch, A category's quotient category of isomorphism types versus its skeleton 297 K. R. Yacoub, On finite groups with four independent generators two of which being of odd prime order p and one of order 2 301 AI. Polonijo, On transfers and closure conditions for quasigroups 313 J. Dana, On translations of sets in Banach space 319 M. Pal, On an extension of a theorem of S. Kurepa .... 327 Z. Kominek and H. L Miller, Some remarks on a theorem-of Steinhaus 337 Af. Perovic, On the problem of radius of injectivity for the map- pings quasiconformal in the mean 345 J. Schinasand A. Meimaridou, Asymptotic behavior for difference equations which cannot be linearized around a periodic orbit .... 349 I. Aganovic and Z. Tutek, On the lower-dimensional approximations of the mixed problem for Laplace equation 355 D. lubrinii, On the existence of Solutions of — Au = g (x, u, V u) 363 K. Baron, A remark on linear functional equations in the indeter- minate case 373 M. Bajraktarevic, Sur certaines Solutions continues de T6quation foncti- pnnelle Ay> = B\p 377 B. Stankozic, Theorems of Tauberian type for measures .... 383 A. Mikelic, A variational problem of the Thomas-Fermi-von Wei• zsäcker type 391. W. Kotze, The fuzzy Hausdorff property 409 Ju. 7. Lisica and S. Mardesic, Coherent prohomotopy and strong shape for pairs . 419 M. Mrsevic, I. L. ReillyandM. K. Vamanamurthy, On some generalizations of regularity 435 D. S. Janhovic and P. E. Long, A characterization of H-closed Spaces 441 R. L. Blair, A note on remote points 443 R. Scitovski, Searching method and existence of Solution of special nonlinear least Squares problems 451 GLASNIK MATEMATlCKI Vol. 20 (40) (1985), 297—300. A CATEGORY'S QUOTIENT CATEGORY OF ISOMORPHISM TYPES VERSUS ITS SKELETON R. Fritsch, Munich, West Germany Abstract. It is shown —• in geometric language — that a category c€ and its quotient category [#] of isomorphism types have different fundamental groups. This contrasts with the fact any skeleton of (€ is a strong deformation retract of <€ • Given a category # one sometimes looks for another category e6\ which should be quite similar to ^ but has the additional property that the isomorphism classes of objects consist of one object only. Categorists take a skeleton while »working« mathematicians tend to form the »quotient category [&] of isomorphism types« just by for• mal identification of isomorphic objectsu. The aim of this note is to point out that the quotient category [^] differs from # much more strongly than any skeleton of ^, namely that there is not even a pair of adjoint functors connecting ^ and [^] while any skeleton of <ß is equivalent to itself [7; p. 91]. To be precise, let (€ be a category and $0 its class of objects. Then there are a class @ and a surjective map [ ] : s/ -> & such that [A] = [C]oA = C for all A,Ces/ ([4, p. 72]). Consider stf as discrete subcategory of 88 also as a discrete category and [ ] as a fiinctor in the evident manner. Then form the pushout [ H \ to obtain [^], the quotient category of isomorphism types of r€. It has the class £8 as class of objects and as non-identity arrows all lists (/*> •••5/25/1) Mathematics subject Classification (1980): 18A30. Key words and phrases: Category, isomorphism type, skeleton, classifying space of a category, groupoid associated with a category, object groups of groupoid, fundamental groups. 1 > I found this tendency in many oral and by letter discussions in contrast to the opinion of a referee that nobody »would really expect the quotient category to do the joh proposed«. The main reasons for it are that quotient constructions appear everywhere in the mathematical world and that the choice of a skeleton requires a suitable axiom of choice. 298 R. Fritsch of arrovvs in (ß which satisfy (0 fi is a non-identity arrow, 1 < i < k, (ü) dorn fi ^ cod /f_ 1? 1 < k, but («0 [dorn f^ = [cod//_ i], 1 < i < k (cf [3; Theorem 4, p. 73] and [1, p. 263/264]). Next take the groupoids Gr (6 and Gr [#] associated with [#] respectively (in the sense of [2, p. 10]; the smallness condition there again can be avoided by the set-theoretical trick used for obtaining 88). For an object C of define the fundamental group n (c&, C) of %' based at C as the object group Gr & {C} ( = group of automorphisms of C) in the groupoid Gr^. Analogously we have the fundamental group 7z([&]> [C]) of [#] based at [C]. This notion allows to formu- late the main resuit of this note: THEOREM. Let cß be a category and let [r£] be its quotient category of isomorphism type. Then there is for all C e Ob (€ an (in ge- neral large) free group &c such that «an [CD c)*^c where [C] denotes the isomorphism type of C and * denotes the free product (of groups). Moreover &c depends (up to isomorphism) only on the con• nected component of C in (One gets an impression of the size of the free group ^c by exhi- A biting a System of free generators: Let f£ be the component of C in # f and let {Cft} be a class of objects in € containing exactly one represen- ( tative for every isomorphism type; then the class Ob ß \ {Cft} forms such a System.) This allows the final conclusion: In general the fundamental groups it (pf ], [C]) and Tz (tf> C) will be non-isomorphic> while a pair of adjoint functors between c€ and [rß] would induce an isomorphism between these groups. For small categories # this can be expressed more geometrically, using the notion of the classifying Space of [7; p. 106]. The discussion of strong homotopy in [8; p. 199] shows that BrS" is a strong deformation retract of B ^ for every skeleton C of f€ and that any adjoint functor induces a homotopy equivalence between the corresponding classifying Spaces. Since the fundamental groups of a category f€ as defined before are just the usual fundamental groups of the classifying space B^, the discussion shows that in general B# and B [W] have already difterent fundamental groups so that there is no chance for a homotopy equivalence between them. A category's quotient category. 299 The key to the theorem lies in the two following propositions. PROPOSITION 1. — Let 88 and cß be groupoids and assume the free product [1; p. 269/270] 9> to be connected. Then, for any object D e Ob 3f the object group Q) {D} is of the form where F is a free group, G is a free product of object groups of 88, exactly one for every component of 88, and H is a free product of object groups of c€, exactly one for every component of V. This can be proved by the same method as Kurosch's Theorem is proved in [3; p. 118 f.]. PROPOSITION 2. Let 88 c 9 be a pushout of categories such that s/ and 88 are discrete, p is surjective and is connected. Then there is a free group !F such that 7i {ß, qC) ~ TzttfyC)*^ for all CeObV. Moreover 3* is trivial iff 8P is injective. To prove Proposition 2 one can assume c€ and Q) to be groupoids; then a careful analysis of the pushout in question yields the result by means of an application of Proposition 1 in the special case, where 88 is totally disconnected. REFERENCES: [1] R. Brozvn, Elements of Modern Topology, European Mathematics Series, McGraw-Hill, London 1968. [2] P. Gabriel and M. Zisrnan, Caiculus of Fractions and Homotopy Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, 35 (1967), Springer— Verlag, Berlin—Heidelberg—New York. 300 R. Fritsch [3] P. J. Higgins, Categories and Groupoids, Mathematical Studies 32 (1971), Van Nostrand Reinhold Co., New York—Cincinnati—Toronto—Melbourne. [4] T. Jech, Set Theory, Pure and applied mathematics, Academic Press, New York— San Francisco—London 1978. [5] D. M. Latch, R. W. Thomason and W. S. Wilson, Simplicial sets from catego• ries, Math. Z. 164 (1979), 195—214. [6] 5. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics 5 (1971), Springer—Verlag, New York —Heidelberg—Berlin. [7] G. Segal, Classifying Spaces and spectral sequences, Inst. Hautes fitudes Sei. Publ. Math. 34 (1968), 105—112. (Received June 27, 1983) Mathematisches Institut (Revised July 11, 1984) Theresienstraüe 39 D-8000 München 2 ODNOS KVOCIJENTNE KATEGORIJE TIPOVA IZOMORFNOSTI PREMA SKELETU KATEGORIJE R. Fritsch, München, Zap. Njcmaöka Sadrzaj Neka c£ oznaöava kategoriju a [C] njenu kvocijentnu kategoriju tipova izomorfnosti (tj. kategoriju u kojoj se formalno identificiraju izo- morfni objekti). Pokazano je da te kategorije (izrazeno geometrijskim jezikom) imaju razliöite fundamentalne grupe. To je u opreenosti sa änjenicom da je svaki skelet od ^ strogi deformacioni rektrakt od ^. .
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]
  • 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.
    [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]
  • 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]
  • 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]
  • Components of the Fundamental Category II
    Appl Categor Struct (2007) 15:387–414 DOI 10.1007/s10485-007-9082-7 Components of the Fundamental Category II E. Goubault · E. Haucourt Received: 23 March 2006 / Accepted: 19 March 2007 / Published online: 20 July 2007 © Springer Science + Business Media B.V. 2007 Abstract In this article we carry on the study of the fundamental category (Goubault and Raussen, Dihomotopy as a tool in state space analysis. In: Rajsbaum, S. (ed.) LATIN 2002: Theoretical Informatics. Lecture Notes in Computer Science, vol. 2286, Cancun, Mexico, pp. 16–37, Springer, Berlin Heidelberg New York, 2002; Goubault, Homology, Homotopy Appl., 5(2): 95–136, 2003) of a partially ordered topological space (Nachbin, Topology and Order, Van Nostrand, Princeton, 1965; Johnstone, Stone Spaces, Cambridge University Press, Cambridge, MA, 1982), as arising in e.g. concurrency theory (Fajstrup et al., Theor. Comp. Sci. 357: 241–278, 2006), initiated in (Fajstrup et al., APCS, 12(1): 81–108, 2004). The “algebra” of dipaths modulo dihomotopy (the fundamental category) of such a po- space is essentially finite in a number of situations. We give new definitions of the component category that are more tractable than the one of Fajstrup et al. (APCS, 12(1): 81–108, 2004), as well as give definitions of future and past component categories, related to the past and future models of Grandis (Theory Appl. Categ., 15(4): 95–146, 2005). The component category is defined as a category of fractions, but it can be shown to be equivalent to a quotient category, much easier to portray. A van Kampen theorem is known to be available on fundamental categories (Grandis, Cahiers Topologie Géom.
    [Show full text]
  • A Model Structure on the Category of Small Acyclic Categories
    A MODEL STRUCTURE ON THE CATEGORY OF SMALL ACYCLIC CATEGORIES ROMAN BRUCKNER Abstract. In this paper, we show that the Thomason model structure re- stricts to a Quillen equivalent cofibrantly generated model structure on the category of acyclic categories, whose generating cofibrations are the same as those generating the Thomason model structure. To understand the Thoma- son model structure, we need to have a closer look at the (barycentric) sub- division endofunctor on the category of simplicial sets. This functor has a well known right adjoint, called Kan’s Ex functor. Taking the subdivision twice and then the fundamental category yields a left adjoint of an adjunction between the category of simplicial sets and the category of small categories, whose right adjoint is given by applying the Ex functor twice on the nerve of a category. This adjunction lifts the cofibrantly generated Quillen model structure on simplicial sets to a cofibrantly generated model structure on the category of small categories, the Thomason model structure. The generating sets are given by the image of the generating sets of the Quillen model struc- ture on simplicial sets under the aforementioned adjunction. We furthermore show that the category of acyclic categories is proper and combinatorial with respect to said model structure. That is weak equivalences behave nicely with respect to pushouts along fibrations and cofibrations, and cofibrations satisfy certain smallness conditions which allow us to work with sets instead of proper classes. 1. Introduction An acyclic category is a category without inverses and non-identity endomor- phisms. Acyclic categories have been known under several names.
    [Show full text]