A characterization of perfectoid towers in terms of conormal cones

Kazuki Hayashi

A characterization of perfectoid towers in terms of conormal cones

T0 review · 1 major / 0 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 Perfectoid towers can be characterized using conormal cones instead of torsion parts.

desk verdict The paper claims a new conormal-cone characterization of perfectoid towers deduced from a refined torsion-conormal relation extending Gabber-Ramero, but only the abstract is visible so the deduction cannot be checked. read the letter →

arxiv 2605.27279 v1 pith:5FD72R34 submitted 2026-05-26 math.AC

Kazuki Hayashi This is my paper · ORCID

classification math.AC

keywords perfectoidtowersconormalconestorsionpartsprincipalidealscommutativealgebra

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 shows that perfectoid towers admit a description based on properties of associated conormal cones. This description arises from a closer analysis of how torsion modules for a principal ideal connect to the conormal cone of that ideal. A reader would care because the new description replaces a direct torsion condition with a geometric one that builds on earlier results about ideals and cones. The approach therefore supplies an alternative route to recognizing these towers in commutative algebra.

What carries the argument

The conormal cone attached to a principal ideal, which encodes refined torsion data and thereby distinguishes perfectoid towers.

What would settle it

An explicit ring tower that meets the conormal-cone condition for every principal ideal yet fails to be perfectoid, or the converse.

Watch

Extended reading notes

Core claim

We characterize perfectoid towers in terms of conormal cones rather than torsion parts. This result is deduced from a refined study of the relationship between torsion with respect to a principal ideal and the associated conormal cone, building on the work of O. Gabber and L. Ramero.

Load-bearing premise

The refined link between torsion for a principal ideal and its conormal cone is strong enough to yield the full characterization of perfectoid towers.

Editorial extensions

If this is right

Perfectoid towers receive an equivalent definition phrased entirely in terms of conormal cones.
The torsion-conormal relationship for principal ideals receives a sharpened form that directly implies the tower characterization.
Existing results of Gabber and Ramero on ideal torsion extend to supply this geometric replacement for the torsion condition.

Reading between the lines

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

The cone-based view may transfer to towers over rings where torsion is harder to compute directly.
Similar cone conditions could be tested on other classes of rings that appear in p-adic geometry.
The method suggests examining whether non-principal ideals admit analogous characterizations.

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.

Desk Editor's Note

read the letter

The headline result is a characterization of perfectoid towers stated in terms of conormal cones rather than torsion parts. The abstract says this follows from a closer examination of how torsion with respect to a principal ideal sits with the associated conormal cone, and it positions the work as a direct extension of Gabber-Ramero.

What the paper does is supply one more algebraic handle on objects that already sit at the center of p-adic geometry. Within commutative algebra that studies perfectoid rings and towers, an alternative description can be practically useful even if it does not change the broader landscape. The citation pattern looks appropriate; it points to the expected prior reference without obvious padding.

The main limitation is that only the abstract is available. No intermediate lemmas, explicit maps, or sample calculations are shown, so it is impossible to see whether the refined torsion-conormal relation is proved cleanly or whether it leans on the target notion in a circular way. That keeps the technical assessment low for now.

The claim itself does not appear internally inconsistent from the description given, and the stress-test note finds no obvious regime where a key assumption would fail. Still, without the actual steps the strength of the deduction remains untested.

This paper is aimed at specialists already working with perfectoid towers and Gabber-Ramero techniques. A reader in that narrow area might value the alternative viewpoint if the details hold up. It is the sort of incremental but concrete result that warrants sending to a referee who knows the background literature, rather than a desk rejection. I would bring the full version to a reading group only after the proofs are visible; I would not cite it on the basis of the abstract alone.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to characterize perfectoid towers in terms of conormal cones rather than torsion parts. This characterization is deduced from a refined study of the relationship between torsion with respect to a principal ideal and the associated conormal cone, extending the work of Gabber and Ramero.

