arxiv: 2510.19319 · v4 · submitted 2025-10-22 · 🧮 math.AG

A Criterion for Perfectoid Purity and the Rationality of Thresholds

Shou Yoshikawa This is my paper

Pith reviewed 2026-05-18 05:13 UTC · model grok-4.3

classification 🧮 math.AG

keywords perfectoid puritysplitting-order sequenceperfectoid-pure thresholdhypersurfaceregular local ringrationalityFermat hypersurfaceCalabi-Yau

0 comments

The pith

If the splitting-order sequence of a hypersurface has all entries at most p-1, then the hypersurface is perfectoid pure and its threshold is rational.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure, expressed through an explicitly computable sequence of integers called the splitting-order sequence. When every entry in this sequence is no larger than p minus one, the hypersurface satisfies perfectoid purity and the exact value of the perfectoid-pure threshold follows directly from the sequence entries. This yields the general conclusion that the perfectoid pure threshold of any regular local ring with respect to a prime p is always a rational number. The same criterion produces new examples by showing that cones over Fermat-type Calabi-Yau hypersurfaces become perfectoid pure for all sufficiently large primes p.

Core claim

Our main theorem shows that if all entries of the sequence are at most p-1, then the hypersurface is perfectoid pure, and the perfectoid-pure threshold can be computed explicitly from it. As a consequence, we prove that for any regular local ring R, the perfectoid pure threshold ppt(R,p) with respect to p is always a rational number. Moreover, we show that for sufficiently large primes p, the cone over a Fermat type Calabi-Yau hypersurface is perfectoid pure.

What carries the argument

The splitting-order sequence, an explicitly computable sequence of integers that provides a sufficient condition for perfectoid purity when bounded by p-1.

Load-bearing premise

The splitting-order sequence is well-defined and explicitly computable, and the bound on its entries implies perfectoid purity for hypersurfaces in unramified regular local rings.

What would settle it

A concrete counterexample would be a regular local ring for which the perfectoid pure threshold is shown to be irrational, or a hypersurface whose splitting-order sequence entries are all at most p-1 yet fails to be perfectoid pure.

read the original abstract

We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the splitting-order sequence. Our main theorem shows that if all entries of the sequence are at most $p-1$, then the hypersurface is perfectoid pure, and the perfectoid-pure threshold can be computed explicitly from it. As a consequence, we prove that for any regular local ring $R$, the perfectoid pure threshold $\mathrm{ppt}(R,p)$ with respect to $p$ is always a rational number. Moreover, we show that for sufficiently large primes $p$, the cone over a Fermat type Calabi-Yau hypersurface is perfectoid pure, revealing new and unexpected examples of perfectoid pure singularities. Moreover, we show that for sufficiently large primes $p$, the cone over a Fermat type Calabi-Yau hypersurface is perfectoid pure, revealing new and unexpected examples of perfectoid pure singularities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a workable sufficient criterion for perfectoid purity via an explicit splitting-order sequence in the unramified case and derives rationality of the threshold from it, but the jump to arbitrary regular local rings is the part that needs verification.

read the letter

The main contribution is a new sufficient condition: for a hypersurface in an unramified regular local ring, if every term in the splitting-order sequence is at most p-1, then the hypersurface is perfectoid pure and the threshold is given by a direct formula from the sequence. This produces the rationality statement for ppt(R,p) and also yields some concrete examples where cones over Fermat-type Calabi-Yau hypersurfaces are perfectoid pure for large p. The sequence itself looks like a genuine addition; it turns an abstract purity question into something one can compute term by term from the equation of the hypersurface. That is the part that feels useful and new relative to earlier work on perfectoid purity. The argument for the unramified setting appears direct and avoids circularity or hidden fitting. The examples are a modest but welcome byproduct. The soft spot is the generality claim. The criterion and the explicit computation are stated for unramified regular local rings, yet the paper concludes that the threshold is rational for every regular local ring. It is not clear how the reduction from a ramified ring to an unramified one is handled, or whether the sequence bound continues to hold without extra assumptions. If that step relies on an argument that is not fully spelled out, the rationality result for the general case rests on thinner ground than the unramified case. Readers working in p-adic commutative algebra or on singularity invariants will find the explicit sequence and the new examples worth looking at. The paper is narrow enough that only a small group will care, but the rationality claim addresses a question that has been open in the subfield. It is worth sending to a serious referee so the details on the ramified case and the verification of the sequence can be checked properly. I would recommend peer review.

Referee Report

1 major / 1 minor

Summary. The paper introduces a splitting-order sequence for hypersurfaces in unramified regular local rings. Its main theorem gives a sufficient condition: if every entry of the sequence is at most p-1, then the hypersurface is perfectoid pure and the perfectoid-pure threshold is explicitly computable from the sequence (hence rational). As a consequence the authors assert that ppt(R,p) is rational for every regular local ring R (not necessarily unramified). They also exhibit new examples: for all sufficiently large p the cone over a Fermat-type Calabi-Yau hypersurface is perfectoid pure.

