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.
Similar content being viewed by others
References
Adámek J, Rosický J. Locally Presentable and Accessible Categories. Cambridge: Cambridge Univ Press, 1994
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
Asadollahi J, Bahiraei P, Hafezi R, Vahed R. On relative derived categories. Comm Algebra, 2013, 44(12): 5454–5477
Auslander M. Representation theory of Artin algebras I. Comm Algebra, 1974, 1: 177–268
Auslander M, Reiten I. Applications of contravariantly finite subcategories. Adv Math, 1991, 86: 111–152
Beilinson A A, Bernstein J, Deligne P. Faisceaux pervers. Astérisque, 1982, 100: 5–171
Beligiannis A. On algebras of finite Cohen-Macaulay type. Adv Math, 2011, 226: 1973–2019
Beligiannis A, Krause H. Thick subcategories and virtually Gorenstein algebras. Illinois J Math, 2008, 52: 551–562
Beligiannis A, Reiten I. Homological and Homotopical Aspects of Torsion Theories. Mem Amer Math Soc, Vol 188, No 883. Providence: Amer Math Soc, 2007
Bonami L. On the Structure of Skew Group Rings. Munich: Verlag Reinhard Fischer, 1984
Borceux F. Handbook of Categorical Algebra 1, Basic Category Theory. Cambridge: Cambridge Univ Press, 1994
Cline E, Parshall B, Scott L. Derived categories and Morita theory. J Algebra, 1986, 104: 397–409
Cline E, Parshall B, Scott L. Algebraic stratification in representation categories. J Algebra, 1988, 177: 504–521
Cline E, Parshall B, Scott L. Finite-dimensional algebras and highest weight categories. J Reine Angew Math, 1988, 391: 85–99
Crawley-Boevey W. Locally finitely presented additive categories. Comm Algebra, 1994, 22: 1641–1674
Enochs E E, Jenda O M G. Relative Homological Algebra. Berlin: Walter de Gruyter, 2000
Gao N, Zhang P. Gorenstein derived categories. J Algebra, 2010, 323: 2041–2057
Happel D. On the derived category of a finite-dimensional algebra. Comment Math Helv, 1987, 62: 339–389
Happel D. Triangulated Categories in the Representation Theory of Finite-Dimensional Algebras. Cambridge: Cambridge Univ Press, 1988
Huang Z Y, Sun J X. Invariant properties of representations under excellent extensions. J Algebra, 2012, 358: 87–101
Keller B. Chain complexes and stable categories. Manuscripta Math, 1990, 67: 379–417
Keller B. Derived DG categories. Ann Sci Éc Norm Supér, 1994, 27(4): 63–102
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
Koenig S. Tilting complexes, perpendicular categories and recollements of derived module categories of rings. J Pure Appl Algebra, 1991, 73: 211–232
Krause H. Functors on locally finitely presented additive categories. Colloq Math, 1998, 75: 105–132
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
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
Krause H. Approximations and adjoints in homotopy categories. Math Ann, 2012, 353: 765–781
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
Mac Lane S. Categories for the Working Mathematician. Grad Texts in Math, Vol 5. Berlin: Springer, 1971
Miličić D. Lectures on derived categories. http://www.math.utah.edu/~milicic/Eprints/dercat.pdf
Mitchell B. Theory of Categories. Pure and Applied Mathematics, Vol 17. New York-London: Academic Press, 1965
Miyachi J-I. Localization of triangulated categories and derived categories. J Algebra, 1991, 141: 463–483
Murfet D. Rings with several objects. http://www.therisingsea.org/notes/RingsWithSeveralObjects.pdf
Neeman A. The derived category of an exact category. J Algebra, 1990, 135: 388–394
Neeman A. Triangulated Categories. Princeton, NJ: Princeton Univ Press, 2001
Passman D S. The Algebraic Structure of Group Rings. New York-London-Sydney: Wiley-Interscience, 1977
Rickard J. Morita theory for derived categories. J London Math Soc, 1989, 39(2): 436–456
Saneblidze S. On derived categories and derived functors. Extracta Math, 2007, 22: 315–324
Schwede S. The stable homotopy category has a unique model at the prime 2. Adv Math, 2001, 164: 24–40
Acknowledgements
The author would like to thank his supervisor Professor Zhaoyong Huang, for the valuable help, suggestions, guidance, and encouragement during his studies and preparation of this paper. He also thanks the referees for their careful reading and for pointing out related references. This work was partially supported by the National Natural Science Foundation of China (Grant No. 11571164).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Yu, P. A recollement construction of Gorenstein derived categories. Front. Math. China 13, 691–713 (2018). https://doi.org/10.1007/s11464-018-0703-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11464-018-0703-2
Keywords
- Recollements
- functor categories
- derived categories
- Gorenstein algebras
- weak excellent extension
- locally finitely presented categories