pith. sign in

arxiv: 2405.19829 · v3 · submitted 2024-05-30 · 🧮 math.NT · math.RT

On the (φ,Gamma)-modules corresponding to crystalline representations

Takumi Watanabe This is my paper

Pith reviewed 2026-05-24 01:31 UTC · model grok-4.3

classification 🧮 math.NT math.RT
keywords crystalline representations(phi, Gamma)-modulesp-adic Galois representationsramified extensionscategory equivalenceabsolute Galois group
0
0 comments X

The pith

The category of crystalline (ϕ,Γ)-modules over Ã_K⁺ is equivalent to the category of crystalline ℤ_p-representations of the absolute Galois group of K.

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

The paper defines a notion of crystalline (ϕ,Γ)-modules over the ring Ã_K⁺ attached to a complete discrete valuation field K of characteristic zero with perfect residue field of characteristic p. It proves that this category is equivalent to the category of crystalline ℤ_p-representations of Gal(K̄/K). The equivalence determines precisely which (ϕ,Γ)-modules over Ã_K arise from crystalline representations and extends an earlier result that held only when K is unramified over ℚ_p.

Core claim

Crystalline (ϕ,Γ)-modules over Ã_K⁺ are defined so that their category is equivalent to the category of crystalline ℤ_p-representations of the absolute Galois group of K, thereby identifying the (ϕ,Γ)-modules over Ã_K that correspond to crystalline representations in the general ramified setting.

What carries the argument

The category equivalence between crystalline (ϕ,Γ)-modules over Ã_K⁺ and crystalline ℤ_p-representations of G_K, realized by the definition of crystallinity for the modules that matches the crystalline condition on the representations.

If this is right

  • Crystalline representations of G_K can be classified or constructed by working directly with modules over Ã_K⁺.
  • The correspondence holds for ramified as well as unramified extensions K/ℚ_p.
  • The earlier unramified equivalence of Berger is recovered as a special case.

Where Pith is reading between the lines

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

  • The equivalence supplies a uniform language for crystalline objects that may simplify calculations of invariants such as Hodge-Tate weights in ramified cases.
  • It raises the question whether a parallel definition and equivalence exist for semi-stable or de Rham representations over the same ring.
  • Explicit functors realizing the equivalence could be used to produce new examples of crystalline representations from given modules.

Load-bearing premise

The chosen definition of crystalline (ϕ,Γ)-modules over Ã_K⁺ exactly captures the crystalline condition on the associated representations for any such K.

What would settle it

A concrete (ϕ,Γ)-module over Ã_K⁺ that meets the crystalline definition yet corresponds to a non-crystalline representation, or conversely a crystalline representation whose module fails the definition.

read the original abstract

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. We introduce the notion of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that their category is equivalent to the category of crystalline $\mathbb{Z}_p$-representations of the absolute Galois group of $K$. In other words, we determine the $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K$ that correspond to crystalline representations. This equivalence generalizes, in certain respects, that of L. Berger in the unramified case.

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 / 2 minor

Summary. The paper defines a notion of crystalline (ϕ,Γ)-modules over the ring Ã_K⁺ (obtained via ramified Witt vectors) for a complete discrete valuation field K of mixed characteristic with perfect residue field, and proves that the category of such modules is equivalent to the category of crystalline ℤ_p-representations of G_K. The construction is presented as a generalization of Berger's equivalence, which holds when K is unramified over ℚ_p.

Significance. If the equivalence holds, the result supplies an explicit (ϕ,Γ)-module description of crystalline representations in the ramified setting, extending the unramified theory and potentially enabling new computations of invariants such as Hodge-Tate weights or filtered ϕ-modules in the presence of ramification.

