Related papers: Another proof of the almost purity theorem for per…
We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…
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…
The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure…
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",…
The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…
In this paper, we introduce the notion of quasi-$F$-splitting for rings in mixed characteristic. By comparing quasi-$F$-splitting with perfectoid purity, we obtain a new inversion of adjunction-type result. Furthermore, we study the…
Given a perfectoid field, we find an elementary extension and a henselian defectless valuation on it, whose value group is divisible and whose residue field is an elementary extension of the tilt. This specializes to the almost purity…
The purpose of this note is to relate certain ring-theoretic properties of rings in mixed and positive characteristics that are related to each other by a tilting operation used in perfectoid geometry. To this aim, we exploit the…
We study the kernel and cokernel of the Frobenius map on the $p$-typical Witt vectors of a commutative ring, not necessarily of characteristic $p$. We give some equivalent conditions to surjectivity of the Frobenus map on both finite and…
A problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some…
We extend Faltings's "almost purity theorem" on finite etale extensions of perfectoid algebras (as generalized by Scholze and Kedlaya-Liu) to the ramified case, without restriction on the discriminant. The key point is a perfectoid version…
Our main goal in this paper is to prove results for Witt vectors in the almost category. We finish with an application to almost purity, in particular offering a new proof for rank one valuation rings.
There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits…
In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable…
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…
We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…
In his foundational study of $p$-adic Hodge theory, Faltings introduced the method of almost \'etale extensions to establish fundamental comparison results of various $p$-adic cohomology theories. Scholze introduced the tilting operations…
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…
Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it…
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…