Pith. sign in

REVIEW 1 major objections 1 minor 24 references

Regular rings and perfectoid towers

T0 review · 1 major / 1 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A Noetherian local ring of residue characteristic p is regular exactly when it admits a flat map to a Noetherian ring that extends to a perfectoid tower.

desk verdict The paper deduces a perfectoid-tower version of Kunz's theorem in mixed characteristic from Gabber-Lurie, plus a Tor vanishing criterion. read the letter →

arxiv 2605.27337 v1 pith:GHPK3XPT submitted 2026-05-26 math.AC

Kazuki Hayashi This is my paper · ORCID
classification math.AC
keywords regularringsperfectoidtowersmixedcharacteristicKunztheoremNoetherianlocalTormodulescommutativealgebra
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 establishes an if-and-only-if criterion for regularity of Noetherian local rings in mixed characteristic using the language of perfectoid towers. It shows this condition is equivalent to the ring admitting a flat map into a Noetherian ring that sits inside such a tower. The argument deduces the statement directly from a prior mixed-characteristic result of Gabber and Lurie. A sympathetic reader would care because the criterion supplies a concrete test for regularity that parallels Kunz's theorem but works when the residue characteristic is p. The paper adds a second characterization: regularity along a perfectoid tower is detected by the vanishing of one higher Tor module of the residue field against the perfectoid algebra.

What carries the argument

The perfectoid tower that extends a flat image of the ring, which reduces the regularity question to the Gabber-Lurie criterion.

What would settle it

Exhibit either a non-regular Noetherian local ring of residue characteristic p that nevertheless admits a flat map to a Noetherian ring extendable to a perfectoid tower, or a regular such ring for which no such flat map and tower exist.

Watch

Extended reading notes

Core claim

A Noetherian local ring R of residue characteristic p is regular if and only if there exists a flat map from R to a Noetherian ring S such that S extends to a perfectoid tower. For rings that already lie in a perfectoid tower, regularity is equivalent to the vanishing of a single higher Tor module between the residue field of R and the perfectoid algebra.

Load-bearing premise

The main theorem is obtained by applying a prior mixed-characteristic analogue due to Gabber and Lurie, without independent verification of that result supplied here.

Editorial extensions

If this is right

  • Regularity of Noetherian local rings in mixed characteristic is equivalent to the existence of a flat map into a ring that extends to a perfectoid tower.
  • The new criterion supplies a mixed-characteristic version of Kunz's theorem.
  • Along a perfectoid tower, regularity of the base ring follows from the vanishing of one higher Tor module of the residue field against the perfectoid algebra.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The result may allow regularity to be checked by constructing explicit flat maps into perfectoid-compatible rings rather than by direct computation of the maximal ideal.
  • Similar tower-based criteria could be investigated for other ring-theoretic properties that admit mixed-characteristic analogues.
  • The dependence on the Gabber-Lurie theorem means any future strengthening or weakening of that prior result would immediately translate to a corresponding change in this criterion.
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

1 major / 1 minor

Summary. The paper claims to prove a mixed-characteristic analogue of Kunz's theorem: a Noetherian local ring of residue characteristic p is regular if and only if it admits a flat map to a Noetherian ring that extends to a perfectoid tower. This result is deduced from a prior mixed-characteristic analogue due to Gabber and Lurie. It also characterizes regularity for perfectoid towers via vanishing of a single higher Tor-module of the residue field with a perfectoid algebra.

Significance. If the deduction is valid, this provides a useful mixed-characteristic analogue of Kunz's theorem linking regularity to the existence of flat maps extending to perfectoid towers. The Tor-vanishing characterization may be of independent interest for studying perfectoid algebras. The paper appropriately builds on the established Gabber-Lurie result rather than reproving it from scratch.

major comments (1)
  1. [Abstract] Abstract: The central iff claim is explicitly presented as a deduction from the Gabber-Lurie mixed-characteristic analogue, but the manuscript supplies no explicit reduction steps showing that the flat map to the Noetherian ring together with the extension to a perfectoid tower satisfy the hypotheses of the prior result (including any requirements on flatness or the tower) without introducing hidden assumptions on the residue characteristic p or the Noetherian property. This deduction is load-bearing for the main theorem.
minor comments (1)
  1. The abstract would be clearer if it cited the specific theorem or section number from the Gabber-Lurie work being invoked for the deduction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need for greater explicitness in the deduction from the Gabber-Lurie result. We address the major comment below and will revise accordingly.

