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

The modular representation theory of monoids

Correspondence between factorability and normalisation in monoids

Associative ideals in monoids

Some Results on Factorization of Monoids

On the ascent of atomicity to monoid algebras

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Irreducible Unipotent Numerical Monoids

The monotone catenary degree of monoids of ideals

Generalizations of free monoids

On the atomicity of one-dimensional monoid algebras

Non-finitely generated monoids corresponding to finitely generated homogeneous subalgebras

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

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Affine and cyclotomic webs

Atomicity of positive monoids

One-dimensional monoid algebras and ascending chains of principal ideals

Incidence monoids: automorphisms and complexity

Central Algebraic Geometry and Seminormality