Abstract:Assume that $R$ is a non-right perfect ring. Then there is a proper class of classes of (right $R$-) modules closed under transfinite extensions lying between the classes $\mathcal P _0$ of projective modules, and $\mathcal F _0$ of flat modules. These classes can be defined as variants of the class $\mathcal F \mathcal M$ of absolute flat Mittag-Leffler modules: either as their restricted versions (lying between $\mathcal P _0$ and $\mathcal F \mathcal M$), or their relative versions (between $\mathcal F \mathcal M$ and $\mathcal F _0$). In this survey, we will deal with applications of these classes in relative homological algebra and algebraic geometry. The classes $\mathcal P _0$ and $\mathcal F _0$ are known to provide for approximations, and minimal approximations, respectively. We will show that the classes of restricted flat relative Mittag-Leffler modules, and flat relative Mittag-Leffler modules, have rather different approximation properties: the former classes always provide for approximations, but the latter do not, except for the boundary case of $\mathcal F _0$. The notion of an (infinite dimensional) vector bundle is known to be Zariski local for all schemes, the key point of the proof being that projectivity ascends and descends along flat and faithfully flat ring homomorphisms, respectively. We will see that the same holds for the properties of being a $\kappa$-restricted flat Mittag-Leffler module for each cardinal $\kappa \geq \aleph_0$, and also a flat $\mathcal Q$-Mittag-Leffler module whenever $\mathcal Q$ is a definable class of finite type. Thus, as in the model case of vector bundles, Zariski locality holds for flat quasi-coherent sheaves induced by each of these classes of modules. Moreover, we will see that the notion of a locally $n$-tilting quasi-coherent sheaf is Zariski local for all $n \geq 0$.

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity

Flat quasi-coherent sheaves as direct limits, and quasi-coherent cotorsion periodicity

A contramodule generalization of Neeman's flat and projective module theorem

Resolutions as directed colimits

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Rigidification of connective comodules

A Bounded Below, Noncontractible, Acyclic Complex Of Projective Modules

A monoidal Dold-Kan correspondence for comodules

Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

Philosophy of contraherent cosheaves

Reconstruction of module categories in the infinite and non-rigid settings

Contramodules for algebraic groups: induction and projective covers

Gorenstein Flat Comodules

Prescribed duality dynamics in comodule categories

Compact generators of the contraderived category of contramodules

The tilting-cotilting correspondence

Flat Mittag-Leffler modules, and their relative and restricted versions

Relative Gorenstein flat modules and Foxby classes and their model structures

Clifford Deformations of Koszul Frobenius Algebras and Noncommutative Quadrics