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

Algebraization of Mochizuki's anabelian variation of ring structures, perfectoid geometry and formal groups

Formal groups over non-commutative rings

On Mochizuki's idea of Anabelomorphy and its applications

Logarithmic tautological rings of the moduli spaces of curves

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

Zilber's notion of logically perfect structure: Universal Covers

Semialgebraic groups and generalized affine buildings

The field of moduli of varieties with a structure

Lambda-rings and the field with one element

On the structure of even $K$-groups of rings of algebraic integers

Formality and splitting of real non-abelian mixed Hodge structures

Cohomology ring of non-compact abelian arrangements

Affine Structures on Lie Groupoids

Higher coherence and a generalization of higher categorified algebraic structures

Higher Koszul brackets on the cotangent complex

Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$

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

Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

Boolean Algebras, Generalized Abelian Rings, And Grothendieck Groups

Structure of Mordell-Weil groups over \mathbb{Z}_p-extensions

Good formal structure for meromorphic flat connections on smooth projective surfaces