---
title: Perfectoid Pure Singularities in Mixed Characteristic
url: https://www.emergentmind.com/topics/perfectoid-pure-singularity
type: topic
---

# Perfectoid Pure Singularities in Mixed Characteristic

Perfectoid pure singularities are a mixed-characteristic analogue of \(F\)-pure and \(F\)-split singularities in characteristic \(p\), obtained by replacing Frobenius and perfection with perfectoid algebras and absolute perfectoidization. For a Noetherian ring with \(p\) in its Jacobson radical, the basic question is whether the ring admits a pure map into a perfectoid algebra, or equivalently in a weaker canonical form whether it is pure in its absolute perfectoidization. This framework extends the characteristic-\(p\) \(F\)-singularity package, interacts with Du Bois and log canonical singularities after inverting \(p\), and is part of the broader perfectoid program in which almost purity, tilting, and perfectoid big Cohen–Macaulay methods supply mixed-characteristic replacements for Frobenius techniques [2409.17965][1111.4914][1811.09843].

## 1. Definitions and formalism

Let \(R\) be a Noetherian ring with \(p\) in its Jacobson radical. The foundational definition is that \(R\) is **perfectoid pure** if there exists a perfectoid \(R\)-algebra \(B\) such that \(R \to B\) is pure, while \(R\) is **lim-perfectoid pure** if the canonical map
\[
R \to R_{\mathrm{perfd}}
\]
is pure in \(D(R)\). In this setting, a map in the derived category is called pure if it can be written as a filtered colimit of split maps. The distinction is therefore between an existential purity condition, using some perfectoid target, and a canonical purity condition, using the absolute perfectoidization [2409.17965].

The target objects are perfectoid rings in the sense recalled in mixed-characteristic singularity theory: a \(p\)-adically complete ring \(B\) is perfectoid if Frobenius on \(B/pB\) is surjective, the map \(\theta:W(B^\flat)\to B\) has principal kernel, and there exists \(\varpi\in B\) with \(\varpi^p=pu\) for some unit \(u\). For module maps, purity means injectivity after tensoring with every module. In characteristic \(p\), a ring is perfectoid iff it is perfect, so perfectoid purity becomes exactly \(F\)-purity [2504.02966].

The absolute perfectoidization admits several equivalent descriptions. It can be written as the inverse limit over all maps from \(R\) to perfectoid rings,
\[
R_{\mathrm{perfd}} = \varprojlim_{R\to B} B,
\]
computed in \(D(\mathbb Z_p)\), and it also satisfies
\[
R_{\mathrm{perfd}} = R\Gamma(\mathrm{arc}(R), \mathcal O).
\]
These descriptions make precise the idea that \(R_{\mathrm{perfd}}\) is the mixed-characteristic replacement for the perfect closure \(R^{\mathrm{perf}}\) in characteristic \(p\) [2409.17965].

## 2. Comparison with \(F\)-purity, \(F\)-injectivity, and log-canonical behavior

The current theory distinguishes four closely related singularity notions.

| Notion | Definition | Characteristic-\(p\) analogue |
|---|---|---|
| perfectoid pure | \(\exists\) perfectoid \(B\) with \(R\to B\) pure | \(F\)-pure |
| lim-perfectoid pure | \(R\to R_{\mathrm{perfd}}\) pure in \(D(R)\) | \(F\)-pure |
| perfectoid injective | \(\exists\) perfectoid \(B\) with \(H^i_{\mathfrak m}(R)\to H^i_{\mathfrak m}(B)\) injective | \(F\)-injective |
| lim-perfectoid injective | \(H^i_{\mathfrak m}(R)\to H^i_{\mathfrak m}(R_{\mathrm{perfd}})\) injective | \(F\)-injective |

In general one has
\[
\text{perfectoid pure} \Rightarrow \text{perfectoid injective}, \qquad
\text{lim-perfectoid pure} \Rightarrow \text{lim-perfectoid injective}.
\]
In quasi-Gorenstein or Gorenstein settings the converse implications hold in the corresponding pure/injective pairs, and if \(R\) is LCI then all four notions coincide. In characteristic \(p\), the theory recovers the usual equal-characteristic picture:
\[
\text{perfectoid pure} \iff \text{lim-perfectoid pure} \iff F\text{-pure},
\]
\[
\text{perfectoid injective} \iff \text{lim-perfectoid injective} \iff F\text{-injective}.
\]
This makes perfectoid purity a genuine mixed-characteristic extension of the classical \(F\)-singularity package [2409.17965].

