arxiv: 2604.17394 · v2 · submitted 2026-04-19 · 🧮 math.AC · math.AG

Recognition: unknown

A criterion for log regularity via log Frobenius-Witt differentials

Ryoma Takeuchi

Pith reviewed 2026-05-10 05:33 UTC · model grok-4.3

classification 🧮 math.AC math.AG

keywords log regularityFW-differentialslogarithmic derivationsregularity criterioncommutative algebraFrobenius-Wittlogarithmic geometry

0 comments

The pith

Modules of logarithmic Frobenius-Witt differentials characterize log regularity.

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

This paper introduces logarithmic analogues of FW-derivations and the modules of FW-differentials. It examines their basic properties and establishes a criterion for log regularity using these modules. This builds directly on T. Saito's earlier work that used similar objects to characterize ordinary regularity. A reader would care because it supplies an algebraic tool for identifying log regular rings, which are important in the study of singularities with logarithmic structures.

Core claim

The central claim is that logarithmic regularity of a ring can be detected by the vanishing or appropriate behavior of the modules of logarithmic FW-differentials, which are constructed as logarithmic extensions of Saito's FW-differentials, with the paper proving the necessary properties to make this criterion work.

What carries the argument

The module of logarithmic FW-differentials, which serves as the logarithmic counterpart to Saito's FW-differential module for testing regularity.

If this is right

The log FW-differentials satisfy the basic properties needed for a regularity criterion, such as compatibility with base change.
Log regularity is equivalent to a condition on these modules, mirroring the non-log case.
This provides a new method to verify log regularity in positive characteristic.

Where Pith is reading between the lines

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

This criterion might simplify computations in log algebraic geometry by reducing regularity checks to differential module calculations.
Extensions to more general base schemes or mixed characteristics could follow from this construction.
Similar logarithmic versions could be developed for other differential invariants.

Load-bearing premise

The assumption that logarithmic FW-derivations and differentials can be defined in such a way that their modules detect log regularity analogously to the non-logarithmic FW-differentials.

What would settle it

Finding a specific example of a log regular ring where the module of log FW-differentials does not satisfy the condition required by the criterion would disprove it.

read the original abstract

T. Saito introduced FW-derivations and the modules of FW-differentials. He gave a regularity criterion in terms of the modules of FW-differentials. In this paper, we introduce logarithmic analogues of FW-derivations and the modules of FW-differentials. We study basic properties of them and give a logarithmic regularity criterion in terms of the modules of logarithmic FW-differentials.

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.

Desk Editor's Note private letter to a colleague

This paper sets up logarithmic FW-derivations and differentials then proves they detect log regularity exactly as Saito's non-log versions detect ordinary regularity.

read the letter

The core contribution is the definition of log FW-derivations via a logarithmic Witt-vector construction and the associated differential module. The paper checks that these objects satisfy the expected exact sequences, commute with log smooth morphisms, and behave well under base change. It then proves that a log scheme is log regular if and only if the module is free of rank equal to the log dimension. The argument follows Saito's original strategy but replaces ordinary differentials with their logarithmic counterparts and confirms the key sequence stays exact after the change. That adaptation is the main new piece of work and it appears to go through without extra assumptions beyond coherence of the log structure. No circularity or hidden fitting shows up in the reduction. The result is therefore a direct, usable extension rather than a conceptual overhaul. Soft spots are small. The paper stays close to the non-log template, so readers already comfortable with Saito will not find many surprises beyond the setup itself. A few more concrete examples of log schemes where the criterion is applied would help, but they are not required for the theorem to stand. The work is aimed at people already working in log algebraic geometry who need a regularity test in the log setting. Anyone in that subfield will get immediate value from the statement and the basic properties. It is worth sending to a serious referee because the claim is precise, the proof strategy is transparent, and the adaptation has been checked for the obvious pitfalls.

Referee Report

0 major / 3 minor

