Localization theory for triangulated categories

Introduction These notes provide an introduction to the theory of localization for triangulated categories. Localization is a machinery to formally invert morphisms in a category. We explain this formalism in some detail and we show how it is applied to triangulated categories. There are basically two ways to approach the localization theory for triangulated categories and both are closely related to each other. To explain this, let us fix a triangulated category T . The first approach is Verdier localization . For this one chooses a full triangulated subcategory S of T and constructs a universal exact functor T → T / S which annihilates the objects belonging to S . In fact, the quotient category T / S is obtained by formally inverting all morphisms σ in T such that the cone of σ belongs to S . On the other hand, there is Bousfield localization . In this case one considers an exact functor L : T → T together with a natural morphism η X : X → LX for all X in T such that L (η X ) = η( LX ) is invertible. There are two full triangulated subcategories arising from such a localization functor L . We have the subcategory Ker L formed by all L -acyclic objects, and we have the essential image Im L which coincides with the subcategory formed by all L -local objects. Note that L , Ker L , and Im L determine each other.

[1]  J. Šťovíček.  Locally well generated homotopy categories of complexes , 2008, Documenta Mathematica.

[2]  H. Krause.  On Neeman's Well Generated Triangulated Categories , 2001 .

[3]  Marco Porta.  The Popescu-Gabriel theorem for triangulated categories , 2007, 0706.4458.

[4]  Oystein Ore,et al.  Linear Equations in Non-Commutative Fields , 1931 .

[5]  J. Rickard.  Idempotent Modules in the Stable Category , 1997 .

[6]  B. Keller.  A remark on the generalized smashing conjecture , 1994 .

[7]  淳 宮地.  Amnon Neeman: Triangulated Categories, Ann. of Math. Stud., 148, Princeton Univ. Press, 2001年，viii + 449ページ． , 2008 .

[8]  W. Tholen,et al.  Semi-abelian categories , 2002 .

[9]  Ronald Regan,et al.  Basic Set Theory , 2000 .

[10]  Bernhard Keller,et al.  Deriving DG categories , 1994 .

[11]  E. M. Brown,et al.  Generalized Brown Representability in Homotopy Categories , 2005 .

[12]  P. Gabriel,et al.  Lokal α-präsentierbare Kategorien , 1971 .

[13]  B. Mitchell.  The dominion of Isbell , 1972 .

[14]  A. Grothendieck,et al.  Théorie des Topos et Cohomologie Etale des Schémas , 1972 .

[15]  A. Neeman.  Brown representability follows from Rosicky , 2007 .

[16]  Jeffrey H. Smith,et al.  Implications of large-cardinal principles in homotopical localization , 2005 .

[17]  H. Krause.  A Brown representability theorem via coherent functors , 2002 .

[18]  Homotopy theory of Well-generated algebraic triangulated categories , 2007, math/0703172.

[19]  Leovigildo Alonso Tarrío,et al.  Localization in Categories of Complexes and Unbounded Resolutions , 2000 .

[20]  A. Neeman.  On the derived category of sheaves on a manifold , 2001 .

[21]  Henning Krause,et al.  Local cohomology and support for triangulated categories , 2007 .

[22]  Cohomological quotients and smashing localizations , 2003, math/0308291.

[23]  Andreas Heider.  Two results from Morita theory of stable model categories , 2007, 0707.0707.

[24]  J. Greenlees.  Axiomatic, enriched, and motivic homotopy theory , 2004 .

[25]  D. Ravenel.  Localization with Respect to Certain Periodic Homology Theories , 1984 .

[26]  J. Verdier,et al.  Des catégories dérivées des catégories abéliennes , 1996 .

[27]  A. Neeman.  The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel , 1992 .

[28]  S. Halperin,et al.  Through the looking glass: A dictionary between rational homotopy theory and local algebra , 1986 .

[29]  Amnon Neeman,et al.  The Grothendieck duality theorem via Bousfield’s techniques and Brown representability , 1996 .

[30]  J. Rickard.  Bousfield Localization for Representation Theorists , 2000 .

[31]  E. Brown,et al.  Cohomology Theories , 2010 .

[32]  G. Rota.  Spectra and the Steenrod algebra: H. R. Margolis, North-Holland, 1983, 484 pp. , 1986 .

[33]  Javier J. Guti'errez,et al.  Are all localizing subcategories of stable homotopy categories coreflective , 2011, 1106.2218.

[34]  A. K. Bowsfield.  THE LOCALIZATION OF SPECTRA WITH RESPECT TO HOMOLOGY , 2001 .

[35]  M. Wodzicki.  Lecture Notes in Math , 1984 .

[36]  A. Neeman.  Non-compactly generated categories , 1998 .

[37]  Daniel Murfet,et al.  Abelian Categories , 2006 .

[38]  J. Adams,et al.  Stable homotopy and generalised homology , 1974 .

[40]  Pu Zhang,et al.  Triangulated Categories , 2021, Homological Theory of Representations.

[41]  P. Freyd.  Abelian categories : an introduction to the theory of functors , 1965 .

[42]  J. Franke.  On the Brown representability theorem for triangulated categories , 2001 .

[43]  P. Gabriel,et al.  Des catégories abéliennes , 1962 .

[44]  Askar A. Tuganbaev,et al.  Rings of quotients , 1998 .

[45]  Peter Gabriel,et al.  Calculus of Fractions and Homotopy Theory , 1967 .