×

Approximations and Mittag-Leffler conditions – the tools. (English) Zbl 1432.16010

Summary: Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [M. Raynaud and L. Gruson, Invent. Math. 13, 1–89 (1971; Zbl 0227.14010); A. Grothendieck, Publ. Math., Inst. Hautes Étud. Sci. 17, 137–223 (1963; Zbl 0122.16102); M. Prest, Purity, spectra and localisation. Cambridge: Cambridge University Press (2009; Zbl 1205.16002)]. If \(R\) is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class of all flat Mittag-Leffler modules is not deconstructible [D. Herbera and J. Trlifaj, Adv. Math. 229, No. 6, 3436–3467 (2012; Zbl 1279.16001)], and it does not provide for approximations when \(R\) has cardinality \(\leq \aleph_{0}\), [S. Bazzoni and J. Šťovíček, Proc. Am. Math. Soc. 140, No. 5, 1527–1533 (2012; Zbl 1256.16003)]. We remove the cardinality restriction on \(R\) in the latter result. We also prove an extension of the countable telescope conjecture [the author and J. Šťovíček, Adv. Math. 219, No. 3, 1002–1036 (2008; Zbl 1210.16007)]: a cotorsion pair \((\mathcal A, \mathcal B)\) is of countable type whenever the class \(\mathcal B\) is closed under direct limits.
In order to prove these results, we develop new general tools combining relative Mittag-Leffler conditions with set-theoretic homological algebra. They make it possible to trace the above facts to their ultimate, countable, origins in the properties of Bass modules. These tools have already found a number of applications: e.g., they yield a positive answer to Enochs’ problem on module approximations for classes of modules associated with tilting [L. Angeleri Hügel et al., Isr. J. Math. 226, No. 2, 757–780 (2018; Zbl 1432.16009)], and enable investigation of new classes of flat modules occurring in algebraic geometry [A. Slávik and J. Trlifaj, J. Pure Appl. Algebra 220, No. 12, 3910–3926 (2016; Zbl 1348.13018)]. Finally, the ideas from Section 3 have led to the solution of a long-standing problem due to Auslander on the existence of right almost split maps [the author, Invent. Math. 209, No. 2, 463–479 (2017; Zbl 1414.16015)].

MSC:

16E50 von Neumann regular rings and generalizations (associative algebraic aspects)
16S90 Torsion theories; radicals on module categories (associative algebraic aspects)
03E10 Ordinal and cardinal numbers
16G70 Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers
16D40 Free, projective, and flat modules and ideals in associative algebras

References:

