pith. sign in

arxiv: 2605.14803 · v2 · pith:CIVRD7QKnew · submitted 2026-05-14 · 🧮 math.AG · math.AC

Frobenius--Witt cotangent complexes

Kanau Shimada This is my paper

Pith reviewed 2026-05-20 20:58 UTC · model grok-4.3

classification 🧮 math.AG math.AC
keywords Frobenius-Witt cotangent complexregularity criterionnoetherian local ringsperfectoid ringsSaito regularity criterioncotangent complexesderived algebraic geometry
0
0 comments X

The pith

The Frobenius-Witt cotangent complex detects regularity of noetherian local rings as a derived version of Saito's criterion.

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

The paper introduces the Frobenius-Witt cotangent complex as a derived variant of the module of Frobenius-Witt differentials and as an arithmetic analogue of the usual cotangent complex. It proves that properties of this complex, such as vanishing of its homology, correspond to the regularity of a noetherian local ring. The argument proceeds by carrying out explicit calculations of the complex when the base ring is perfectoid. This supplies a homological test for regularity that works in arithmetic settings where classical modules of differentials may be insufficient. Readers care because the construction gives a way to track regularity through derived data rather than through a single module.

Core claim

The central claim is that the newly defined Frobenius-Witt cotangent complex, obtained as the derived analogue of the Frobenius-Witt differentials of T. Saito, furnishes a criterion for the regularity of noetherian local rings; the complex vanishes in positive degrees precisely when the ring is regular, yielding a derived extension of Saito's classical regularity criterion, and the proof rests on direct computations of the complex over perfectoid rings.

What carries the argument

The Frobenius-Witt cotangent complex, the derived object whose homology encodes arithmetic information about differentials and whose vanishing detects regularity.

If this is right

  • Regularity of noetherian local rings becomes testable by computing the homology of the Frobenius-Witt cotangent complex rather than by examining a single module of differentials.
  • The classical Saito criterion appears as the case in which all higher homology vanishes and only the degree-zero term remains.
  • The construction supplies a uniform language for regularity questions that works uniformly across ordinary and arithmetic situations.
  • Explicit formulas obtained for perfectoid rings can be used as a base case for deformation arguments or for rings that admit perfectoid covers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same complex might serve as a regularity invariant for rings that are not noetherian, provided similar computations can be carried out.
  • Links to existing derived cotangent complexes in algebraic geometry could produce new comparisons between arithmetic and geometric singularity measures.
  • Further explicit calculations for non-perfectoid rings would test whether the regularity detection property persists outside the perfectoid setting.

Load-bearing premise

The explicit computations of the Frobenius-Witt cotangent complex over perfectoid rings are accurate and complete enough to determine its homology in all degrees.

What would settle it

A perfectoid ring that is known to be regular yet whose Frobenius-Witt cotangent complex has non-vanishing homology in some positive degree, or a non-regular perfectoid ring whose complex vanishes in positive degrees.

read the original abstract

We introduce the notion of the Frobenius--Witt cotangent complex, which can be considered as a derived variant of the module of Frobenius--Witt differentials defined by T. Saito. This new object also can be seen as an arithmetic variant of the notion of cotangent complex. We explain the suitability of these two viewpoints through a series of propositions. Furthermore, we establish a relationship between Frobenius--Witt cotangent complexes and the regularity of noetherian local rings, which can be considered as a derived variant of Saito's regularity criterion. This proof relies heavily on computations of Frobenius--Witt cotangent complexes in the case of perfectoid rings.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces the Frobenius--Witt cotangent complex as a derived variant of T. Saito's module of Frobenius--Witt differentials and as an arithmetic analogue of the cotangent complex. Through a series of propositions it motivates the definition from both viewpoints. The central result establishes a relationship between the vanishing of this complex and the regularity of noetherian local rings, presented as a derived version of Saito's regularity criterion; the argument is said to rest on explicit computations of the complex in the perfectoid case.

Significance. If the perfectoid computations are correct and extend appropriately, the construction would supply a new homological tool for detecting regularity in mixed-characteristic and p-adic settings, potentially linking derived algebraic geometry with arithmetic invariants. The work builds directly on existing notions rather than introducing free parameters or ad-hoc axioms.

major comments (2)
  1. The central theorem relating Frobenius--Witt cotangent complex vanishing to regularity is stated to depend on explicit computations in the perfectoid case, yet the manuscript supplies no verification steps, error bounds, or explicit description of the homological conditions (e.g., Tor-vanishing after base change) that are used to pass from the perfectoid situation to general noetherian local rings. This computation is load-bearing for the claimed generality of the derived regularity criterion.
  2. It is unclear from the argument whether the perfectoid computations rely on special properties (such as perfect residue fields or exactness properties of Witt-vector sequences) that may fail to deform or lift when completing or base-changing to arbitrary noetherian local rings; a concrete check or counter-example discussion is needed to confirm the implication holds in full generality.
minor comments (2)
  1. Notation for the Frobenius--Witt cotangent complex should be introduced with a clear comparison table to the classical cotangent complex and to Saito's module of differentials.
  2. The series of propositions motivating the two viewpoints would benefit from explicit cross-references to the relevant definitions in Saito's work and to standard references on cotangent complexes.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the load-bearing aspects of the perfectoid computations in the proof of the main theorem. We address each major comment below and indicate the revisions we will make to strengthen the exposition and clarify the generality of the argument.

