Perfectoid Methods in Arithmetic Geometry

• Perfectoid methods are a collection of advanced techniques that utilize perfectoid rings, tilting equivalences, and perfectoidization to bridge equal- and mixed-characteristic arithmetic geometry.
• They employ explicit closure operations, perfectoid towers, and prismatic constructions to address singularity theory, cohomology, and rational point problems with precise invariants.
• These methods extend p-adic Hodge theory by introducing purity criteria, tilting correspondences, and geometric applications in areas like Shimura varieties and automorphic forms.

Perfectoid methods comprise a suite of structures, constructions, and tools in arithmetic geometry and commutative algebra, centered on the systematic use of perfectoid rings, spaces, and their tilts. These methods blend deep $p$-adic Hodge-theoretic phenomena with explicit closure operations, homological and cohomological invariants, and geometric applications, particularly through the use of prismatic cohomology, perfectoidization, and tower constructions. The perfectoid paradigm unifies equal- and mixed-characteristic techniques and enables new approaches to long-standing questions in singularity theory, cohomology, rational points, and descent.

1. Foundation: Integral Perfectoid Rings, Tilting, and Perfectoidization

An integral perfectoid ring $S$ is a (possibly non-noetherian) commutative ring equipped with an element $\pi\in S$ admitting a compatible system of $p$-power roots, such that $S$ is $\pi$-adically complete, $\pi^p$ divides $p$ in $S$, and the Frobenius map on $S/pS$, $x\mapsto x^p$, is surjective. The classical Fontaine map $\theta\colon W(S^\flat)\to S$ from the Witt vectors of the tilt $S^\flat$ to $S$ must have principal kernel. Equivalently, the Frobenius on $S/\pi S\to S/\pi^p S$ is bijective, and $p$ is invertible on the $\pi$-power torsion subgroup $S[\pi^\infty]$ (Ishizuka, 2023).

The tilting equivalence asserts a natural tensor-equivalence of categories between perfectoid algebras over $K$ (characteristic $0$) and over $K^\flat$ (characteristic $p$), via inverse limits along the Frobenius: $R$ maps to $R^\flat$, and $R^{\flat\sharp}$ inversely constructs $R$ via Witt vectors and the $\theta$-map (Scholze, 2011, Dine et al., 2023). This process translates mixed-characteristic problems to equal characteristic and is central to comparisons in $p$-adic Hodge theory.

Perfectoidization, particularly in the sense of Bhatt–Scholze, is a universal construction: given a derived $p$-complete $S$-algebra $R$, the complex $R_{\perfd}$ is initial among maps from $R$ to integral perfectoid rings. Explicitly, for $p$-torsion-free $R$ with $p$-adic completion semiperfectoid, one has

$(\widehat R)_{\perfd} \cong \widehat{C(R)}$

where $C(R)$ is the $p$-root closure of Roberts—itself the smallest $p$-root-closed overring of $R$ inside $R[1/p]$ (Ishizuka, 2023).

2. Perfectoid Towers and Prismatic Constructions

A perfectoid tower is a direct system $\{R_i, t_i\}$ of (typically $p$-adically Zariskian) rings with principal ideal $I_0 \subset R_0$, satisfying axioms that guarantee, at each level, injectivity of transition maps modulo $I_0$, surjectivity of Frobenius projections, and good control over torsion and the behavior of "pillars"—key elements $w\in R_1$ whose images control the kernels of the $F_i$ (Ishiro et al., 2022). The tilt $R_j^\flat$ is constructed as an inverse limit along Frobenius, and crucially, the process preserves key properties: principal generation of pillars, torsion structure, Noetherianity, and finite module properties.

Prismatic methods formalize the generation of perfectoid towers from a single prism $(A, I)$, a $\delta$-ring (with a lift of Frobenius) and a principal ideal satisfying derived completeness and a regularity condition relating $p$ and $d$. The standard recipe—iteratively quotienting out powers of the ideal under Frobenius—recovers classical towers such as cyclotomic and toric towers, and produces a perfectoid tower whose tilt matches the perfect tower in characteristic $p$ (Ishizuka, 2024, Ishiro et al., 8 Sep 2025). This prismatic construction systematizes the association of towers to $\delta$-rings, with the additional benefit of explicit functoriality with respect to geometrically meaningful operations.

Construction	Input object	Output: tower/base
Prismatic tower	Prism $(A,I)$, $\delta$-structure, $p$-root closure	$\{R_i = A/\varphi^i(I)\}$
Classical tower	$\mathbb{Z}_p$, $q$-crystalline prism	Cyclotomic tower
Delta-ring tower	$\delta$-ring $A$, stable ideal $I$	$A/I \to$ perfectoid tower

3. Purity, Invariants, and Homological Applications

Perfectoid purity extends the concept of (F-)purity from positive characteristic to mixed characteristic by stipulating the existence of pure extensions to perfectoid algebras. Purity is intertwined with quasi-$F$-splitting and directly measurable via local cohomology or Witt-vector computations, as well as via explicit (Fedder-style) criteria involving the splitting height and the action of Frobenius and Witt operators (Yoshikawa, 10 Feb 2025, Yoshikawa, 22 Oct 2025). A ring is perfectoid pure if, for an explicit splitting-order sequence $s(f)$, all entries are $\leq p-1$; the perfectoid-pure threshold then admits explicit rational formulas in terms of this sequence (Yoshikawa, 22 Oct 2025).

Critical invariants include the perfectoid $F$-signature $s_{\rm perf}(R)$ and perfectoid Hilbert-Kunz multiplicity $e_{\rm HK}^{\rm perf}(I; R)$, defined via the perfectoidization functor and normalized length (after Faltings, Gabber–Ramero). These invariants exactly detect regularity, finite local étale fundamental group, existence and structure of plus closure and big Cohen–Macaulay algebras, and are compatible with extension (quasi-étale maps) transformation rules (Cai et al., 2022).