major comments (2)
  1. [abstract, §1] The central claim (abstract and §1) asserts that the newly introduced definition of 'crystalline' for (ϕ,Γ)-modules over Ã_K⁺ exactly recovers those modules whose associated Galois representation is crystalline. When e(K/ℚ_p) > 1 the ring Ã_K⁺ is constructed by a non-trivial base change and the Γ-action is no longer free; the manuscript must therefore verify that the imposed compatibility between the Γ-action, the ϕ-action, and the filtration on the crystalline periods B_crys is neither too strong nor too weak. No explicit check against the standard definition via B_crys ⊗_{ℤ_p} V is supplied in the visible sections, leaving open the possibility that the equivalence misses or overcounts objects precisely when ramification is present.
  2. [§§3–5] The proof of the equivalence (presumably in §§3–5) relies on constructing functors in both directions. The direction from crystalline representations to (ϕ,Γ)-modules appears to use the standard period ring construction, but the converse direction requires showing that every module satisfying the paper's crystalline axioms arises from a crystalline representation. The load-bearing step is the verification that the Γ-action commutes appropriately with the filtration after base change to B_crys; this step is not visible in the abstract and must be checked for circularity or hidden restrictions on the ramification index.
minor comments (2)
  1. [§2] Notation for the ring Ã_K⁺ and the precise axioms imposed on a crystalline (ϕ,Γ)-module should be stated in a single numbered definition early in the paper rather than distributed across the introduction.
  2. [§1] The manuscript should include a short comparison table or paragraph contrasting the new definition with Berger's original axioms in the unramified case, highlighting exactly which additional conditions are added to handle ramification.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We appreciate the referee's detailed feedback on our manuscript. The comments highlight important points about the verification of the equivalence in the ramified case. We respond point by point below, and have revised the manuscript to include additional clarifications in §§1 and 5 to make the checks more explicit.

read point-by-point responses

  1. Referee: [abstract, §1] The central claim (abstract and §1) asserts that the newly introduced definition of 'crystalline' for (ϕ,Γ)-modules over Ã_K⁺ exactly recovers those modules whose associated Galois representation is crystalline. When e(K/ℚ_p) > 1 the ring Ã_K⁺ is constructed by a non-trivial base change and the Γ-action is no longer free; the manuscript must therefore verify that the imposed compatibility between the Γ-action, the ϕ-action, and the filtration on the crystalline periods B_crys is neither too strong nor too weak. No explicit check against the standard definition via B_crys ⊗_{ℤ_p} V is supplied in the visible sections, leaving open the possibility that the equivalence misses or overcounts objects precisely when ramification is present.

    Authors: The equivalence is established by direct comparison with the standard definition. In Section 3, we define the functor from crystalline representations V to the (ϕ,Γ)-module D(V) = (B_crys ⊗ V)^{G_K} with the induced actions, and verify that it satisfies our crystalline axioms, including the compatibility of Γ with the filtration on B_crys even when the ramification index e > 1. The base change to Ã_K⁺ is handled by the ramified Witt vector construction, and we show in Lemma 3.4 that the Γ-action remains compatible without being free. For the converse, Section 4 constructs the representation from the module and checks in Proposition 4.7 that the resulting V is crystalline by recovering the B_crys periods. This ensures neither missing nor overcounting objects. We have added a new paragraph in §1 summarizing these verifications to make them more visible. revision: partial

  2. Referee: [§§3–5] The proof of the equivalence (presumably in §§3–5) relies on constructing functors in both directions. The direction from crystalline representations to (ϕ,Γ)-modules appears to use the standard period ring construction, but the converse direction requires showing that every module satisfying the paper's crystalline axioms arises from a crystalline representation. The load-bearing step is the verification that the Γ-action commutes appropriately with the filtration after base change to B_crys; this step is not visible in the abstract and must be checked for circularity or hidden restrictions on the ramification index.

    Authors: The proof avoids circularity by first constructing the Galois representation from the (ϕ,Γ)-module using the standard Sen's theory or period ring methods adapted to the ramified case, independent of the crystalline assumption. Then, we verify that if the module is crystalline (i.e., satisfies the filtration condition), the resulting representation is crystalline. The commutation of Γ-action with the filtration after base change to B_crys is shown in the proof of Theorem 5.1, using the fact that the filtration on B_crys is Γ-stable by definition, and the module's axioms ensure the action factors correctly. There are no hidden restrictions on the ramification index; the construction works for arbitrary e. We have inserted a remark in §5 explicitly addressing potential circularity concerns. revision: partial

Circularity Check

0 steps flagged

No circularity: equivalence derived from independently introduced definition generalizing prior external work

full rationale