The LCI case is particularly rigid. If \(R\) is a complete intersection and \(f\in R\) is a nonzerodivisor such that \(R/fR\) is perfectoid injective, then \((R,f)\) is perfectoid injective, hence \(R\) is perfectoid injective; because the four notions agree for LCI rings, this is an inversion-of-adjunction statement for perfectoid pure singularities. The same framework gives a basic lifting principle: if
\[
R=\mathbb Z_p[[x_1,\dots,x_n]]/(f_1,\dots,f_c)
\]
is a complete intersection and \(R/(p)\) is \(F\)-pure, then \(R\) is perfectoid pure [2409.17965].

The theory also links to characteristic-zero birational singularities after inverting \(p\). If \((R,\mathfrak m)\) is a lim-perfectoid injective Noetherian local ring of mixed characteristic \((0,p)\), essentially of finite type over a mixed-characteristic DVR, then \(R[1/p]\) has Du Bois singularities. If \(R\) is normal, \(Q\)-Gorenstein, and perfectoid pure, then \(R[1/p]\) is log canonical; if the \(Q\)-Gorenstein index is not divisible by \(p\), then \(R\) itself is log canonical. The same paper also proves that lim-perfectoid injective rings are reduced and weakly normal [2409.17965].

## 3. Compatible ideals and centers of perfectoid purity

A more refined local theory is furnished by **centers of perfectoid purity**, introduced as mixed-characteristic analogues of centers of \(F\)-purity and log canonical centers. For a complete Noetherian local ring \((R,\mathfrak m,k)\), after choosing a mixed-characteristic Noether normalization \(A=C_k[x_1,\dots,x_d]\) and the associated perfectoidization \(R_A^\infty\), an ideal \(a\subset R\) is called \(\varphi\)-compatible for a map \(\varphi\in\operatorname{Hom}_R(R_A^\infty,R)\) if \(\varphi(a^\infty)\subseteq a\), and it is **uniformly perfectoid compatible** if this holds for every such \(\varphi\). A prime ideal is then called a center of perfectoid purity for the pair \((R,\varphi)\) or for \(R\) itself in the uniform setting [2504.15569].

These compatible ideals behave formally like their characteristic-\(p\) counterparts. They are closed under intersections and sums, and when the relevant map is surjective they are radical. If \(R\) is perfectoid pure, the minimal primes of a uniformly perfectoid compatible ideal are again uniformly perfectoid compatible, and there are only finitely many uniformly perfectoid compatible ideals. The conductor ideal is a nonzero uniformly perfectoid compatible ideal, so the absence of nontrivial uniformly perfectoid compatible ideals detects normality [2504.15569].

The same paper constructs a mixed-characteristic analogue of the splitting prime of Aberbach–Enescu. Its role is to isolate the largest center where perfectoid purity fails, and it is explicitly designed to detect perfectoid purity of the ring. This is the singularity-theoretic mechanism behind statements that perfectoid purity can be read off from compatible ideals rather than from a chosen perfectoid algebra [2504.15569].

The relation to birational geometry is strong. In a complete Noetherian normal quasi-Gorenstein local ring of residue characteristic \(p>0\), every log canonical center is uniformly perfectoid compatible, and the multiplier ideal is uniformly perfectoid compatible as well. The theory is also stable under finite étale morphisms: splitting primes, compatible cores, and test ideals along primes commute with finite étale base change in the precise sense proved in the paper [2504.15569].

## 4. Computable criteria and threshold invariants

