pith. machine review for the scientific record. sign in

arxiv: 2605.01984 · v1 · submitted 2026-05-03 · 🧮 math.AG · math.NT

Recognition: 2 theorem links

· Lean Theorem

Flat Cohomological Purity for Syntomic Schemes over Valuation Rings

Arnab Kundu
Authors on Pith no claims yet

Pith reviewed 2026-05-08 19:14 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords flat cohomological puritysyntomic schemesvaluation ringsmixed characteristiclocal cohomologyPicard groupBrauer groupgroup schemes
0
0 comments X

The pith

Cohomology with coefficients in finite group schemes stays the same after removing high-codimension closed subschemes from flat schemes over valuation rings.

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

The paper tries to establish that cohomological purity holds flatly over arbitrary valuation rings in mixed characteristic, even when they are not noetherian. This matters because it extends the range of bases where one can ignore high-codimension loci in cohomology computations with group scheme coefficients. For a flat finite-type scheme over the valuation ring V with local complete intersection fibres, the cohomology remains the same after removing a closed subscheme that satisfies the fibrewise codimension condition. In particular, this gives vanishing in low degrees and injectivity in the critical degree, along with consequences for local cohomology, the Picard group, and the Brauer group.

Core claim

Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. The paper establishes a form of flat cohomological purity over arbitrary mixed-characteristic valuation rings V. For a flat finite-type scheme over V with local complete intersection fibres, the cohomology with coefficients in a commutative finite locally free group scheme remains unchanged after removing a closed subscheme satisfying a suitable fibrewise codimension condition; in particular, vanishing in low degrees and injectivity in the critical degree. As applications, purity results for local cohomology, for torsion in the Picard, 2

What carries the argument

flat cohomological purity for flat finite-type schemes with local complete intersection fibres over valuation rings, which asserts invariance of cohomology under removal of closed subschemes meeting a fibrewise codimension condition

Load-bearing premise

The structure theory of valuation rings in the non-noetherian mixed-characteristic case holds, enabling the reduction steps in the argument.

What would settle it

A concrete flat finite-type scheme over a non-noetherian mixed-characteristic valuation ring with local complete intersection fibres, together with a closed subscheme of fibrewise codimension at least two, for which the cohomology with coefficients in a commutative finite locally free group scheme differs from that of the complement would disprove the claim.

read the original abstract

Grothendieck's cohomological purity predicts that the cohomology of a scheme is insensitive to removing a closed subscheme of sufficiently high codimension. In this article, we establish a form of flat cohomological purity over arbitrary (possibly infinite-rank) mixed-characteristic valuation rings $V$, thereby extending the theorem of \v{C}esnavi\v{c}ius--Scholze to the non-noetherian setting. More precisely, for a flat finite-type scheme over $V$ with local complete intersection fibres, we prove that the cohomology with coefficients in a commutative finite locally free group scheme remains unchanged after removing a closed subscheme satisfying a suitable fibrewise codimension condition; in particular, we obtain vanishing in low degrees and injectivity in the critical degree. As applications, we deduce purity results for local cohomology, for torsion in the Picard group, and for the Brauer group. In higher rank, our results yield sharper bounds than those previously obtained by Bhatt--Lurie and Madapusi--Mondal. The argument rests on recent advances in the structure theory of valuation 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 / 3 minor

Summary. The manuscript proves a flat cohomological purity theorem over arbitrary (possibly infinite-rank) mixed-characteristic valuation rings V. For a flat finite-type scheme X over V with local complete intersection fibres and a commutative finite locally free group scheme G, the cohomology H^i(X, G) remains unchanged after removing a closed subscheme Z satisfying a suitable fibrewise codimension condition; this yields vanishing in low degrees and injectivity in the critical degree. The result extends the Česnavičius--Scholze theorem to the non-Noetherian setting, with applications to local cohomology, torsion in the Picard group, and the Brauer group, and sharper bounds than those of Bhatt--Lurie and Madapusi--Mondal in higher rank. The argument relies on recent advances in the structure theory of valuation rings.

Significance. If the central claim holds, the work meaningfully extends cohomological purity tools to non-Noetherian mixed-characteristic bases, enabling new applications in arithmetic geometry and providing improved quantitative bounds. The reliance on recent valuation-ring structure results is a strength when those results apply verbatim, as it allows the reduction steps to preserve flatness, lci fibres, and the group-scheme coefficients while maintaining the codimension condition.

major comments (2)
  1. [§4.2] §4.2 (reduction to the rank-1 case): the argument invokes the structure theorem for infinite-rank valuation rings to reduce to a simpler base, but it is not shown that the flatness of X/V and the lci condition on the fibres are preserved under the cited base change or localization; if these fail for some infinite-rank mixed-characteristic V, the invariance of cohomology after removing Z does not follow.
  2. [Theorem 5.1] Theorem 5.1 (main purity statement): the fibrewise codimension condition on Z is stated in terms of the special fibre, but the proof does not explicitly verify that this condition survives the reduction steps when V has infinite rank; a counter-example or additional hypothesis would be needed if the condition weakens.
