Perfectoid splitting and global $+$-regularity for smooth hypersurfaces

Shou Yoshikawa

arxiv: 2604.27270 · v1 · submitted 2026-04-29 · 🧮 math.AG

Perfectoid splitting and global +-regularity for smooth hypersurfaces

Shou Yoshikawa This is my paper

Pith reviewed 2026-05-07 09:23 UTC · model grok-4.3

classification 🧮 math.AG

keywords perfectoid splittingglobal +-regularityCalabi-Yau hypersurfacesFano hypersurfacesdiscrete valuation ringsmixed characteristicsmooth hypersurfacesalgebraic geometry

0 comments

The pith

Smooth Calabi-Yau hypersurfaces over complete unramified DVRs are perfectoid split when p exceeds relative dimension and does not divide d.

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

The paper proves that smooth Calabi-Yau hypersurfaces of degree d over complete unramified discrete valuation rings with residue characteristic p become perfectoid split once p surpasses the relative dimension and avoids dividing d. It further establishes that unramified lifts of smooth Fano hypersurfaces from positive characteristic are globally +-regular under the conditions p at least the dimension and p not dividing d. These results matter because they supply regularity tools that operate directly in mixed characteristic without extra ramification. A sympathetic reader cares since the properties let geometric invariants behave well across characteristics when the prime is large enough.

Core claim

We prove that smooth Calabi--Yau hypersurfaces of degree d over complete unramified discrete valuation rings with residue characteristic p are perfectoid split if p is larger than the relative dimension and p does not divide d. We also show that unramified lifts of smooth Fano hypersurfaces over fields of characteristic p>0 are globally +-regular if p is at least the dimension of X and p does not divide d.

What carries the argument

Perfectoid splitting, the property that the structure sheaf admits a splitting map in the perfectoid sense after base change to a perfectoid ring, which carries the regularity argument for both Calabi-Yau and Fano cases.

If this is right

Smooth Calabi-Yau hypersurfaces satisfy perfectoid splitting and therefore inherit associated vanishing and cohomology properties in mixed characteristic.
Unramified lifts of Fano hypersurfaces satisfy global +-regularity and therefore behave regularly under the given size and divisibility conditions on p.
The splitting and regularity hold uniformly once p clears the stated thresholds without further singularity assumptions.
These properties extend positive-characteristic regularity statements to the mixed-characteristic setting for the hypersurface classes considered.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same size conditions on p may allow similar splitting statements for other smooth complete intersections beyond hypersurfaces.
The results suggest that perfectoid techniques can detect regularity for Calabi-Yau threefolds in arithmetic families once p exceeds three and avoids the degree.
One could test the statements by computing the relevant splitting maps explicitly for low-degree examples such as quartic surfaces or quintic threefolds in large characteristic.

Load-bearing premise

The hypersurface remains smooth after reduction to the residue field and the base ring is a complete unramified discrete valuation ring.

What would settle it

An explicit smooth Calabi-Yau hypersurface of degree d over such a ring where p exceeds the relative dimension yet the perfectoid splitting map fails to exist.

read the original abstract

In this paper, we prove that smooth Calabi--Yau hypersurfaces of degree $d$ over complete unramified discrete valuation rings with residue characteristic $p$ are perfectoid split if $p$ is larger than the relative dimension and $p\nmid d$. We also show that unramified lifts of smooth Fano hypersurfaces over fields of characteristic $p>0$ are globally $+$-regular if $p\ge \dim X$ and $p\nmid d$.

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 explicit p-bounds for perfectoid splitting on Calabi-Yau hypersurfaces and global +-regularity on Fano hypersurfaces.

read the letter

