$L$-smooth factorization for Noetherian $F$-finite rings

Daniel Fink; Manuel Blickle

REVIEW 3 major objections 3 minor 1 cited by

$L$-smooth factorization for Noetherian $F$-finite rings

T0 review · 3 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Every map of Noetherian F-finite rings factors as an L-smooth map followed by a surjection.

desk verdict Relative factorization theorem is promising and likely true, but Proposition 4.1 has a load-bearing regularity gap; with a fix this is a solid paper. read the letter →

arxiv 2501.09437 v1 pith:NEHUV3LC submitted 2025-01-16 math.AC math.AG

Manuel Blickle , Daniel Fink This is my paper · ORCID

classification math.ACmath.AG MSC 13A3513D03

keywords cotangentcomplexL-smoothmorphismF-finiteringsregularmorphismsformalsmoothnesspositivecharacteristicAdamscompletionNoetherian

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 proves a structure theorem for every homomorphism between Noetherian F-finite rings, meaning rings of characteristic $p$ whose Frobenius endomorphism is finite. Theorem 4.4 states that any map $R \to S$ of Noetherian F-finite $\mathbb{F}_p$-algebras can be factored as $R \to T \to S$, where $T$ is again Noetherian and F-finite, $R \to T$ is L-smooth, and $T \to S$ is surjective. A map is L-smooth when its cotangent complex looks like that of a smooth map: it is the module of Kähler differentials placed in degree zero, and that module is finitely generated projective. The result extends the classical smooth-by-surjective factorization, known for finite-type maps, to all maps of F-finite rings. Along the way the paper shows that for maps between Noetherian F-finite rings, regularity, formal smoothness, and L-smoothness coincide.

What carries the argument

The load-bearing object is the cotangent complex, the derived invariant attached to a ring map, together with the definition of L-smoothness: a map is L-smooth when its cotangent complex is equivalent to $\Omega_{S/R}[0]$ with $\Omega_{S/R}$ a finitely generated projective $S$-module. The proof is carried by a pushout square of regular Noetherian F-finite rings: the paper takes surjective regular covers $R' \to R$ and $S' \to S$ that are complete along their kernels, forms the $J$-adic completion $T' = (R' \otimes_{\mathbb{F}_p} S')^\wedge_J$, and then base-changes to $T = R \otimes_{R'} T'$. The completion step has vanishing cotangent complex, so L-smoothness of $R' \to T'$ passes to $R \to T$ by flat base change. Adams completion, a derived completion built from an inverse limit over tensor powers, serves as an equivalent and choice-independent description of the same construction.

What would settle it

For a concrete infinite-type map such as $\mathbb{F}_p[x] \to \mathbb{F}_p[[x]]$, compute the middle ring $T$ produced by Construction 4.3 and verify that $T$ is Noetherian and F-finite, that $R \to T$ is flat, and that $T \to S$ is surjective; if any of these checks fails for one map, Theorem 4.4 is false.

Watch

Extended reading notes

Core claim

The central discovery is a factorization theorem for arbitrary maps of Noetherian F-finite $\mathbb{F}_p$-algebras. Given $f:R \to S$, the paper constructs a pushout square whose top edge is a map of regular Noetherian F-finite rings, forms the $J$-adic completion of $R' \otimes_{\mathbb{F}_p} S'$ along the kernel of the map to $S'$, and then changes base along the surjection $R' \to R$. The resulting ring $T$ is Noetherian and F-finite, the induced map $R \to T$ is L-smooth, and the induced map $T \to S$ is surjective. In the special case where $R$ and $S$ are regular, the construction makes $T$ regular and makes $T \to S$ a regular immersion. A second, independent construction via Adams completion gives the same factorization and shows that it does not depend on the choice of regular cover.

Load-bearing premise

The construction assumes that every Noetherian F-finite $\mathbb{F}_p$-algebra admits a surjection from a regular Noetherian F-finite ring that is complete along the kernel; if such complete regular covers do not exist, the pushout square on which the entire factorization rests is not justified.

Editorial extensions

If this is right

