{"id":"931fad62-2e45-4d08-9fe3-c2d01acc938e","arxiv_id":"2501.09437","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every map between Noetherian F-finite Fp-algebras factors as an L-smooth morphism followed by a surjection, extending Gabber's quotient theorem to relative maps.","lead":"This paper proves that any map between Noetherian F-finite rings in characteristic p can be factored as a smooth-like map followed by a surjection. The result gives a relative version of Gabber's theorem that every such ring is a quotient of a regular one.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4.1 asserts without proof that the J-adic completion of a regular ring obtained by adding polynomial variables to G(R) is regular; natural choices of covers give a singular completion, so the factorization proof has a gap.","rationale":"The reader's verdict is CONDITIONAL, citing the unpublished [BBST] as the main risk. My stress test agrees that Proposition 4.1 is the weak point, but identifies a more specific internal gap: even granting the existence of regular covers G(R) and G(S), the proof's explicit construction of R' by completing tilde-R along J is not shown to preserve regularity, and a natural instantiation of that construction yields a singular ring. This concern is load-bearing because property (2) of Proposition 4.1 feeds directly into Corollary 3.8, which produces the L-smooth map in Theorem 4.4. I do not think this forces a change of verdict: Theorem 4.4 may be provable by choosing R' = tilde-R without completing, or by invoking a stronger [BBST] construction whose details are not in the paper. But the proof as written contains a genuine gap, so the CONDITIONAL verdict remains appropriate. The reader's weakest_assumption focused on the completeness of the covers from [BBST]; my concern is distinct but overlapping, hence partial agreement.","tokens_in":14685,"tokens_out":52675,"duration_ms":526984,"concrete_test":"Compute the J-adic completion of k[x,y,X] along J = (xy,X), where R = k[x,y]/(xy), G(R) = G(S) = k[x,y], and h_1 = xy. Determine whether the completion is regular by checking whether the local ring at the origin is regular, e.g., by computing its associated graded with respect to the maximal ideal and testing whether it is a polynomial ring over k. If the completion is singular, the proof of Proposition 4.1 fails for this natural choice, and no argument in the paper shows that the [BBST] cover changes this outcome.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem (Theorem 4.4) relies on Proposition 4.1, which claims the existence of a pushout square of regular Noetherian F-finite rings R' and S' with surjective vertical maps. In the proof, after forming tilde-R = G(R)[X_1,...,X_n] and J = ker(tilde-R -> R), the authors assert that R' = tilde-R^wedge_J is regular, with no justification. This is not automatic: the J-adic completion of a regular ring along an arbitrary ideal can be singular. For a concrete natural choice, take R = S = k[x,y]/(xy), G(R) = G(S) = k[x,y] (regular covers via the quotient by (xy)), and h_1 = xy. Then tilde-R = k[x,y,X] and J = (xy,X). The formal completion of k[x,y,X] along (xy,X) is the formal neighborhood of the union of the two lines V(x,X) and V(y,X) in A^3, which has a node at the origin and is therefore not regular. The proof gives no argument that the particular cover produced by [BBST, Construction 2.2.3] avoids this failure. Since property (2) of Proposition 4.1 (regularity of R') is used to apply Corollary 3.8 in Theorem 4.4, this is a load-bearing gap in the proof as written. The main theorem may be salvageable by taking R' = tilde-R without completing (only properties (1)-(2) are needed for Theorem 4.4), but the stated proposition and the Section 5 Adams-completion comparison rest on the unproved regularity assertion.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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].","tokens_in":15044,"tokens_out":9765,"duration_ms":100554,"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":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"major_revision","confidential_remarks":"The core result is plausible and the Sections 2--3 material appears sound, but the manuscript cannot be accepted as written because Proposition 4.1 contains an unproved and in general false regularity assertion. The gap appears localized and may be fixable by taking R' = tilde-R without completing and dropping condition (3), but then the statements and proofs of Proposition 4.1 and the Section 5 results must be revised accordingly. The heavy reliance on the unpublished [BBST] should also be resolved before publication. I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThere 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.\n\nThe 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.\n\nMy 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.","headline":"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.","tokens_in":15534,"tokens_out":26522,"would_cite":false,"duration_ms":264689,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13A35","13D03"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every map of Noetherian F-finite rings factors as an L-smooth map followed by a surjection.","keywords":["cotangent complex","L-smooth morphism","F-finite rings","regular morphisms","formal smoothness","positive characteristic","Adams completion","Noetherian rings"],"falsifier":"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.","tokens_in":14497,"feed_emoji":"","tokens_out":14013,"duration_ms":131331,"temperature":0.7,"pith_summary":"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.","feed_headline":"Every F-finite ring map factors as L-smooth then surjective","feed_subtitle":"The finite-type smooth-by-surjective factorization now holds for all maps of Noetherian F-finite rings.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"This reference supplies the regular Noetherian F-finite covers used to build the pushout square.","marker":"[Gab04]"},{"why":"This reference provides the completeness properties of regular covers and the Adams-completion formalism used in the alternative construction.","marker":"[BBST]"},{"why":"This reference gives the André–Quillen characterization of smoothness by a projective cotangent complex, which motivates L-smoothness and identifies regular ideals.","marker":"[Qui70]"},{"why":"This reference supplies the EGA facts on formal smoothness and completions used to identify the completed ring and its associated graded pieces.","marker":"[Gro64]"},{"why":"This reference provides the standard facts on cotangent complexes, pseudo-coherence, flat dimension, formal smoothness, and regular maps used throughout.","marker":"[Sta25]"},{"why":"This reference proves pro Tor-unitality of ideals in Noetherian rings, which lets the paper commute limits with cotangent complexes in the completion arguments.","marker":"[Mor18]"},{"why":"This reference supplies the rigidity theorem used to pass from vanishing of the first cohomology of the cotangent complex to a local complete intersection statement.","marker":"[BI23]"},{"why":"This reference contributes the second vanishing theorem that bounds the flat dimension of the cotangent complex in the proof that formal smoothness implies L-smoothness for Noetherian rings.","marker":"[Avr99]"},{"why":"This reference characterizes F-finiteness by finite generation of Kähler differentials, a key finiteness input for the cotangent complex.","marker":"[Fog80]"},{"why":"This reference defines F-finite morphisms and records their basic properties, used throughout Section 2.","marker":"[Has15]"}],"fun_headline_variants":["Every F-finite map factors as L-smooth then onto","F-finite maps: always smooth then surjective","Noetherian F-finite: regular then surjective factorization","All F-finite ring homomorphisms split smoothly and onto"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Every F-finite map factors as L-smooth then onto","F-finite maps: always smooth then surjective","Noetherian F-finite: regular then surjective factorization","All F-finite ring homomorphisms split smoothly and onto"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001258,"raw_usage":{"total_tokens":5130,"prompt_tokens":897,"completion_tokens":4233,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":4164}},"tokens_in":513,"tokens_out":4233,"duration_ms":35400,"temperature":1.0,"reasoning_tokens":4164,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:01:59.735316+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}