Abstract:This paper is a follow-up to <a class="link-https" data-arxiv-id="2212.09639" href="https://arxiv.org/abs/2212.09639">arXiv:2212.09639</a>. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative) algebraic geometry settings of certain kind of stacks and ind-affine ind-schemes. In the context of a coring $\mathcal C$ over a noncommutative ring $A$, we show that all $A$-flat $\mathcal C$-comodules are $\aleph_1$-directed colimits of $A$-countably presentable $A$-flat $\mathcal C$-comodules. In the context of a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of two-sided ideals, we prove that all flat $\mathfrak R$-contramodules are $\aleph_1$-directed colimits of countably presentable flat $\mathfrak R$-contramodules. We also describe arbitrary complexes, short exact sequences, and pure acyclic complexes of $A$-flat $\mathcal C$-comodules and flat $\mathfrak R$-contramodules as $\aleph_1$-directed colimits of similar complexes of countably presentable objects. The arguments are based on a very general category-theoretic technique going back to an unpublished 1977 preprint of Ulmer and rediscovered in <a class="link-https" data-arxiv-id="2310.16773" href="https://arxiv.org/abs/2310.16773">arXiv:2310.16773</a>. Applications to cotorsion periodicity and coderived categories of flat objects in the respective settings are discussed. In particular, in any acyclic complex of cotorsion $\mathfrak R$-contramodules, all the contramodules of cocycles are cotorsion.

On Strongly Copure Flat Modules and Copure Flat Dimensions

On Copure Projective Modules and Copure Projective Dimensions

On Copure Flat Modules And Flat Resolvents

Relative copure injective and copure flat modules

The strongly flat dimension of modules and rings

Strongly Gorenstein Flat Modules

On The Exactness Of Flat Resolvents

Gorenstein projective and weak Gorenstein flat modules

Envelopes And Covers By Modules Of Finite Fp-Injective And Flat Dimensions

Characterizations of Some Rings with C-Projective, C-(Fp)-Injective and C-Flat Modules

Relative Cotorsion Modules and Relative Flat Modules

FI-injective and FI-flat modules

New Characterizations of Pseudo-Coherent Rings

The homological dimensions of simple modules

Relative Flatness, Mittag–Leffler Modules, and Endocoherence

On Divisible And Torsionfree Modules

Coherent Rings With Finite Self-Fp-Injective Dimension

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

On Relative Injective Modules And Relative Coherent Rings

The Cohomology Ring of Crepant Resolutions of Orbifolds