DOCSLIB.ORG

Arxiv:2003.03688V3 [Math.CT] 12 Jun 2021 Bet.Mr Rcsl,Teojcso Are-Rl Dime a Gabriel-Krull of Much Intr Objects Objects

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2003.03688V3 [Math.CT] 12 Jun 2021 Bet.Mr Rcsl,Teojcso Are-Rl Dime a Gabriel-Krull of Much Intr Objects Objects GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES NEGAR ALIPOUR AND REZA SAZEEDEH Abstract. Let A be a Grothendieck category and let M be an object of A. In this paper, we define a notion dim M via chains of atoms in ASupp M and we show that it is a lower bound of the Gabriel-Krull dimension of M and in the case where ASpec A is an Alexandroff topological space, they are the same. We also show that this dimension establishes a new characterization for those categories A which ASpecA are Alexandroff topological spaces. We study the minimal atoms of a noetherian object and we give a sufficient condition for finiteness of the number of minimal atoms of a noetherian object. Contents 1. Introduction 1 2. Atom spectrum and Alexandroff topological sapces 3 3. Gabriel-Krull dimension of objects 6 4. Critical objects and Alexandroff topological spaces 10 5. Minimal atoms of a noteherian object 13 References 17 1. Introduction The notion of the Krull dimension of a commutative ring, measured on chain of prime ideals has been studied and used for a long time. Gabriel and Rentschler [GRe] defined a notion of the Krull dimension for certain modules over noncommutative rings coinciding with the classical one for finitely generated modules over commutative noetherian rings (cf. [GR, GW, MR]). A similar notion for objects of Grothendieck categories has been introduced by Gabriel [G]. In a rough language, the Gabriel-Krull dimension estimates how much an object is close to semi-artinian objects. More precisely, the objects of Gabriel-Krull dimension zero are those generated by simple objects. As a different approach, Gabriel spectrum [G] of a Grothendieck category is the set of isomor- arXiv:2003.03688v3 [math.CT] 12 Jun 2021 phism class of indecomposable injective objects which can be viewed as a generalization of the spectrum of a commutative ring. This notion has a central role in specifying subcategories of the Grothendieck categories and has been investigated by the other authors [H, Kr] in the different aspects. For an abelian category A, which does not have necessarily enough injective objects, Kanda [K1,K2], has defined the atom spectrum ASpec A consisting of atoms defined by Storerr [St]. To be more precise, ASpec A is the set of equivalence class of monoform objects and Kanda [K2] showed that ASpec A is a partially ordered set together with a specialization order ≤. Also he constructed a topology on ASpec A that the open subsets of ASpec A are in correspondence with specialization closed subsets of SpecA when A is a commutative ring. 2010 Mathematics Subject Classification. 18E15, 18E35. Key words and phrases. Minimal atom; Grothendieck category; Gabriel-Krull dimension; critical object. 1 2 NEGAR ALIPOUR AND REZA SAZEEDEH A topological space is called Alexandroff if the intersection of any family of open subsets of X is open. One of the main aims of this paper is to find out when a topological space ASpec A is Alexandroff. Throughout this paper, we assume that A is a Grothendieck category. For any α ∈ ASpec A, we set Λ(α) = {β ∈ ASpec A| α ≤ β}. In Section 2, we show that ASpec A is an Alexandroff topological space if and only if Λ(α) is open for all α ∈ ASpec A (Lemma 2.14). This yields that if X is a localizing subcategory of A and ASpec A is Alexandroff, then so is ASpec A/X . An atom α ∈ ASpec A is maximal, if there exists a simple object S of A such that α = S. We show that if ASpec A is Alexandroff, then an atom is maximal if and only if it is maximal under the specialization order ≤ (Lemma 2.16). In Section 3, we study the Gabriel-Krull dimension of objects of A defined by Gabriel. We notice that any object does not have Gabriel-Krull dimension in general and according to [Po], an object M is called semi-noetherian if it has the Gabriel-Krull dimension and we denote it by GK-dim M, which is the least ordinal number σ such that M ∈ Aσ where {Aρ}ρ is a Gabriel- Krull filtration as in Definition 3.1. In Proposition 3.2, we show that, every noetherian object is semi-noetherian. Also, if an object has finite Gabriel-Krull dimension, then any ascending chain of atoms in ASuppM stabilizes (Proposition 3.4). For any object M, dimension of M, if exists, we denoted it by dim M, which is the largest ordinal number σ such that there is a strict chain of atoms α0 < α1 < · · · < ασ in ASupp M with α0 ∈ ASupp Aσ \ ASupp Aσ1 where σ = σ1 + 1. Observe that if A is locally noetherian, dimM exists for any object M of A (Lemma 3.9). The following theorem establishes the relation between these two dimensions. Theorem 1.1. (Theorem 3.11) Let M be an object of A such that dim M exists. Then dim M ≤ GK-dim M. In particular, if A is locally noethreian with Alexandroff space ASpec A, then dim M = GK-dim M. It should be noted that these two dimensions may not coincide if ASpec A is not Alexandroff even if A is locally noetherian ( Example 3.12). For any α ∈ ASpec A, analogous to objects, we define the Gabriel-Krull dimension and dimension of α, denoted by GK-dim α and dim α. We notice that these dimensions do not exist for any atom in general. In Section 4, we study the critical objects which have fundamental role in the study of those locally noetherian Grothendieck categories A which ASpec A are Alexandroff space. We have the following results which gives a characterization for those A which ASpec A are Alexandroff space. Theorem 1.2. (Theorem 4.9, Corollary 4.10) Let A be locally noetherian. Then following state- ment are equivalent. (1) ASpec A is Alexandroff; (2) For any non maximal atom α ∈ ASpec A, there exists an atom β ∈ ASpec A such that α<β and GK-dim α = GK-dim β +1; (3) dim α exists and GK-dim α = dim α for any α ∈ ASpec A. The atomical dimension of M, denoted by Adim M, is the largest ordinal number σ such that α0 < α1 < · · · < ασ is a chain of atoms in ASupp M. If A is locally noetherian and ASpec A is Alexandroff, we have AdimM = dim M = GK-dim M (Proposition 4.11). The other main aim of this paper is to study finiteness of the number of minimal atoms of a noteherian object. In Section 5, we prove the following theorem. Theorem 1.3. (Theorem 5.2) Let M be a noetherian object of A. If Λ(α) is an open subset of ASpec A for any α ∈ AMin M, then AMin M is a finite set. We also concern to study the compressible modules [Sm] in a fully right bounded ring A which have a key role in the finiteness of the number of minimal atoms. We show that for a fully right bounded ring A, the atom spectrum ASpecMod-A is Alexandroff and AMin M is a finite set for every noetherian right A-module M. We give an example which shows this result is not true if A is not fully right bounded. We prove that if M is a noetherian object of A, then the GABRIEL-KRULL DIMENSION AND MINIMAL ATOMS IN GROTHENDIECK CATEGORIES 3 set of minimal atom of M is finite provided that either A is locally noetherian and ASpec A is Alexandroff or A has a noetherian projective generator U such that End(U) is a fully right bounded ring (Corollary 5.17). In Example 5.18 we show that this result may not hold for a locally noetherian Grothendieck category in which ASpec A is not Alexandroff. 2. Atom spectrum and Alexandroff topological sapces In this section we recall from [K1,K2] some definitions on atom spectrum of an abelian category A. We also give some basic results in this area. Definition 2.1. (1) An abelian category A with a generator is called a Grothendieck category if it has arbitrary direct sums and direct limits of short exact sequence are exact, this means that if a direct system of short exact sequences in A is given, then the induced sequence of direct limits is a short exact sequence. (2) A Grothendieck category is locally noetherian if it has a small generating set of noetherian objects. Throughout this paper, we assume that A is a Grothendieck category. The atom spectrum of a Grothendieck category A is defined in terms of monoform objects of A defined as follows. Definition 2.2. (i) A nonzero object M in A is monoform if for any nonzero subobject N of M, there exists no common nonzero subobject of M and M/N which means that there does not exist a nonzero subobject of M which is isomorphic to a subobject of M/N. We denote by ASpec0 A, the set of all monoform objects of A. Two monoform objects H and H′ are said to be atom-equivalent if they have a common nonzero subobject. The atom equivalence establishes an equivalence relation on monoform objects; and hence for every monoform object H, we denote the equivalence class of H, by H, that is H = {G ∈ ASpec0 A| H and G has a common nonzero subobject}. The atom spectrum of A is defined using these equivalence classes. Definition 2.3. The atom spectrum ASpec A of A is the quotient set of ASpec0 A consisting of all equivalence classes induced by this equivalence relation; in other words ASpec A = {H| H ∈ ASpec0 A}.
Load more

