Pith. sign in

REVIEW 3 minor 1 references

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

T0 review · 0 major / 3 minor · reviewed 2026-05-07 · grok-4.3

Pith's one-line read Smooth Calabi-Yau hypersurfaces over complete unramified DVRs are perfectoid split when p exceeds relative dimension and does not divide d.

desk verdict The paper gives explicit p-bounds for perfectoid splitting on Calabi-Yau hypersurfaces and global +-regularity on Fano hypersurfaces. read the letter →

arxiv 2604.27270 v1 submitted 2026-04-29 math.AG

classification math.AG
keywords perfectoidsplittingglobal+-regularityCalabi-YauhypersurfacesFanodiscretevaluationringsmixedcharacteristicsmoothalgebraicgeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

Load-bearing premise

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

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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] §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.
  2. [§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.
  3. [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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Perfectoid splitting and global $+$-regularity for smooth hypersurfaces." pith.science (2026). https://pith.science/paper/2604.27270

@misc{pith2026260427270,
  author       = {Pith},
  title        = {Pith review of: Perfectoid splitting and global $+$-regularity for smooth hypersurfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.27270}},
  note         = {Machine review of arXiv:2604.27270}
}
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$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

  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...

Pith tools

Reviewed May 7, 2026 · model on record in the stance chip above.