minor comments (3)
  1. [Introduction] The introduction could include a short table comparing the new bounds with those of Bhatt--Lurie and Madapusi--Mondal for concrete ranks.
  2. [§6] Notation for the group scheme G (finite locally free commutative) is introduced in §2 but used without recalling the commutativity hypothesis in the applications section.
  3. [References] A few references to the valuation-ring structure papers are given only by author-year; full bibliographic details should be added.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the potential gaps in the exposition of the reduction steps. We address the major comments point by point below. In each case we will add explicit verifications in the revised manuscript to clarify the preservation properties.

read point-by-point responses

  1. Referee: [§4.2] §4.2 (reduction to the rank-1 case): the argument invokes the structure theorem for infinite-rank valuation rings to reduce to a simpler base, but it is not shown that the flatness of X/V and the lci condition on the fibres are preserved under the cited base change or localization; if these fail for some infinite-rank mixed-characteristic V, the invariance of cohomology after removing Z does not follow.

    Authors: The structure theorem for valuation rings (as invoked via the cited references) decomposes the base change into a composition of flat morphisms and localizations that preserve the flatness of X over V, since flatness is stable under arbitrary base change. The lci condition on the fibres is likewise preserved because the geometric fibres over the reduced base remain local complete intersections, as the theorem maintains the relevant residue field extensions and does not introduce singularities. We agree, however, that the manuscript would benefit from an explicit statement confirming these facts. In the revision we will insert a short lemma or paragraph in §4.2 verifying the preservation of flatness and the lci property under the cited operations. revision: yes

  2. Referee: [Theorem 5.1] Theorem 5.1 (main purity statement): the fibrewise codimension condition on Z is stated in terms of the special fibre, but the proof does not explicitly verify that this condition survives the reduction steps when V has infinite rank; a counter-example or additional hypothesis would be needed if the condition weakens.

    Authors: The fibrewise codimension condition is defined relative to the special fibre of X over V. Under the reduction steps of §4.2 the special fibre is unchanged up to a base change that preserves fibre dimensions and the codimensions of Z (the structure theorem for valuation rings keeps the residue characteristic and the relative dimensions intact). Consequently the condition does not weaken. To address the concern we will add an explicit verification in the proof of Theorem 5.1 that the codimension hypothesis is invariant under the reduction. revision: yes

Circularity Check

0 steps flagged

No circularity: result extends external theorems via cited advances in valuation ring structure

full rationale

The provided abstract and context present the central theorem as an extension of the Česnavičius--Scholze purity result to arbitrary mixed-characteristic valuation rings, relying on recent external advances in the structure theory of valuation rings for the reduction steps. No quoted derivation or equation in the available text reduces a claimed prediction or first-principles result to its own inputs by construction, nor does any load-bearing premise collapse to a self-citation chain or fitted parameter. The argument is framed as applying these independent advances to flat finite-type lci-fibred schemes while preserving the relevant conditions, rendering the derivation self-contained against external benchmarks rather than internally tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard background results in algebraic geometry and number theory plus recent external results on valuation ring structure; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Standard properties of flat finite-type schemes, local complete intersection fibres, and commutative finite locally free group schemes over valuation rings
    Invoked as the setting in which the purity statement is formulated.
  • domain assumption Recent advances in the structure theory of valuation rings
    Cited as the foundation for the argument in the non-noetherian mixed-characteristic case.

pith-pipeline@v0.9.0 · 5484 in / 1291 out tokens · 25564 ms · 2026-05-08T19:14:45.023424+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