Recommended publications
  • Arxiv:1810.04493V2 [Math.AG]
    MACAULAYFICATION OF NOETHERIAN SCHEMES KĘSTUTIS ČESNAVIČIUS Abstract. To reduce to resolving Cohen–Macaulay singularities, Faltings initiated the program of “Macaulayfying” a given Noetherian scheme X. For a wide class of X, Kawasaki built the sought Cohen–Macaulay modifications, with a crucial drawback that his blowing ups did not preserve the locus CMpXq Ă X where X is already Cohen–Macaulay. We extend Kawasaki’s methods to show that every quasi-excellent, Noetherian scheme X has a Cohen–Macaulay X with a proper map X Ñ X that is an isomorphism over CMpXq. This completes Faltings’ program, reduces the conjectural resolution of singularities to the Cohen–Macaulay case, and implies thatr every proper, smoothr scheme over a number field has a proper, flat, Cohen–Macaulay model over the ring of integers. 1. Macaulayfication as a weak form of resolution of singularities .................. 1 Acknowledgements ................................... ................................ 5 2. (S2)-ification of coherent modules ................................................. 5 3. Ubiquity of Cohen–Macaulay blowing ups ........................................ 9 4. Macaulayfication in the local case ................................................. 18 5. Macaulayfication in the global case ................................................ 20 References ................................................... ........................... 22 1. Macaulayfication as a weak form of resolution of singularities The resolution of singularities, in Grothendieck’s formulation, predicts the following. Conjecture 1.1. For a quasi-excellent,1 reduced, Noetherian scheme X, there are a regular scheme X and a proper morphism π : X Ñ X that is an isomorphism over the regular locus RegpXq of X. arXiv:1810.04493v2 [math.AG] 3 Sep 2020 r CNRS, UMR 8628, Laboratoirer de Mathématiques d’Orsay, Université Paris-Saclay, 91405 Orsay, France E-mail address: [email protected].
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY, CLASS 3 Contents 1
    INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 3 RAVI VAKIL Contents 1. Where we are 1 2. Noetherian rings and the Hilbert basis theorem 2 3. Fundamental definitions: Zariski topology, irreducible, affine variety, dimension, component, etc. 4 (Before class started, I showed that (finite) Chomp is a first-player win, without showing what the winning strategy is.) If you’ve seen a lot of this before, try to solve: “Fun problem” 2. Suppose f1(x1,...,xn)=0,... , fr(x1,...,xn)=0isa system of r polynomial equations in n unknowns, with integral coefficients, and suppose this system has a finite number of complex solutions. Show that each solution is algebraic, i.e. if (x1,...,xn) is a solution, then xi ∈ Q for all i. 1. Where we are We now have seen, in gory detail, the correspondence between radical ideals in n k[x1,...,xn], and algebraic subsets of A (k). Inclusions are reversed; in particular, maximal proper ideals correspond to minimal non-empty subsets, i.e. points. A key part of this correspondence involves the Nullstellensatz. Explicitly, if X and Y are two algebraic sets corresponding to ideals IX and IY (so IX = I(X)andIY =I(Y),p and V (IX )=X,andV(IY)=Y), then I(X ∪ Y )=IX ∩IY,andI(X∩Y)= (IX,IY ). That “root” is necessary. Some of these links required the following theorem, which I promised you I would prove later: Theorem. Each algebraic set in An(k) is cut out by a finite number of equations. This leads us to our next topic: Date: September 16, 1999.
    [Show full text]
  • Noncommutative Stacks
    Noncommutative Stacks Introduction One of the purposes of this work is to introduce a noncommutative analogue of Artin’s and Deligne-Mumford algebraic stacks in the most natural and sufficiently general way. We start with quasi-coherent modules on fibered categories, then define stacks and prestacks. We define formally smooth, formally unramified, and formally ´etale cartesian functors. This provides us with enough tools to extend to stacks the glueing formalism we developed in [KR3] for presheaves and sheaves of sets. Quasi-coherent presheaves and sheaves on a fibered category. Quasi-coherent sheaves on geometric (i.e. locally ringed topological) spaces were in- troduced in fifties. The notion of quasi-coherent modules was extended in an obvious way to ringed sites and toposes at the moment the latter appeared (in SGA), but it was not used much in this generality. Recently, the subject was revisited by D. Orlov in his work on quasi-coherent sheaves in commutative an noncommutative geometry [Or] and by G. Laumon an L. Moret-Bailly in their book on algebraic stacks [LM-B]. Slightly generalizing [R4], we associate with any functor F (regarded as a category over a category) the category of ’quasi-coherent presheaves’ on F (otherwise called ’quasi- coherent presheaves of modules’ or simply ’quasi-coherent modules’) and study some basic properties of this correspondence in the case when the functor defines a fibered category. Imitating [Gir], we define the quasi-topology of 1-descent (or simply ’descent’) and the quasi-topology of 2-descent (or ’effective descent’) on the base of a fibered category (i.e.
    [Show full text]
  • Essential Properties of Pro-Objects in Grothendieck Categories Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 20, No 1 (1979), P
    CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES TIMOTHY PORTER Essential properties of pro-objects in Grothendieck categories Cahiers de topologie et géométrie différentielle catégoriques, tome 20, no 1 (1979), p. 3-57 <http://www.numdam.org/item?id=CTGDC_1979__20_1_3_0> © Andrée C. Ehresmann et les auteurs, 1979, 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 Vol. XX -1 ( 1979 ) ET GEOMETRIE DIFFERENTIELLE ESSENTIAL PROPERTIES OF PRO-OBJECTS IN GROTHENDIECK CATEGORIES by Timothy PORTER There is a class of problems in Algebra, algebraic Topology and category Theory which can be subsummed under the question : When does a «structure &#x3E;&#x3E; on a category C extend to a similar « structure» on the cor- responding procategory pro ( C ) ? Thus one has the work of Edwards and Hastings [7] and the author [27,28,29] on extending a «model category for homotopy theory » a la Quillen [35] from a category C , usually the category of simplicial sets or of chain complexes over some ring, to give a homotopy theory or homo- topical algebra in pro(C) . ( It is worth noting that the two approaches differ considerably, but they agree in the formation of the homotopy categ- ory / category of fractions Hopro(C) which, in this case, is distinct from the prohomotopy category&#x3E;&#x3E; proHo ( C ) .
    [Show full text]
  • Emmy Noether, Greatest Woman Mathematician Clark Kimberling
    Emmy Noether, Greatest Woman Mathematician Clark Kimberling Mathematics Teacher, March 1982, Volume 84, Number 3, pp. 246–249. Mathematics Teacher is a publication of the National Council of Teachers of Mathematics (NCTM). With more than 100,000 members, NCTM is the largest organization dedicated to the improvement of mathematics education and to the needs of teachers of mathematics. Founded in 1920 as a not-for-profit professional and educational association, NCTM has opened doors to vast sources of publications, products, and services to help teachers do a better job in the classroom. For more information on membership in the NCTM, call or write: NCTM Headquarters Office 1906 Association Drive Reston, Virginia 20191-9988 Phone: (703) 620-9840 Fax: (703) 476-2970 Internet: http://www.nctm.org E-mail: [email protected] Article reprinted with permission from Mathematics Teacher, copyright March 1982 by the National Council of Teachers of Mathematics. All rights reserved. mmy Noether was born over one hundred years ago in the German university town of Erlangen, where her father, Max Noether, was a professor of Emathematics. At that time it was very unusual for a woman to seek a university education. In fact, a leading historian of the day wrote that talk of “surrendering our universities to the invasion of women . is a shameful display of moral weakness.”1 At the University of Erlangen, the Academic Senate in 1898 declared that the admission of women students would “overthrow all academic order.”2 In spite of all this, Emmy Noether was able to attend lectures at Erlangen in 1900 and to matriculate there officially in 1904.
    [Show full text]
  • Arxiv:Math/9909030V1 [Math.CT] 5 Sep 1999 B.A3ctgr,I Hc O N Ietdfamily Directed Any for Which in Ab3-Category, a Equivalently, Ab5
    GROTHENDIECK CATEGORIES GRIGORY GARKUSHA Contents 0. Introduction 1 1. Preliminaries 6 1.1. Ab-conditions 6 1.2. Localization in Grothendieck categories 7 1.3. Lattices of localizing subcategories 10 1.4. Locally finitely presented Grothendieck categories 11 2. Grothendieck categories possessing finitely generated projective generators 13 2.1. The Gabriel topology 14 2.2. Localization in module categories 17 3. The structure of localizing subcategories 20 3.1. Negligible objects and covering morphisms 22 4. Representation of Grothendieck categories 26 4.1. Projective generating sets 32 5. Finiteness conditions for localizing subcategories 36 5.1. Left exact functors 40 5.2. The Ziegler topology 43 6. Categories of generalized modules 45 6.1. Tensor products 45 6.2. Auslander-Gruson-Jensen Duality 48 7. Grothendieck categories as quotient categories of (mod Aop, Ab) 50 8. Absolutely pure and flat modules 54 References 60 arXiv:math/9909030v1 [math.CT] 5 Sep 1999 0. Introduction The theory has its origin in the work of Grothendieck [Grk] who introduced the following notation of properties of abelian categories: Ab3. An abelian category with coproducts or equivalently, a cocomplete abelian cate- gory. Ab5. Ab3-category, in which for any directed family {Ai}i∈I of subobjects of an arbi- trary object X and for any subobject B of X the following relation holds: (X Ai) ∩ B = X(Ai ∩ B) i∈I i∈I 1991 Mathematics Subject Classification. Primary 18E, 16D. 2 GRIGORY GARKUSHA Ab5-categories possessing a family of generators are called Grothendieck categories. They constitute a natural extension of the class of module categories, with which they share a great number of important properties.
    [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]
  • NOETHERIAN RINGS and Their Applications =11 MATHEMATICAL SURVEYS It ,11 and MONOGRAPHS
    http://dx.doi.org/10.1090/surv/024 NOETHERIAN RINGS and their applications =11 MATHEMATICAL SURVEYS It ,11 AND MONOGRAPHS fr==iJll NUMBER 24 NOETHERIAN RINGS and their applications LANCE W. SMALL, EDITOR American Mathematical Society Providence, Rhode Island 1980 Mathematics Subject Classification (1985 Revision). Primary 16A33; Secondary 17B35, 16A27. Library of Congress Cataloging-in-Publication Data Noetherian rings and their applications. (Mathematical surveys and monographs, 0076-5376; no. 24) Largely lectures presented during a conference held at the Mathematisches Forschungsinstitut Oberwolfach, Jan. 23-29, 1983. Includes bibliographies. 1. Noetherian rings—Congresses. 2. Universal enveloping algebras- Congresses. 3. Lie algebras-Congresses. I. Small, Lance W., 1941 — II. Mathematisches Forschungsinstitut Oberwolfach. III. Series. QA251.4.N64 1987 512'.55 87-14997 ISBN 0-8218-1525-3 (alk. paper) Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this pub­ lication (including abstracts) is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Executive Director, American Mathematical Society, P.O. Box 6248, Providence, Rhode Island 02940. The owner consents to copying beyond that permitted by Sections 107 or 108 of the U.S. Copyright Law, provided that a fee of $1.00 plus $.25 per page for each copy be paid directly to the Copyright Clearance Center, Inc., 21 Congress Street, Salem, Massachusetts 01970.
    [Show full text]
  • Valuation Rings
    Valuation Rings Recall that a submonoid Γ+ of a group Γ defines an ordering on Γ, where x ≥ y iff x − y ∈ Γ+. The set of elements x such that x and −x both belong to Γ+ is a subgroup; dividing by this subgroup we find that in the quotient x ≥ y and y ≥ x implies x = y. If this property holds already in Γ and if in addition, for every x ∈ Γ either x or −x belongs to Γ+, the ordering defined by Γ+ is total. A (non-Archimedean) valuation of a field K is a homomorphism v from K∗ onto a totally ordered abelian group Γ such that v(x+y) ≥ min(v(x), v(y)) for any pair x, y of elements whose sum is not zero. Associated to such a valuation is R =: {x : v(x) ∈ Γ+} ∪ {0}; one sees immediately that R is a subring of K with a unique maximal ideal, namely {x ∈ R : v(x) 6= 0}. This R is called the valuation ring associated with the valuation R. Proposition 1 Let R be an integral domain with fraction field K. Then the following are equivalent: 1. There is a valuation v of K for which R is the associated valuation ring. 2. For every element a of K, either a or a−1 belongs to R. 3. The set of principal ideals of R is totally ordered by inclusion. 4. The set of ideals of R is totally ordered by inclusion. 5. R is local and every finitely generated ideal of R is principal.
    [Show full text]
  • Types of Serre Subcategories of Grothendieck Categories
    TYPES OF SERRE SUBCATEGORIES OF GROTHENDIECK CATEGORIES JIAN FENG, PU ZHANG∗ Abstract. Every Serre subcategory of an abelian category is assigned a unique type. The type of a Serre subcategory of a Grothendieck category is in the list: (0, 0), (0, −1), (1, −1), (0, −2), (1, −2), (2, −1), (+∞, −∞); and for each (m, −n) in this list, there exists a Serre subcategory such that its type is (m, −n). This uses right (left) recollements of abelian categories, Tachikawa-Ohtake [TO] on strongly hereditary torsion pairs, and Geigle-Lenzing [GL] on localizing subcategories. If all the functors in a recollement of abelian categories are exact, then the recollement splits. Quite surprising, any left recollement of a Grothendieck category can be extended to a recollement; but this is not true for a right recollement. Thus, a colocalizing subcategory of a Grothendieck category is localizing; but the converse is not true. All these results do not hold in triangulated categories. Key words and phrases. the type of a Serre subcategory, right recollement, strongly hereditary torsion pair, quotient functor, localizing subcategory, Grothendieck category 1. Introduction Given a Serre subcategory S of an abelian category A with inclusion functor i : S → A and quotient functor Q : A → A/S, it is fundamental to know when it is localizing (resp. colocalizing), i.e., Q has a right (resp. left) adjoint ([S], [G]). By W. Geigle and H. Lenzing [GL], S is localizing if and only if there exists an exact sequence 0 → S1 → A → C → S2 → 0 with S1 ∈ S, S2 ∈ S, and C ∈ S⊥≤1 ; and if and only if the restriction Q : S⊥≤1 → A/S is an equivalence of categories.
    [Show full text]
  • RING THEORY 1. Chain Conditions We Now Begin a More Systematic
    CHAPTER XIII MORE RING THEORY 1. Chain Conditions We now begin a more systematic treatment of ring theory. There is a substantial difference between the directions which the theory takes in the commuative and non-commutative case. In this course, we shall concentrate mainly on the non-commutative case, but we shall also develop some of the important basic ideas of commutative algebra. We start now with the topic of chain conditions which has relevance both for commutative and non-commutative algebra. Proposition. Let S be a partially ordered set. The following two assertions are equivalent. (i) Every nondecreasing sequence x1 ≤ x2 ≤···≤xi ≤... eventually stabilizes, i.e., there is an n such that xm = xn for m ≥ n. (ii) Every non-empty subset of S has a maximal element. Proof. Assume (i). Let T be any non-empty subset of S.Choosex1∈T.Ifx1is maximal, we are done. Otherwise, choose x2 ∈ T with x1 <x2.Ifx2is maximal, we are done. Keep going in this way. We can construct a strictly increasing sequence of elements of T —which contradicts (i)—unless we eventually come upon a maximal element. Conversely, suppose (ii) is true. The set of elements in a non-decreasing sequence must have a maximal element and it is clear that the sequence must stabilize with that element. A partially ordered set with these properties is said to satisfy the ascending chain condition. A partially ordered set which satisfies the corresponding conditions for the reversed order —i.e., every nonincreasing chain stabilizes and every non-empty set has a minimal element—is said to satisfy the descending chain condition.
    [Show full text]
  • Local and Stable Homological Algebra in Grothendieck Abelian Categories
    LOCAL AND STABLE HOMOLOGICAL ALGEBRA IN GROTHENDIECK ABELIAN CATEGORIES by Denis-Charles Cisinski & Fr´ed´eric D´eglise Abstract. — We define model category structures on the category of chain complexes over a Grothendieck abelian category depending on the choice of a generating family, and we study their behaviour with respect to tensor products and stabilization. This gives convenient tools to construct and understand triangulated categories of motives and we consider here the case of mixed motives over a regular base scheme. Contents Introduction........................................ ................ 1 1. Model category structures on complexes................ ......... 2 2. Derived tensor product.............................. ............ 10 3. Localization of derived categories. ......... 15 4. Presentations of the derived category.................. .......... 21 5. How to get compact generators........................ .......... 24 6. Stabilization and symmetric spectra. ....... 25 References......................................... ................. 39 arXiv:0712.3296v1 [math.CT] 19 Dec 2007 Introduction This paper is an attempt to apply the general technics of abstract homotopical algebra to describe derived categories of Grothendieck categories. Our motivation is to describe model categories of complexes of sheaves “as locally as possible”, so that we can get easily total left derived functors (like the tensor product). The formalism we propose is made to stay close to something that looks like descent theory. Even though the
    [Show full text]