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.

Key words： 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.http://www.math.utah.edu/∼milicic/Eprints/dercat.pdf

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.http://www.therisingsea.org/notes/RingsWithSeveralObjects.pdf

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