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.

Quasi-co-Frobenius corings as Galois comodules

Morita theory of comodules over corings

Galois Corings and a Jacobson-Bourbaki type Correspondence

The structure of corings with a grouplike element

Comodules over semiperfect corings

Frobenius bimodules between noncommutative spaces

Rationality Properties for Morita Contexts associated to Corings

Rational Modules for Corings

Generator coalgebras are not necessarily quasi-coFrobenius

The necessity of (co)unit in nearly Frobenius algebra

Cohomology and Duality for (φ, Γ)-modules over the Robba Ring

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Triangulable $\\CO_F$-analytic $(\\varphi_q,\\Gamma)$-modules of rank 2

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems

New Characterizations of Quasi-Frobenius Rings

New Characterizations of pseudo-Frobenius rings and a generalization of the FGF conjecture

Three results on Frobenius categories

Morita Contexts and Galois Theory for Weak Hopf Comodulelike Algebras

A remark on the Galois-type correspondence between ideal coideals and comodule subrings of a Hopf algebroid

Homological properties of the relative Frobenius morphism

Cohomology and Duality for (Phi,gamma)-Modules over the Robba Ring