pith. sign in

arxiv: 2604.17559 · v2 · submitted 2026-04-19 · 🧮 math.NT · math.RT

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

Takumi Watanabe This is my paper

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

classification 🧮 math.NT math.RT
keywords (ϕ,Γ)-modulesFontaine ringsA_infWitt vectorsramified extensionsp-adic Hodge theoryimperfect coefficient ring
0
0 comments X

The pith

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

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

This paper proves that the canonical map from the power series ring over the Witt vectors of the residue field of the infinite extension to the intersection of Fontaine's imperfect coefficient ring A_K and the ring A_inf is an isomorphism. The result holds for any complete discrete valuation field K of mixed characteristic with perfect residue field of characteristic p, including ramified cases. A sympathetic reader cares because this supplies an explicit integral description of the coefficient ring central to the theory of (ϕ,Γ)-modules. The proof confirms a statement previously noted without proof.

Core claim

The paper proves that for any complete discrete valuation field K of characteristic zero with perfect residue field of characteristic p, the canonical map W(k_{K_∞})[[μ]] → A_K ∩ A_inf is an isomorphism. This identification of the imperfect coefficient ring with the indicated power series ring holds without any restriction that K be unramified.

What carries the argument

The imperfect coefficient ring A_K of (ϕ,Γ)-modules together with the canonical map to its intersection with A_inf.

If this is right

  • A_K admits a uniform power-series description independent of ramification.
  • The theory of (ϕ,Γ)-modules applies directly to ramified base fields using this identification.
  • Computations involving elements of A_K that lie in A_inf reduce to operations inside W(k_{K_∞})[[μ]].
  • The integral structure of the coefficient ring is now available in all cases without case distinctions.

Where Pith is reading between the lines

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

  • The result may permit uniform constructions of (ϕ,Γ)-modules that do not separate ramified and unramified base fields.
  • This explicit model could be used to compare different integral structures appearing in p-adic Hodge theory.
  • One could test whether the isomorphism preserves additional filtrations or actions defined on A_K.

Load-bearing premise

The standard definitions of Fontaine's rings A_K and A_inf and the canonical map between them are fixed as in the literature.

What would settle it

An explicit computation for a ramified K, such as a quadratic ramified extension, that produces an element of A_K ∩ A_inf outside the image of W(k_{K_∞})[[μ]] or shows the map fails to be injective.

read the original abstract

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. Let $\mathbb{A}_K$ denote the imperfect coefficient ring of $(\varphi,\Gamma)$-modules defined by Jean-Marc Fontaine. We prove that the canonical map $W(k_{K_\infty})[[\mu]]\rightarrow \mathbb{A}_K\cap A_\mathrm{inf}$ is an isomorphism, even if $K$ is ramified. This fact was remarked by Nathalie Wach without proof.

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

0 major / 2 minor

Summary. The manuscript proves that the canonical map W(k_{K_∞})[[μ]] → A_K ∩ A_inf is an isomorphism for any complete discrete valuation field K of characteristic 0 with perfect residue field of characteristic p, including the ramified case. The argument proceeds by direct comparison of generators and relations: injectivity follows from the universal property of Witt vectors, while surjectivity is obtained by explicit lifting of elements fixed by the appropriate Galois action, using only the standard Fontaine constructions of A_K (as Γ-invariants) and A_inf.

Significance. If the result holds, it supplies an explicit integral description of the intersection A_K ∩ A_inf that was previously only remarked upon by Wach without proof. This strengthens the foundational toolkit for (ϕ,Γ)-modules over imperfect coefficient rings and is likely to be cited in subsequent work on p-adic Galois representations. The manuscript's strength lies in its self-contained, direct proof that imposes no hidden restrictions on the ramification index.

minor comments (2)
  1. The introduction should include a precise reference to the specific remark by Nathalie Wach (including page or theorem number if possible) so that readers can directly compare the original statement with the supplied proof.
  2. In the notation section or at the first appearance of the map, explicitly recall the definition of μ and the precise embedding of W(k_{K_∞}) into A_inf to make the generators-and-relations comparison fully self-contained for readers outside the immediate Fontaine literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the accurate summary of the main result and its significance in providing a self-contained proof of the isomorphism previously only remarked upon by Wach. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

Direct proof of isomorphism via standard Fontaine rings; no circularity

full rationale

The paper states a direct theorem that the canonical map W(k_{K_∞})[[μ]] → A_K ∩ A_inf is an isomorphism for possibly ramified K, proved by comparing generators and relations using only the standard definitions of Fontaine's A_K (as Γ-invariants) and A_inf. Injectivity follows from the universal property of Witt vectors and surjectivity from explicit lifting of Galois-fixed elements. No self-citations are load-bearing, no fitted parameters are renamed as predictions, no ansatz is smuggled, and the argument does not reduce any claim to its own inputs by construction. The reference to Wach is merely historical and does not substitute for the proof supplied here.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the full set of background results cannot be audited. The proof presumably relies on standard properties of Witt vectors, Fontaine rings, and (ϕ,Γ)-modules without introducing new free parameters or invented entities.

axioms (1)
  • domain assumption Standard properties of Witt vectors W, the rings A_inf and A_K as defined by Fontaine, and the canonical map between them.
    The paper invokes the established theory of (ϕ,Γ)-modules over complete discrete valuation fields.

pith-pipeline@v0.9.0 · 5376 in / 1217 out tokens · 47114 ms · 2026-05-10T05:08:03.240016+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. On the $(\varphi,\Gamma)$-modules corresponding to crystalline representations

    math.NT 2024-05 unverdicted novelty 6.0

    Introduces crystalline (ϕ,Γ)-modules over Ã_K⁺ and shows their category is equivalent to crystalline ℤ_p-representations of Gal(K), generalizing Berger's unramified case.

Reference graph

Works this paper leans on

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

  1. [1]

    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

  2. [2]

    Limites de repr\' e sentations cristallines

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

    work page 2004

  3. [3]

    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

  4. [4]

    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, MA, 1990

    work page 1990

  5. [5]

    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

  6. [6]

    Cohomology and duality for ( , ) -modules over the R obba ring

    Ruochuan Liu. Cohomology and duality for ( , ) -modules over the R obba ring. Int. Math. Res. Not. IMRN , (3):Art. ID rnm150, 32, 2008

    work page 2008

  7. [7]

    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

  8. [8]

    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

  9. [9]

    Repr\'esentations cristallines de torsion

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

    work page 1997

  10. [10]

    On the $(\varphi,\Gamma)$-modules corresponding to crystalline representations

    Takumi Watanabe . On the ( , ) -modules corresponding to crystalline representations . 2024, arXiv:2405.19829v3

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  11. [11]

    Le corps des normes de certaines extensions infinies de corps locaux; applications

    Jean-Pierre Wintenberger. Le corps des normes de certaines extensions infinies de corps locaux; applications. Ann. Sci. \'Ecole Norm. Sup. (4) , 16(1):59--89, 1983

    work page 1983