read point-by-point responses

  1. Referee: The central theorem relating Frobenius--Witt cotangent complex vanishing to regularity is stated to depend on explicit computations in the perfectoid case, yet the manuscript supplies no verification steps, error bounds, or explicit description of the homological conditions (e.g., Tor-vanishing after base change) that are used to pass from the perfectoid situation to general noetherian local rings. This computation is load-bearing for the claimed generality of the derived regularity criterion.

    Authors: We agree that the transition from the perfectoid computations to the general noetherian local ring case requires explicit justification of the homological conditions involved. Section 4 of the manuscript contains the direct computations of the Frobenius--Witt cotangent complex for perfectoid rings, including the vanishing statements. To make the argument fully transparent, we will add a dedicated subsection (provisionally Section 4.4) that spells out the base-change and completion functors used, together with the precise Tor-vanishing hypotheses that permit the implication to extend to arbitrary noetherian local rings. This will include step-by-step verification of the relevant isomorphisms in the derived category. revision: yes

  2. Referee: It is unclear from the argument whether the perfectoid computations rely on special properties (such as perfect residue fields or exactness properties of Witt-vector sequences) that may fail to deform or lift when completing or base-changing to arbitrary noetherian local rings; a concrete check or counter-example discussion is needed to confirm the implication holds in full generality.

    Authors: The computations in the perfectoid setting do make essential use of the perfect residue field and the exactness of the Witt-vector sequences. We maintain that these features are preserved under the relevant completion and base-change operations in the derived sense, which is why the implication carries over. In the revised manuscript we will insert a short discussion immediately following the perfectoid computations that explicitly tracks how the exactness and perfectness properties behave under completion and arbitrary base change to noetherian local rings. While we do not believe a counter-example exists within the stated hypotheses, we will record the precise conditions under which the deformation holds. revision: partial

Circularity Check

0 steps flagged

No significant circularity; result uses special-case computations without reducing to self-definition or fitted inputs

full rationale

The paper defines the Frobenius--Witt cotangent complex as a derived variant of Saito's module of Frobenius--Witt differentials and an arithmetic variant of the cotangent complex. It then establishes a relationship to regularity of noetherian local rings as a derived variant of Saito's criterion. The proof relies on explicit computations in the perfectoid case, but this is a special-case verification rather than a self-referential fit or definition that forces the general claim by construction. No load-bearing self-citation chains or ansatz smuggling are visible; the derivation remains independent of the target result and rests on prior external notions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces a new derived object whose properties are verified through propositions and explicit calculations on perfectoid rings. No free parameters are mentioned. The work relies on standard background in commutative algebra and prior results of T. Saito.

axioms (1)
  • domain assumption Standard properties of cotangent complexes and Frobenius-Witt differentials hold in the derived setting.
    Invoked when defining the new complex and proving its suitability via propositions.
invented entities (1)
  • Frobenius-Witt cotangent complex no independent evidence
    purpose: Derived variant of the module of Frobenius-Witt differentials that also serves as an arithmetic variant of the cotangent complex.
    Newly defined object whose properties are established in the paper.

pith-pipeline@v0.9.0 · 5627 in / 1376 out tokens · 42758 ms · 2026-05-20T20:58:07.583445+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · 1 internal anchor

  1. [1]

    B. Bhatt. p-adic cohomology theories via stacks . A conference on the occasion of Takeshi Saito's 60th birthday (2021), https://youtu.be/v2Jfk-NTjp4?si=5qSYokoVrr_4RhJO

    work page 2021

  2. [2]

    Bhatt, S

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

    work page 2019

  3. [3]

    The prismatization of p-adic formal schemes

    B. Bhatt, J. Lurie. The prismatization of p-adic formal schemes . arXiv:2201.06124. (2022)

    work page arXiv 2022

  4. [4]

    Bhatt, M

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

    work page 2018

  5. [5]

    Bhatt, M

    B. Bhatt, M. Morrow, P. Scholze. Topological Hochschild homology and integral p-adic Hodge theory . Publ. Math. Inst. Hautes Études Sci. 129 (2019), 199--310. MR3949030

    work page 2019

  6. [6]

    Bhatt, P

    B. Bhatt, P. Scholze. Prisms and prismatic cohomology . Ann. of Math. (2) 196 (2022), no. 3, 1135--1275. MR4502597

    work page 2022

  7. [7]

    Česnavičius, P

    K. Česnavičius, P. Scholze. Purity for flat cohomology . Ann. of Math. (2) 199 (2024), no. 1, 51--180. MR4681144

    work page 2024

  8. [8]

    Ishizuka, K

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

    work page 2026

  9. [9]

    S. B. Iyengar. Andr\'e-Quillen homology of commutative algebras . Interactions between homotopy theory and algebra (2007), 203--234, Contemp. Math., 436, Amer. Math. Soc., Providence, RI, ; MR2355775

    work page 2007

  10. [10]

    J. Lurie. Higher topos theory . Ann. of Math. Stud., 170 Princeton University Press, Princeton, NJ, 2009. xviii+925 pp. ISBN:978-0-691-14049-0 ISBN:0-691-14049-9

    work page 2009

  11. [11]

    J. Lurie. Higher algebra . https://people.math.harvard.edu/ lurie/papers/HA.pdf, sep 2017

    work page 2017

  12. [12]

    J. Lurie. Spectral algebraic geometry . https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf, feb 2018

    work page 2018

  13. [13]

    J. Lurie. Kerodon . https://kerodon.net/, apr 2026

    work page 2026

  14. [14]

    Z. Mao. Revisiting derived crystalline cohomology . Bull. Soc. Math. France 152 (2024), no. 4, 659–784. MR4851406

    work page 2024

  15. [15]

    T. Saito. Frobenius--Witt differentials and regularity . Algebra Number Theory 16 (2022), no. 2, 369–391. MR4412577

    work page 2022

  16. [16]

    Stacks Project

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

    work page

  17. [17]

    A criterion for log regularity via log Frobenius-Witt differentials

    R. Takeuchi. A criterion for log regularity via log Frobenius-Witt differentials . arXiv:2604.17394. (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026