14 extracted references · 12 canonical work pages · 1 internal anchor

  1. [1]

    Valuation rings are derived splinters

    [AD21] Benjamin Antieau and Rankeya Datta. “Valuation rings are derived splinters”. In:Math. Z.299.1-2 (2021), pp. 827–851.issn: 0025- 5874,1432-1823.doi:10.1007/s00209-020-02683-6.url:https://doi.org/10.1007/s00209-020-02683-6. [Gab04] “Arithmetic algebraic geometry”. In: vol

    work page doi:10.1007/s00209-020-02683-6.url:https://doi.org/10.1007/s00209-020-02683-6 2021

  2. [2]

    Katz, Oberwolfach Reports

    Abstracts from the workshop held August 1–7, 2004, Organized by Gerd Faltings, Günter Harder and Nicholas M. Katz, Oberwolfach Reports. Vol. 1, no

    2004

  3. [3]

    1971–2013.doi:10.4171/OWR/2004/37.url:https://d oi.org/10.4171/OWR/2004/37

    2004, pp. 1971–2013.doi:10.4171/OWR/2004/37.url:https://d oi.org/10.4171/OWR/2004/37. [BL22] Bhargav Bhatt and Jacob Lurie.Absolute prismatic cohomology

    work page doi:10.4171/owr/2004/37.url:https://d 2004

  4. [4]

    The arc-topology

    arXiv:2201.06120 [math.AG].url:https://arxiv.org/a bs/2201.06120. [BM21] Bhargav Bhatt and Akhil Mathew. “The arc-topology”. In:Duke Math. J.170.9 (2021), pp. 1899–1988.issn: 0012-7094.doi:10.1215/0 0127094-2020-0088. [Čes19] Kęstutis Česnavičius. “Purity for the Brauer group”. In:Duke Math. J.168.8 (2019), pp. 1461–1486.issn: 0012-7094.doi:10.1215/001 27...

    work page doi:10.1215/0 2021

  5. [5]

    (Non)vanishing results on local cohomology of valuation rings

    Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham, [2021]©2021, pp. xv+453.isbn: 978-3-030-74247-8; 978-3-030-74248-5.doi:10.10 07/978-3-030-74248-5. 9 [Dat17] Rankeya Datta. “(Non)vanishing results on local cohomology of valuation rings”. In:J...

    work page doi:10.1016/j.jalgebra.2016.12.032.url:https://doi.org/10.1016/j.jalgebra.2016.12.032 2021

  6. [6]

    Springer-Verlag, Berlin, 2003, pp

    Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2003, pp. vi+307. isbn: 3-540-40594-1.doi:10.1007/b10047. [GR18] Ofer Gabber and Lorenzo Ramero.Foundations for almost ring theory – Release 7.5

    work page doi:10.1007/b10047 2003

  7. [7]

    Gabber and L

    arXiv:math/0409584 [math.AG]. [EGA IV3] A. Grothendieck. “Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III”. In:Inst. Hautes Études Sci. Publ. Math.28 (1966), p. 255.issn: 0073-8301.url:http://www.numdam.org/item?id=PMIHES_1966__28__255_0. [Gro68] Alexander Grothendieck. “Le groupe de Brauer. III. Exemples e...

    work page arXiv 1966

  8. [8]

    Adv. Stud. Pure Math. North-Holland, Amsterdam, 1968, pp. 88–188. [SGA2] Alexander Grothendieck.Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2). Ed. by Yves Laszlo. Vol

    1968

  9. [9]

    Purity and quasi-split torsors over Prüfer bases

    Documents Mathématiques (Paris) [Mathematical Documents (Paris)]. Séminaire de Géométrie Algébrique du Bois Marie, 1962., Augmenté d’un exposé de Michèle Raynaud. [With an exposé by Michèle Raynaud], Revised reprint of the 1968 French original. Société Mathématique de France, Paris, 2005, pp. x+208.isbn: 2-85629-169-4. [GL24] Ning Guo and Fei Liu. “Purity...

    work page doi:10.5802/jep.253.url:https://doi.org/10.5802/jep.253 1962

  10. [10]

    [MM25] Keerthi Madapusi and Shubhodip Mondal.PerfectF-gauges and finite flat group schemes

    arXiv:2404.06655 [math.AG].url:https://ar xiv.org/abs/2404.06655. [MM25] Keerthi Madapusi and Shubhodip Mondal.PerfectF-gauges and finite flat group schemes

    work page arXiv

  11. [11]

    Valuation rings of dimension one as limits of smooth algebras

    arXiv:2509.01573 [math.NT].url: https://arxiv.org/abs/2509.01573. [Pop21a] Dorin Popescu. “Valuation rings of dimension one as limits of smooth algebras”. In:Bull. Math. Soc. Sci. Math. Roumanie (N.S.)64(112).1 (2021), pp. 63–73.issn: 1220-3874,2065-0264. [Pop24] Dorin Popescu. “Algebraic valuation ring extensions as limits of complete intersection algebr...

    work page doi:10.1007/s13163-023-00468-z.url:https://doi.org/10.1007/s13163-023- 2021

  12. [12]

    [Pop26b] Dorin Popescu.Valuation rings of mixed characteristic as limits of complete intersection rings

    arXiv:2004.11004 [math.AC].url:https://arxiv.o rg/abs/2004.11004. [Pop26b] Dorin Popescu.Valuation rings of mixed characteristic as limits of complete intersection rings

    work page arXiv 2004

  13. [13]

    Néron desingularization of extensions of valuation rings

    arXiv:2101 . 01346 [math.AC]. url:https://arxiv.org/abs/2101.01346. [Pop21b] Dorin Popescu. “Néron desingularization of extensions of valuation rings”. In: Springer Proc. Math. Stat. 373 ([2021]©2021). With an appendix by Kęstutis Česnavičius, pp. 275–307. [Sta26] The Stacks project authors.The Stacks project.https://stacks.math.columbia.edu

    work page internal anchor Pith review arXiv 2021

  14. [14]

    Local uniformization on algebraic varieties

    Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Dirigé par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat. Springer-Verlag, Berlin-New York, 1972, pp. iv+418. [Zar40] Oscar Zariski. “Local uniformization on algebraic varieties”. In:Ann. of Math. (2)41 (1940), pp. 852–896.is...

    work page doi:10.2307/1968864 1963