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.

Cartan-Eilenberg Gorenstein Flat Complexes

Hopf Algebras with Rigid Dualizing Complexes

Strongly Gorenstein Flat Modules

Gorenstein AC-projective complexes

(𝒲,𝒴,𝒳)-Gorenstein Complexes

Gorenstein projective and weak Gorenstein flat modules

Gorenstein flat-cotorsion modules over trivial ring extensions

Totally acyclic complexes and locally Gorenstein rings

(W, Y, X)-Gorenstein complexes

On Copure Flat Modules And Flat Resolvents

On Strongly Copure Flat Modules and Copure Flat Dimensions

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Projectively coresolved Gorenstein flat dimension of groups

Flat structures on the deformations of Gepner chiral rings

$\Mathcal{t}_c $ -Gorenstein Projective, $\mathcal{l}_c $ -Gorenstein Injective and $\mathcal{h}_c $ -Gorenstein Flat Modules

On Stability of Gorenstein Categories

Tate Cohomology of Gorenstein Flat Modules with Respect to Semidualizing Modules

𝒯_C -Gorenstein projective, ℒ_C -Gorenstein injective and ℋ_C -Gorenstein flat modules

Resolutions as directed colimits

Finiteness criteria for Gorenstein flat dimension and stability