A recollement construction of Gorenstein derived categories

Abstract

We first give an equivalence between the derived category of a locally finitely presented category and the derived category of contravariant functors from its finitely presented subcategory to the category of abelian groups, in the spirit of Krause’s work [Math. Ann., 2012, 353: 765–781]. Then we provide a criterion for the existence of recollement of derived categories of functor categories, which shows that the recollement structure may be induced by a proper morphism defined in finitely presented subcategories. This criterion is then used to construct a recollement of derived category of Gorenstein injective modules over CM-finite 2-Gorenstein artin algebras.

Keywords

Recollements / functor categories / derived categories / Gorenstein algebras / weak excellent extension / locally finitely presented categories

References

[1] Adámek J, Rosický J. Locally Presentable and Accessible Categories. Cambridge: Cambridge Univ Press, 1994

[2] Alonso Tarrío L, Jeremías López A, Souto Salorio M J. Localization in categories of complexes and unbounded resolutions. Canad J Math, 2000, 52: 225–247

[3] Asadollahi J, Bahiraei P, Hafezi R, Vahed R. On relative derived categories. Comm Algebra, 2013, 44(12): 5454–5477

[4] Auslander M. Representation theory of Artin algebras I. Comm Algebra, 1974, 1: 177–268

[5] Auslander M, Reiten I. Applications of contravariantly finite subcategories. Adv Math, 1991, 86: 111–152

[6] Beilinson A A, Bernstein J, Deligne P. Faisceaux pervers. Astérisque, 1982, 100: 5–171

[7] Beligiannis A. On algebras of finite Cohen-Macaulay type. Adv Math, 2011, 226: 1973–2019

[8] Beligiannis A, Krause H. Thick subcategories and virtually Gorenstein algebras. Illinois J Math, 2008, 52: 551–562

[9] Beligiannis A, Reiten I. Homological and Homotopical Aspects of Torsion Theories. Mem Amer Math Soc, Vol 188, No 883. Providence: Amer Math Soc, 2007

[10] Bonami L. On the Structure of Skew Group Rings. Munich: Verlag Reinhard Fischer, 1984

[11] Borceux F. Handbook of Categorical Algebra 1, Basic Category Theory. Cambridge: Cambridge Univ Press, 1994

[12] Cline E, Parshall B, Scott L. Derived categories and Morita theory. J Algebra, 1986, 104: 397–409

[13] Cline E, Parshall B, Scott L. Algebraic stratification in representation categories. J Algebra, 1988, 177: 504–521

[14] Cline E, Parshall B, Scott L. Finite-dimensional algebras and highest weight categories. J Reine Angew Math, 1988, 391: 85–99

[15] Crawley-Boevey W. Locally finitely presented additive categories. Comm Algebra, 1994, 22: 1641–1674

[16] Enochs E E, Jenda O M G.Relative Homological Algebra. Berlin: Walter de Gruyter, 2000

[17] Gao N, Zhang P. Gorenstein derived categories. J Algebra, 2010, 323: 2041–2057

[18] Happel D. On the derived category of a finite-dimensional algebra. Comment Math Helv, 1987, 62: 339–389

[19] Happel D. Triangulated Categories in the Representation Theory of Finite-Dimensional Algebras. Cambridge: Cambridge Univ Press, 1988

[20] Huang Z Y, Sun J X. Invariant properties of representations under excellent extensions. J Algebra, 2012, 358: 87–101

[21] Keller B. Chain complexes and stable categories. Manuscripta Math, 1990, 67: 379–417

[22] Keller B. Derived DG categories. Ann Sci Éc Norm Supér, 1994, 27(4): 63–102

[23] Keller B. On the construction of triangle equivalences. In: König S, Zimmermann A, eds. Derived Equivalences for Group Rings. Lecture Notes in Math, Vol 1685. Berlin: Springer, 1998, 155–176

[24] Koenig S. Tilting complexes, perpendicular categories and recollements of derived module categories of rings. J Pure Appl Algebra, 1991, 73: 211–232

[25] Krause H. Functors on locally finitely presented additive categories. Colloq Math, 1998, 75: 105–132

[26] Krause H. Derived categories, resolutions, and Brown representability. In: Avramov L L, Christensen J D, Dwyer W G, Mandell M A, Shipley B E, eds. Interactions Between Homotopy Theory and Algebra. Contemp Math, Vol 436. Providence: Amer Math Soc, 2007, 101–139

[27] Krause H. Localization theory for triangulated categories. In: Holm T, Jørgensen P, Rouquier R, eds. Triangulated Categories. London Math Soc Lecture Note Ser, Vol 375. Cambridge: Cambridge Univ Press, 2010, 161–235

[28] Krause H. Approximations and adjoints in homotopy categories. Math Ann, 2012, 353: 765–781

[29] Lenzing H. Homological transfer from finitely presented to infinite modules. In: Göbel R, Lady L, Mader A, eds. Abelian Group Theory. Lecture Notes in Math, Vol 1006. Berlin: Springer, 1983, 734–761

[30] Mac Lane S. Categories for the Working Mathematician. Grad Texts in Math, Vol 5. Berlin: Springer, 1971

[31] Miličić D. Lectures on derived categories.

[32] Mitchell B. Theory of Categories. Pure and Applied Mathematics, Vol 17. New York-London: Academic Press, 1965

[33] Miyachi J-I. Localization of triangulated categories and derived categories. J Algebra, 1991, 141: 463–483

[34] Murfet D. Rings with several objects.

[35] Neeman A. The derived category of an exact category. J Algebra, 1990, 135: 388–394

[36] Neeman A. Triangulated Categories. Princeton, NJ: Princeton Univ Press, 2001

[37] Passman D S. The Algebraic Structure of Group Rings. New York-London-Sydney: Wiley-Interscience, 1977

[38] Rickard J. Morita theory for derived categories. J London Math Soc, 1989, 39(2): 436–456

[39] Saneblidze S. On derived categories and derived functors. Extracta Math, 2007, 22: 315–324

[40] Schwede S. The stable homotopy category has a unique model at the prime 2. Adv Math, 2001, 164: 24–40

RIGHTS & PERMISSIONS

Higher Education Press and Springer-Verlag GmbH Germany, part of Springer Nature