arxiv: 2605.09987 · v1 · submitted 2026-05-11 · 🧮 math.NT

Recognition: 2 theorem links

· Lean Theorem

Congruences of first syntomic cohomology groups

Yu Min

Pith reviewed 2026-05-12 03:50 UTC · model grok-4.3

classification 🧮 math.NT

keywords syntomic cohomologyBreuil-Kisin modulesF-gaugesNygaard filtrationGalois actionp-adic Selmer groupscongruences

0 comments

The pith

For reflexive F-gauges on the integers of a finite p-adic extension, the first syntomic cohomology groups are isomorphic modulo p^n precisely when the attached Breuil-Kisin modules with Galois action and Nygaard filtration are isomorphic at

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

The paper establishes that two reflexive F-gauges on O_K yield isomorphic first syntomic cohomology groups after reduction modulo p^n if and only if their attached Breuil-Kisin modules with G_K-action and Nygaard filtration become isomorphic after reduction modulo p^{2n}, once n is large enough. Syntomic cohomology is presented as a refinement of local Bloch-Kato Selmer groups, so the equivalence supplies a criterion for comparing these refined groups by inspecting the underlying filtered modules instead. A reader would care because the result transfers questions about congruence of cohomology classes directly into questions about congruence of the modules that encode them.

Core claim

Given two reflexive F-gauges on O_K, for large enough n the mod p^n-reductions of their first syntomic cohomology groups are isomorphic if and only if the mod p^{2n}-reductions of their attached Breuil-Kisin modules with G_K-actions and Nygaard filtrations are isomorphic.

What carries the argument

The reduction correspondence that links the first syntomic cohomology group of a reflexive F-gauge to its Breuil-Kisin module equipped with G_K-action and Nygaard filtration, with the modulus doubled on the module side.

If this is right

Isomorphisms of syntomic cohomology groups modulo p^n can be verified by checking isomorphisms of the Breuil-Kisin modules at modulus p^{2n}.
Congruence classes in the refined Selmer groups are completely determined by the congruence classes of the filtered modules at the doubled level.
Properties preserved under p-power congruence in one object transfer immediately to the other for all sufficiently large exponents.
The factor-of-two loss in precision is intrinsic to the comparison between the cohomology and the module data.

Where Pith is reading between the lines

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

The result supplies a practical test that replaces direct cohomology calculations with module calculations when comparing two such objects.
The precise doubling of the exponent may indicate a fixed loss of information that could be tracked in deformation problems involving these modules.
The statement opens the possibility of lifting isomorphisms from the module side to the cohomology side once n exceeds the given bound.

Load-bearing premise

The F-gauges are reflexive and n is large enough for the equivalence between the two kinds of congruence to hold.

What would settle it

Two explicit reflexive F-gauges on O_K such that their first syntomic cohomology groups become isomorphic modulo p^n while the associated Breuil-Kisin modules with Nygaard filtration remain non-isomorphic modulo p^{2n}.

read the original abstract

Let O_K be the ring of integers of a finite extension K of Q_p. Given two reflexive F-gauges on O_K, we show that for large enough n, the mod p^n-reductions of their first syntomic cohomology groups, which might be regarded as a refinement of local Bloch--Kato Selmer groups, are isomorphic if and only if the mod p^{2n}-reductions of their attached Breuil--Kisin modules with G_K-actions and Nygaard filtrations are isomorphic.

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

The paper gives a direct if-and-only-if criterion: mod p^n reductions of first syntomic cohomology for reflexive F-gauges match exactly when the mod p^{2n} Breuil-Kisin modules with Nygaard filtration and G_K-action match, for large n.

read the letter