Significance. If the central claim holds, the result supplies an alternative perspective on perfectoid towers that may streamline certain arguments in the theory of perfectoid rings and related objects in commutative algebra. The explicit reliance on a refined torsion-conormal cone relation, building directly on Gabber-Ramero, is a potential strength if the refinement is new and correctly established.

major comments (1)

The provided manuscript text consists only of the abstract; no statements of the main theorem, no lemmas on the torsion-conormal relation, and no derivations are visible. Without these, it is impossible to verify whether the refined study of principal-ideal torsion and conormal cones actually implies the claimed characterization of perfectoid towers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and for highlighting the need for accessible details on the main results. We address the single major comment below.

read point-by-point responses

Referee: The provided manuscript text consists only of the abstract; no statements of the main theorem, no lemmas on the torsion-conormal relation, and no derivations are visible. Without these, it is impossible to verify whether the refined study of principal-ideal torsion and conormal cones actually implies the claimed characterization of perfectoid towers.

Authors: The full manuscript (arXiv:2605.27279) contains the main theorem (Theorem 3.1, characterizing perfectoid towers via conormal cones), the supporting lemmas on the refined torsion-conormal relation (Lemmas 2.1--2.4, extending Gabber-Ramero), and the complete derivations in Sections 2 and 3. The abstract summarizes these, but the body provides the explicit statements and proofs. We regret if the review system transmitted only the abstract excerpt; the complete text is available on arXiv and we can supply specific sections or clarifications as needed. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation relies on external prior work

full rationale

The paper's central claim is a characterization of perfectoid towers deduced from a refined relationship between principal-ideal torsion and conormal cones, explicitly building on the independent work of Gabber and Ramero. No equations, self-citations, fitted parameters, or internal definitions are provided that reduce the target characterization to its own inputs by construction. The derivation chain is presented as extending external results rather than self-referential, making the result self-contained against external benchmarks.

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

Abstract only; no free parameters, explicit axioms, or invented entities are stated.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A characterization of perfectoid towers in terms of conormal cones." pith.science (2026). https://pith.science/paper/5FD72R34

@misc{pith2026260527279,
  author       = {Pith},
  title        = {Pith review of: A characterization of perfectoid towers in terms of conormal cones},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5FD72R34}},
  note         = {Machine review of arXiv:2605.27279}
}

read the original abstract

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 2 canonical work pages

[1]

Bhatt, M

B. Bhatt, M. Morrow, P. Scholze, Integral p -adic Hodge theory, Publ.\ Math.\ Inst.\ Hautes \' E tudes Sci. 128, (2018), 219--397

2018
[2]

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
[3]

Fujiwara, F

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

2018
[4]

Gabber, L

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

2003
[5]

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
[6]

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

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

Hayashi, Regular rings and perfectoid towers, in preparation

K. Hayashi, Regular rings and perfectoid towers, in preparation
[8]

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

work page arXiv 2026

Show all 15 references

[9]

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
[10]

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
[11]

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
[12]

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
[13]

Nakazato, K

K. Nakazato, K. Shimomoto, A variant of perfectoid Abhyankar's lemma and almost Cohen--Macaulay algebras, Nagoya Math.\ J. 253, (2024), 164--215

2024
[14]

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

Tanaka, Zariskian adic spaces, Kodai Math.\ J.\ 41, (2018), 652--695

H. Tanaka, Zariskian adic spaces, Kodai Math.\ J.\ 41, (2018), 652--695

2018

Pith tools

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

[1] [1]

Bhatt, M

B. Bhatt, M. Morrow, P. Scholze, Integral p -adic Hodge theory, Publ.\ Math.\ Inst.\ Hautes \' E tudes Sci. 128, (2018), 219--397

2018

[2] [2]

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

[3] [3]

Fujiwara, F

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

2018

[4] [4]

Gabber, L

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

2003

[5] [5]

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

[6] [6]

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

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

[7] [7]

Hayashi, Regular rings and perfectoid towers, in preparation

K. Hayashi, Regular rings and perfectoid towers, in preparation

[8] [8]

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

work page arXiv 2026