perfectoid space

perfectoid space
Name	Perfectoid space
Field	Algebraic geometry, Number theory
Introduced	2012
Introducer	Peter Scholze

perfectoid space Perfectoid spaces are a class of nonarchimedean analytic spaces introduced to bridge p-adic Hodge theory and algebraic geometry via a new structural framework. They form a rigid analytic-like category that admits a powerful "tilting" correspondence connecting mixed-characteristic and equal-characteristic geometry, enabling breakthroughs in the study of Galois representations, Fontaine's period rings, and integral comparison theorems. The theory has influenced work on the local Langlands correspondence, the Hodge–Tate decomposition, and advances connected to the Langlands Program.

Definition and basic properties

A perfectoid space is a sheaf on the category of perfectoid affinoid algebras satisfying a sheaf condition compatible with the adic topology and a tilt construction introduced by Peter Scholze. Its defining features require a complete Tate ring A with a topologically nilpotent unit, such that the Frobenius endomorphism on A/p (for a fixed prime p) is surjective; typical formalizations use Huber's framework from Huber and the notion of adic spaces related to Fargues–Fontaine curve constructions. Key properties include uniformity, existence of a basis of affinoid perfectoid opens, and stability under rational localization and finite étale maps, making them suitable for descent arguments employed in works of André, Bhatt, and Morrow.

Examples and constructions

Basic examples arise from perfectoid fields such as completed perfection of Laurent series fields and tilts of p-adic completions associated to cyclotomic towers studied in constructions influenced by Kummer theory and Lubin–Tate theory. Constructions include perfectoid affinoid algebras obtained by adjoining p-power roots to affinoid algebras appearing in contexts like the Tate curve, and inverse limits along Frobenius maps as in work related to the Witt vectors and Fontaine's A_inf rings. Other salient examples connect to the Fargues–Fontaine curve built from a perfectoid field and a perfectoid base, and to Scholze's modular curves towers implicated in the proof of new cases of the modularity theorem.

Tilting equivalence and perfectoid fields

The tilting equivalence associates to each perfectoid space X in mixed characteristic (0, p) a tilt X^♭ in characteristic p; this matches untilts via Witt vector constructions and Fontaine's period ring techniques used by Jean-Marc Fontaine. The equivalence preserves many structural invariants and underlies comparisons between period sheaves that appear in the work of Faltings and later refinements influenced by the Fontaine–Laffaille theory. Perfectoid fields, such as completed perfection of cyclotomic extensions studied by Iwasawa theory researchers and those appearing in comparisons with Drinfeld spaces, provide the local building blocks for tilting and for constructing the Fargues–Fontaine curve used in geometric approaches to the local Langlands correspondence by authors including Fargues and Scholze.

Cohomology and applications in p-adic Hodge theory

Perfectoid techniques yield vanishing theorems and almost purity results that streamline proofs of comparison isomorphisms between étale, de Rham, and crystalline cohomologies central to p-adic Hodge theory. They facilitate new proofs of the Hodge–Tate decomposition and integral p-adic comparison theorems extending work by Tsuji, Kisin, and Colmez. Applications include control of completed cohomology in the study of the automorphic forms on Shimura varieties and input to modularity lifting theorems as explored by Taylor and collaborators. The A_inf-cohomology formalism connecting perfectoid spaces with Breuil–Kisin modules has been developed further by Bhatt, Morrow, and Scholze to produce refined integral comparison tools.

Relationship to adic and rigid-analytic spaces

Perfectoid spaces refine and extend the frameworks of adic spaces of Huber and the rigid-analytic spaces of Tate, embedding into Huber's category while admitting additional completions and limits inaccessible classically. They serve as perfectoid covers for rigid-analytic varieties, allowing descent of properties such as finite étaleness and Galois actions, with applications to uniformization problems akin to the Drinfeld upper half space and to integral models of Shimura varieties. Scholars from the communities of Berkovich spaces and rigid geometry have integrated perfectoid ideas into broader nonarchimedean analytic geometry approaches.

Historical development and key results

The theory was introduced by Peter Scholze around 2012 and rapidly influenced multiple areas, gaining recognition including a Fields Medal awarded to Scholze for these and related contributions. Key milestones include the almost purity theorem in the perfectoid setting inspired by work of Faltings and Fontaine, the tilting equivalence, and applications to comparison isomorphisms and the local Langlands program per developments by Fargues, Scholze, Kisin, and many others. Subsequent expansions by André, Bhatt, Morrow, and collaborators have deepened connections to derived algebraic geometry and integral p-adic Hodge theory, while ongoing work links perfectoid methods to advances in the Langlands Program, the theory of Shimura varieties, and the arithmetic of Galois representations.

Category:Algebraic geometry