The central claim is that for reflexive F-gauges on O_K, the first syntomic cohomology groups reduce to isomorphic objects modulo p^n if and only if the corresponding Breuil-Kisin modules with G_K-action and Nygaard filtration reduce to isomorphic objects modulo p^{2n}, once n is large enough. This is the one thing a colleague needs to know up front: the paper supplies a concrete reduction-level equivalence rather than a general comparison theorem.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that, given two reflexive F-gauges on O_K (the ring of integers of a finite extension K of Q_p), for all sufficiently large n the mod p^n-reductions of their first syntomic cohomology groups are isomorphic if and only if the mod p^{2n}-reductions of the attached Breuil-Kisin modules (equipped with G_K-actions and Nygaard filtrations) are isomorphic. The first syntomic cohomology is presented as a refinement of the local Bloch-Kato Selmer groups.

Significance. If the stated equivalence holds, the result supplies a concrete, checkable criterion that relates congruences of syntomic cohomology to congruences of Breuil-Kisin modules. This linkage is potentially useful for computations involving p-adic Galois representations and Selmer groups, as it reduces questions about one set of invariants to questions about the other. The reflexivity hypothesis and the existence of a threshold n are stated explicitly and are consistent with standard practices in p-adic Hodge theory.

minor comments (2)

The introduction would benefit from a short paragraph recalling the definition of a reflexive F-gauge and the precise construction of the attached Breuil-Kisin module with Nygaard filtration, even if these are standard in the literature.
It is not clear from the abstract or early sections how the threshold 'large enough n' is determined in practice; an explicit bound or a remark on how it depends on the height or the ramification of K would strengthen the statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report does not raise any specific major comments, and the provided summary accurately reflects the main result. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; equivalence stated as theorem with explicit hypotheses

full rationale

The paper asserts an if-and-only-if congruence relating mod p^n reductions of first syntomic cohomology groups to mod p^{2n} reductions of attached Breuil-Kisin modules (with G_K-action and Nygaard filtration) for reflexive F-gauges on O_K when n is sufficiently large. The abstract and available statement present this directly as a result without any equations that reduce one side to the other by definition, without renaming fitted parameters as predictions, and without load-bearing self-citations whose content is unverified or circular. Reflexivity and the existence of a threshold n are stated as hypotheses rather than smuggled assumptions. No derivation chain in the provided text collapses the claimed equivalence to its inputs by construction; the result is therefore self-contained against external benchmarks in p-adic Hodge theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard background in p-adic Hodge theory and the definition of reflexive F-gauges; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

domain assumption Standard properties of syntomic cohomology, Breuil-Kisin modules, and G_K-actions hold as in prior p-adic Hodge theory literature.
Invoked implicitly by the statement of the theorem.
domain assumption The F-gauges under consideration are reflexive.
Explicitly required in the hypothesis of the claimed equivalence.

pith-pipeline@v0.9.0 · 5364 in / 1458 out tokens · 43611 ms · 2026-05-12T03:50:47.086959+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
Given two reflexive F-gauges on O_K, ... mod p^n-reductions of their first syntomic cohomology groups ... iff ... mod p^{2n}-reductions of their attached Breuil-Kisin modules with G_K-actions and Nygaard filtrations
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 1.10. The natural functor Coh_refl(O_Syn_K)/p^n → BK_N^G_K(S/p^n) is fully faithful

Reference graph

Works this paper leans on

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

[1]

Prismatic

Bhatt, Bhargav and Lurie, Jacob , journal=. Prismatic

work page
[2]

Galois representations,( , )-modules and prismatic F -crystals , author=. Doc. Math , volume=

work page
[3]

A prismatic

Du, Heng and Zhao, Luming , journal=. A prismatic

work page
[4]

2023 , publisher=

Gao, Hui , journal=. 2023 , publisher=

work page 2023
[5]

Crystalline part of the

Abhinandan , journal=. Crystalline part of the

work page
[6]

On the continuity of the finite

Iovita, Adrian and Marmora, Adriano , journal=. On the continuity of the finite

work page
[7]

Inventiones mathematicae , volume=

Versal deformations and algebraic stacks , author=. Inventiones mathematicae , volume=. 1974 , publisher=

work page 1974
[8]

