pith. sign in

arxiv: 2605.22046 · v1 · pith:GFPVII6Gnew · submitted 2026-05-21 · 🧮 math.AG

Birational and A¹-invariant lattices in the cohomology of the structure sheaf over non-archimedean fields

Alberto Merici , Kay R\"ulling , Shuji Saito This is my paper

Pith reviewed 2026-05-22 03:15 UTC · model grok-4.3

classification 🧮 math.AG
keywords non-archimedean fieldsstructure sheaf cohomologyA1-invariancebirational invariantstame cohomologyrigid analytic geometryfunction field automorphismsquasi-unipotent action
0
0 comments X

The pith

The cohomology of the structure sheaf over non-archimedean fields extends to A¹-invariant lattices for all smooth schemes.

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

This paper shows how to refine the cohomology of the structure sheaf from smooth proper schemes to an A¹-invariant theory that works for smooth schemes that are not necessarily proper, taking values in lattices over the ring of integers of the base field. The result holds over complete non-archimedean fields of characteristic zero in all dimensions and in positive characteristic up to dimension three. A sympathetic reader would care because this provides new birational invariants that are stable under A¹-homotopy, allowing the study of more general varieties and their function fields. The construction relies on tame cohomology methods combined with rigid analytic geometry.

Core claim

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field K of characteristic zero can be refined to an A¹-invariant cohomology theory of smooth schemes over K with values in O_K-lattices. The same holds for K of positive characteristic in dimensions at most 3. This yields that the automorphism group of the function field of a proper smooth variety of dimension at most 3 over a positive characteristic field acts quasi-unipotently on the structure sheaf cohomology of the variety.

What carries the argument

A variant of the tame cohomology of Hübner–Schmidt with coefficients in a twisted version of the tame structure sheaf, which incorporates results on the cohomology of twisted integral rigid structure sheaves to produce the lattices.

If this is right

  • The refined cohomology gives A¹-invariant birational invariants for smooth schemes over such fields.
  • The automorphism group of the function field acts quasi-unipotently on these lattices for varieties of dimension at most 3 in positive characteristic.
  • This extension allows applying the theory to non-proper smooth schemes while preserving the lattice structure.
  • The result holds uniformly in characteristic zero but is limited to low dimensions in positive characteristic.

Where Pith is reading between the lines

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

  • This approach may connect the study of birational geometry over non-archimedean fields to A¹-homotopy theory in a lattice-valued setting.
  • Similar refinements could be explored for other cohomology theories like de Rham or crystalline cohomology in this context.
  • The quasi-unipotent action might imply restrictions on the possible birational transformations in low dimensions.

Load-bearing premise

The construction depends on a variant of tame cohomology using specific results from rigid analytic geometry on twisted integral rigid structure sheaves.

What would settle it

Compute the proposed lattice for the structure sheaf cohomology of an affine space or a non-proper smooth scheme like the complement of a divisor and check if it is invariant under A¹-homotopy or matches the proper case when compactified.

read the original abstract

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily proper) schemes over $K$ with values in $\mathcal{O}_K$-lattices, and the same holds for $K$ of positive characteristic in dimensions at most $3$. As one application, we obtain that the automorphism group of the function field of a proper smooth variety $X$ of dimension at most 3 over a field of positive characteristic acts quasi-unipotently on the cohomology of the structure sheaf of $X$. The construction of the lattices relies on a variant of the tame cohomology of H\"ubner--Schmidt with coefficients in a twisted version of the tame structure sheaf and uses results from rigid analytic geometry on the cohomology of twisted integral rigid structure sheaves due to Bartenwerfer and van der Put.

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

1 major / 3 minor

Summary. The manuscript claims that the cohomology of the structure sheaf of smooth proper schemes over a complete non-archimedean field K of characteristic zero can be refined to an A¹-invariant cohomology theory valued in O_K-lattices that extends to smooth (not necessarily proper) schemes; an analogous statement holds in positive characteristic for dimensions at most 3. The construction proceeds via a variant of Hübner–Schmidt tame cohomology with coefficients in a twisted tame structure sheaf, combined with Bartenwerfer–van der Put results on the cohomology of twisted integral rigid structure sheaves. As an application, the automorphism group of the function field of a proper smooth variety of dimension at most 3 over a positive-characteristic field is shown to act quasi-unipotently on the cohomology of the structure sheaf.