A central development is that perfectoid purity admits Fedder-style numerical criteria. For hypersurfaces in the ambient ring
\[
A := W(k)[[x_1,\ldots,x_N]],
\]
with Frobenius lift \(\phi(x_i)=x_i^p\), an element \(f\in A\) such that \((p,f)\) is a regular sequence, and the \(\delta\)-operator
\[
\Delta(a):=\frac{a^p-\phi(a)}{p},
\]
one defines an inductive **splitting-order sequence**
\[
s(f)=(s_0,s_1,\dots)\in\{0,\dots,p\}^{\mathbb N}.
\]
The main theorem states that if \(s_i\le p-1\) for every \(i\ge 0\), then \(A/f\) is perfectoid pure and
\[
\ppt(A/f,p)=\sum_{i\ge1}\frac{p-1-s_i}{p^i}.
\]
The same work proves that if \((R,m)\) is a regular local ring with \(0\neq p\in m\) and \(R/pR\) is \(F\)-finite, then \(\ppt(R,p)\) is a rational number [2510.19319].

A parallel computation method uses **quasi-\(F\)-splitting** in mixed characteristic. For a \(p\)-torsion free Noetherian local \(Z_{(p)}\)-algebra \(R\), one considers Witt-vector modules \(Q_{R,n}=W_n(R)\), defines \(n\)-quasi-\(F\)-split and the quasi-\(F\)-splitting height \(\mathrm{ht}(R)\), and strengthens this to quasi-\((F,F^\infty)\)-splitting. If \(R\) is a complete intersection, quasi-\((F,F^\infty)\)-split, and \(\mathrm{ht}(R)=n\), then \(R\) is perfectoid pure and
\[
\ppt(R;(p)) = 1-\frac1p-\cdots-\frac{1}{p^{n-1}}.
\]
This criterion is made explicit by a Fedder-type recursion for ideals \(I_n\) built from the Frobenius-lift calculus [2502.06108].

The threshold theory is already rich in explicit families. For \(f=x_1^N+\cdots+x_N^N\) and \(p>N\), the splitting-order sequence satisfies
\[
s_e+1\equiv p^e \pmod N,\qquad 0\le s_e\le N-2,
\]
hence \(A/f\) is perfectoid pure. In particular, for
\[
f=x_1^4+\cdots+x_4^4
\]
and \(p\equiv 3\pmod 4\), one obtains
\[
\ppt(A/f,p)=\frac{2}{p^2-1}.
\]
These are presented as new and unexpected examples of perfectoid pure singularities [2510.19319].

For lifts of rational double points, the perfectoid pure threshold becomes a highly structured discrete invariant. If
\[
\Sigma := \{ \ppt(R,p) \mid \text{$R$ is a $W(k)$-lift of an RDP of characteristic $p$ over $k$} \},
\]
then \(\Sigma\subseteq \mathbb Q\), \(\Sigma\) satisfies ACC, and in characteristic \(2\) it contains all reciprocals \(1/m\) with \(m\ge 1\); moreover, every accumulation point of \(\Sigma\) is \(0\). This demonstrates that perfectoid pure thresholds are not merely ad hoc numerical devices, but form a discrete singularity spectrum analogous to threshold invariants in other singularity theories [2603.24926].

## 5. Deformation, local–global correspondence, and examples

Perfectoid purity also deforms upward from characteristic \(p\) under strong hypotheses. If \((R,\mathfrak m,k)\) is a complete local ring of mixed characteristic \((0,p)\) and \(R/pR\) is an \(F\)-pure Gorenstein domain, then \(R\) is perfectoid pure; more generally, analytically irreducible \(F\)-pure Gorenstein special fiber suffices after reduction. The proof passes through splinters: local splinters of mixed characteristic are perfectoid pure, and the deformation problem for perfectoid purity is reduced to a deformation problem for splinters via a Heitmann-style completion construction and the perfectoid \(p\)-completion of \(R^+\) [2504.02966].

