Related papers: Perfectoid spaces
This is release 7.5 of our project, aiming to provide a complete treatment of the foundations of almost ring theory, following and extending Faltings's method of "almost etale extensions". The central result is the "almost purity theorem",…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…
We introduce a mixed characteristic analog of log canonical centers in characteristic $0$ and centers of $F$-purity in positive characteristic, which we call centers of perfectoid purity. We show that their existence detects (the failure…
We construct classifying spaces for discrete and compact Lie groups, with the property that they are topological groups and complete metric spaces in a natural way. We sketch a program in view of extending these constructions.
Building on work of the first author and Kartas, we identify the elementary class generated by all perfectoid fields of fixed residue characteristic $p$ in the language of rings.
A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables…
Over a complete Noetherian local domain of mixed characteristic with perfect residue field, we construct a perfectoid ring which is similar to an explicit representation of a perfect closure in positive characteristic. Then we demonstrate…
We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…
The purpose of this note is a wide generalization of the topological results of various classes of ideals of rings, semirings, and modules, endowed with Zariski topologies, to strongly irreducible ideals (endowed with Zariski topologies) of…
For an (integral) perfectoid ring $R$ of characteristic $0$ with tilt $R^{\flat}$, we introduce and study a tilting map $(-)^{\flat}$ from the set of $p$-adically closed ideals of $R$ to the set of ideals of $R^{\flat}$ and an untilting map…
We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has…
We obtain several new characterizations of ultrametric spaces in terms of roundness, generalized roundness, strict p-negative type, and p-polygonal equalities (p > 0). This allows new insight into the isometric embedding of ultrametric…
We study $\mathbb{E}_\infty$-monoids on which a prime $p$ acts invertibly, which we call $p$-perfect, in the non-group-complete situation. In particular, we prove that in many examples, they almost embed in their group-completion. We…
We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the…
Suppose O is a complete discrete valuation ring of positive characteristic with perfect residue field. The category of finite flat strict modules was introduced recently by Faltings and appears as an equal characteristic analogue of the…
We prove matching direct and inverse theorems for (algebraic) polynomial approximation with doubling weights $w$ having finitely many zeros and singularities (i.e., points where $w$ becomes infinite) on an interval and not too ``rapidly…
In a previous paper, we stated a general almost purity theorem in the style of Faltings: if R is a ring for which the Frobenius maps on finite p-typical Witt vectors over R are surjective, then the integral closure of R in a finite \'etale…
We prove a mixed-characteristic analogue of Kunz's theorem in terms of perfectoid towers: a Noetherian local ring of residue characteristic $p$ is regular if and only if it admits a flat map to a Noetherian ring that extends to a perfectoid…
Let $R$ be a commutative ring and $S \subseteq R$ be a multiplicative subset. We introduce and study the concept of $S$-purity based on the notion of $S$-strongly flat modules. The class of $S$-pure injective modules will be studied. We…
Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…