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.

Affine monoids of corank one

Affine Monoids of Corank One

On groups of units of special and one-relator inverse monoids

Correspondence between factorability and normalisation in monoids

The modular representation theory of monoids

Associative ideals in monoids

Monobrick, a uniform approach to torsion-free classes and wide subcategories

The monotone catenary degree of monoids of ideals

Non-finitely generated monoids corresponding to finitely generated homogeneous subalgebras

On the atomicity of one-dimensional monoid algebras

One-dimensional monoid algebras and ascending chains of principal ideals

Some Results on Factorization of Monoids

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Unipotent normal subgroups of algebraic groups

Generalizations of free monoids

Affine and cyclotomic webs

On the ascent of atomicity to monoid algebras

The composition monoid and the composition algebra at q=0 of the Kronecker quiver

The Automorphism groups of zero-dimensional monomial algebras

Minimal affine varieties of superalgebras with superinvolution: A characterization

Irreducible Unipotent Numerical Monoids