Strictly atomic modules in definable categories

If D is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a lim −→ -generating set of strictly D-atomic modules. These modules share some key properties of finitely presented modules. We consider these modules in general and then in the case that D is the category of modules of some fixed irrational slope over a tubular algebra.

[1]  M. Raynaud,et al.  Critères de platitude et de projectivité , 1971 .

[2]  Lidia Angeleri Hugel,et al.  Silting modules , 2014, 1405.2531.

[3]  Mike Prest,et al.  Model Theory of Groups and Automorphism Groups: Rings of definable scalars and biendomorphism rings , 1997 .

[4]  M. Prest Model theory and modules , 1988 .

[5]  M. Prest,et al.  Almost Dual Pairs and Definable Classes of Modules , 2013, 1304.4481.

[6]  Lidia Angeleri Hugel,et al.  Silting modules over commutative rings , 2016, 1602.04321.

[7]  Michael Makkai,et al.  A Theorem on Barr-Exact Categories, with an Infinitary Generalization , 1990, Ann. Pure Appl. Log..

[9]  Infinite Dimensional Representations of Canonical Algebras , 2002, Canadian Journal of Mathematics.

[10]  P. Rothmaler Mittag-Leffler modules and positive atomicity , 2005 .

[11]  J. Trlifaj,et al.  Approximations and Endomorphism Algebras of Modules , 2006 .

[12]  C. Ringel Tame Algebras and Integral Quadratic Forms , 1985 .

[13]  D. Cottom Purity , 1989, Critical Inquiry.

[15]  K. Fuller,et al.  Tilting objects in abelian categories and quasitilted rings , 2006 .

[16]  J. Rada,et al.  Rings characterized by (pre)envelopes and (pre)covers of their modules , 1998 .

[17]  D. Kussin,et al.  Tilting and cotilting modules over concealed canonical algebras , 2015, 1508.03752.

[18]  Philipp Rothmaler,et al.  When Cotorsion Modules are Pure injective , 2009, J. Math. Log..

[19]  P. Rothmaler Mittag-Leffler modules and definable subcategories , 2020, Model Theory of Modules, Algebras and Categories.

[20]  M. Prest Definable Additive Categories: Purity and Model Theory , 2011 .

[21]  M. Prest,et al.  Covers in finitely accessible categories , 2010 .

[22]  Philipp Rothmaler,et al.  Pure-projective modules and positive constructibility , 2000, Journal of Symbolic Logic.

[23]  M. Prest,et al.  Modules with irrational slope over tubular algebras , 2013, 1302.6763.

[24]  D. Evans Model Theory of Groups and Automorphism Groups , 1997 .

[25]  Dolors Herbera,et al.  Mittag-Leffler conditions on modules , 2007, 0704.3690.

[26]  Richard Harland Pure-Injective Modules over Tubular Algebras and String Algebras , 2011 .

[27]  Philipp Rothmaler,et al.  Strict Mittag‐Leffler modules , 2011, Math. Log. Q..

[28]  J. Trlifaj,et al.  Tilting Preenvelopes and Cotilting Precovers , 2001 .