Significance. If the criterion is correct and the passage from the unramified case to arbitrary regular local rings is justified, the work supplies an explicit, computable test for perfectoid purity together with a proof that the associated threshold is always rational. Both results would be of interest in the study of singularities in mixed characteristic.

major comments (1)

[Abstract / Main Theorem] Abstract and main theorem statement: the sufficient criterion is formulated only for unramified regular local rings, yet the abstract concludes that ppt(R,p) is rational for every regular local ring R. No argument is supplied showing that the threshold is preserved under passage to the unramified case or that the splitting-order sequence remains bounded by p-1 in the ramified setting. If the bound fails for some ramified R, the explicit-computation step does not apply and the rationality claim is not covered by the stated theorem.

minor comments (1)

[Abstract] The final sentence of the abstract is repeated verbatim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which help clarify the presentation of our results. We address the major concern point by point below and outline the revisions we will make to strengthen the manuscript.

read point-by-point responses

Referee: [Abstract / Main Theorem] Abstract and main theorem statement: the sufficient criterion is formulated only for unramified regular local rings, yet the abstract concludes that ppt(R,p) is rational for every regular local ring R. No argument is supplied showing that the threshold is preserved under passage to the unramified case or that the splitting-order sequence remains bounded by p-1 in the ramified setting. If the bound fails for some ramified R, the explicit-computation step does not apply and the rationality claim is not covered by the stated theorem.

Authors: We agree that the transition from the unramified case to arbitrary regular local rings requires more explicit justification in the current draft. The rationality claim for general R is intended to follow from a reduction to the unramified setting (via base change to a suitable unramified regular local ring containing R, such as a localization of a power series ring over the Witt vectors), under which perfectoid purity and the associated threshold are preserved. However, this reduction step is only sketched implicitly and not detailed in the introduction or main body. To resolve the referee's valid point, we will add a dedicated paragraph in the introduction and a short subsection (likely after the statement of the main theorem) that explicitly describes the reduction, confirms invariance of the perfectoid pure threshold, and verifies that the splitting-order sequence can be defined or bounded analogously in the ramified case so that the explicit computation applies. This will make the argument self-contained. revision: yes

Circularity Check

0 steps flagged

No circularity: new sequence provides independent sufficient criterion

full rationale

The paper introduces a novel splitting-order sequence that is explicitly computable for the hypersurfaces considered. The main theorem states a sufficient condition: when all sequence entries are at most p-1, the hypersurface is perfectoid pure and the threshold is explicitly computable from the sequence (hence rational). The consequence that ppt(R,p) is always rational for any regular local ring R is presented as following from this criterion. No step reduces the claimed result to its inputs by definition, by renaming a fitted parameter as a prediction, or by a load-bearing self-citation chain. The derivation relies on the newly defined sequence together with standard background notions and is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on standard definitions of perfectoid rings and regular local rings together with the newly introduced splitting-order sequence; no numerical parameters are fitted to data.

axioms (1)

domain assumption Standard properties of unramified regular local rings and perfectoid rings hold as background.
Invoked throughout the statement of the main theorem.

invented entities (1)

splitting-order sequence no independent evidence
purpose: Provides an explicitly computable criterion for perfectoid purity.
Newly defined sequence of integers whose entries determine the purity conclusion.

pith-pipeline@v0.9.0 · 5708 in / 1145 out tokens · 37950 ms · 2026-05-18T05:13:01.504138+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

if all entries of the sequence are at most p-1, then the hypersurface is perfectoid pure, and the perfectoid-pure threshold can be computed explicitly from it... ppt(A/f,p)=∑(p-1-s_n)/p^n
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

for any regular local ring R, the perfectoid pure threshold ppt(R,p) is always a rational number

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

An explicit formula for the Artin invariant of smooth K3 hypersurfaces
math.AG 2026-05 unverdicted novelty 7.0

The Artin invariant of a smooth K3 hypersurface is characterized in terms of quasi-F-splitting, yielding an explicit formula.
A local-global correspondence for perfectoid purity
math.AG 2026-04 unverdicted novelty 7.0

A correspondence is shown between lim-perfectoid splitting of projective schemes and lim-perfectoid purity of their Gorenstein section rings, supplying new examples of lim-perfectoid pure rings.
A local-global correspondence for perfectoid purity
math.AG 2026-04 unverdicted novelty 5.0

A correspondence links lim-perfectoid splitting of projective schemes to lim-perfectoid purity of their Gorenstein section rings, supplying new examples of lim-perfectoid pure rings beyond complete intersections and s...