Arbitrary maps of Noetherian F-finite $\mathbb{F}_p$-algebras can be studied by first replacing the source by a flat L-smooth cover and then analyzing a surjection, so properties preserved under flat maps and surjections transfer to all such maps.
For maps of Noetherian F-finite rings, regularity, formal smoothness, and L-smoothness coincide; in particular a Noetherian F-finite $\mathbb{F}_p$-algebra is regular exactly when it is L-smooth over $\mathbb{F}_p$.
Maps between regular Noetherian F-finite rings factor through a regular Noetherian F-finite ring as an L-smooth map followed by a regular immersion, and the induced exact sequence records all nonvanishing cohomology of the cotangent complex.
The Adams-completion description identifies the middle ring explicitly and proves that the factorization is independent of the chosen regular cover.
The theorem gives a relative form of Gabber's remark that every Noetherian F-finite ring is a quotient of a regular one: every map is an L-smooth map followed by a surjection.

Reading between the lines

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

A natural extension the paper does not claim is functoriality: because the Adams-completion description is canonical, one might expect the factorization to respect composition of maps, and this could be checked directly.
Since L-smooth maps are flat, the factorization may offer a route to proving flatness or descent statements for arbitrary maps of F-finite rings by verifying them separately on the L-smooth piece and the surjection; this is an editorial inference.
The identification of the middle ring with an Adams completion suggests that derived-completion methods could be used to compute cotangent complexes of F-finite singularities, which goes beyond what the paper states.
One could test whether the same construction survives when only some finiteness conditions are imposed, since several ingredients only need pseudo-coherence of the relevant cotangent complexes; this too is an extension beyond the paper's claims.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This paper proves a relative version of Gabber's factorization: every map of Noetherian F-finite Fp-algebras factors as an L-smooth map followed by a surjection. That is a natural and useful structural result, and the equivalence of L-smoothness, formal smoothness, and regularity for F-finite maps is a real contribution. The proof strategy is coherent: build regular covers, reduce to the regular case, then use completions to produce the L-smooth map. The derived-completion arguments in Section 3 look carefully done to me.

The soft spot is Proposition 4.1. The authors set tilde-R = G(R)[X_i] and J = ker(tilde-R -> R), then assert that the J-adic completion R' = tilde-R^wedge_J is regular. That is not automatic. Completions of regular rings along arbitrary ideals can be singular. A concrete illustration: take R = S = k[x,y]/(xy), G(R) = G(S) = k[x,y], and h_1 = xy. Then tilde-R = k[x,y,X], J = (xy,X), and the completion is isomorphic to something like (k[x,y]/(xy))[[t]][[X]], which is not regular because the node survives. The paper gives no argument why the specific covers from [BBST, Construction 2.2.3] avoid this. Since Corollary 3.8 uses regularity of R' to identify the cotangent complex, this is a load-bearing gap, not a minor omission.

There is also a verifiability issue: key steps in Proposition 4.1 and Section 5 are cited to the unpublished [BBST]. That is not by itself a defect, but it means a referee cannot fully check the construction without that manuscript in hand.

The rest of the proof, including the L-smoothness equivalences in Section 2 and the regular-case factorization in Section 3, is solid. The main theorem may well be true, and the stress-test note's suggestion of using the uncompleted tilde-R for Theorem 4.4 looks like a plausible fix, at the cost of losing the Adams-completion comparison in Section 5.

My recommendation: send it to a serious referee. It deserves careful reading, but the authors need to either prove the regularity of the completed cover or adjust the construction. As written, the proof has a real gap. For a reading group, I'd bring it up for the discussion of what can go wrong when you complete a regular ring along an arbitrary ideal.

Referee Report

3 major / 3 minor

Summary. The paper defines a notion of L-smoothness for ring homomorphisms via the cotangent complex being a finitely generated projective module concentrated in degree zero, and proves that every map of Noetherian F-finite Fp-algebras can be factored as an L-smooth map followed by a surjection. Section 2 compares L-smoothness with smoothness, formal smoothness, and regularity. Section 3 establishes the factorization when both rings are regular, using the J-adic completion of R ⊗_{Fp} S. Section 4 reduces the general case to the regular case by constructing a pushout square with surjective vertical maps from regular Noetherian F-finite rings. Section 5 gives an alternative description of the factorization using Adams completion, relying on the unpublished manuscript [BBST].

