Coderived and contraderived categories of locally presentable abelian DG-categories. (English) Zbl 07899648
Summary: The concept of an abelian DG-category, introduced by the first-named author in Positselski (Exact DG-categories and fully faithful triangulated inclusion functors. arXiv:2110.08237 [math.CT]), unites the notions of abelian categories and (curved) DG-modules in a common framework. In this paper we consider coderived and contraderived categories in the sense of Becker. Generalizing some constructions and results from the preceding papers by Becker (Adv Math 254:187-232, 2014. arXiv:1205.4473 [math.CT]) and by the present authors (Positselski and Št’ovíček in J Pure Appl Algebra 226(No. 4):106883, 2022. arXiv:2101.10797 [math.CT]), we define the contraderived category of a locally presentable abelian DG-category \(\mathbf{B}\) with enough projective objects and the coderived category of a Grothendieck abelian DG-category \(\mathbf{A} \). We construct the related abelian model category structures and show that the resulting exotic derived categories are well-generated. Then we specialize to the case of a locally coherent Grothendieck abelian DG-category \(\mathbf{A} \), and prove that its coderived category is compactly generated by the absolute derived category of finitely presentable objects of \(\mathbf{A} \), thus generalizing a result from the second-named author’s preprint (Št’ovíček in On purity and applications to coderived and singularity categories. arXiv:1412.1615 [math.CT]). In particular, the homotopy category of graded-injective left DG-modules over a DG-ring with a left coherent underlying graded ring is compactly generated by the absolute derived category of DG-modules with finitely presentable underlying graded modules. We also describe compact generators of the coderived categories of quasi-coherent matrix factorizations over coherent schemes.
MSC:
| 18Exx | Categorical algebra |
| 18Gxx | Homological algebra in category theory, derived categories and functors |
| 16Exx | Homological methods in associative algebras |
References:
| [1] | Adámek, J.; Rosický, J., Locally Presentable and Accessible Categories, 1994, Cambridge: Cambridge University Press, Cambridge · Zbl 0795.18007 · doi:10.1017/CBO9780511600579 |
| [2] | Angeleri Hügel, L., Trlifaj, J.: Direct limits of modules of finite projective dimension. Rings, Modules, Algebras, and Abelian Groups (Venezia, 2002), edited by Facchini, A., Houston, E., Salce, L. Lecture Notes in Pure and Applied Mathematics, 236, pp. 27-44. Dekker, New York (2004) · Zbl 1066.16009 |
| [3] | Ballard, M.; Deliu, D.; Favero, D.; Isik, MU; Katzarkov, L., Resolutions in factorization categories, Adv. Math., 295, 195-249, 2016 · Zbl 1353.13016 · doi:10.1016/j.aim.2016.02.008 |
| [4] | Bazzoni, S.; Positselski, L.; Št’ovíček, J., Projective covers of flat contramodules, Int. Math. Res. Not., 2022, 24, 19527-19564, 2022 · Zbl 1526.16002 · doi:10.1093/imrn/rnab202 |
| [5] | Becker, H., Models for singularity categories, Adv. Math., 254, 187-232, 2014 · Zbl 1348.16009 · doi:10.1016/j.aim.2013.11.016 |
| [6] | Beke, T., Sheafifiable homotopy model categories, Math. Proc. Cambr. Philos. Soc., 129, 3, 447-475, 2000 · Zbl 0964.55018 · doi:10.1017/S0305004100004722 |
| [7] | Bourbaki, N., Elements of Mathematics. Commutative Algebra, 1972, Paris: Hermann, Paris · Zbl 0249.22001 |
| [8] | Casacuberta, C., Rosický, J.: Combinatorial homotopy categories. Bousfield Classes and Ohkawa’s Theorem, Nagoya, August 2015, Springer Proceedings in Mathematics & Statistics 309, pp. 89-101. Springer (2020). arXiv:1702.00240 [math.AT] · Zbl 1475.55022 |
| [9] | Christensen, LW; Estrada, S.; Iacob, A., A Zariski-local notion of \(\textbf{F} \)-total acyclicity for complexes of sheaves, Quaest. Math., 40, 2, 197-214, 2017 · Zbl 1423.18047 · doi:10.2989/16073606.2017.1283545 |
| [10] | Crawley-Boevey, W., Locally finitely presented additive categories, Commun. Algebra, 22, 5, 1641-1674, 1994 · Zbl 0798.18006 · doi:10.1080/00927879408824927 |
| [11] | Dyckerhoff, T., Compact generators in categories of matrix factorizations, Duke Math. J., 159, 2, 223-274, 2011 · Zbl 1252.18026 · doi:10.1215/00127094-1415869 |
| [12] | Efimov, AI, Homotopy finiteness of some DG categories from algebraic geometry, J. Eur Math. Soc., 22, 9, 2879-2942, 2020 · Zbl 1478.14010 · doi:10.4171/jems/979 |
| [13] | Efimov, AI; Positselski, L., Coherent analogues of matrix factorizations and relative singularity categories, Algebra Number Theory, 9, 5, 1159-1292, 2015 · Zbl 1333.14018 · doi:10.2140/ant.2015.9.1159 |
| [14] | Eisenbud, D., Homological algebra on a complete intersection, with an application to group representations, Trans. Am. Math. Soc., 260, 1, 35-64, 1980 · Zbl 0444.13006 · doi:10.1090/S0002-9947-1980-0570778-7 |
| [15] | Eklof, PC; Trlifaj, J., How to make Ext vanish, Bull. Lond. Math. Soc., 33, 1, 41-51, 2001 · Zbl 1030.16004 · doi:10.1112/blms/33.1.41 |
| [16] | Estrada, S.; Gillespie, J., The projective stable category of a coherent scheme, Proc. R. Soc. Edinb. Sect. A, 149, 1, 15-43, 2019 · Zbl 1423.18053 · doi:10.1017/S0308210517000385 |
| [17] | Gaitsgory, D., Ind-coherent sheaves, Mosc. Math. J., 13, 3, 399-528, 2013 · Zbl 1376.14023 · doi:10.17323/1609-4514-2013-13-3-399-528 |
| [18] | Gaitsgory, D.; Rozenblyum, N., A Study in Derived Algebraic Geometry, volume I: Correspondences and Duality, 2017, Providence: American Mathematical Society, Providence · Zbl 1408.14001 · doi:10.1090/surv/221.1 |
| [19] | Gillespie, J., Model structures on exact categories, J. Pure Appl. Algebra, 215, 2, 2892-2902, 2011 · Zbl 1315.18019 · doi:10.1016/j.jpaa.2011.04.010 |
| [20] | Gillespie, J., Models for homotopy categories of injectives and Gorenstein injectives, Commun. Algebra, 45, 6, 2520-2545, 2017 · Zbl 1373.18007 · doi:10.1080/00927872.2016.1233215 |
| [21] | Gómez Pardo, JL; Guil Asensio, PA, Big direct sums of copies of a module have well behaved indecomposable decompositions, J. Algebra, 232, 1, 86-93, 2000 · Zbl 0973.16007 · doi:10.1006/jabr.2000.8388 |
| [22] | Grothendieck, A., Dieudonné, J.A.: Éléments de géométrie algébrique. I. Grundlehren der mathematischen Wissenschaften, 166. Springer, Berlin (1971) · Zbl 0203.23301 |
| [23] | Harris, ME, Some results on coherent rings, Proc. Am. Math. Soc., 17, 2, 474-479, 1966 · Zbl 0145.04304 · doi:10.1090/S0002-9939-1966-0193111-X |
| [24] | Hovey, M., Model Categories, 1999, Providence, RI: American Mathematical Society, Providence, RI · Zbl 0909.55001 |
| [25] | Hovey, M., Cotorsion pairs, model category structures, and representation theory, Math. Z., 241, 2, 553-592, 2002 · Zbl 1016.55010 · doi:10.1007/s00209-002-0431-9 |
| [26] | Husemoller, D.; Moore, JC; Stasheff, J., Differential homological algebra and homogeneous spaces, J. Pure Appl. Algebra, 5, 113-185, 1974 · Zbl 0364.18008 · doi:10.1016/0022-4049(74)90045-0 |
| [27] | Iyengar, S.; Krause, H., Acyclicity versus total acyclicity for complexes over Noetherian rings, Doc. Math., 11, 207-240, 2006 · Zbl 1119.13014 · doi:10.4171/dm/209 |
| [28] | Jørgensen, P., The homotopy category of complexes of projective modules, Adv. Math., 193, 1, 223-232, 2005 · Zbl 1068.18012 · doi:10.1016/j.aim.2004.05.003 |
| [29] | Keller, B.; Hazewinkel, M., Derived categories and their uses, Handbook of Algebra, 671-701, 1996, Amsterdam: Elsevier, Amsterdam · Zbl 0862.18001 · doi:10.1016/S1570-7954(96)80023-4 |
| [30] | Kelly, GM, Basic Concepts of Enriched Category Theory, 1982, Cambridge: Cambridge University Press, Cambridge · Zbl 0478.18005 |
| [31] | Krause, H., Functors on locally finitely presented additive categories, Colloq. Math., 75, 1, 105-132, 1998 · Zbl 0893.18006 · doi:10.4064/cm-75-1-105-132 |
| [32] | Krause, H., On Neeman’s well-generated triangulated categories, Doc. Math., 6, 121-126, 2001 · Zbl 0987.18012 · doi:10.4171/dm/99 |
| [33] | Krause, H., The stable derived category of a Noetherian scheme, Compos. Math., 141, 5, 1128-1162, 2005 · Zbl 1090.18006 · doi:10.1112/S0010437X05001375 |
| [34] | Krause, H.; Holm, T.; Jørgensen, P.; Rouquier, R., Localization theory for triangulated categories, Triangulated Categories, 161-235, 2010, Cambridge: Cambridge University Press, Cambridge · Zbl 1232.18012 · doi:10.1017/CBO9781139107075.005 |
| [35] | Krause, H., Deriving Auslander’s formula, Doc. Math., 20, 669-688, 2015 · Zbl 1348.18018 · doi:10.4171/dm/501 |
| [36] | Kenji Lefèvre-Hasegawa, Sur les \(A_\infty \)-catégories. Doctoral thesis at Université Denis Diderot - Paris 7, (November 2003). Electronic preprint arXiv:math/0310337 [math.CT] |
| [37] | Lenzing, H.: Homological transfer from finitely presented to infinite modules. Abelian Group Theory (Honolulu, Hawaii), edited by Göbel, R., Lady, L., Mader, A. Lecture Notes in Mathematics, vol. 1006, pp. 734-761. Springer, Berlin (1983) · Zbl 0529.16016 |
| [38] | Lurie, J.: Higher topos theory. Annals of Mathematics Studies, 170. Princeton University Press, Princeton, xviii+925 pp. (2009) · Zbl 1175.18001 |
| [39] | Lurie, J.: Spectral algebraic geometry. Electronic preprint (version from February 2018). https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf |
| [40] | Makkai, M.; Rosický, J., Cellular categories, J. Pure Appl. Algebra, 218, 9, 1652-1664, 2014 · Zbl 1285.18007 · doi:10.1016/j.jpaa.2014.01.005 |
| [41] | Neeman, A., The Grothendieck duality theorem via Bousfield’s techniques and Brown representability, J. Am. Math. Soc., 9, 205-236, 1996 · Zbl 0864.14008 · doi:10.1090/S0894-0347-96-00174-9 |
| [42] | Neeman, A.: Triangulated categories. Annals of Mathematical Studies. Princeton University Press, Princeton, viii+449 pp. (2001) · Zbl 0974.18008 |
| [43] | Neeman, A., The homotopy category of injectives, Algebra Number Theory, 8, 2, 429-456, 2014 · Zbl 1302.18011 · doi:10.2140/ant.2014.8.429 |
| [44] | Nikolić, B.; Street, R.; Tendas, G., Cauchy completeness for DG-categories, Theory Appl. Categ., 37, 28, 940-963, 2021 · Zbl 1467.18011 |
| [45] | Orlov, D., Matrix factorizations for nonaffine LG-models, Math. Ann., 353, 1, 95-108, 2012 · Zbl 1243.81178 · doi:10.1007/s00208-011-0676-x |
| [46] | Positselski, L., Nonhomogeneous quadratic duality and curvature, Funct. Anal. Appl., 27, 3, 197-204, 1993 · Zbl 0826.16041 · doi:10.1007/BF01087537 |
| [47] | Positselski, L.: Homological algebra of semimodules and semicontramodules: semi-infinite homological algebra of associative algebraic structures. Appendix C in collaboration with D. Rumynin; Appendix D in collaboration with S. Arkhipov. Monografie Matematyczne, vol. 70, xxiv+349 pp. Birkhäuser/Springer, Basel (2010). arXiv:0708.3398 [math.CT] · Zbl 1202.18001 |
| [48] | Positselski, L.: Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence. Mem. Am. Math. Soc. 212, #996, vi+133 (2011). arXiv:0905.2621 [math.CT] · Zbl 1275.18002 |
| [49] | Positselski, L., Pseudo-dualizing complexes and pseudo-derived categories, Rendiconti Semin. Matem. Univ. Padova, 143, 153-225, 2020 · Zbl 1505.16008 · doi:10.4171/rsmup/44 |
| [50] | Positselski, L.: Relative nonhomogeneous Koszul duality. Frontiers in Mathematics, xxix+278 pp. Birkhäuser/Springer Nature, Cham (2021). arXiv:1911.07402 [math.RA] |
| [51] | Positselski, L., An explicit self-dual construction of complete cotorsion pairs in the relative context, Rendiconti Semin. Matem. Univ. Padova, 149, 191-253, 2023 · Zbl 1532.16003 · doi:10.4171/rsmup/118 |
| [52] | Positselski, L.: Exact DG-categories and fully faithful triangulated inclusion functors. Electronic preprint arXiv:2110.08237 [math.CT] |
| [53] | Positselski, L., Differential graded Koszul duality: an introductory survey, Bull. Lond. Math. Soc., 55, 4, 1551-1640, 2023 · Zbl 1537.16010 · doi:10.1112/blms.12797 |
| [54] | Positselski, L.; Rosický, J., Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories, J. Algebra, 483, 83-128, 2017 · Zbl 1402.18011 · doi:10.1016/j.jalgebra.2017.03.029 |
| [55] | Positselski, L., Št’ovíček, J.: Derived, coderived, and contraderived categories of locally presentable abelian categories. J. Pure Appl. Algebra 226, #4, article ID 106883, 39 pp (2022). arXiv:2101.10797 [math.CT] · Zbl 1482.18007 |
| [56] | Positselski, L., Št’ovíček, J.: Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity. Electronic preprint arXiv:2212.09639 [math.AG] |
| [57] | Quillen, DG, Homotopical Algebra, 1967, Berlin: Springer, Berlin · Zbl 0168.20903 |
| [58] | Roos, J.-E.: Locally Noetherian categories and generalized strictly linearly compact rings. Applications. Category Theory, Homology Theory, and Their Applications, II, edited by Hilton, P., pp. 197-277. Springer, Berlin (1969) · Zbl 0211.32602 |
| [59] | Rosický, J.: Generalized Brown representability in homotopy categories. Theory Appl. Categ. 14, #19, 451-479. Revised 2008 version. arXiv:math/0506168 [math.CT] · Zbl 1091.18002 |
| [60] | Salce, L., Cotorsion Theories for Abelian Groups, 11-32, 1979, London: Academic Press, London · Zbl 0426.20044 |
| [61] | Stenström, B.: Rings of quotients. An Introduction to Methods of Ring Theory. Die Grundlehren der Mathematischen Wissenschaften, Band 217. Springer, New York (1975) · Zbl 0296.16001 |
| [62] | Št’ovíček, J.: On purity and applications to coderived and singularity categories. Electronic preprint arXiv:1412.1615 [math.CT] |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