Significance. If the lattices are well-defined and the A¹-invariance holds, the result supplies a birational, homotopy-invariant refinement of structure-sheaf cohomology in the non-archimedean setting, which is not currently available in the literature. The explicit use of existing rigid-analytic and tame-cohomology tools to obtain lattice-valued, A¹-invariant theories is a strength; the application to quasi-unipotent actions on low-dimensional function fields is a concrete consequence that could be checked independently.

major comments (1)
  1. [Construction of the lattices (likely §3 or §4)] The central claim that the constructed objects are O_K-lattices and A¹-invariant rests on the combination of the cited Bartenwerfer–van der Put theorems with the twisted Hübner–Schmidt complex; the manuscript should contain an explicit verification (in the section defining the lattices) that the resulting cohomology groups are finitely generated O_K-modules of the expected rank and that the A¹-invariance isomorphism is induced by the rigid-analytic comparison maps without additional hypotheses on the base field.
minor comments (3)
  1. [Notation and preliminaries] The notation for the twisted tame structure sheaf should be introduced with a precise definition and comparison to the untwisted case before it is used in the main statements.
  2. [Application section] In the application to automorphism groups, state explicitly which cohomology degree is under consideration and how the lattice property implies quasi-unipotence.
  3. [Introduction] Add a short remark comparing the new A¹-invariant theory to existing motivic or rigid cohomology theories to clarify the novelty.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive evaluation of the significance, and constructive suggestion for improving the clarity of the lattice construction. We address the major comment below and will incorporate the requested explicit verification in the revised manuscript.

read point-by-point responses

  1. Referee: [Construction of the lattices (likely §3 or §4)] The central claim that the constructed objects are O_K-lattices and A¹-invariant rests on the combination of the cited Bartenwerfer–van der Put theorems with the twisted Hübner–Schmidt complex; the manuscript should contain an explicit verification (in the section defining the lattices) that the resulting cohomology groups are finitely generated O_K-modules of the expected rank and that the A¹-invariance isomorphism is induced by the rigid-analytic comparison maps without additional hypotheses on the base field.

    Authors: We agree that making the verification fully explicit will strengthen the presentation. The finite generation as O_K-modules of the expected rank follows directly from the Bartenwerfer–van der Put theorems on the cohomology of twisted integral rigid structure sheaves (as already invoked in the definition of the lattices via the twisted Hübner–Schmidt complex). Similarly, the A¹-invariance isomorphism is induced by the rigid-analytic comparison maps under the standing hypotheses on K (complete non-archimedean of characteristic zero, or positive characteristic with dimension ≤3). In the revised version we will add a short dedicated paragraph immediately following the lattice definition (in the section currently labeled §3) that spells out these two verifications step by step, citing the precise statements from Bartenwerfer–van der Put and confirming the absence of extra base-field hypotheses. This is a minor clarification that does not alter any statements or proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external cited results

full rationale

The paper constructs A¹-invariant lattices in structure sheaf cohomology by invoking a variant of Hübner–Schmidt tame cohomology with twisted coefficients together with Bartenwerfer–van der Put results on twisted integral rigid structure sheaves. These are independent external references with no indicated self-citation chains, fitted parameters renamed as predictions, or self-definitional reductions in the provided abstract and description. The central claims therefore remain self-contained against external benchmarks rather than reducing to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of prior results in rigid analytic geometry and tame cohomology; no free parameters or new postulated entities are introduced in the abstract.

axioms (2)
  • domain assumption Results from rigid analytic geometry on the cohomology of twisted integral rigid structure sheaves due to Bartenwerfer and van der Put hold.
    Explicitly invoked in the abstract as the foundation for the lattice construction.
  • domain assumption A variant of the tame cohomology of Hübner–Schmidt with twisted tame structure sheaf coefficients exists and behaves as needed.
    Used to define the refined cohomology theory.