Significance. If the main theorem is correct, it gives a useful relative version of Gabber's result that every Noetherian F-finite ring is a quotient of a regular Noetherian F-finite ring, and it provides a homological decomposition for arbitrary maps between F-finite rings. The equivalence of L-smoothness, formal smoothness, and regularity for F-finite maps (Proposition 2.15) is a clean and potentially valuable observation. The paper contains detailed proofs for much of Sections 2 and 3 and makes careful use of Stacks Project references and of André--Quillen-type characterizations. However, the central reduction in Section 4 depends on an assertion about the regularity of a completion that is not proved and is not automatic, and several key steps rely on an unpublished manuscript. These issues prevent the paper from being accepted in its current form.

major comments (3)

The proof asserts that R' = tilde-R^wedge_J is regular, but this is not justified and is not a formal consequence of tilde-R being regular. J-adic completion of a regular ring along an arbitrary ideal need not be regular. For example, with R = S = k[x,y]/(xy), the natural choices G(R) = G(S) = k[x,y] and h_1 = xy give tilde-R = k[x,y,X] and J = (xy,X); the completion of k[x,y,X] along (xy,X) is not regular. The proof gives no argument that the particular cover produced by [BBST, Construction 2.2.3] avoids such behavior. Since Theorem 4.4 uses property (2) of Proposition 4.1 to apply Corollary 3.8 to R' and S', this is a load-bearing gap. The main theorem may be recoverable by taking R' = tilde-R without completing, because condition (3) is not used in Theorem 4.4, but Proposition 4.1 as stated and the Section 5 Adams-completion comparison need a corrected proof.
The paper relies on the unpublished manuscript [BBST] for several essential ingredients: the existence of regular Noetherian F-finite covers with the stated completeness, the animated-ring pushout property in Lemma 5.4, and the Adams-completion constructions used in Theorem 5.7. The needed statements are not quoted in sufficient detail for the reader to check them, and the problematic regularity assertion in Proposition 4.1 is tied to the particular cover from [BBST, Construction 2.2.3]. Before publication, the authors should either include the relevant statements and proofs or replace these references with published and verifiable sources.
The Adams-completion description inherits the unproved regularity assertion from Proposition 4.1. Proposition 5.2 identifies the Adams completion with the classical J-adic completion using Lemma 5.1 and Proposition 3.4, and Theorem 5.7 applies this identification to the pushout square from Proposition 4.1. If the completion regularity in Proposition 4.1 fails, the identification for the constructed square has no proof. Thus the Section 5 formulation is not independent of the gap in Proposition 4.1 and must be revisited after the main construction is repaired.

minor comments (3)

