Perfectoid spaces are a variant of Huber spaces in analytic geometry. The concept was introduced (Scholze 11) in order to generalize the classical theorem of (Fontaine-Winterberger 79) (see also at function field analogy).
This theorem establishes an isomorphism between the absolute Galois groups of the extension $L \coloneqq \cup_{n}\mathbb{Q}_{p}[p^{1/p^{n}}]$ of the p-adic numbers and of the perfection $L^{\flat} \coloneqq \cup_{n}\mathbb{F}_{p}((t^{1/p^{n}}))$ of the field of Laurent series of the finite field $\mathbb{F}_p$ (the isomorphism between Galois groups continues to hold after passing to the completions of these fields - it is these completions that are more properly called perfectoid). The field $L^{\flat}$ is called the tilt of $L$. In (Scholze 11) this is generalized by the statement that the perfectoid spaces over fields related this way are equivalent. (See Bhatt 14 for a review).
The reference for these definitions are Weinstein17.
A Huber ring is a topological ring $A$ which contains an open subring $A_{0}$ which is adic with respect to a finitely generated ideal of definition $I\subseteq A_{0}$.
A Huber ring $A$ is Tate if it contains a topologically nilpotent unit $\varpi$ (also called a pseudouniformizer).
A Tate Huber ring is perfectoid if it is complete, uniform (the subset of power-bounded elements is bounded), and contains a pseudo-uniformizer $\varpi$ such that $\varpi^{p}\vert p$ and the p-th power map $A/\varpi\to A/\varpi^{p}$ is an isomorphism.
The concept of tilting allows us to generalize the theorem of Fontaine and Wintenberger on the isomorphism of the absolute Galois groups of a perfectoid field and its tilt mentioned above, to perfectoid rings, and further to perfectoid spaces.
(ScholzeWeinstein20, Definition 6.2.1)
Let $R$ be a perfectoid ring. The tilt of $R$ is
A priori this is a topological multiplicative monoid, so turn it into a topological ring we equip it with the addition structure given by
(ScholzeWeinstein20, Theorem 7.4.5)
Let $R$ be a perfectoid ring and let $R^{\flat}$ be its tilt.
For any finite etale $R$-algebra $S$, $S$ is perfectoid.
Tilting $S\mapsto S^{\flat}$ induces an equivalence between finite etale $R$-algebras and finite etale $R^{\flat}$-algebras.
For any finite etale $R$-algebra $S$, the algebra $S^{\circ}$, is almost finite etale over $R^{\circ}$.
The tilting construction “glues” and therefore carries over from perfectoid rings to perfectoid spaces; in other words to a perfectoid space $X$ we can take the tilt to obtain a perfectoid space $X^{\flat}$ of characteristic $p$ (ScholzeWeinstein20, 7.1).
(ScholzeWeinstein20, Corollary 7.5.3)
There exists an etale site $X_{et}$ such that $X_{et}\cong X_{et}^{\flat}$ and $H^{i}(X_{et},\mathcal{O}_{X}^{+})$ is almost zero for all $i\geq 1$ and for all affinoids $X$.
The concept of perfectoid space can be generalized into that of a diamond, which is a quotient of a perfectoid space of characteristic $p$ by a perfectoid equivalence relation (ScholzeWeinstein20, Definition 8.3.1). The concept of diamond can similarly be generalized into that of a v-sheaf, and in particular a small v-sheaf is a quotient of a diamond by a diamond equivalence relation (ScholzeWeinstein20, Proposition 17.2.2).
One application of perfectoid spaces is in relating Galois representations to torsion in the cohomology of Shimura varieties. In turn, using the excision sequence, one can relate this to the cohomology of arithmetic manifolds that are not Shimura varieties (for example Bianchi manifolds, which are quotients of hyperbolic 3-space by an arithmetic subgroup). This is surveyed in section 5 of Weinstein15.
Exposition includes
The concept is due to
motivated by
Review includes
Bhargav Bhatt, What is… a perfectoid space?, Notices of the AMS, volume 61, number 9 (pdf)
Bhargav Bhatt, Lecture notes for a class on perfectoid spaces, (pdf)
Peter Scholze, Perfectoid spaces: a survey (arXiv:1303.5948)
Jared Weinstein, Adic spaces, lecture notes for the 2017 Arizona Winter School pdf
Perfectoid spaces and related concepts were the topic of a course at Berkeley in 2014, whose lecture notes have now been made into a book:
Some applications of perfectoid spaces are discussed in
See also
Formalization in type theory (in Lean):
Last revised on November 29, 2022 at 19:02:26. See the history of this page for a list of all contributions to it.