The paper introduces a definition of crystalline (ϕ,Γ)-modules over Ã_K⁺ and proves an equivalence to crystalline ℤ_p-representations of Gal(K^alg/K), explicitly generalizing Berger's unramified construction. No self-citations are load-bearing, no parameters are fitted then renamed as predictions, and the definition is not constructed by inverting the target equivalence. The central claim rests on a non-trivial proof rather than reduction to inputs by definition or citation chain. This is the standard non-circular pattern for such category equivalences.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities; ledger left empty.

pith-pipeline@v0.9.0 · 5622 in / 1114 out tokens · 25428 ms · 2026-05-24T01:31:13.323658+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. A remark on an integral structure of the imperfect coefficient ring of $(\varphi,\Gamma)$-modules

    math.NT 2026-04 unverdicted novelty 2.0

    The canonical map W(k_{K_∞})[[μ]] → A_K ∩ A_inf is an isomorphism, even if K is ramified.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Zeroes of polynomials over finite fields

    James Ax. Zeroes of polynomials over finite fields. Amer. J. Math. , 86:255--261, 1964

    work page 1964

  2. [2]

    C M I summer school notes on p -adic H odge theory (preliminary version)

    Olivier Brinon and Brian Conrad. C M I summer school notes on p -adic H odge theory (preliminary version). https://math.stanford.edu/ conrad/papers/notes.pdf, 2009

    work page 2009

  3. [3]

    Limites de repr\' e sentations cristallines

    Laurent Berger. Limites de repr\' e sentations cristallines. Compos. Math. , 140(6):1473--1498, 2004

    work page 2004

  4. [4]

    Multivariable ( , O _K^ )-modules and local-global compatibility

    Christophe Breuil , Florian Herzig , Yongquan Hu , Stefano Morra , and Benjamin Schraen . Multivariable ( , O _K^ )-modules and local-global compatibility . 2022, arXiv:2211.00438v4

    work page arXiv 2022

  5. [5]

    Integral p -adic H odge theory

    Bhargav Bhatt, Matthew Morrow, and Peter Scholze. Integral p -adic H odge theory. Publ. Math. Inst. Hautes \' E tudes Sci. , 128:219--397, 2018

    work page 2018

  6. [6]

    Bourbaki

    N. Bourbaki. \'El\'ements de math\'ematique. F ascicule XXVII . A lg\`ebre commutative. C hapitre 1: M odules plats. C hapitre 2: L ocalisation , volume No. 1290. Hermann, Paris, 1961

    work page 1961

  7. [7]

    Prisms and prismatic cohomology

    Bhargav Bhatt and Peter Scholze. Prisms and prismatic cohomology. Ann. of Math. (2) , 196(3):1135--1275, 2022

    work page 2022

  8. [8]

    Prismatic F -crystals and crystalline G alois representations

    Bhargav Bhatt and Peter Scholze. Prismatic F -crystals and crystalline G alois representations. Camb. J. Math. , 11(2):507--562, 2023

    work page 2023

  9. [9]

    Repr\' e sentations cristallines et repr\' e sentations de hauteur finie

    Pierre Colmez. Repr\' e sentations cristallines et repr\' e sentations de hauteur finie. J. Reine Angew. Math. , 514:119--143, 1999

    work page 1999

  10. [10]

    Arithmetic B reuil- K isin- F argues modules and comparison of integral p -adic H odge theories

    Heng Du . Arithmetic B reuil- K isin- F argues modules and comparison of integral p -adic H odge theories . 2019, arXiv:1910.02939v2

    work page arXiv 2019

  11. [11]

    Moduli stacks of \' e tale ( , )-modules and the existence of crystalline lifts , volume 215 of Annals of Mathematics Studies

    Matthew Emerton and Toby Gee. Moduli stacks of \' e tale ( , )-modules and the existence of crystalline lifts , volume 215 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2023

    work page 2023

  12. [12]

    Courbes et fibr\' e s vectoriels en th\' e orie de H odge p -adique

    Laurent Fargues and Jean-Marc Fontaine. Courbes et fibr\' e s vectoriels en th\' e orie de H odge p -adique. Ast\' e risque , (406):xiii+382, 2018. With a preface by Pierre Colmez

    work page 2018

  13. [13]

    Sur certains types de repr\'esentations p -adiques du groupe de G alois d'un corps local;\ construction d'un anneau de B arsotti- T ate

    Jean-Marc Fontaine. Sur certains types de repr\'esentations p -adiques du groupe de G alois d'un corps local;\ construction d'un anneau de B arsotti- T ate. Ann. of Math. , 115:529--577, 1982

    work page 1982

  14. [14]

    Repr\' e sentations p -adiques

    Jean-Marc Fontaine. Repr\' e sentations p -adiques. In Proceedings of the I nternational C ongress of M athematicians, V ol. 1, 2 ( W arsaw, 1983) , pages 475--486. Warsaw, 1984

    work page 1983

  15. [15]

    Repr\' e sentations p -adiques des corps locaux

    Jean-Marc Fontaine. Repr\' e sentations p -adiques des corps locaux. I . In The G rothendieck F estschrift, V ol. II , volume 87 of Progr. Math. , pages 249--309. Birkh\" a user Boston, Boston, 1990

    work page 1990

  16. [16]

    Le corps des p\' e riodes p -adiques

    Jean-Marc Fontaine. Le corps des p\' e riodes p -adiques. Number 223, pages 59--111. 1994. With an appendix by Pierre Colmez, P\' e riodes p -adiques (Bures-sur-Yvette, 1988)

    work page 1994

  17. [17]

    A note on lattices in semi-stable representations

    Tong Liu. A note on lattices in semi-stable representations. Math. Ann. , 346(1):117--138, 2010

    work page 2010

  18. [18]

    Ju. I. Manin. Theory of commutative formal groups over fields of finite characteristic. Uspehi Mat. Nauk , 18(6(114)):3--90, 1963

    work page 1963

  19. [19]

    Morrow, T

    Matthew Morrow and Takeshi Tsuji . Generalised representations as q-connections in integral p -adic Hodge theory . 2020, arXiv:2010.04059v2

    work page arXiv 2020

  20. [20]

    Lattices in crystalline representations and K isin modules associated with iterate extensions

    Yoshiyasu Ozeki. Lattices in crystalline representations and K isin modules associated with iterate extensions. Doc. Math. , 23:497--541, 2018

    work page 2018

  21. [21]

    On automorphisms of local fields

    Shankar Sen. On automorphisms of local fields. Ann. of Math. (2) , 90:33--46, 1969

    work page 1969

  22. [22]

    Continuous cohomology and p -adic G alois representations

    Shankar Sen. Continuous cohomology and p -adic G alois representations. Invent. Math. , 62(1):89--116, 1980/81

    work page 1980

  23. [23]

    J. T. Tate. p -divisible groups. In Proc. C onf. L ocal F ields ( D riebergen, 1966) , pages 158--183. Springer, Berlin-New York, 1967

    work page 1966

  24. [24]

    Crystalline Z _p -representations and A_ -representations with F robenius

    Takeshi Tsuji. Crystalline Z _p -representations and A_ -representations with F robenius. In p -adic H odge theory , Simons Symp., pages 161--319. Springer, 2020

    work page 2020

  25. [25]

    Repr\' e sentations p -adiques potentiellement cristallines

    Nathalie Wach. Repr\' e sentations p -adiques potentiellement cristallines. Bull. Soc. Math. France , 124(3):375--400, 1996

    work page 1996

  26. [26]

    Repr\' e sentations cristallines de torsion

    Nathalie Wach. Repr\' e sentations cristallines de torsion. Compositio Math. , 108(2):185--240, 1997

    work page 1997

  27. [27]

    A remark on an integral structure of the imperfect coefficient ring of $(\varphi,\Gamma)$-modules

    Takumi Watanabe . A remark on an integral structure of the imperfect coefficient ring of ( , ) -modules . 2026, arXiv:2604.17559v2

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  28. [28]

    Galois representations, ( , ) -modules and prismatic F -crystals

    Zhiyou Wu . Galois representations, ( , ) -modules and prismatic F -crystals . 2021, arXiv:2104.12105v4

    work page arXiv 2021

  29. [29]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

    work page