Invariant	Mixed char. definition	Detects / characterizes
$s_{\rm perf}$	Normalized length after perfectoidization	Regularity, BCM-regularity
$e_{\rm HK}^{\rm perf}$	Length on perfectoidization	Ideal closure, Hilbert-Kunz mult.
Perfectoid rational signature	Min. difference of Hilbert-Kunz mult	BCM-rationality

4. Tilting, Ideal Theory, and Spectral Properties

The tilting correspondence extends from rings to their spectra and ideal structure. There exist mutually inverse, inclusion-preserving bijections between the set of $p$-adically closed (perfectoid) ideals of $R$ and $p^\flat$-adically closed radical ideals of $R^\flat$, preserving finite intersections and arbitrary sums (Dine et al., 2023). At the prime spectrum level, the correspondence yields a homeomorphism between the spectra of perfectoid primes and their tilts. This ideal-theoretic bridge provides a means to transfer geometric and homological properties, including dimension, decomposition, specialization, and rationality, between mixed- and equal-characteristic settings.

5. Geometric and Topological Applications

Perfectoid spaces form a central object class: affinoid perfectoid spaces are adic spectra $\Spa(R, R^+)$ with $R$ perfectoid; the tilting equivalence matches their underlying topological spaces and rational subdomains. Alternative frameworks (Berkovich-analytic, arc$_\varpi$-sheaves) offer a compact Hausdorff topology, yielding new perspectives on rational domains and facilitating analytic gluing arguments (Castano, 2023).

Perfectoid tower methods are applied to the calculation of étale cohomology, proving preservation or vanishing of prime-to-$p$ torsion and imposing finiteness on divisor class groups in local log-regular rings (Ishiro et al., 2022). The perfectoidization of arithmetic jet spaces attaches perfectoid Spa-spaces to schemes and $\delta$-morphisms, allowing arithmetic differential techniques to be imported into the perfectoid sphere (Buium et al., 2019).

Shimura varieties and automorphic forms have been reinterpreted and constructed at infinite level using perfectoid methods: the perfectoid structure at infinite level underpins the existence and interpolation of overconvergent Siegel modular forms and the Eichler–Shimura morphism (Diao et al., 2021), while stalkwise perfectoidness is characterized via geometric Sen operators, yielding vanishing theorems for completed cohomology (He, 2024).

6. Impact on Singularity Theory, Arithmetic Geometry, and Model Theory

Perfectoid methods enable the explicit computation and transfer of invariants relevant to singularity theory in mixed characteristic, including Hilbert–Kunz multiplicity, $F$-signature, and closure operations. These computations facilitate the effective enumeration and analysis of singularities with properties such as BCM-regularity, F-regularity, and rationality (Cai et al., 2022, Yoshikawa, 22 Oct 2025).

In model theory and arithmetic, perfectoid transfer principles establish analogues of the Ax–Kochen theorem: for any degree $d$, there is a ramified extension $E$ such that all untilts of $\mathbb{F}_p(\!(t^{1/p^\infty})\!)$ containing $E$ satisfy the $C_2(d)$ property; likewise, rational connectivity properties are shown to transfer between tilts and untilts (Kartas, 20 Apr 2025). These techniques depend crucially on perfectoid tilting and ultrapowers.

7. Purity Criteria, Descent, and Cohomological Vanishing

Purity for perfectoidness is established as a local property in the analytic (Riemann-Zariski) topology for certain inverse limits of semi-stable models: it suffices to verify perfectoidness at stalks corresponding to height-1 valuation rings (He, 2024). Differential criteria (via almost surjectivity of Kähler differentials) provide alternative intrinsic checks for perfectoidness. These local-to-global principles are leveraged to deduce vanishing of higher completed étale cohomology, generalizing vanishing theorems in the context of $p$-adic geometry (He, 2024, He, 2024).

---

References:

• "A calculation of the perfectoidization of semiperfectoid rings" (Ishizuka, 2023)
• "Perfectoid towers generated from prisms" (Ishizuka, 2024)
• "Computation method for perfectoid purity and perfectoid BCM-regularity" (Yoshikawa, 10 Feb 2025)
• "Perfectoid towers and their tilts..." (Ishiro et al., 2022)
• "A criterion for perfectoid fields" (Shahoseini et al., 2022)
• "Tilting and untilting for ideals in perfectoid rings" (Dine et al., 2023)
• "Perfectoid Tate Curve" (Bedi, 2018)
• "Perfectoid spaces arising from arithmetic jet spaces" (Buium et al., 2019)
• "A study of perfectoid rings via Galois cohomology" (Kinouchi et al., 3 May 2025)
• "A Berkovich Approach to Perfectoid Spaces" (Castano, 2023)
• "A Criterion for Perfectoid Purity and the Rationality of Thresholds" (Yoshikawa, 22 Oct 2025)
• "Purity for Perfectoidness" (He, 2024)
• "$\delta$-rings, perfectoid towers, and lim Cohen-Macaulay sequences" (Ishiro et al., 8 Sep 2025)
• "Perfectoid $C_i$ transfer" (Kartas, 20 Apr 2025)
• "Perfectoid signature, perfectoid Hilbert-Kunz multiplicity..." (Cai et al., 2022)
• "Perfectoid spaces" (Scholze, 2011)
• "Perfectoidness via Sen Theory and Applications to Shimura Varieties" (He, 2024)
• "Perfectoid overconvergent Siegel modular forms and the overconvergent Eichler-Shimura morphism" (Diao et al., 2021)