The main results are that smooth Calabi-Yau hypersurfaces of degree d over complete unramified DVRs with residue characteristic p are perfectoid split if p is larger than the relative dimension and p does not divide d. Unramified lifts of smooth Fano hypersurfaces are globally +-regular when p is at least the dimension and p does not divide d. This work applies perfectoid and +-regularity techniques to these specific hypersurface families in mixed characteristic. It does well by giving explicit numerical conditions that make the statements practical for examples like Calabi-Yau threefolds or Fano varieties. The conditions on p and d are standard ones to avoid torsion and ramification issues, and the paper presents them cleanly. The soft spots are small. The results depend on the usual assumptions of smoothness after base change to the residue field and the ring being complete and unramified. The proofs likely follow from prior theory without major new ideas, so the contribution is in the application. No circularity or hidden fitting appears in the claims. This paper is for arithmetic geometers interested in perfectoid methods and regularity in mixed characteristic. Readers working on hypersurfaces in this setting would get direct value from the theorems. It deserves a serious referee. The claims are specific and the area is one where such extensions are worth checking. I would bring it to a reading group on arithmetic algebraic geometry. I would not cite it in my own work in the next year unless applying those bounds directly. It should be sent for peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves two results on hypersurfaces in mixed and positive characteristic. Smooth Calabi-Yau hypersurfaces of degree d over complete unramified discrete valuation rings with residue characteristic p are shown to be perfectoid split whenever p exceeds the relative dimension and p does not divide d. Unramified lifts of smooth Fano hypersurfaces over fields of characteristic p>0 are shown to be globally +-regular whenever p is at least the dimension of the variety and p does not divide d.

Significance. If the proofs are correct, the results supply concrete families of varieties satisfying perfectoid splitting and global +-regularity under standard numerical conditions on p. These examples may be useful for testing conjectures in p-adic Hodge theory, for constructing test ideals or multiplier ideals in mixed characteristic, and for studying arithmetic properties of Calabi-Yau and Fano hypersurfaces. The work builds directly on existing perfectoid and +-regularity machinery without introducing new ad-hoc constructions.

minor comments (3)

[§1] §1 (Introduction): the statement of the main theorems could explicitly record the ambient projective space and the precise equation of the hypersurface to make the geometric setup immediately visible to readers unfamiliar with the notation.
[§3] §3 (Proof of perfectoid splitting): the reduction step that smoothness over the DVR implies smoothness over the residue field is used repeatedly; a short dedicated lemma or reference to a standard result (e.g., from EGA) would improve readability.
[Preliminaries] Notation: the symbol “+” in “globally +-regular” is introduced without a forward reference to its definition in the literature on perfectoid rings; adding one sentence in the preliminaries would eliminate ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our results on perfectoid splitting for Calabi-Yau hypersurfaces and global +-regularity for Fano hypersurfaces, as well as for recommending minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states its main theorems as direct consequences of prior results on perfectoid splitting and global +-regularity, conditioned on standard smoothness and p-bound assumptions that do not redefine or fit the target properties internally. No equations, ansatzes, or self-citations are presented that reduce the claimed splitting or regularity statements to the inputs by construction; the derivation chain remains self-contained against external benchmarks in algebraic geometry and p-adic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claims rest on the existing theory of perfectoid rings, smoothness of hypersurfaces, and the definitions of perfectoid splitting and global +-regularity; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

standard math Standard properties of perfectoid rings and unramified extensions in p-adic geometry
The proof framework presupposes the established machinery of perfectoid spaces and the behavior of smooth hypersurfaces under base change.

pith-pipeline@v0.9.0 · 5363 in / 1435 out tokens · 76131 ms · 2026-05-07T09:23:33.410089+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

[1]

Bhatt, L

[Bha25] B. Bhatt,Aspects ofp-adic hodge theory, 2025. [BMP+23] B. Bhatt, L. Ma, Z. Patakfalvi, K. Schwede, K. Tucker, J. Waldron, and J. Witaszek, Globally +-regular varieties and the minimal model program for threefolds in mixed char- acteristic, Publ. Math. Inst. Hautes ´Etudes Sci.138(2023), 69–227. MR4666931 [BMP+24] ,Perfectoid pure singularities, ar...

work page arXiv 2025

[1] [1]

Bhatt, L

[Bha25] B. Bhatt,Aspects ofp-adic hodge theory, 2025. [BMP+23] B. Bhatt, L. Ma, Z. Patakfalvi, K. Schwede, K. Tucker, J. Waldron, and J. Witaszek, Globally +-regular varieties and the minimal model program for threefolds in mixed char- acteristic, Publ. Math. Inst. Hautes ´Etudes Sci.138(2023), 69–227. MR4666931 [BMP+24] ,Perfectoid pure singularities, ar...

work page arXiv 2025