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.

Relative [math]-Weak Cotorsion Modules

Relative Cotorsion Modules and Relative Flat Modules

Notes On Cotorsion Modules

Cotorsion Modules and Relative Pure-Injectivity

Weak cotorsion, $τ$-tilting and two-term categories

The cotorsion dimension of modules and rings

Relative Gorenstein flat modules and Foxby classes and their model structures

Cotorsion Dimensions and Hopf Algebra Actions

Remarks on cotorsion theories

Weakly Stable Torsion Classes

Cotorsion pairs and Tor-pairs over commutative noetherian rings

S-flat cotorsion pair

Gorenstein flat-cotorsion modules over trivial ring extensions

The strongly flat dimension of modules and rings

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Some results on torsionfree modules

Cotilting modules and Gorenstein homological dimensions

Recollements associated to cotorsion pairs over upper triangular matrix rings

Torsion Pairs in Categories of Modules on Ringed Finite Sites