The sentence 'Since the map Comp(R' otimes_{Fp} S' -> S) -> S factors through S'' appears to be a typo: it should presumably refer to the composite Comp(R' otimes_{Fp} S' -> S') -> S' -> S. As written, the phrase is confusing.
In Lemma 2.18, the notation L_F is used for the cotangent complex of the Frobenius map R -> R. The conventions mention this in general terms, but it would help to state explicitly at first use that L_F denotes L_{R/Fp} twisted by the Frobenius map.
In the displayed equivalence L_{T/R} ≃ L_{T'/R'} ⊗^L_{T'} T ≃ L_{S'/Fp} ⊗^L_{S'} T, the second isomorphism is stated without comment; a brief explanation that it follows from Corollary 3.8 would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the factorization theorem reduces to independent prior algebraic results, with no fitted parameters and no definitional identification of input with output.

full rationale

The derivation chain is non-circular. The main theorem (Theorem 4.4) reduces the general case to the regular case (Corollary 3.8), which is proved from the cotangent-complex characterizations of L-smoothness, regularity, and formal smoothness (Theorems 2.10 and 2.11, Proposition 2.15), together with base-change and completion arguments (Propositions 3.4 and 3.7). None of these inputs assumes the target factorization. The cited results from [BBST] and [Gab04] provide regular F-finite covers and Adams-completion formalism; these are constructive theorems whose stated assumptions do not include the factorization being proved, so they constitute independent support rather than a circular premise. The one serious caveat is a correctness gap, not a circularity: Proposition 4.1 asserts without proof that the J-adic completion R' = tilde-R^wedge_J is regular, and for natural choices of covers this completion can fail to be regular. This missing justification affects the proof as written but does not make the argument equivalent to its own conclusion. No fitted parameters, self-imported uniqueness theorems, or ansatz-by-citation patterns are present, so the circularity score is 0.

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

The central claim rests on a network of established results in commutative algebra and homological algebra, plus several domain-specific results from the F-finite literature. The most fragile inputs are the unpublished [BBST] manuscript and the derived-completion results of Morrow, which are load-bearing for the main construction but cannot be independently verified from the preprint alone.

assumptions (8)

standard math Andre-Quillen characterization: a finite presentation map is smooth if and only if its cotangent complex is Omega[0] with Omega a finitely generated projective module.
Used to define L-smoothness in Definition 2.2 and in the proof of Theorem 2.1, cited to Qui70 and Stacks.
standard math Andre's regularity criterion: for Noetherian rings, a map is regular if and only if L_S/R is equivalent to Omega_S/R[0] with Omega flat.
Theorem 2.10; basis for Corollary 2.17 connecting regularity and L-smoothness over Fp.
standard math Avramov and Briggs-Iyengar rigidity theorems for the cotangent complex.
Used in the proof of Theorem 2.11 to conclude local complete intersection and vanishing of higher cotangent homology.
domain assumption Existence of regular Noetherian F-finite covers G(R) to R that are complete along the kernel.
Used in Proposition 4.1 and Construction 5.6; cited to Gab04 Remark 13.6 and [BBST], with [BBST] unpublished.
domain assumption Fogarty's theorem: a Noetherian Fp-algebra is F-finite if and only if Omega_R/Fp is finitely generated.
Used in Lemma 2.18, Proposition 2.19, and Remark 2.14 to convert F-finiteness into finite generation conditions.
standard math Morrow's pro Tor-unitality and derived completion equivalences.
Used in Propositions 3.7, 3.11, and in the Adams completion comparison of Section 5.
domain assumption BBST Adams completion formalism: associated graded pieces and pushout behavior of Comp(A to B).
Used throughout Section 5; the source is an unpublished manuscript and not publicly accessible.
standard math Grothendieck EGA IV results: formal smooth maps of Noetherian rings are flat, and certain adic completions are symmetric algebras on J/J^2.
Used in Remark 2.9, Proposition 3.4, and Lemma 5.1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of $L$-smooth factorization for Noetherian $F$-finite rings." pith.science (2026). https://pith.science/paper/NEHUV3LC

@misc{pith2026250109437,
  author       = {Pith},
  title        = {Pith review of: $L$-smooth factorization for Noetherian $F$-finite rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NEHUV3LC}},
  note         = {Machine review of arXiv:2501.09437}
}

abstract

We show that any homomorphism between Noetherian $F$-finite rings can be factored into a regular morphism between Noetherian $F$-finite rings followed by a surjection. This result establishes an analog of the 'smooth-by-surjective' factorization for finite type maps. As part of our analysis, we observe that for maps of Noetherian $F$-finite rings, regularity and formal smoothness are both equivalent to $L$-smoothness, meaning that the cotangent complex, as in the smooth case, is a locally free module of finite rank concentrated in degree zero. Our findings may also be viewed as a relative version of Gabber's final remark in \citep{Gab04}, which states that any Noetherian $F$-finite ring is a quotient of a regular Noetherian $F$-finite ring.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Relative Inverse Limit Perfection of Derived Commutative Rings
math.AC 2025-06 conditional novelty 7.0 of 10

For F-finite animated rings in characteristic p, every map factors as a free finite-type map, a relatively perfect map, and a surjective map, and relatively perfect maps coincide with formally etale maps in the Noethe...

Reference graph