Bhatt and P

B. Bhatt and P. Scholze. Prisms and prismatic cohomology. Annals of Mathematics. 2022

work page 2022
[9]

Bhatt, Bhargav and Scholze, Peter , TITLE =. Camb. J. Math. , FJOURNAL =. 2023 , NUMBER =

work page 2023
[10]

arXiv preprint arXiv:2201.06120 , year=

Absolute prismatic cohomology , author=. arXiv preprint arXiv:2201.06120 , year=

work page arXiv
[11]

Hodge cycles, motives, and Shimura varieties , pages=

Tannakian categories , author=. Hodge cycles, motives, and Shimura varieties , pages=. 1982 , publisher=

work page 1982
[12]

A study in derived algebraic geometry: Volume

Gaitsgory, Dennis and Rozenblyum, Nick , volume=. A study in derived algebraic geometry: Volume. 2019 , Journal=

work page 2019
[13]

A Study in Derived Algebraic Geometry: Volume

Gaitsgory, Dennis and Rozenblyum, Nick , journal=. A Study in Derived Algebraic Geometry: Volume

work page
[14]

1984 , publisher=

Non-archimedean analysis , author=. 1984 , publisher=

work page 1984
[15]

B. Bhatt. Torsion completions are bounded. Journal of Pure and Applied Algebra. 2016

work page 2016
[16]

Classicality of derived

Min, Yu , howpublished=. Classicality of derived

work page
[17]

The Stacks project , howpublished =

The. The Stacks project , howpublished =

work page
[18]

Hom-stacks and restriction of scalars , author=

work page
[19]

arXiv preprint arXiv:1104.4828 , year=

The moduli stack of G -bundles , author=. arXiv preprint arXiv:1104.4828 , year=

work page arXiv
[20]

Coherent sheaves on the stack of

Zhu, Xinwen , journal=. Coherent sheaves on the stack of

work page
[21]

Journal f

Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes , author=. Journal f. 2015 , publisher=

work page 2015
[22]

Inventiones mathematicae , volume=

The intrinsic normal cone , author=. Inventiones mathematicae , volume=. 1997 , publisher=

work page 1997
[23]

Journal of Pure and Applied Algebra , volume=

G-torsors over a Dedekind scheme , author=. Journal of Pure and Applied Algebra , volume=. 2013 , publisher=

work page 2013
[24]

Bosch, Siegfried and L. N. 2012 , publisher=

work page 2012
[25]

Moduli Stacks of

Emerton, Matthew and Gee, Toby , year=. Moduli Stacks of

work page
[26]

Scheme-theoretic images

“Scheme-theoretic images” of morphisms of stacks , author=. Algebraic Geometry , year=

work page
[27]

Relative p-adic Hodge theory: foundations, Ast

Kedlaya, KS and Liu, R , journal=. Relative p-adic Hodge theory: foundations, Ast

work page
[28]

2024 , note =

An introduction to derived algebraic geometry , author=. 2024 , note =

work page 2024
[29]

Advances in Mathematics , volume=

Derived Galois deformation rings , author=. Advances in Mathematics , volume=. 2018 , publisher=

work page 2018
[30]

To appear in Forum of Mathematics, Pi , year=

On local Galois deformation rings , author=. To appear in Forum of Mathematics, Pi , year=

work page
[31]

On local Galois deformation rings: generalised reductive groups

Pa. On local. arXiv preprint arXiv:2404.14622 , year=

work page internal anchor Pith review Pith/arXiv arXiv
[32]

An introduction to the categorical p -adic

Emerton, Matthew and Gee, Toby and Hellmann, Eugen , journal=. An introduction to the categorical p -adic

work page
[33]

Lin, Zhongyipan , journal=. The

work page
[34]

Emerton--

Lee, Heejong , journal=. Emerton--

work page
[35]

2020 , publisher=

Berkeley Lectures on p-adic Geometry:(AMS-207) , author=. 2020 , publisher=

work page 2020