REVIEW 1 major objections
Structural properties and tilting correspondences of perfectoid towers
T0 review · 1 major / 0 minor · reviewed 2026-07-01 · grok-4.3
Pith's one-line read Every perfectoid tower can be realized as the fiber product of p-torsion free and characteristic p perfectoid towers.
desk verdict The paper decomposes every perfectoid tower as a fiber product of a p-torsion-free tower and a perfect char-p tower, then uses that to get tilting invariance for etale cohomology, Koszul homology, and several Noetherian ring properties. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The fiber product construction that realizes general perfectoid towers from the p-torsion free and characteristic p cases.
What would settle it
A perfectoid tower that cannot be expressed as such a fiber product, or a separated perfectoid tower containing nilpotents, would contradict the claims.
Extended reading notes
Core claim
We prove that every perfectoid tower can be realized as the fiber product of a diagram involving perfectoid towers that are either p-torsion free or perfect of characteristic p. As an application, we conclude that separated perfectoid towers are reduced. We also establish the tilting invariance of étale cohomology and Koszul homology for perfectoid towers. As further applications, we prove that tilting preserves fundamental properties of Noetherian local rings such as being Cohen-Macaulay, Gorenstein, complete intersection, or regular.
Load-bearing premise
The definition of perfectoid towers is compatible with the formation of fiber products in the category of rings or adic spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that every perfectoid tower arises as the fiber product of a diagram of perfectoid towers that are either p-torsion free or perfect of characteristic p. Applications include that separated perfectoid towers are reduced, tilting invariance of étale cohomology and Koszul homology for perfectoid towers, and that tilting preserves Cohen-Macaulay, Gorenstein, complete intersection, and regular properties for Noetherian local rings.
Significance. If the central structural result holds, the fiber-product realization of perfectoid towers would be a useful organizing principle for tilting correspondences, with direct consequences for cohomology computations and the transfer of ring-theoretic properties across characteristics. The applications to Noetherian local rings would extend known tilting results in a systematic way.
major comments (1)
- [Abstract / main theorem on fiber products] The central claim that every perfectoid tower is realized as a fiber product requires explicit verification that the chosen definition of perfectoid tower (including any separatedness condition) is stable under fiber products in the category of rings or adic spaces. This stability is invoked both to ensure the output remains a perfectoid tower and to deduce that separated towers are reduced; without a precise definition and closure check (e.g., in the section introducing the definition or the main theorem), the argument is not yet load-bearing.
Simulated Author's Rebuttal
We thank the referee for their thoughtful report and for highlighting the need for explicit verification of stability under fiber products. We address the single major comment below and will incorporate the requested clarification in the revised version.
read point-by-point responses
-
Referee: [Abstract / main theorem on fiber products] The central claim that every perfectoid tower is realized as a fiber product requires explicit verification that the chosen definition of perfectoid tower (including any separatedness condition) is stable under fiber products in the category of rings or adic spaces. This stability is invoked both to ensure the output remains a perfectoid tower and to deduce that separated towers are reduced; without a precise definition and closure check (e.g., in the section introducing the definition or the main theorem), the argument is not yet load-bearing.
Authors: We agree that the manuscript would benefit from an explicit verification of closure under fiber products to make the central claim fully rigorous. In the revised version we will add a short subsection immediately after the definition of perfectoid towers (in the section introducing the main objects) that verifies stability of the definition—including the separatedness condition—under fiber products taken in the category of rings (and, equivalently, in adic spaces). This subsection will also record the immediate consequence that separated perfectoid towers are reduced. The main theorem and its applications will then cite this verification directly, rendering the argument load-bearing as requested. revision: yes
Circularity Check
No circularity: fiber-product realization is a derived theorem, not a definitional closure
full rationale
The central claim is a theorem asserting that every perfectoid tower arises via fiber product from p-torsion-free and char-p perfectoid towers. This is a structural result proved from the given definition of perfectoid tower (including separatedness), not a re-statement of the definition itself. No equation or construction in the abstract reduces the output to a fitted parameter or to the input definition by construction. The compatibility of the definition with fiber products is a standard categorical property that the paper must verify or cite externally; invoking it does not create a self-definitional loop or a self-citation load-bearing chain. All listed applications (reducedness, tilting invariance, preservation of Cohen-Macaulay etc.) are downstream consequences of the theorem rather than presuppositions. The derivation chain is therefore self-contained against external benchmarks and receives the default non-circularity score.
Assumptions & free parameters
assumptions (1)
- domain assumption Standard properties of perfectoid rings and the tilting correspondence as developed in prior literature.
Cite this review
Pith. "Pith review of Structural properties and tilting correspondences of perfectoid towers." pith.science (2026). https://pith.science/paper/7Q5WC2QC
@misc{pith2026260527283,
author = {Pith},
title = {Pith review of: Structural properties and tilting correspondences of perfectoid towers},
year = {2026},
howpublished = {\url{https://pith.science/paper/7Q5WC2QC}},
note = {Machine review of arXiv:2605.27283}
}
abstract
We prove that every perfectoid tower can be realized as the fiber product of a diagram involving perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we conclude that separated perfectoid towers are reduced. We also establish the tilting invariance of Koszul homology for perfectoid towers. As further applications, we prove that tilting preserves fundamental properties of Noetherian local rings such as being Cohen--Macaulay, Gorenstein, complete intersection, or regular.
Reviewed July 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.