A global geometric counterpart is given by **lim-perfectoid splitting**. For a quasi-compact separated scheme \(X\), one asks whether the canonical morphism
\[
\mathcal O_{\widehat X} \to \mathcal O_{\widehat X,\perfd}
\]
is ind-split on the \(p\)-adic completion \(\widehat X\). On affines this matches the local notions:
\[
R \text{ is lim-perfectoid pure } \iff \operatorname{Spec}(R)\text{ is lim-perfectoid split},
\]
\[
R \text{ is perfectoid pure } \iff \operatorname{Spec}(R)\text{ is perfectoid split}.
\]
For a flat projective \(V\)-scheme \(X\) with section ring
\[
R=\bigoplus_{m\ge 0} H^0(X,\mathcal O_X(m)),
\]
under Cohen–Macaulay and Calabi–Yau/Fano/canonical hypotheses, injectivity of
\[
H^{d+1}_{(p,R_+)}(R)\to H^{d+1}_{(p,R_+)}(R_{\perfd})
\]
implies that \(X\) is lim-perfectoid split, and converses hold in the stated cases. If \(X\) is a complete intersection in projective space, then
\[
X \text{ is perfectoid split} \iff X \text{ is lim-perfectoid split}.
\]
This is the mixed-characteristic analogue of the local–global correspondence between Frobenius splitting and \(F\)-purity of section rings [2604.25265].

The examples produced by these methods go beyond earlier complete-intersection or splinter-type constructions. Every \(W(k)\)-lift of an elliptic curve over a perfect field \(k\) is perfectoid split, so the \(p\)-adic completion of its section ring is lim-perfectoid pure. The canonical \(W(k)\)-lift of an ordinary abelian variety is perfectoid split. For \(p\neq 2\), every smooth quartic in \(\mathbf P^3_{W(k)}\) is lim-perfectoid split, and the corresponding section rings are lim-perfectoid pure; the Fermat quartic K3 surface yields lim-perfectoid pure section rings even for ample line bundles not of the form \(\mathcal O_X(m)\) [2604.25265].

Other explicit families arise from the LCI and Frobenius-liftable theories. If
\[
\mathbb Z_p[[x,y,z]]/(x^3+y^3+z^3)
\]
has \(p\equiv 1\pmod 3\), then it is perfectoid pure. More generally, mixed-characteristic lifts of \(F\)-pure complete intersections, as well as certain Frobenius-liftable quasi-Gorenstein singularities with \(F\)-split special fiber, furnish concrete examples of perfectoid pure or perfectoid injective rings [2409.17965].

## 6. Relation to broader perfectoid singularity theory

Perfectoid pure singularities sit inside a wider mixed-characteristic hierarchy. A stronger notion is **perfectoid BCM-regularity**, defined by requiring that every map from \(R\) to a perfectoid big Cohen–Macaulay \(R\)-algebra be pure. This is the mixed-characteristic analogue of strong \(F\)-regularity. In graded settings with log Fano-type hypotheses, quasi-\(F\)-splitting implies perfectoid BCM-regularity, and in characteristic \(2\) the converse holds in the theorem proved there [2502.06108].

The theory also admits quantitative invariants analogous to \(F\)-signature and Hilbert–Kunz multiplicity. Using Bhatt–Scholze perfectoidization and Faltings’s normalized length, one defines the **perfectoid signature** \(s^{\mathrm{perfd}}(R)\) and **perfectoid Hilbert–Kunz multiplicity** \(e^{\mathrm{perfd}}(J;R)\). In equal characteristic \(p>0\) these coincide with classical \(F\)-signature and Hilbert–Kunz multiplicity; in mixed characteristic,
\[
s^{\mathrm{perfd}}(R)=1 \iff R \text{ regular}, \qquad e^{\mathrm{perfd}}(R)=1 \iff R \text{ regular}.
\]
Moreover, positivity of perfectoid signature implies weakly BCM-regular behavior, the signature transforms under split quasi-étale maps by the same degree formula as \(F\)-signature, and the theory yields finiteness of local étale fundamental groups and torsion in divisor class groups for BCM-regular rings [2209.04046].

Conceptually, this entire singularity theory depends on the foundational properties of perfectoid rings and spaces. Perfectoid geometry supplies the tilting equivalence, the almost purity theorem, and the principle that finite étale covers of perfectoid objects remain perfectoid and are almost finite étale on integral structures. In commutative algebra, perfectoid techniques also underlie the direct summand conjecture, the existence of perfectoid big Cohen–Macaulay algebras, and the first mixed-characteristic bridge from Frobenius-based singularity theory toward characteristic-zero birational singularities. Perfectoid pure singularities are one of the main local manifestations of that bridge [1111.4914][1811.09843].

Source: https://www.emergentmind.com/topics/perfectoid-pure-singularity