Works this paper leans on

4 extracted references · 3 canonical work pages · cited by 1 Pith paper

[1968]

V ol. XVII. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1 970, pp. 65–87. [Sta25] The Stacks project authors. The Stacks project. https://stacks.math.columbia.edu. 2025

work page 2025
[1974]

Locally complete intersecti on homomorphisms and a con- jecture of Quillen on the vanishing of cotangent homology

[Avr99] Luchezar L. Avramov. “Locally complete intersecti on homomorphisms and a con- jecture of Quillen on the vanishing of cotangent homology”. English. In: Ann. Math. (2) 150.2 (1999), pp. 455–487. ISSN : 0003-486X. DOI : 10.2307/121087. URL : www.math.princeton.edu/~annals/issues/1999/150_2.html. [BBST] Bhargav Bhatt, Manuel Blickle, Karl Schwede, and...

work page doi:10.2307/121087 1999
[2012]

Rigidity p roperties of the cotangent com- plex

arXiv: 1207.6193 [math.AG] URL : https://arxiv.org/abs/1207.6193. [BI23] Benjamin Briggs and Srikanth B. Iyengar. “Rigidity p roperties of the cotangent com- plex”. English. In: J. Am. Math. Soc. 36.1 (2023), pp. 291–310. ISSN : 0894-0347. DOI : 10.1090/jams/1000. REFERENCES 19 [Car08] Gunnar Carlsson. “Derived completions in stable ho motopy theory”. Eng...

arXiv 2023
[2018]

Pro unitality and pro excision in a lgebraicK-theory and cyclic ho- mology

[Mor18] Matthew Morrow. “Pro unitality and pro excision in a lgebraicK-theory and cyclic ho- mology”. English. In: J. Reine Angew. Math. 736 (2018), pp. 95–139. ISSN : 0075-4102. DOI : 10.1515/crelle-2015-0007. [Qui24] Eamon Quinlan-Gallego. “A formalism of F -modules for rings with complete local ﬁnite F -representation type”. English. In: Int. Math. Res...

work page doi:10.1515/crelle-2015-0007 2018

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1968]

V ol. XVII. Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1 970, pp. 65–87. [Sta25] The Stacks project authors. The Stacks project. https://stacks.math.columbia.edu. 2025

work page 2025

[2] [1974]

Locally complete intersecti on homomorphisms and a con- jecture of Quillen on the vanishing of cotangent homology

[Avr99] Luchezar L. Avramov. “Locally complete intersecti on homomorphisms and a con- jecture of Quillen on the vanishing of cotangent homology”. English. In: Ann. Math. (2) 150.2 (1999), pp. 455–487. ISSN : 0003-486X. DOI : 10.2307/121087. URL : www.math.princeton.edu/~annals/issues/1999/150_2.html. [BBST] Bhargav Bhatt, Manuel Blickle, Karl Schwede, and...

work page doi:10.2307/121087 1999

[3] [2012]

Rigidity p roperties of the cotangent com- plex

arXiv: 1207.6193 [math.AG] URL : https://arxiv.org/abs/1207.6193. [BI23] Benjamin Briggs and Srikanth B. Iyengar. “Rigidity p roperties of the cotangent com- plex”. English. In: J. Am. Math. Soc. 36.1 (2023), pp. 291–310. ISSN : 0894-0347. DOI : 10.1090/jams/1000. REFERENCES 19 [Car08] Gunnar Carlsson. “Derived completions in stable ho motopy theory”. Eng...

arXiv 2023

[4] [2018]

Pro unitality and pro excision in a lgebraicK-theory and cyclic ho- mology

[Mor18] Matthew Morrow. “Pro unitality and pro excision in a lgebraicK-theory and cyclic ho- mology”. English. In: J. Reine Angew. Math. 736 (2018), pp. 95–139. ISSN : 0075-4102. DOI : 10.1515/crelle-2015-0007. [Qui24] Eamon Quinlan-Gallego. “A formalism of F -modules for rings with complete local ﬁnite F -representation type”. English. In: Int. Math. Res...

work page doi:10.1515/crelle-2015-0007 2018