Prismatic $F$-crystals and Wach modules

Abhinandan

arxiv: 2405.18245 · v2 · submitted 2024-05-28 · 🧮 math.NT · math.AG

Prismatic F-crystals and Wach modules

Abhinandan This is my paper

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

classification 🧮 math.NT math.AG

keywords prismatic F-crystalsWach modulesprismatic stratificationGalois actioncategory equivalencedescent resultsphi-modulesnumber theory

0 comments

The pith

Analytic prismatic F-crystals on the absolute prismatic site are naturally equivalent to relative Wach modules.

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

The paper establishes a natural equivalence between the category of analytic or completed prismatic F-crystals on the absolute prismatic site and the category of relative Wach modules. This holds for small base rings unramified at p. The proof identifies the Galois action on a Wach module with the prismatic stratification on its underlying phi-module. New descent results for relative Wach modules are obtained as part of the argument. A reader would care because the equivalence lets properties and constructions move between the two settings.

Core claim

For a small base ring unramified at p, the category of analytic or completed prismatic F-crystals on the absolute prismatic site is naturally equivalent to the category of relative Wach modules. The equivalence is obtained by showing that the Galois action on a Wach module is equivalent to a prismatic stratification on the underlying phi-module. New descent results for relative Wach modules are obtained along the way.

What carries the argument

The identification of Galois action data on Wach modules with prismatic stratification data on the underlying phi-modules.

If this is right

New descent results hold for relative Wach modules.
Galois action data translates directly into prismatic stratification data.
Constructions and properties can be transferred between the two categories.
The equivalence applies to both analytic and completed versions of the objects.

Where Pith is reading between the lines

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

The result may let techniques from one side of the equivalence address questions originally posed in the other.
Similar identifications could be tested for base rings that are ramified at p.
The descent results might apply to related module categories beyond the ones treated here.

Load-bearing premise

The base ring must be small and unramified at p, and the objects must be taken in analytic or completed form on the defined absolute prismatic site.

What would settle it

A relative Wach module whose Galois action fails to produce a prismatic stratification on the underlying phi-module, or a prismatic F-crystal with no matching Wach module, would disprove the equivalence.

read the original abstract

We show that the category of analytic/completed prismatic $F$-crystals on the absolute prismatic site of a small (unramified at $p$) base ring is naturally equivalent to the category of relative Wach modules from the theory of $(\varphi, \Gamma)$-modules. The result is obtained by showing that the data of the Galois action on a Wach module is equivalent to the data of a prismatic stratification on the underlying $\varphi$-module. Along the way, we obtain new descent results for relative Wach modules.

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 scoped equivalence between analytic prismatic F-crystals and relative Wach modules by matching Galois action to prismatic stratification, plus some descent statements.

read the letter

The main result here equates the category of analytic or completed prismatic F-crystals on the absolute prismatic site, for small bases unramified at p, with the category of relative Wach modules. The link comes from identifying the Galois action data on a Wach module with the prismatic stratification data on the underlying phi-module, and the authors record new descent results for Wach modules in the process. This is presented as a fresh identification rather than a routine extension of the cited prior work. If the details check out, it gives a concrete way to move results between prismatic cohomology and (phi, Gamma)-module theory without inventing new machinery. The scoping to analytic/completed objects and to unramified small bases keeps the statement manageable and avoids extra technical layers. The stress-test found no internal inconsistencies in the reduction or the descent claims. The main limitation is the narrow setting: the result does not immediately extend to ramified bases or non-small rings, so users will still need separate arguments for those cases. The abstract states the claim cleanly but supplies no proof steps, so the actual verification of the stratification-Galois correspondence and the descent statements has to happen in the full text. This is written for people already comfortable with both prismatic sites and Wach modules. A reader outside that overlap will need substantial background to follow the setup. For someone inside the intersection, the equivalence could shorten some arguments when moving techniques across the two areas. I would send it to peer review. The claim is specific, the strategy is direct, and the restrictions are stated up front, so referees can focus on whether the correspondence and descent hold without chasing undefined objects.

Referee Report

0 major / 3 minor

Summary. The paper proves that the category of analytic/completed prismatic F-crystals on the absolute prismatic site of a small base ring unramified at p is naturally equivalent to the category of relative Wach modules. The equivalence is obtained by showing that Galois action data on a Wach module corresponds to prismatic stratification data on the underlying ϕ-module; new descent results for relative Wach modules are obtained along the way.

Significance. The result links prismatic F-crystals with the theory of (ϕ, Γ)-modules, providing a concrete dictionary between stratification data and Galois actions in the analytic/completed setting. This may enable transfer of techniques between the two frameworks for unramified bases and could support further work on descent and classification questions in p-adic Hodge theory.

minor comments (3)

The abstract and introduction should explicitly reference the main theorem number (e.g., Theorem 1.1 or Theorem A) so that readers can locate the precise statement of the equivalence immediately.
Notation for the absolute prismatic site and the analytic/completed variants should be introduced with a short table or list of symbols in §1 to avoid repeated parenthetical explanations later in the text.
The descent results stated in the abstract are not cross-referenced to their theorem numbers in the body; adding these citations would improve navigability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. The referee's description accurately reflects the main contributions of the paper, including the equivalence between analytic prismatic F-crystals and relative Wach modules via the correspondence of Galois actions with prismatic stratifications, as well as the new descent results obtained. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives the claimed equivalence by directly identifying Galois action data on Wach modules with prismatic stratification data on the underlying ϕ-module, plus independent descent results for relative Wach modules. This is a standard data-equivalence argument scoped to analytic/completed objects over small unramified bases, with no self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations visible in the abstract or derivation outline. The central claim rests on explicit translation of structures rather than reduction to prior inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard background from prismatic cohomology and (ϕ, Γ)-module theory; no new free parameters or invented entities are visible in the abstract.

