{"id":"e71a84df-f794-4ce4-8ca5-5e3a5cf125d3","arxiv_id":"2605.27337","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A Noetherian local ring of residue characteristic p is regular iff it admits a flat map to a Noetherian ring that extends to a perfectoid tower.","lead":"The paper proves that a Noetherian local ring with residue characteristic p is regular exactly when it has a flat map to a Noetherian ring extending to a perfectoid tower. This mixed-characteristic version of Kunz's theorem, deduced from Gabber-Lurie work, may interest researchers studying regularity and singularities in arithmetic settings.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Main claim rests on unverified deduction from Gabber-Lurie result","rationale":"The reader's weakest_assumption correctly isolates the deduction step as the point least secured by the supplied information; without the explicit reduction, the central claim cannot be assessed independently.","tokens_in":1570,"tokens_out":231,"duration_ms":24433,"concrete_test":"Locate the section containing the deduction of the main theorem from the Gabber-Lurie result; verify line-by-line that every hypothesis of the cited result is satisfied by the flat map + perfectoid tower data and that no additional Noetherian or flatness conditions are tacitly used.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central iff statement is explicitly deduced from the Gabber-Lurie mixed-characteristic analogue rather than proved directly. For the claim to hold, this deduction must correctly reduce the perfectoid-tower condition to the hypotheses of the prior result (including flatness of the map to the Noetherian ring and the tower extension) without introducing hidden assumptions on the residue characteristic p or the Noetherian property.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1659,"tokens_out":365,"duration_ms":36723,"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":[{"comment":"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.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract would be clearer if it cited the specific theorem or section number from the Gabber-Lurie work being invoked for the deduction.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"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."}],"tokens_in":1178,"tokens_out":344,"duration_ms":29363,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's main result is a mixed-characteristic analogue of Kunz's theorem: a Noetherian local ring with residue characteristic p is regular exactly when it has a flat map to a Noetherian ring that extends to a perfectoid tower. This is deduced from Gabber and Lurie's work, and there's an extra characterization of regularity for perfectoid towers using the vanishing of one higher Tor module with the residue field.\n\nWhat stands out is the reformulation in terms of perfectoid towers. That gives a different way to think about regularity in this setting, which might connect to p-adic methods. The Tor vanishing part is also a clean addition that could be useful on its own for checking regularity in tower settings.\n\nThe paper does a reasonable job of stating the result clearly and pointing to the source of the deduction. It doesn't claim to prove the Gabber-Lurie result anew, which keeps things straightforward and avoids overclaiming.\n\nThe soft spot is that the novelty rests on how the deduction is carried out. If the reduction from the tower condition to the hypotheses of the earlier theorem is mostly formal, then the paper is more of a translation than a deep advance. The stress test raises a good point about whether the deduction introduces any hidden assumptions on p or the Noetherian property, but if the paper handles the flatness and tower extension properly, that concern may not apply. Without the full details, it's difficult to be sure, but the approach seems direct.\n\nThis is aimed at specialists in commutative algebra and arithmetic geometry who already know about perfectoids and Kunz's theorem. A reader working on mixed-characteristic rings might find the tower perspective helpful for some applications, especially if they deal with perfectoid algebras regularly.\n\nIt deserves a serious referee to check the deduction and the Tor claim, even if the overall impact is moderate within the subfield. I would send it to review rather than desk reject, as the result could be cited in future work on regularity criteria.","headline":"The paper deduces a perfectoid-tower version of Kunz's theorem in mixed characteristic from Gabber-Lurie, plus a Tor vanishing criterion.","tokens_in":2118,"tokens_out":481,"would_cite":false,"duration_ms":26437,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"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.","keywords":["regular rings","perfectoid towers","mixed characteristic","Kunz theorem","Noetherian local rings","Tor modules","commutative algebra"],"falsifier":"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.","tokens_in":2462,"feed_emoji":"","tokens_out":694,"duration_ms":34234,"temperature":0.7,"pith_summary":"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.","feed_headline":"Flat map to perfectoid tower detects regularity in mixed characteristic","feed_subtitle":"Noetherian local rings of residue characteristic p are regular precisely when they admit such a map and tower extension.","key_machinery":"The perfectoid tower that extends a flat image of the ring, which reduces the regularity question to the Gabber-Lurie criterion.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Flat maps to perfectoid towers detect mixed char regularity","Regularity via flat perfectoid tower maps in mixed char","Single Tor vanishing detects regularity in perfectoid towers","Perfectoid tower detects regular Noetherian rings in mixed char"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Flat maps to perfectoid towers detect mixed char regularity","Regularity via flat perfectoid tower maps in mixed char","Single Tor vanishing detects regularity in perfectoid towers","Perfectoid tower detects regular Noetherian rings in mixed char"]},"model":"grok-4.3","cost_usd":0.008634,"raw_usage":{"total_tokens":3823,"prompt_tokens":524,"num_sources_used":0,"completion_tokens":63,"cost_in_usd_ticks":86337000,"prompt_tokens_details":{"text_tokens":524,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3236,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":524,"tokens_out":63,"duration_ms":31224,"temperature":1.0,"reasoning_tokens":3236,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T14:13:30.230104+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}