Perfectoid spaces

Abstract: 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 characteristic p. We deduce the weight-monodromy conjecture in certain cases by reduction to equal characteristic.

• The paper’s main contribution is the establishment of the tilting equivalence between perfectoid spaces in mixed and equal characteristic.
• It develops innovative methods by applying Faltings’s almost purity theorem to enhance p-adic Hodge theory and étale cohomology frameworks.
• The work applies these techniques to resolve new cases of the weight-monodromy conjecture for varieties over mixed characteristic local fields.

Perfectoid Spaces: Construction, Properties, and Applications

Introduction

The theory of perfectoid spaces, as established in "Perfectoid Spaces" (1111.4914), constructs a robust framework unifying aspects of $p$-adic Hodge theory, nonarchimedean geometry, and étale cohomology. The foundational results enable the systematic reduction of questions in mixed characteristic—primarily those involving local fields like $\mathbb{Q}_p$—to analogous statements in equal characteristic. This machinery yields new perspectives on the Faltings almost purity theorem and facilitates progress on the weight-monodromy conjecture, especially for varieties admitting uniformization by toric or Shimura varieties. The core innovation is the tilting equivalence, allowing passage between characteristic $0$ and characteristic $p$ contexts with preservation of geometric and cohomological structure.

The Tilting Equivalence for Perfectoid Fields and Algebras

A central observation motivating perfectoid spaces is the isomorphism of absolute Galois groups between highly ramified extensions of mixed characteristic and equal characteristic fields, originally due to Fontaine-Wintenberger. For instance, the completion of $\mathbb{Q}_p(p^{1/p^\infty})$ and $\mathbb{F}_p((t))(t^{1/p^\infty})$ share Galois groups after a suitable identification of parameters—adjoining all $p$-power roots of $p$ and $t$, respectively. This relationship generalizes: perfectoid fields are characterized as complete nonarchimedean fields (with non-discrete valuation of rank one) whose ring of integers modulo $p$ admits surjective Frobenius.

Given a perfectoid field $K$, the tilting process produces a perfectoid field $K^\flat$ of characteristic $p$ by passing to the inverse limit $\varprojlim_{x \mapsto x^p} K$. The key tilting theorem asserts a canonical equivalence of Galois categories: $\mathrm{Gal}(K) \cong \mathrm{Gal}(K^\flat),$ and more generally, it facilitates an equivalence between the categories of perfectoid $K$-algebras and perfectoid $K^\flat$-algebras via $R \mapsto R^\flat = \varprojlim_{x \mapsto x^p} R$. This construction is not merely an algebraic artifact; it lifts to the geometry and cohomology of the associated analytic spaces.

Perfectoid Spaces and Adic Geometry

Perfectoid spaces are built as suitable adic spaces over perfectoid fields, making heavy use of Huber's formalism. The functorial tilting operation extends from affinoid algebras to the global category of perfectoid spaces. Notably, the underlying topological spaces of a perfectoid space and its tilt are canonically homeomorphic, with rational subsets preserved under the equivalence. Sections of structure sheaves and their rational localizations are related via the $^\sharp$ operation—an elaborate limit construction matching analytic functions between characteristics.

Perfectoid spaces exhibit several strong properties:

• Structure presheaves are sheaves, and the corresponding higher cohomology of the integral sections $\mathcal{O}_X^+$ is "almost zero" in the sense of Faltings, i.e., $\mathfrak{m}$-torsion.
• The tilting equivalence is compatible with all localizations (rational subsets), and the cohomology comparison descends to the integral and almost mathematics contexts.
• The construction of fibre products and étale covers is well-behaved, with their existence and properties preserved under tilting.

Faltings’s Almost Purity Theorem and Étale Topology

A major technical advance is the clean proof of an almost purity theorem for perfectoid algebras: finite étale extensions of a perfectoid algebra $R$ are again perfectoid, and their integral closures are almost finite étale. The fully faithful functor from finite étale algebras over $R^\flat$ to those over $R$ is essentially surjective—this yields an equivalence of sites and topoi between $X_\mathrm{ét}$ and $X^\flat_\mathrm{ét}$. As a consequence, étale cohomological invariants may be computed indifferently in characteristic $0$ or $p$, as long as one works in the perfectoid regime.

These equivalences extend to a wide range of geometric objects, such as perfectoid analogues of projective spaces, toric varieties, and more general proper rigid-analytic spaces.

Applications to the Weight-Monodromy Conjecture

The paper leverages the tilting machinery for a new approach to the weight-monodromy conjecture for the $\ell$-adic étale cohomology of proper smooth varieties over mixed characteristic local fields. Previously, the main tool for its resolution in equal characteristic was Deligne's work relying on specialization along a family defined over a global function field and the analysis of the monodromy-weight filtration.

The perfectoid approach enables a reduction of the conjecture in certain mixed characteristic cases to the equal characteristic case by passing to the tilt, constructing suitable neighborhoods and employing approximation arguments to link the cohomology of such spaces. A key result is that for projective smooth complete intersections in toric varieties, the weight-monodromy conjecture holds, since their cohomology can be embedded into that of an algebraic variety over the tilt—where Deligne's theorem applies.

This argument involves careful analysis of the transcendental nature of the projection $\pi: X^\flat \to X$ from the space over the tilt to the original, and an explicit algorithm for approximating subvarieties under this map.

Theoretical and Practical Implications

The development of perfectoid spaces and the associated tilting technique has reshaped the interface between $p$-adic Hodge theory, nonarchimedean analytic geometry, and arithmetic algebraic geometry. The functorial connection between mixed and equal characteristic dramatically enlarges the toolkit available for local and global questions, enabling both the transfer of structure and the possibility to exploit the typically more tractable equal characteristic theory.

Practically, this approach extends the reach of familiar comparison theorems, purity results, and spectral sequence arguments. The tilting formalism also provides essential input to developments in $p$-adic geometry, including advances in the cohomology of Shimura varieties, relative $p$-adic Hodge theory, and the study of $p$-adic period domains.

On a theoretical level, the "almost mathematics" context—central to these developments—systematizes the neglect of elements killed by powers of topologically nilpotent elements, unraveling new forms of acyclicity, exactness, and descent. The language of perfectoid spaces further enables new advances in the direct study of $p$-adic automorphic forms, $p$-adic Langlands, and prismatic cohomology.

Future Directions

Future research directions include:

• Extending tilting correspondences and almost purity to broader classes of geometric and arithmetic objects, potentially beyond the rigid-analytic or adic categories.
• Further applications to deep arithmetic conjectures, including the full weight-monodromy and standard conjectures in mixed characteristic, and to the reduction theory of Shimura varieties and moduli spaces.
• Refining the integral and global structures informed by this theory, intersecting with advances in prismatic and derived $p$-adic geometry.

The methods and framework presented here continue to inform large-scale developments in arithmetic geometry, including the ongoing study of the $p$-adic geometrization of local and global Galois representations and the search for integral $p$-adic Hodge-theoretic invariants.

Conclusion

"Perfectoid Spaces" (1111.4914) rigorously constructs the theory of perfectoid rings and spaces, establishes the tilting equivalence, generalizes almost purity, and applies these results to resolve new cases of the weight-monodromy conjecture in mixed characteristic. The synthesis of perfectoid, almost, and adic perspectives has become a foundational pillar for contemporary $p$-adic and arithmetic geometry. These results continue to guide research at the interaction of nonarchimedean geometry, arithmetic, and cohomology theory.