axioms (2)

domain assumption The absolute prismatic site is well-defined for small unramified base rings
Invoked in the statement of the main equivalence
domain assumption Analytic/completed versions of prismatic F-crystals and Wach modules form categories with the expected morphisms
Required for the category equivalence to make sense

pith-pipeline@v0.9.0 · 5601 in / 1324 out tokens · 22521 ms · 2026-05-24T01:17:48.144792+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Crystalline representations and Wach modules in the relative case II

[Abh23] Abhinandan. “Crystalline representations and Wach modules in the relative case II”. In: arXiv e-prints, arXiv:2309.16446 (Sept. 2023). To appear in Math. Ann. [Abh24] Abhinandan. “Crystalline part of the Galois cohomology of crystalline representations”. In:arXiv e-prints, arXiv:2405.17012 (May 2024). To appear in Bull. Soc. Math. France. [Abh25a]...

work page arXiv 2023
[2]

[BL22b] Bhargav Bhatt and Jacob Lurie

[BL22] Bhargav Bhatt and Jacob Lurie. “Absolute prismatic cohomology”. In:arXiv e-prints, arXiv:2201.06120 (Jan. 2022). [BM23] Bhargav Bhatt and Akhil Mathew. “Syntomic complexes andp-adic étale Tate twists”. In:Forum Math. Pi11 (2023), Paper No. e1, 26.issn: 2050-5086. [BMS18] Bhargav Bhatt, Matthew Morrow, and Peter Scholze. “Integralp-adic Hodge theory...

work page arXiv 2022
[3]

Le corps des périodesp-adiques

Progr. Math. Birkhäuser Boston, Boston, MA, 1990, pp. 249–309. [Fon94] Jean-Marc Fontaine. “Le corps des périodesp-adiques”. In:Astérisque223 (1994). With an appendix by Pierre Colmez, Périodesp-adiques (Bures-sur-Yvette, 1988), pp. 59–111. issn: 0303-1179. [GLQ22] Michel Gros, Bernard Le Stum, and Adolfo Quirós. “Twisted differential operators of negativ...

work page arXiv 1990
[4]

Finiteness and duality for the cohomology of prismatic crystals

[Tia23] Yichao Tian. “Finiteness and duality for the cohomology of prismatic crystals”. In:J. Reine Angew. Math.800 (2023), pp. 217–257.issn: 0075-4102,1435-5345. [Tsu24] Takeshi Tsuji. “Prismatic crystals andq-Higgs fields”. In:arXiv e-prints, arXiv:2403.11676 (Mar. 2024). [Wac96] Nathalie Wach. “Représentationsp-adiques potentiellement cristallines”. In...

work page arXiv 2023

[1] [1]

Crystalline representations and Wach modules in the relative case II

[Abh23] Abhinandan. “Crystalline representations and Wach modules in the relative case II”. In: arXiv e-prints, arXiv:2309.16446 (Sept. 2023). To appear in Math. Ann. [Abh24] Abhinandan. “Crystalline part of the Galois cohomology of crystalline representations”. In:arXiv e-prints, arXiv:2405.17012 (May 2024). To appear in Bull. Soc. Math. France. [Abh25a]...

work page arXiv 2023

[2] [2]

[BL22b] Bhargav Bhatt and Jacob Lurie

[BL22] Bhargav Bhatt and Jacob Lurie. “Absolute prismatic cohomology”. In:arXiv e-prints, arXiv:2201.06120 (Jan. 2022). [BM23] Bhargav Bhatt and Akhil Mathew. “Syntomic complexes andp-adic étale Tate twists”. In:Forum Math. Pi11 (2023), Paper No. e1, 26.issn: 2050-5086. [BMS18] Bhargav Bhatt, Matthew Morrow, and Peter Scholze. “Integralp-adic Hodge theory...

work page arXiv 2022

[3] [3]

Le corps des périodesp-adiques

Progr. Math. Birkhäuser Boston, Boston, MA, 1990, pp. 249–309. [Fon94] Jean-Marc Fontaine. “Le corps des périodesp-adiques”. In:Astérisque223 (1994). With an appendix by Pierre Colmez, Périodesp-adiques (Bures-sur-Yvette, 1988), pp. 59–111. issn: 0303-1179. [GLQ22] Michel Gros, Bernard Le Stum, and Adolfo Quirós. “Twisted differential operators of negativ...

work page arXiv 1990

[4] [4]

Finiteness and duality for the cohomology of prismatic crystals

[Tia23] Yichao Tian. “Finiteness and duality for the cohomology of prismatic crystals”. In:J. Reine Angew. Math.800 (2023), pp. 217–257.issn: 0075-4102,1435-5345. [Tsu24] Takeshi Tsuji. “Prismatic crystals andq-Higgs fields”. In:arXiv e-prints, arXiv:2403.11676 (Mar. 2024). [Wac96] Nathalie Wach. “Représentationsp-adiques potentiellement cristallines”. In...

work page arXiv 2023