read point-by-point responses

  1. Referee: The central iff claim is explicitly presented as a deduction from the Gabber-Lurie mixed-characteristic analogue, but the manuscript supplies no explicit reduction steps showing that the flat map to the Noetherian ring together with the extension to a perfectoid tower satisfy the hypotheses of the prior result (including any requirements on flatness or the tower) without introducing hidden assumptions on the residue characteristic p or the Noetherian property. This deduction is load-bearing for the main theorem.

    Authors: We agree that the deduction, while valid, would benefit from explicit verification. The manuscript states that the result follows from the Gabber-Lurie analogue but does not spell out the reduction. In the revised version we will insert a short paragraph (or subsection) immediately after the statement of the main theorem that records the precise hypotheses of Gabber-Lurie, confirms that the flat map to a Noetherian ring together with its extension to a perfectoid tower meets every listed requirement (flatness of the map, the tower being perfectoid, etc.), and notes that the only data used are the Noetherian local ring of residue characteristic p and the given flat map; no additional restrictions on p or on the Noetherian property are imposed. This will make the load-bearing step fully transparent without altering the logical content of the argument. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; central claim deduced from external Gabber-Lurie theorem

full rationale

The paper's main theorem is explicitly stated as deduced from a prior mixed-characteristic result by O. Gabber and J. Lurie (distinct authors). No self-citation load-bearing, self-definitional, fitted-input, ansatz-smuggling, or renaming patterns appear in the abstract or derivation description. The iff statement does not reduce to its own inputs by construction; it rests on independent external literature. This is the normal case of a result building on prior verified work rather than circular reduction.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

Abstract-only review provides no explicit free parameters or invented entities; the argument rests on standard background assumptions of perfectoid ring theory and the cited Gabber-Lurie result.

assumptions (2)
  • domain assumption Standard properties of perfectoid rings and perfectoid towers in mixed characteristic
    Invoked throughout the statement of the theorem and the second Tor-vanishing characterization.
  • domain assumption The mixed-characteristic analogue of Kunz's theorem due to Gabber and Lurie
    The paper states its main result is deduced from this prior theorem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Regular rings and perfectoid towers." pith.science (2026). https://pith.science/paper/GHPK3XPT

@misc{pith2026260527337,
  author       = {Pith},
  title        = {Pith review of: Regular rings and perfectoid towers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GHPK3XPT}},
  note         = {Machine review of arXiv:2605.27337}
}
abstract

We prove a mixed-characteristic analogue of Kunz's theorem in terms of perfectoid towers: a Noetherian local ring of residue characteristic $p$ is regular if and only if it admits a flat map to a Noetherian ring that extends to a perfectoid tower. This result is deduced from another mixed-characteristic analogue due to O. Gabber and J. Lurie. We also characterize regularity for perfectoid towers via vanishing of single higher $\mathrm{Tor}$-module of the residue field with a perfectoid algebra.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 2 canonical work pages

  1. [1]

    I. M. Aberbach, J. Li, Asymptotic vanishing conditions which force regularity in local rings of prime characteristic, Math.\ Res.\ Lett.\ 15(4), (2008), 815--820

    2008

  2. [2]

    Alper, Adequate moduli spaces and geometrically reductive group schemes, Algebr.\ Geom.\ 1(4), (2014), 489--531

    J. Alper, Adequate moduli spaces and geometrically reductive group schemes, Algebr.\ Geom.\ 1(4), (2014), 489--531

    2014

  3. [3]

    Barshay, Graded algebras of powers of ideals generated by A -sequences, J.\ Algebra 25, (1973), 90--99

    J. Barshay, Graded algebras of powers of ideals generated by A -sequences, J.\ Algebra 25, (1973), 90--99

    1973

  4. [4]

    Bhatt, On the direct summand conjecture and its derived variant, Invent.\ Math.\ 212(2), (2018), 297--317

    B. Bhatt, On the direct summand conjecture and its derived variant, Invent.\ Math.\ 212(2), (2018), 297--317

    2018

  5. [5]

    Bhatt, S

    B. Bhatt, S. B. Iyengar, L. Ma, Regular rings and perfect(oid) algebras, Comm.\ Algebra 47(6), (2019), 2367--2383

    2019

  6. [6]

    Bourbaki, Elements of mathematics

    N. Bourbaki, Elements of mathematics. Commutative algebra. Hermann, Publishers in Arts and Science, Paris, and Addison--Wesley Publishing Co., Reading, MA, etc., 1972

    1972

  7. [7]

    Christensen, S

    L. Christensen, S. B. Iyengar, T. Marley, Rigidity of and with coefficients in residue fields of a commutative noetherian ring Proc.\ Edinb.\ Math.\ Soc.\ 62, (2019), 305--321

    2019

  8. [8]

    Fujiwara, F

    K. Fujiwara, F. Kato, Foundations of Rigid Geometry I, EMS Monographs in Mathematics, 2018

    2018

