ON MONADS OF EXACT REFLECTIVE LOCALIZATIONS OF ABELIAN CATEGORIES
|
|
- Amanda Houston
- 5 years ago
- Views:
Transcription
1 Homology, Homotopy and Applications, vol. 15(2), 2013, pp ON MONADS OF EXACT REFLECTIVE LOCALIZATIONS OF ABELIAN CATEGORIES MOHAMED BARAKAT and MARKUS LANGE-HEGERMANN (communicated by Winfried Bruns) Abstract In this paper we define Gabriel monads as the idempotent monads associated to exact reflective localizations in Abelian categories and characterize them by a simple set of properties. The coimage of a Gabriel monad is a Serre quotient category. The Gabriel monad induces an equivalence between its coimage and its image, the localizing subcategory of local objects. 1. Introduction Abelian categories were introduced in Grothendieck s Tôhoku paper [Gro57] and since then became a central notion in homological algebra. In our attempt to establish a constructive setup for homological algebra, we introduced in [BLH11, Chap. 2] the notion of a computable Abelian category, i.e., an Abelian category in which all existential quantifiers occurring in the defining axioms can be turned into algorithms. Along these lines we treated in loc. cit. the Abelian categories of finitely presented modules over so-called computable rings and their localization at certain maximal ideals. Our next goal is to treat the Abelian category Coh X of coherent sheaves on a projective scheme X along the same lines. This category is, by Serre s seminal paper [Ser55], equivalent to a Serre quotient A/C of an Abelian category A of graded modules over the graded ring S = k[x 0,..., x n ]/I, where I = I(X) is the homogeneous ideal defining X and C is the thick subcategory of graded modules with zero sheafification. In the context of this paper we require the thick subcategory C A to be localizing. Indeed, there are several ways to model Coh X as a Serre quotient A/C where A is some Abelian category of graded S-modules, but not in all models is the thick subcategory C A localizing. Serre defined in loc. cit. A as the category of quasi finitely generated graded S-modules, i.e., of graded modules M such that the truncated submodule M d is finitely generated for some d Z large enough. Here C A is localizing but this model is not constructive. Redefining A, C to be the respective full subcategories of finitely generated graded S-modules indeed yields a constructive model A/C Coh X, but now C A is no longer localizing. Luckily, for each d 0 Z the respective full subcategories A, C of graded S-modules truncated Received January 16, 2013, revised July 28, 2013; published on November 24, Mathematics Subject Classification: 18E35, 18A40. Key words and phrases: Serre quotient, reflective localization of Abelian categories, idempotent monad, Gabriel localization, saturating monad. Article available at and doi: /hha.2013.v15.n2.a8 Copyright c 2013, International Press. Permission to copy for private use granted.
2 146 MOHAMED BARAKAT and MARKUS LANGE-HEGERMANN at d 0 yield a constructive model A/C Coh X in which C A is again localizing (for more details cf. [BLH13, 4.1]). In all models, a coherent sheaf F is given by a class of graded modules isomorphic in high degrees. In the last model, the truncated (and hence finitely generated) module of twisted global sections d d 0 H 0 (F(d)) is in the following sense a distinguished representative within this class; it is a so-called saturated object with respect to C. The appropriate categorical setup for a Serre quotient A/C of an Abelian category A modulo a thick subcategory C A was introduced by Grothendieck [Gro57, Chap. 1.11] and then more elaborately in Gabriel s thesis [Gab62]. Later Gabriel and Zisman developed in [GZ67] a localization theory of categories in which a Serre quotient A/C is an outcome of a special localization A A[Σ 1 ] A/C. Their theory is also general enough to enclose Verdier s localization of triangulated categories, which he used in his 1967 thesis (cf. [Ver96]) to define derived categories. Thanks to Simpson s work [Sim06], the Gabriel-Zisman localization is now completely formalized in the proof assistant Coq [Coq04]. In many applications, as assumed in [GZ67], the localization A[Σ 1 ] is equivalent to a full subcategory of A, the subcategory of all Σ-local objects of A. This favorable situation (which in our context means that C is a localizing subcategory of A) is characterized by the existence of an idempotent monad associated to the localization. For a further overview on localizations we refer to the arxiv version of [Tho11]. In our application to Coh X we are in the setup of Serre quotient categories A/C, which are the outcome of an exact localization having an associated idempotent monad. We call this monad the Gabriel monad (cf. Definition 2.3). Gabriel monads satisfy a set of properties that we use as a simple set of axioms to define what we call a C-saturating monad. The goal of this paper is to characterize Gabriel monads conversely as C-saturating monads (Theorem 3.6). Such a characterization enables us in [BLHa] to show that several known algorithmically computable functors in the context of coherent sheaves on a projective scheme 1 are C-saturating. 2 This yields a constructive, unified, and simple proof that those functors are equivalent to the functor M d d 0 H 0 ( M(d)), and hence compute the truncated module of twisted global sections. Among those are the functors computing the graded ideal transform and the graded module given by the 0-th strand of the Tate resolution. The proof there relies on checking the defining set of axioms of a C-saturating monad, which turns out to be a relatively easy task. In particular, the proof does not rely on the (full) BGG correspondence [BGG78] of triangulated categories, the Serre-Grothendieck correspondence [BS98, ], or the local duality, as used in [EFS03]. A stronger computability notion is that of the Ext-computability. Furthermore, in [BLHb] we use the Gabriel monad of a localizing Serre quotient A/C to show that the so-called Ext-computability of A/C follows from that of A. In particular, the Abelian category Coh X is Ext-computable (cf. [BLHa]). 1 This technique applies to other classes of varieties admitting a finitely generated Cox ring S. 2 In this context the Σ-local objects are Gabriel s C-saturated objects.
3 ON MONADS OF EXACT REFLECTIVE LOCALIZATIONS OF ABELIAN CATEGORIES Preliminaries We refer to [Gab62, GZ67, Bor94a, Bor94b] or the active nlab wiki [nla12] for further details and proofs. See also the arxiv version of this paper. A monad is an endofunctor W : A A together with natural transformations η : Id A W and µ: W 2 W called the unit and multiplication of the monad, respectively, such that the two zig-zag identites hold. A monad W is called idempotent if its multiplication is a natural isomorphism. A full subcategory B A is called a reflective subcategory if the inclusion functor ι: B A has a left adjoint, called the reflector. A monad is idempotent if and only if its essential image is a reflective subcategory. A localization is called reflective if it admits a fully faithful right adjoint. Proposition 2.1. Let F G : B A be adjoint functors with unit η and counit δ and let (W, η, µ) := (G F, η, F δg ) be the associated monad. The following are equivalent: 1. G is fully faithful, i.e., B is equivalent to its (essential) image under G. 2. The counit δ : F G Id B is a natural isomorphism W is idempotent, i.e., the essential image of G is a reflective subcategory. Then, W (A) G (B) B and G is conservative, i.e., reflects isomorphisms. From now on A denotes an Abelian category. A full subcategory C of A is called thick if it is closed under passing to subobjects, factor objects, and extensions. From now on let C denote a thick subcategory of A. The (Serre) quotient category A/C is a category with the objects of A and Hom-groups Hom A/C (M, N) := lim Hom A (M, N/N ). M M, N N M/M, N C The canonical functor Q : A A/C is defined to be the identity on objects and maps a morphism ϕ Hom A (M, N) to its image in the direct limit Hom A/C (M, N). The category A/C is Abelian and the canonical functor Q is exact. Proposition 2.2. Let G : A D be an exact functor into the Abelian category D. If G (C) is zero then there exists a unique functor H : A/C D such that G = H Q. An object M A is called C-saturated if it has no subobject in C and every extension of M by an object C C is trivial. Denote by Sat C (A) A the full subcategory of C-saturated objects. We say that A has enough C-saturated objects if for each M A there exists a C-saturated object N and a morphism η M : M N such that ker η M C. The thick subcategory C is called localizing if the canonical functor Q admits a right adjoint S : A/C A, called the section functor of Q. The category C A is localizing if and only if A has enough C-saturated objects. The section functor S : A/C A is left exact and preserves direct sums. Definition 2.3. We call a canonical functor Q : A A/C admitting a section functor a Gabriel localization and the associated monad (S Q, η, µ = S δq) the Gabriel monad. 3 In particular, G is a right inverse of F and F is essentially surjective.
4 148 MOHAMED BARAKAT and MARKUS LANGE-HEGERMANN Proposition 2.4. Let C be a localizing subcategory of A with section functor S. 1. The counit of the adjunction δ : Q S Id A/C is a natural isomorphism. 2. An object M in A is C-saturated if and only if η M : M (S Q)(M) is an isomorphism, where η is the unit of the adjunction. 3. S (A/C) Sat C (A) are reflective subcategories of A. 4. η(s Q) = (S Q)η. Corollary 2.5. In Proposition 2.4, the image S (A/C) of S is a subcategory of Sat C (A) and the inclusion functor S (A/C) Sat C (A) is an equivalence of categories with the restricted-corestricted Gabriel monad S Q : Sat C (A) S (A/C) as a quasi-inverse. In other words, Sat C (A) is the essential image of S and of the Gabriel monad S Q. Corollary 2.6. In Proposition 2.4, the restricted canonical functor Q : Sat C (A) A/C and the corestricted section functor S : A/C Sat C (A) are quasi-inverse equivalences of categories. In particular, Sat C (A) S (A/C) A/C is an Abelian category. Define the reflector Q as the corestriction of the adjunction monad S Q to its essential image Sat C (A), i.e., Q := co-ressatc (A)(S Q): A Sat C (A). Under the above equivalence, the adjunction Q ι: Sat C (A) A corresponds to the adjunction Q S : A/C A. They both share the same adjunction monad S Q = ι Q : A A. In particular, the reflector Q is exact and ι is left exact. 3. Characterizing reflective Gabriel localizations and Gabriel monads The next proposition states that in fact all exact reflective localizations in the setup of Abelian categories are (reflective) Gabriel localizations. Proposition 3.1 ([Gab62, Proposition III.2.5], [GZ67, Chap d]). Let Q S : B A be a pair of adjoint functors of Abelian categories. Assume, that Q is exact and the counit δ : Q S IdB of the adjunction is a natural isomorphism. Then C := ker Q is a localizing subcategory of A and the adjunction Q S induces an adjoint equivalence from B to A/C. Now, we approach the central definition of this paper which collects some properties of Gabriel monads. Definition 3.2. Let C A be a localizing subcategory of the Abelian category A and let ι: Sat C (A) A the full embedding. We call an endofunctor W : A A together with a natural transformation η : Id A W C-saturating if the following holds: 1. C ker W, 2. W (A) Sat C (A), 3. G := co-res SatC (A) W is exact, 4. ηw = W η, and 5. ηι: Id A SatC (A) W SatC (A) is a natural isomorphism. 4 4 In particular, W (A) is an essentially wide subcategory of Sat C (A).
5 ON MONADS OF EXACT REFLECTIVE LOCALIZATIONS OF ABELIAN CATEGORIES 149 Let H be the unique functor from Proposition 2.2 such that G = H Q. We call the composed functor H := ι H the colift of W along Q, since W = ι G = H Q. Lemma 3.3. Let Q : A A/C be a Gabriel localization with section functor S. Then each C-saturating endofunctor W of A is naturally isomorphic to S Q. Furthermore, the colift H of W along Q is also a section functor naturally isomorphic to S. Proof. For G := co-res SatC (A) W, let H be the unique functor from Proposition 2.2 (using Definition 3.2.(1)) such that G = H Q. Then G = H Q H Q S Q (Id A/C Q S by Proposition 2.4.(1)) = G S Q Id SatC (A) S Q (using S (Q(A)) Sat C (A) and 3.2.(5)) = co-res SatC (A)(S Q) and, using the notation of Definition 3.2, This also proves the equivalence W = H Q = ι G S Q. H S, as Q is surjective. Proposition 3.4. Let Q : A A/C be a Gabriel localization and (W, η) be a C-saturating endofunctor of A with colift H along Q. Then there exists a natural transformation δ : Q H Id A/C such that Q and H form an adjoint pair Q H with unit η and counit δ. Definition 3.5. Hence, each C-saturating endofunctor (W, η) is the monad (W, η, H δq) associated to the adjunction Q H. We call it a C-saturating monad. Proof of Proposition 3.4. We define a natural transformation δ : Q H Id A/C and show the two zig-zag identities, i.e., that the compositions of natural transformations Q Q η Q H Q δq Q and H η H H Q H H δ H are the identity of functors. By 3.2.(5) we know that ( H Q) η = W η 3.2.(4) = ηw = ( ηι)g is an isomorphism. Hence, also Q η is a natural isomorphism, because the functor H is equivalent to S by Lemma 3.3 and, thus, reflects isomorphisms. This allows us to define δ in such a way to satisfy the first zig-zag identity, i.e., set δq := (Q η) 1. This defines δ as Q is surjective (on objects). The second zig-zag identity is equivalent, again due to the surjectivity of Q, to the second zig-zag identity applied to Q, i.e., ( H δq) η( H Q) being the identity transformation of the functor H Q = W. Now ( H δq) η( H Q) = ( H (Q η) 1 ) η( H Q) (by the definition δq := (Q η) 1 ) = (( H Q) η) 1 η( H Q) = ( η( H Q)) 1 η( H Q) (by η( H Q) 3.2.(4) = ( H Q) η) = Id H Q.
6 150 MOHAMED BARAKAT and MARKUS LANGE-HEGERMANN We now approach our main result. Theorem 3.6 (Characterization of Gabriel monads). Each Gabriel monad is a C- saturating monad. Conversely, each C-saturating monad is equivalent to a Gabriel monad. Proof. The conditions in Definition 3.2 clearly apply to a Gabriel monad S Q by definition of the canonical functor Q, Corollary 2.5, Corollary 2.6, Proposition 2.4(4), and Proposition 2.4(2), respectively. The converse follows directly from Lemma 3.3 and Proposition 3.4 which prove that the two adjunctions Q H and Q S are equivalent and so are their associated monads. Acknowledgments We would like to thank the anonymous referee for many valuable suggestions. References [BGG78] [BLHa] [BLHb] [BLH11] [BLH13] [Bor94a] [Bor94b] [BS98] [Coq04] I. N. Bernšteĭn, I. M. Gel fand, and S. I. Gel fand, Algebraic vector bundles on P n and problems of linear algebra, Funktsional. Anal. i Prilozhen. 12 (1978), no. 3, MR (80c:14010a) M. Barakat and M. Lange-Hegermann, A constructive approach to coherent sheaf cohomology via Gabriel monads, in preparation. M. Barakat and M. Lange-Hegermann, On the Ext-computability of Serre quotient categories, submitted, arxiv: M. Barakat and M. Lange-Hegermann, An axiomatic setup for algorithmic homological algebra and an alternative approach to localization, J. Algebra Appl. 10 (2011), no. 2, , arxiv: MR (2012f:18022) M. Barakat and M. Lange-Hegermann, Characterizing Serre quotients with no section functor and applications to coherent sheaves, Appl. Categor. Struct. (2013), published online, arxiv: F. Borceux, Handbook of categorical algebra. 1. Basic category theory, Encyclopedia of Mathematics and its Applications, vol. 50, Cambridge University Press, Cambridge, MR (96g:18001a) F. Borceux, Handbook of categorical algebra. 2. Categories and structures, Encyclopedia of Mathematics and its Applications, vol. 51, Cambridge University Press, Cambridge, MR (96g:18001b) M. P. Brodmann and R. Y. Sharp, Local cohomology: an algebraic introduction with geometric applications, Cambridge Studies in Advanced Mathematics, vol. 60, Cambridge University Press, Cambridge, MR (99h:13020) Coq development team, The coq proof assistant reference manual, Logi- Cal Project, 2004, Version 8.0.
7 ON MONADS OF EXACT REFLECTIVE LOCALIZATIONS OF ABELIAN CATEGORIES 151 [EFS03] D. Eisenbud, G. Fløystad, and F.-O. Schreyer, Sheaf cohomology and free resolutions over exterior algebras, Trans. Amer. Math. Soc. 355 (2003), no. 11, (electronic). MR (2004f:14031) [Gab62] P. Gabriel, Des catégories abéliennes, Bull. Soc. Math. France 90 (1962), MR (38 #1144) [Gro57] [GZ67] [nla12] A. Grothendieck, Sur quelques points d algèbre homologique, Tôhoku Math. J. (2) 9 (1957), MR (21 #1328) P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer- Verlag New York, Inc., New York, MR (35 #1019) nlab authors, The nlab, 2012, [Online; accessed 10-February-2012]. [Ser55] J.-P. Serre, Faisceaux algébriques cohérents, Ann. of Math. (2) 61 (1955), MR (16,953c) [Sim06] C. Simpson, Explaining Gabriel-Zisman localization to the computer, J. Automat. Reason. 36 (2006), no. 3, MR (2007h:68176) [Tho11] S. Thomas, On the 3-arrow calculus for homotopy categories, Homology Homotopy Appl. 13 (2011), no. 1, , arxiv: MR [Ver96] J.-L. Verdier, Des catégories dérivées des catégories abéliennes, Astérisque (1996), no. 239, xii+253 pp. (1997), with a preface by Luc Illusie, edited and with a note by Georges Maltsiniotis. MR (98c:18007) Mohamed Barakat barakat@mathematik.uni-kl.de Department of Mathematics, University of Kaiserslautern, Kaiserslautern, Germany Markus Lange-Hegermann markus.lange.hegermann@rwth-aachen.de Lehrstuhl B für Mathematik, RWTH Aachen University, Aachen, Germany
REFLECTING RECOLLEMENTS. A recollement of triangulated categories S, T, U is a diagram of triangulated
REFLECTING RECOLLEMENTS PETER JØRGENSEN Abstract. A recollement describes one triangulated category T as glued together from two others, S and. The definition is not symmetrical in S and, but this note
More informationREFLECTING RECOLLEMENTS
Jørgensen, P. Osaka J. Math. 47 (2010), 209 213 REFLECTING RECOLLEMENTS PETER JØRGENSEN (Received October 17, 2008) Abstract A recollement describes one triangulated category T as glued together from two
More informationDERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION
DERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION HIROTAKA KOGA Abstract. In this note, we introduce the notion of complexes of finite Gorenstein projective dimension and show that a derived equivalence
More informationarxiv: v1 [math.ag] 18 Feb 2010
UNIFYING TWO RESULTS OF D. ORLOV XIAO-WU CHEN arxiv:1002.3467v1 [math.ag] 18 Feb 2010 Abstract. Let X be a noetherian separated scheme X of finite Krull dimension which has enough locally free sheaves
More informationHOMOLOGICAL DIMENSIONS AND REGULAR RINGS
HOMOLOGICAL DIMENSIONS AND REGULAR RINGS ALINA IACOB AND SRIKANTH B. IYENGAR Abstract. A question of Avramov and Foxby concerning injective dimension of complexes is settled in the affirmative for the
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationThe K-theory of Derivators
The K-theory of Derivators Ian Coley University of California, Los Angeles 17 March 2018 Ian Coley The K-theory of Derivators 17 March 2018 1 / 11 Alexander Grothendieck, the initial mathematician 1957,
More informationTHE DERIVED CATEGORY OF A GRADED GORENSTEIN RING
THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING JESSE BURKE AND GREG STEVENSON Abstract. We give an exposition and generalization of Orlov s theorem on graded Gorenstein rings. We show the theorem holds
More informationSPECIALIZATION ORDERS ON ATOM SPECTRA OF GROTHENDIECK CATEGORIES
SPECIALIZATION ORDERS ON ATOM SPECTRA OF GROTHENDIECK CATEGORIES RYO KANDA Abstract. This report is a survey of our result in [Kan13]. We introduce systematic methods to construct Grothendieck categories
More informationABSOLUTELY PURE REPRESENTATIONS OF QUIVERS
J. Korean Math. Soc. 51 (2014), No. 6, pp. 1177 1187 http://dx.doi.org/10.4134/jkms.2014.51.6.1177 ABSOLUTELY PURE REPRESENTATIONS OF QUIVERS Mansour Aghasi and Hamidreza Nemati Abstract. In the current
More informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationProperties of Triangular Matrix and Gorenstein Differential Graded Algebras
Properties of Triangular Matrix and Gorenstein Differential Graded Algebras Daniel Maycock Thesis submitted for the degree of Doctor of Philosophy chool of Mathematics & tatistics Newcastle University
More informationTRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS. 0. Introduction
TRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS PETER JØRGENSEN AND KIRIKO KATO Abstract. In a triangulated category T with a pair of triangulated subcategories
More informationSEMINAR: DERIVED CATEGORIES AND VARIATION OF GEOMETRIC INVARIANT THEORY QUOTIENTS
SEMINAR: DERIVED CATEGORIES AND VARIATION OF GEOMETRIC INVARIANT THEORY QUOTIENTS VICTORIA HOSKINS Abstract 1. Overview Bondal and Orlov s study of the behaviour of the bounded derived category D b (X)
More informationSUBCATEGORIES OF EXTENSION MODULES BY SERRE SUBCATEGORIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 7, July 2012, Pages 2293 2305 S 0002-9939(2011)11108-0 Article electronically published on November 23, 2011 SUBCATEGORIES OF EXTENSION
More informationRECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES
RECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES DONG YANG Abstract. In this note I report on an ongoing work joint with Martin Kalck, which generalises and improves a construction
More informationLOCALIZATION THEORY FOR TRIANGULATED CATEGORIES
LOCALIZATION THEORY FOR TRIANGULATED CATEGORIES HENNING KRAUSE Contents 1. Introduction 1 2. Categories of fractions and localization functors 3 3. Calculus of fractions 9 4. Localization for triangulated
More informationRecollement of Grothendieck categories. Applications to schemes
ull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 109 116 Recollement of Grothendieck categories. Applications to schemes by D. Joiţa, C. Năstăsescu and L. Năstăsescu Dedicated to the memory
More informationA CARTAN-EILENBERG APPROACH TO HOMOTOPICAL ALGEBRA F. GUILLÉN, V. NAVARRO, P. PASCUAL, AND AGUSTÍ ROIG. Contents
A CARTAN-EILENBERG APPROACH TO HOMOTOPICAL ALGEBRA F. GUILLÉN, V. NAVARRO, P. PASCUAL, AND AGUSTÍ ROIG Abstract. In this paper we propose an approach to homotopical algebra where the basic ingredient is
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationLOCALIZATIONS, COLOCALIZATIONS AND NON ADDITIVE -OBJECTS
LOCALIZATIONS, COLOCALIZATIONS AND NON ADDITIVE -OBJECTS GEORGE CIPRIAN MODOI Abstract. Given two arbitrary categories, a pair of adjoint functors between them induces three pairs of full subcategories,
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationQUASI-HEREDITARY ALGEBRAS: BGG RECIPROCITY
QUASI-HEREDITARY ALGEBRAS: BGG RECIPROCITY ROLF FARNSTEINER Let A be a finite-dimensional associative algebra over an algebraically closed field k. We let S(1),..., S(n) denote a full set of representatives
More informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationAUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN
Bull. London Math. Soc. 37 (2005) 361 372 C 2005 London Mathematical Society doi:10.1112/s0024609304004011 AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN HENNING KRAUSE Abstract A classical theorem
More informationarxiv: v1 [math.qa] 9 Feb 2009
Compatibility of (co)actions and localizations Zoran Škoda, zskoda@irb.hr preliminary version arxiv:0902.1398v1 [math.qa] 9 Feb 2009 Earlier, Lunts and Rosenberg studied a notion of compatibility of endofunctors
More informationExtensions of covariantly finite subcategories
Arch. Math. 93 (2009), 29 35 c 2009 Birkhäuser Verlag Basel/Switzerland 0003-889X/09/010029-7 published online June 26, 2009 DOI 10.1007/s00013-009-0013-8 Archiv der Mathematik Extensions of covariantly
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More informationPART I. Abstract algebraic categories
PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationA NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space.
A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let P n be the projective n space over the complex numbers. In this note we show that an indecomposable
More informationWIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES
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,
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationarxiv: v1 [math.ag] 9 Mar 2011
INEQUALITIES FOR THE HODGE NUMBERS OF IRREGULAR COMPACT KÄHLER MANIFOLDS LUIGI LOMBARDI ariv:1103.1704v1 [math.ag] 9 Mar 2011 Abstract. Based on work of R. Lazarsfeld and M. Popa, we use the derivative
More informationDedicated to Helmut Lenzing for his 60th birthday
C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationWhat is an ind-coherent sheaf?
What is an ind-coherent sheaf? Harrison Chen March 8, 2018 0.1 Introduction All algebras in this note will be considered over a field k of characteristic zero (an assumption made in [Ga:IC]), so that we
More informationarxiv: v2 [math.ct] 27 Dec 2014
ON DIRECT SUMMANDS OF HOMOLOGICAL FUNCTORS ON LENGTH CATEGORIES arxiv:1305.1914v2 [math.ct] 27 Dec 2014 ALEX MARTSINKOVSKY Abstract. We show that direct summands of certain additive functors arising as
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationDerived categories, perverse sheaves and intermediate extension functor
Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationPart II: Recollement, or gluing
The Topological Setting The setting: closed in X, := X. i X j D i DX j D A t-structure on D X determines ones on D and D : D 0 = j (D 0 X ) D 0 = (i ) 1 (D 0 X ) Theorem Conversely, any t-structures on
More informationLectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality.
Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality. Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu February 16, 2009 Joseph Lipman (Purdue
More informationCALABI-YAU ALGEBRAS AND PERVERSE MORITA EQUIVALENCES
CALABI-YAU ALGEBRAS AND PERERSE MORITA EQUIALENCES JOSEPH CHUANG AND RAPHAËL ROUQUIER Preliminary Draft Contents 1. Notations 2 2. Tilting 2 2.1. t-structures and filtered categories 2 2.1.1. t-structures
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationAn Axiomatic Description of a Duality for Modules
advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany
More informationRELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES
RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension
More informationExtension Groups for DG Modules
Georgia Southern University Digital Commons@Georgia Southern Mathematical Sciences Faculty Publications Department of Mathematical Sciences 2-6-26 Extension Groups for DG Modules Saeed Nasseh Georgia Southern
More informationDerived Canonical Algebras as One-Point Extensions
Contemporary Mathematics Derived Canonical Algebras as One-Point Extensions Michael Barot and Helmut Lenzing Abstract. Canonical algebras have been intensively studied, see for example [12], [3] and [11]
More information2 HENNING KRAUSE AND MANUEL SAOR IN is closely related is that of an injective envelope. Recall that a monomorphism : M! N in any abelian category is
ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAOR IN Let R be a ring and consider the category Mod R of (right) R-modules. Given a class C of R-modules, a morphism M! N in Mod R is called
More informationA note on standard equivalences
Bull. London Math. Soc. 48 (2016) 797 801 C 2016 London Mathematical Society doi:10.1112/blms/bdw038 A note on standard equivalences Xiao-Wu Chen Abstract We prove that any derived equivalence between
More information1. THE CONSTRUCTIBLE DERIVED CATEGORY
1. THE ONSTRUTIBLE DERIVED ATEGORY DONU ARAPURA Given a family of varieties, we want to be able to describe the cohomology in a suitably flexible way. We describe with the basic homological framework.
More informationTHE TELESCOPE CONJECTURE FOR HEREDITARY RINGS VIA EXT-ORTHOGONAL PAIRS
THE TELESCOPE CONJECTURE FOR HEREDITARY RINGS VIA EXT-ORTHOGONAL PAIRS HENNING KRAUSE AND JAN ŠŤOVÍČEK Abstract. For the module category of a hereditary ring, the Ext-orthogonal pairs of subcategories
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationArtinian local cohomology modules
Artinian local cohomology modules Keivan Borna Lorestani, Parviz Sahandi and Siamak Yassemi Department of Mathematics, University of Tehran, Tehran, Iran Institute for Studies in Theoretical Physics and
More informationKOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE)
KOSZUL DUALITY AND CODERIVED CATEGORIES (AFTER K. LEFÈVRE) BERNHARD KELLER Abstract. This is a brief report on a part of Chapter 2 of K. Lefèvre s thesis [5]. We sketch a framework for Koszul duality [1]
More informationAFFINE SPACE OVER TRIANGULATED CATEGORIES: A FURTHER INVITATION TO GROTHENDIECK DERIVATORS
AFFINE SPACE OVER TRIANGULATED CATEGORIES: A FURTHER INVITATION TO GROTHENDIECK DERIVATORS PAUL BALMER AND JOHN ZHANG Abstract. We propose a construction of affine space (or polynomial rings ) over a triangulated
More informationarxiv: v1 [math.ag] 18 Nov 2017
KOSZUL DUALITY BETWEEN BETTI AND COHOMOLOGY NUMBERS IN CALABI-YAU CASE ALEXANDER PAVLOV arxiv:1711.06931v1 [math.ag] 18 Nov 2017 Abstract. Let X be a smooth projective Calabi-Yau variety and L a Koszul
More informationPreprojective algebras, singularity categories and orthogonal decompositions
Preprojective algebras, singularity categories and orthogonal decompositions Claire Amiot Abstract In this note we use results of Minamoto [7] and Amiot-Iyama-Reiten [1] to construct an embedding of the
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationRealization problems in algebraic topology
Realization problems in algebraic topology Martin Frankland Universität Osnabrück Adam Mickiewicz University in Poznań Geometry and Topology Seminar June 2, 2017 Martin Frankland (Osnabrück) Realization
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationCommutative algebra and representations of finite groups
Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation
More informationHOMOLOGICAL PROPERTIES OF MODULES OVER DING-CHEN RINGS
J. Korean Math. Soc. 49 (2012), No. 1, pp. 31 47 http://dx.doi.org/10.4134/jkms.2012.49.1.031 HOMOLOGICAL POPETIES OF MODULES OVE DING-CHEN INGS Gang Yang Abstract. The so-called Ding-Chen ring is an n-fc
More informationarxiv: v1 [math.ra] 16 Dec 2014
arxiv:1412.5219v1 [math.ra] 16 Dec 2014 CATEGORY EQUIVALENCES INVOLVING GRADED MODULES OVER QUOTIENTS OF WEIGHTED PATH ALGEBRAS CODY HOLDAWAY Abstract. Let k be a field, Q a finite directed graph, and
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationALGEBRAIC STRATIFICATIONS OF DERIVED MODULE CATEGORIES AND DERIVED SIMPLE ALGEBRAS
ALGEBRAIC STRATIFICATIONS OF DERIVED MODULE CATEGORIES AND DERIVED SIMPLE ALGEBRAS DONG YANG Abstract. In this note I will survey on some recent progress in the study of recollements of derived module
More informationGALOIS POINTS ON VARIETIES
GALOIS POINTS ON VARIETIES MOSHE JARDEN AND BJORN POONEN Abstract. A field K is ample if for every geometrically integral K-variety V with a smooth K-point, V (K) is Zariski dense in V. A field K is Galois-potent
More informationLectures on Grothendieck Duality. II: Derived Hom -Tensor adjointness. Local duality.
Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality. Joseph Lipman February 16, 2009 Contents 1 Left-derived functors. Tensor and Tor. 1 2 Hom-Tensor adjunction. 3 3 Abstract
More informationATOM SPECTRA OF GROTHENDIECK CATEGORIES
ATOM SPECTRA OF GROTHENDIECK CATEGORIES RYO KANDA Abstract. This paper explains recent progress on the study of Grothendieck categories using the atom spectrum, which is a generalization of the prime spectrum
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationSerre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories
Serre A -functors Oleksandr Manzyuk joint work with Volodymyr Lyubashenko math.ct/0701165 0. Notation 1. Preliminaries on A -categories 2. Serre functors 3. Serre A -functors 0. Notation k denotes a (ground)
More informationPERVERSE SHEAVES: PART I
PERVERSE SHEAVES: PART I Let X be an algebraic variety (not necessarily smooth). Let D b (X) be the bounded derived category of Mod(C X ), the category of left C X -Modules, which is in turn a full subcategory
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationVECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES
VECTOR BUNDLES ON THE PROJECTIVE LINE AND FINITE DOMINATION OF CHAIN COMPLEXES THOMAS HÜTTEMANN Abstract. We present an algebro-geometric approach to a theorem on finite domination of chain complexes over
More informationAN ABSTRACT CHARACTERIZATION OF NONCOMMUTATIVE PROJECTIVE LINES
AN ABSTRACT CHARACTERIZATION OF NONCOMMUTATIVE PROJECTIVE LINES A. NYMAN Abstract. Let k be a field. We describe necessary and sufficient conditions for a k-linear abelian category to be a noncommutative
More informationAisles in derived categories
Aisles in derived categories B. Keller D. Vossieck Bull. Soc. Math. Belg. 40 (1988), 239-253. Summary The aim of the present paper is to demonstrate the usefulness of aisles for studying the tilting theory
More informationOn a Conjecture of Goresky, Kottwitz and MacPherson
Canad. J. Math. Vol. 51 1), 1999 pp. 3 9 On a Conjecture of Goresky, Kottwitz and MacPherson C. Allday and V. Puppe Abstract. We settle a conjecture of Goresky, Kottwitz and MacPherson related to Koszul
More informationA CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 11, November 1996 A CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES J. IGNACIO EXTREMIANA ALDANA, L. JAVIER HERNÁNDEZ PARICIO, AND M.
More informationCOARSENINGS, INJECTIVES AND HOM FUNCTORS
COARSENINGS, INJECTIVES AND HOM FUNCTORS FRED ROHRER It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationarxiv: v1 [cs.lo] 4 Jul 2018
LOGICAL RULES AS RACTIONS AND LOGICS AS SKETCHES DOMINIQUE DUVAL Abstract. In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
More informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationarxiv: v2 [math.rt] 27 Nov 2012
TRIANGULATED SUBCATEGORIES OF EXTENSIONS AND TRIANGLES OF RECOLLEMENTS PETER JØRGENSEN AND KIRIKO KATO arxiv:1201.2499v2 [math.rt] 27 Nov 2012 Abstract. Let T be a triangulated category with triangulated
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationKOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS
KOSZUL DUALITY FOR STRATIFIED ALGEBRAS I. QUASI-HEREDITARY ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary
More informationsset(x, Y ) n = sset(x [n], Y ).
1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,
More informationON MINIMAL APPROXIMATIONS OF MODULES
ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAORÍN Let R be a ring and consider the category ModR of (right) R-modules. Given a class C of R-modules, a morphism M N in Mod R is called
More informationSHIMURA VARIETIES AND TAF
SHIMURA VARIETIES AND TAF PAUL VANKOUGHNETT 1. Introduction The primary source is chapter 6 of [?]. We ve spent a long time learning generalities about abelian varieties. In this talk (or two), we ll assemble
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More informationHOMOTOPY APPROXIMATION OF MODULES
Journal of Algebra and Related Topics Vol. 4, No 1, (2016), pp 13-20 HOMOTOPY APPROXIMATION OF MODULES M. ROUTARAY AND A. BEHERA Abstract. Deleanu, Frei, and Hilton have developed the notion of generalized
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More informationCategories of imaginaries for additive structures
Categories of imaginaries for additive structures Mike Prest Department of Mathematics Alan Turing Building University of Manchester Manchester M13 9PL UK mprest@manchester.ac.uk December 5, 2011 () December
More information