Summary. The paper introduces logarithmic analogues of FW-derivations and the modules of FW-differentials, defined via a logarithmic version of the Witt vector construction. Basic properties (exact sequences, compatibility with log smooth morphisms, and base change) are established in §2. The main result, Theorem 3.4, states that a log scheme is log regular if and only if the module of logarithmic FW-differentials is free of rank equal to the log dimension; the proof adapts Saito's argument by replacing ordinary differentials with their logarithmic counterparts and verifying exactness of the key sequence after the adjustment.

Significance. If the result holds, it supplies a direct logarithmic extension of Saito's FW-differential criterion for regularity. The construction is independent (via logarithmic Witt vectors and free modules on log generators modulo relations) and the adaptation preserves the essential exact sequence without reducing to the non-log case or introducing circularity. This strengthens the toolkit for studying log schemes and their singularities, with potential applications in log algebraic geometry.

minor comments (3)

[§2] §2: The definition of the logarithmic FW-differential module as the quotient of the free module on log generators would benefit from an explicit comparison diagram or short exact sequence relating it to the ordinary FW-differential module when the log structure is trivial.
[Theorem 3.4] Theorem 3.4: While the adaptation of Saito's argument is described, the manuscript should include a brief remark confirming that no additional coherence assumptions on the log structure (beyond those already stated) are used in the exactness verification.
[Abstract] Abstract: The phrase 'give a logarithmic regularity criterion' could be sharpened to mention the precise condition (freeness of rank equal to log dimension) for immediate clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work on logarithmic FW-differentials and the log regularity criterion, as well as for the favorable significance assessment. The report recommends minor revision, but no specific major comments are listed. Accordingly, we have no points to address at this time and make no changes to the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper introduces logarithmic analogues of FW-derivations and FW-differentials via the Witt vector construction adapted to log structures, then establishes their basic properties (exact sequences, compatibility with log smooth morphisms, base change) in §2 before proving the main criterion (Theorem 3.4) by adapting Saito's external argument: the key exact sequence is shown to remain exact after the logarithmic replacement. No load-bearing step reduces to a self-definition, fitted input, or self-citation chain; the cited Saito result is independent prior work by a different author, and the log criterion is derived rather than assumed or renamed. The manuscript is self-contained against external benchmarks in log geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claim rests on the successful definition of new logarithmic objects whose properties mirror the non-log case sufficiently to yield a regularity test. No free parameters are mentioned. The main invented entities are the log FW-derivations themselves.

axioms (1)

domain assumption Standard properties of derivations, differentials, and regularity criteria extend to the logarithmic setting in a usable way.
The paper builds directly on T. Saito's non-logarithmic theory and log geometry foundations.

invented entities (1)

logarithmic FW-derivations and modules of logarithmic FW-differentials no independent evidence
purpose: To serve as the objects that detect log regularity via a criterion analogous to Saito's.
These are newly defined in the paper as logarithmic analogues.

pith-pipeline@v0.9.0 · 5346 in / 1220 out tokens · 42476 ms · 2026-05-10T05:33:10.687710+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references

[1]

Hochster and J

M. Hochster and J. Jeffries, A Jacobian criterion for nonsingularity in mixed characteristic, Amer. J. Math. 146 (2024), no. 6, 1749--1780

2024
[2]

Kato, Toric singularities, Amer

K. Kato, Toric singularities, Amer. J. Math. 116 (1994), no. 5, 1073--1099

1994
[3]

Ogus, Lectures on logarithmic algebraic geometry , Cambridge Studies in Advanced Mathematics, 178, Cambridge Univ

A. Ogus, Lectures on logarithmic algebraic geometry , Cambridge Studies in Advanced Mathematics, 178, Cambridge Univ. Press, Cambridge, 2018

2018
[4]

M. C. Olsson, The logarithmic cotangent complex, Math. Ann. 333 (2005), no. 4, 859--931

2005
[5]

Saito, Frobenius-Witt differentials and regularity, Algebra Number Theory 16 (2022), no

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

2022