Show all 24 references
  1. [9]

    Gabber, L

    O. Gabber, L. Ramero, Almost ring theory, Lecture Notes in Mathematics, 1800, Springer-Verlag, Berlin, 2003

    2003

  2. [10]

    Gabber, L

    O. Gabber, L. Ramero, Almost rings and perfectoid spaces, October 1, 2024, Release 8, https://pro.univ-lille.fr/fileadmin/user_upload/pages_pros/lorenzo_ramero/hodge.pdf

    2024

  3. [11]

    Hayashi, Structural properties and tilting correspondences of perfectoid towers, in preparation

    K. Hayashi, Structural properties and tilting correspondences of perfectoid towers, in preparation

  4. [12]

    Hayashi, A characterization of perfectoid towers in terms of conormal cones, in preparation

    K. Hayashi, A characterization of perfectoid towers in terms of conormal cones, in preparation

  5. [13]

    Hayashi, S

    K. Hayashi, S. Ishiro, K. Shimomoto, An application of Fontaine's monoidal maps to perfectoid towers, preprint, (2026), arXiv:2602.21605 https://arxiv.org/abs/2602.21605

    2026

  6. [14]

    Hochster, C

    M. Hochster, C. Huneke, F -Regularity, Test Elements, and Smooth Base Change, Trans.\ Amer.\ Math.\ Soc.\ 346(1), (1994), 1--61

    1994

  7. [15]

    Ishiro, K

    S. Ishiro, K. Nakazato, K. Shimomoto, Perfectoid towers and their tilts: with an application to the \' e tale cohomology groups of local log-regular rings , Algebra Number Theory 19(12), (2025), 2307--2358

    2025

  8. [16]

    Ishiro, K

    S. Ishiro, K. Shimomoto, -rings, perfectoid towers, and lim Cohen-Macaulay sequences, preprint, (2025). arXiv:2509.06527 https://arxiv.org/abs/2509.06527

    2025 arXiv

  9. [17]

    Ishizuka, Perfectoid towers generated from prisms, Nagoya Math.\ J.\ 261, e17 (2026)

    R. Ishizuka, Perfectoid towers generated from prisms, Nagoya Math.\ J.\ 261, e17 (2026)

    2026

  10. [18]

    Ishizuka, K

    R. Ishizuka, K. Nakazato, Prismatic Kunz's theorem, J.\ Algebra 693, (2026), 732--769

    2026

  11. [19]

    Kunz, On noetherian rings of characteristic p , Amer.\ J.\ Math.\ 98, (1976), 999--1013

    E. Kunz, On noetherian rings of characteristic p , Amer.\ J.\ Math.\ 98, (1976), 999--1013

    1976

  12. [20]

    J. Lurie, Full Level Structures on Elliptic Curves, p -Adic Hodge Theory, Singular Varieties, and NonAbelian Aspects, Simons Symposia, Springer International Publishing, (2023), 239--252

    2023

  13. [21]

    Matsumura, Commutative ring theory

    H. Matsumura, Commutative ring theory. Translated from the Japanese by M. Reid. Second edition. Cambridge Studies in Advanced Mathematics 8, Cambridge University Press, 1989

    1989

  14. [22]

    Nakazato, A study on Fontaine's perfectoid rings and their algebraizations, (2020), Thesis (Ph.D.), Nagoya Univ., Nagoya, Japan

    K. Nakazato, A study on Fontaine's perfectoid rings and their algebraizations, (2020), Thesis (Ph.D.), Nagoya Univ., Nagoya, Japan

    2020

  15. [23]

    Schenzel, Proregular sequences, local cohomology, and completion, Math.\ Scand.\ 92(2), 161--180

    P. Schenzel, Proregular sequences, local cohomology, and completion, Math.\ Scand.\ 92(2), 161--180

  16. [24]

    The Stacks Project Authors, Stacks Project, https://stacks.math.columbia.edu

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.