Abstract
We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the n-tilting–cotilting correspondence situation, if \(\mathsf A\) is a Grothendieck abelian category and the related abelian category \(\mathsf B\) is equivalent to the category of contramodules over a topological ring \(\mathfrak R\) belonging to one of certain four classes of topological rings (e. g., \(\mathfrak R\) is commutative), then the left tilting class is covering in \(\mathsf A\) if and only if it is closed under direct limits in \(\mathsf A\), and if and only if all the discrete quotient rings of the topological ring \(\mathfrak R\) are perfect. More generally, if M is a module satisfying a certain telescope Hom exactness condition (e. g., M is \(\Sigma \)-pure-\({{\,\mathrm{Ext}\,}}^1\)-self-orthogonal) and the topological ring \(\mathfrak R\) of endomorphisms of M belongs to one of certain seven classes of topological rings, then the class \(\mathsf {Add}(M)\) is closed under direct limits if and only if every countable direct limit of copies of M has an \(\mathsf {Add}(M)\)-cover, and if and only if M has perfect decomposition. In full generality, for an additive category \(\mathsf A\) with (co)kernels and a precovering class \(\mathsf L\subset \mathsf A\) closed under summands, an object \(N\in \mathsf A\) has an \(\mathsf L\)-cover if and only if a certain object \(\Psi (N)\) in an abelian category \(\mathsf B\) with enough projectives has a projective cover. The 1-tilting modules and objects arising from injective ring epimorphisms of projective dimension 1 form a class of examples which we discuss.
Similar content being viewed by others
References
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series 189. Cambridge University Press, Cambridge (1994)
Angeleri Hügel, L., Sánchez, J.: Tilting modules arising from ring epimorphisms. Algebras Represent. Theory 14(2), 217–246 (2011). arXiv:0804.1313 [math.RT]
Angeleri Hügel, L., Saorín, M.: Modules with perfect decompositions. Math. Scand. 98(1), 19–43 (2006)
Angeleri Hügel, L., Šaroch, J., Trlifaj, J.: Approximations and Mittag–Leffler conditions—the applications. Israel J. Math. 226(2), 757–780 (2018). arXiv:1612.01140 [math.RA]
Bass, H.: Finitistic dimension and a homological generalization of semi-primary rings. Trans. Am. Math. Soc. 95(3), 466–488 (1960)
Bazzoni, S., Positselski, L.: \(S\)-almost perfect commutative rings. J. Algebra 532, 323–356 (2019). arXiv:1801.04820 [math.AC]
Bazzoni, S., Positselski, L.: Matlis category equivalences for a ring epimorphism. J. Pure Appl. Algebra 224, 106398 (2020). arXiv:1907.04973 [math.RA]
Bazzoni, S., Positselski, L., Št’ovíček, J.: Projective covers of flat contramodules. arXiv:1911.11720 [math.RA] (Electronic preprint)
Beke, T.: Sheafifiable homotopy model categories. Math. Proc. Camb. Philos. Soc. 129(3), 447–475 (2000)
Chen, H.-X., Xi, C.-C.: Derived decompositions of abelian categories I. arXiv:1804.10759 [math.RT] (Electronic preprint)
Corner, A.L.S.: On the exchange property in additive categories. Unpublished manuscript, 60 pp. (1973)
Čoupek, P., Št’ovíček, J.: Cotilting sheaves on Noetherian schemes. Math. Z. Published online at https://doi.org/10.1007/s00209-019-02404-8 in November 2019. arXiv:1707.01677 [math.AG]
El Bashir, R.: Covers and directed colimits. Algebras Represent. Theory 9(5), 423–430 (2006)
Enochs, E.: Injective and flat covers, envelopes and resolvents. Israel J. Math. 39(3), 189–209 (1981)
Frankild, A., Jørgensen, P.: Foxby equivalence, complete modules, and torsion modules. J. Pure Appl. Algebra 174(2), 135–147 (2002)
Freyd, P.: Representations in abelian categories. In: Proceedings of the Conference on Categorical Algebra, La Jolla 1965. Springer, pp. 95–120 (1966)
Fuchs, L., Salce, L.: Almost perfect commutative rings. J. Pure Appl. Algebra 222(12), 4223–4238 (2018)
Geigle, W., Lenzing, H.: Perpendicular categories with applications to representations and sheaves. J. Algebra 144(2), 273–343 (1991)
Göbel, R., Trlifaj, J.: Approximations and Endomorphism Algebras of Modules, Second revised and extended edn. De Gruyter, Berlin (2012)
Keller, B.: Chain complexes and stable categories. Manuscr. Math. 67(4), 379–417 (1990)
Krause, H.: Functors on locally finitely presented additive categories. Colloquium Math. 75(1), 105–132 (1998)
Positselski, L.: Abelian right perpendicular subcategories in module categories. arXiv:1705.04960 [math.CT] (Electronic preprint)
Positselski, L.: Flat ring epimorphisms of countable type. Glasgow Math. J. 62(2), 383–439 (2020). arXiv:1808.00937 [math.RA]
Positselski, L.: Contramodules over pro-perfect topological rings. arXiv:1807.10671 [math.CT] (Electronic preprint)
Positselski, L., Rosický, J.: Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories. J. Algebra 483, 83–128 (2017). arXiv:1512.08119 [math.CT]
Positselski, L., Št’ovíček, J.: The tilting-cotilting correspondence. Int. Math. Res. Not. https://doi.org/10.1093/imrn/rnz116. arXiv:1710.02230 [math.CT]
Positselski, L., Št’ovíček, J.: \(\infty \)-tilting theory. Pac. J. Math. 301(1), 297–334 (2019). arXiv:1711.06169 [math.CT]
Positselski, L., Št’ovíček, J.: Topologically semisimple and topologically perfect topological rings. arXiv:1909.12203 [math.CT] (Electronic preprint)
Roos, J.-E.: Locally Noetherian Categories and Generalized Strictly Linearly Compact Rings. Applications. Category Theory, Homology Theory, and their Applications, II, pp. 197–277. Springer, Berlin (1969)
Salce, L.: Cotorsion theories for abelian groups. Symposia Math. XXIII, pp. 11–32. Academic Press, London (1979)
Šaroch, J.: Approximations and Mittag–Leffler conditions—the tools. Israel J. Math. 226(2), 737–756 (2018). arXiv:1612.01138 [math.RA]
Šaroch, J., Št’ovíček, J.: The countable telescope conjecture for module categories. Adv. Math. 219(3), 1002–1036 (2008). arXiv:0801.3936 [math.RA]
Št’ovíček, J.: Exact model categories, approximation theory, and cohomology of quasi-coherent sheaves. In: Advances in Representation Theory of Algebras, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, pp. 297–367, 2013. arXiv:1301.5206 [math.CT]
Stenström, B.: Rings of Quotients. An Introduction to Methods of Ring Theory. Springer, Berlin (1975)
Watts, C.E.: Intrinsic characterizations of some additive functors. Proc. Am. Math. Soc. 11(1), 5–8 (1960)
Wisbauer, R.: Foundations of Module and Ring Theory: A Handbook for Study and Research. Gordon and Breach Science Publishers, Reading (1991)
Xu, J.: Flat Covers of Modules. Lecture Notes in Mathematics 1634. Springer, Berlin (1996)
Acknowledgements
The authors are grateful to Jan Št’ovíček, Michal Hrbek, Rosanna Laking, and Jan Šaroch for very helpful discussions. We wish to thank an anonymous referee for careful reading of the manuscript and for several helpful suggestions. In particular, the argument in the proof of Corollary 12.4 is due to the referee. The first-named author was partially supported by MIUR-PRIN (Categories, Algebras: Ring-Theoretical and Homological Approaches-CARTHA) and DOR1828909 of Padova University. The second-named author is supported by the GAČR project 20-13778S and research plan RVO: 67985840.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bazzoni, S., Positselski, L. Covers and direct limits: a contramodule-based approach. Math. Z. 299, 1–52 (2021). https://doi.org/10.1007/s00209-020-02654-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02654-x