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

On relative constructible sheaves and integral transforms

On morphisms of relative toposes

Relative derived equivalences and relative homological dimensions

Relative tilting theory in abelian categories I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion pairs

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

Relative P-Adic Hodge Theory: Foundations

Dualité relative de type Kleiman I: Cas propre

Relative p-adic Hodge theory, II: Imperfect period rings

Hybrid transforms of constructible functions

Irregular Riemann-Hilbert Correspondence and Enhanced Subanalytic Sheaves

Relative Regular Riemann-Hilbert correspondence II

Flat relative Mittag-Leffler modules and Zariski locality

Relative Resolution and Its Applications

Homological properties of the relative Frobenius morphism

Relative ideals in homological categories, with an application to MV-algebras

On two modular geometric realizations of an affine Hecke algebra

Relative Serre functor for comodule algebras

Relative Equivariant Coarse Index and Relative L2-index

Harmonic analysis approach to the relative Riemann-Roch theorem on global fields

Constructible sheaves on toric varieties

Relative field theories via relative dualizability