pith-pipeline@v0.9.0 · 5713 in / 1453 out tokens · 47608 ms · 2026-05-22T03:15:55.058774+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

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

  1. [1]

    Higher direct images of the structure sheaf over a dedekind domain, 2026

    Grétar Amazeen. Higher direct images of the structure sheaf over a dedekind domain, 2026. arxiv preprint https://arxiv.org/abs/2602.13881

    work page arXiv 2026

  2. [2]

    oheren metrischen K ohomologiegruppen affinoider R \

    Wolfgang Bartenwerfer. Die h\"oheren metrischen K ohomologiegruppen affinoider R \"aume. Math. Ann. , 241(1):11--34, 1979

    work page 1979

  3. [3]

    Lectures on formal and rigid geometry , volume 2105 of Lecture Notes in Mathematics

    Siegfried Bosch. Lectures on formal and rigid geometry , volume 2105 of Lecture Notes in Mathematics . Springer, Cham, 2014

    work page 2014

  4. [4]

    Commutative algebra

    Nicolas Bourbaki. Commutative algebra. C hapters 1--7 . Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. Translated from the French, Reprint of the 1989 English translation

    work page 1998

  5. [5]

    Resolution of singularities of threefolds in positive characteristic

    Vincent Cossart and Olivier Piltant. Resolution of singularities of threefolds in positive characteristic. I . R eduction to local uniformization on A rtin- S chreier and purely inseparable coverings. J. Algebra , 320(3):1051--1082, 2008

    work page 2008

  6. [6]

    Resolution of singularities of arithmetical threefolds

    Vincent Cossart and Olivier Piltant. Resolution of singularities of arithmetical threefolds. J. Algebra , 529:268--535, 2019

    work page 2019

  7. [7]

    Higher direct images of the structure sheaf in positive characteristic

    Andre Chatzistamatiou and Kay R\"ulling. Higher direct images of the structure sheaf in positive characteristic. Algebra Number Theory , 5(6):693--775, 2011

    work page 2011

  8. [8]

    Vanishing of the higher direct images of the structure sheaf

    Andre Chatzistamatiou and Kay R\"ulling. Vanishing of the higher direct images of the structure sheaf. Compos. Math. , 151:2131--2144, 2015

    work page 2015

  9. [9]

    Foundations of rigid geometry

    Kazuhiro Fujiwara and Fumiharu Kato. Foundations of rigid geometry. I . EMS Monographs in Mathematics. European Mathematical Society (EMS), Z\"urich, 2018

    work page 2018

  10. [10]

    Resolution of singularities of an algebraic variety over a field of characteristic zero

    Heisuke Hironaka. Resolution of singularities of an algebraic variety over a field of characteristic zero. I , II . Ann. of Math. (2) , 79:109--203; 79 (1964), 205--326, 1964

    work page 1964

  11. [11]

    Tha tame site of a scheme

    Katharina H\"ubner and Alexander Schmidt. Tha tame site of a scheme. Inv. Math. , 223:397--443, 2020

    work page 2020

  12. [12]

    The adic tame site

    Katharina H \"u bner. The adic tame site. Doc. Math. , 26:873--945, 2021

    work page 2021

  13. [13]

    \'E tale cohomology of rigid analytic spaces

    Johan de Jong and Marius van der Put. \'E tale cohomology of rigid analytic spaces. Doc. Math. , 1(01):1--56, 1996

    work page 1996

  14. [14]

    Birational motives, II : Triangulated birational motives

    Bruno Kahn and Ramdorai Sujatha. Birational motives, II : Triangulated birational motives. Int. Math. Res. Notices , (22):6778--6831, 2017

    work page 2017

  15. [15]

    Towards a non-archimedean analytic analog of the B ass- Q uillen conjecture

    Moriz Kerz, Shuji Saito, and Georg Tamme. Towards a non-archimedean analytic analog of the B ass- Q uillen conjecture. J. Inst. Math. Jussieu , 19(6):1931--1946, 2020

    work page 1931

  16. [16]

    The J apanese and universally J apanese properties for valuation rings and P rüfer domains

    Shiji Lyu. The J apanese and universally J apanese properties for valuation rings and P rüfer domains. Journal of Algebra , 688:718--734, 2026

    work page 2026

  17. [17]

    A construction of tame sheaves and tame de Rham--Witt cohomology

    Alberto Merici, Kay Rülling, and Shuji Saito. A construction of tame sheaves and tame de R ham-- W itt cohomology, 2026. arxiv preprint https://arxiv.org/abs/2605.20858

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  18. [18]

    Cohomology on affinoid spaces

    Marius van der Put. Cohomology on affinoid spaces. Compositio Math. , 45(2):165--198, 1982

    work page 1982

  19. [19]

    Crit \`e re de pl \^a titude et de projectivit \'e

    Michel Raynaud and Laurent Gruson. Crit \`e re de pl \^a titude et de projectivit \'e . Invent. Math. , 13:1--89, 1971

    work page 1971

  20. [20]

    S tacks P roject

    Stacks Project Authors . S tacks P roject . http://stacks.math.columbia.edu, 2016

    work page 2016

  21. [21]

    Almost coherent modules and almost coherent sheaves , volume 19 of Memoirs of the European Mathematical Society

    Bogdan Zavyalov. Almost coherent modules and almost coherent sheaves , volume 19 of Memoirs of the European Mathematical Society . European Mathematical Society (EMS), Berlin, 2025

    work page 2025