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$.

A formalism of $F$-modules for rings with complete local finite $F$-representation type

A Formalism of F -modules for Rings with Complete Local Finite F -Representation Type

A Formalization of Complete Discrete Valuation Rings and Local Fields

Koszul homology of $F$-finite module and applications

Chaotic maps coupled with random delays: connectivity, topology, and network propensity for synchronization

A unified approach to formal local cohomology and local Tate cohomology

A characterization result of cofinite local cohomology modules

Finite presentation, the local lifting property, and local approximation properties of operator modules

Finiteness of extension functors of local cohomology modules

Cofiniteness of local cohomology modules and subcategories of modules

Almost coherent modules and almost coherent sheaves

Finite local principal ideal rings

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

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

Modules with Local Finite BIB-ranks and Grothendieck Groups of Some Categories

Flat modules over valuation rings

The finiteness dimension of local cohomology modules and its dual notion

On local cohomology modules over ramified regular local rings

Finite $F$-representation type for homogeneous coordinate rings of non-Fano varieties

A note on higher almost ring theory

Local Cohomology of Certain Determinantal Thickenings