[1] Angeleri Hügel, L.; Bazzoni, S.; Herbera, D., A solution to the Baer splitting problem, Transactions of the American Mathematical Society, 360, 2409-2421, (2008) · Zbl 1136.13005 · doi:10.1090/S0002-9947-07-04255-9
[2] Angeleri Hügel, L.; Herbera, D., Mittag-Leffler conditions on modules, Indiana University Mathematics Journal, 57, 2459-2517, (2008) · Zbl 1206.16002 · doi:10.1512/iumj.2008.57.3325
[3] Angeleri Hügel, L.; Šaroch, J.; Trlifaj, J., On the telescope conjecture for module categories, Journal of Pure and Applied Algebra, 212, 297-310, (2008) · Zbl 1141.16010 · doi:10.1016/j.jpaa.2007.05.027
[4] Angeleri Hügel, L.; Šaroch, J.; Trlifaj, J., Approximations and Mittag-Leffler conditions. the applications, Israel Journal of Mathematics, 226, 757-780, (2018) · Zbl 1432.16009 · doi:10.1007/s11856-018-1711-3
[5] Azumaya, G.; Facchini, A., Rings of pure global dimension zero and Mittag-Leffler modules, Journal of Pure and Applied Algebra, 62, 109-122, (1989) · Zbl 0693.16017 · doi:10.1016/0022-4049(89)90146-1
[6] Bass, H., Finitistic dimension and a homological generalization of semi-primary rings, Transactions of the American Mathematical Society, 95, 466-488, (1960) · Zbl 0094.02201 · doi:10.1090/S0002-9947-1960-0157984-8
[7] Bazzoni, S.; Herbera, D., One dimensional tilting modules are of finite type, Algebras and Representation Theory, 11, 43-61, (2008) · Zbl 1187.16008 · doi:10.1007/s10468-007-9064-3
[8] Bazzoni, S.; Št’ovíček, J., Flat Mittag-Leffler modules over countable rings, Proceedings of the American Mathematical Society, 140, 1527-1533, (2012) · Zbl 1256.16003 · doi:10.1090/S0002-9939-2011-11070-0
[9] K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics, Vol. 87, Springer, New York-Berlin, 1982. · Zbl 0584.20036
[10] Drinfeld, V., Infinite-dimensional vector bundles in algebraic geometry: an introduction, The Unity of Mathematics, 244, 263-304, (2006) · Zbl 1108.14012 · doi:10.1007/0-8176-4467-9_7
[11] P. C. Eklof and A. H. Mekler, Almost Free Modules, North-Holland Mathematical Library, Vol. 65, North-Holland, Amsterdam, 2002. · Zbl 1054.20037
[12] Estrada, S.; Guil Asensio, P.; Prest, M.; Trlifaj, J., Model category structures arising from Drinfeld vector bundles, Advances in Mathematics, 231, 1417-1438, (2012) · Zbl 1266.14014 · doi:10.1016/j.aim.2012.06.011
[13] R. Göbel and J. Trlifaj, Approximations and Endomorphism Algebras of Modules, de Gruyter Expositions in Mathematics, Vol. 41, Walter de Gruyter, Berlin, 2012. · Zbl 1292.16001
[14] A. Grothendieck, Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents, Institut des Hautes Études Scientifiques. Publications Mathématiques 11 (1961). · Zbl 0122.16102
[15] Herbera, D., Definable classes and Mittag-Leffler conditions, Ring Theory and its Applications, 609, 137-166, (2014) · Zbl 1296.16011 · doi:10.1090/conm/609/12123
[16] Herbera, D.; Trlifaj, J., Almost free modules and Mittag-Leffler conditions, Advances in Mathematics, 229, 3436-3467, (2012) · Zbl 1279.16001 · doi:10.1016/j.aim.2012.02.013
[17] Kabbaj, S.; Mahdou, N., Trivial extensions of local rings and a conjecture of costa, Commutative Ring Theory and Applications (Fez, 2001), 231, 301-311, (2003) · Zbl 1086.13003
[18] M. Prest, Model Theory and Modules, London Mathematical Society Lecture Note Series, Vol. 130, Cambridge University Press, Cambridge, 1988. · Zbl 0634.03025
[19] M. Prest, Purity, Spectra and Localisation, Encyclopedia of Mathematics and its Applications, Vol. 121, Cambridge University Press, Cambridge, 2009. · Zbl 1205.16002
[20] Raynaud, M.; Gruson, L., Critères de platitude et de projectivité, Inventiones Mathematicae, 13, 1-89, (1971) · Zbl 0227.14010 · doi:10.1007/BF01390094
[21] P. Rothmaler, Mittag-Leffler modules and positive atomicity, Habilitationsschrift, Christian-Albrechts-Universität zu Kiel, 1994.
[22] Šaroch, J., On the non-existence of right almost split maps, Inventiones Mathematicae, 209, 463-479, (2017) · Zbl 1414.16015 · doi:10.1007/s00222-016-0712-2
[23] Šaroch, J.; Št’ovíček, J., The countable telescope conjecture for module categories, Advances in Mathematics, 219, 1002-1036, (2008) · Zbl 1210.16007 · doi:10.1016/j.aim.2008.05.012
[24] Šaroch, J.; Trlifaj, J., Kaplansky classes, finite character, and 1-projectivity Forum Mathematicum, 24, 1091-1109, (2012) · Zbl 1261.16007
[25] Slávik, A.; Trlifaj, J., Approximations and locally free modules, Bulletin of the London Mathematical Society, 46, 76-90, (2014) · Zbl 1309.16004 · doi:10.1112/blms/bdt069
[26] Slávik, A.; Trlifaj, J., Very flat, locally very flat, and contraadjusted modules, Journal of Pure and Applied Algebra, 220, 3910-3926, (2016) · Zbl 1348.13018 · doi:10.1016/j.jpaa.2016.05.020
[27] Zimmermann, W., Modules with chain conditions for finite matrix subgroups, Journal of Algebra, 190, 68-87, (1997) · Zbl 0876.16018 · doi:10.1006/jabr.1996.6882
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.