pith. machine review for the scientific record. sign in

arxiv: 2604.12280 · v1 · submitted 2026-04-14 · 🧮 math.NT · math.AG

Recognition: 2 theorem links

· Lean Theorem

The p-adic monodromy theorem over algebraic-affinoid algebras

Yutaro Mikami

Authors on Pith no claims yet

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

classification 🧮 math.NT math.AG
keywords p-adic monodromy theoremde Rham representationssemistable representationsHodge-Tate representationsalgebraic-affinoid algebrasGalois representationsequivariant line bundlesfamilies of representations
0
0 comments X

The pith

De Rham families of Galois representations over algebraic-affinoid algebras are potentially semistable.

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

The paper defines Hodge-Tate, de Rham, and semistable properties for families of Galois representations parametrized by algebraic-affinoid algebras. It then shows that any such family satisfying the de Rham condition must be potentially semistable. This removes a prior freeness restriction and directly yields a full classification of families of equivariant line bundles. A sympathetic reader would care because the result makes p-adic Hodge theory work uniformly over a larger class of base rings used in moduli and correspondence problems.

Core claim

The paper defines the notions of Hodge-Tate, de Rham, and semistable representations for families parametrized by algebraic-affinoid algebras. It proves that de Rham families are potentially semistable. The same definitions and theorem immediately give the classification of all families of G_K-equivariant line bundles, with no extra freeness condition required on the underlying modules.

What carries the argument

The extension of the de Rham and semistable conditions to families over algebraic-affinoid algebras, which lets the standard argument for the monodromy theorem apply directly to the family setting.

If this is right

  • Every de Rham family becomes semistable after a finite base change.
  • The classification of G_K-equivariant line bundles now holds for every such family.
  • The result applies uniformly to any algebraic-affinoid algebra used as a parameter ring.
  • The same definitions give a uniform way to attach Hodge-Tate weights and filtration data to entire families.

Where Pith is reading between the lines

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

  • The technique could be tested by direct calculation on low-rank families over polynomial rings.
  • Similar definitions might produce moduli spaces for de Rham families that are not necessarily free.
  • The removal of the freeness hypothesis suggests parallel improvements are possible for other classification statements in the same setting.

Load-bearing premise

The definitions of Hodge-Tate, de Rham, and semistable representations for families extend the single-representation case while preserving the key properties needed for the monodromy theorem to hold.

What would settle it

An explicit family parametrized by an algebraic-affinoid algebra that satisfies the de Rham condition yet fails to become semistable after any finite extension of the base would disprove the claim.

read the original abstract

In the previous paper of the author, motivated by the categorical $p$-adic local Langlands correspondence, the author studied families of $G_K$-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid $\mathbb{Q}_{p,\square}$-algebras (e.g., $\mathbb{Q}_p[T]$). In this paper, we study the $p$-adic Hodge theoretic properties of such families. More precisely, we define the notions of Hodge-Tate, de Rham, and semistable representations for such families, and then prove the $p$-adic monodromy theorem ("de Rham" implies "potentially semistable") in this setting. This is a generalization of the work of Berger-Colmez. As an application, we prove the classification of families of $G_K$-equivariant line bundles. While a similar classification was previously obtained in the previous paper under a certain freeness condition by relying on the results of Kedlaya--Pottharst--Xiao, the approach in the present paper removes this freeness condition and entirely bypasses their results.

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

Summary. The manuscript defines Hodge-Tate, de Rham, and semistable conditions for families of G_K-representations parametrized by algebraic-affinoid Q_p,□-algebras (such as Q_p[T]), proves that de Rham families are potentially semistable (the p-adic monodromy theorem), generalizing Berger-Colmez, and applies the result to classify families of G_K-equivariant line bundles on the Fargues-Fontaine curve without a prior freeness hypothesis, thereby bypassing Kedlaya-Pottharst-Xiao.

Significance. If the definitions are compatible with the classical case and the proof carries through, the work supplies a p-adic Hodge-theoretic foundation for families arising in the categorical p-adic local Langlands correspondence. The classification of line bundles removes a technical restriction from the author's previous paper and avoids external results, which is a concrete strengthening.

minor comments (3)
  1. [Introduction] §1 (Introduction): the precise class of algebraic-affinoid Q_p,□-algebras should be stated with a reference or self-contained definition before the example Q_p[T] is given, to make the scope of the families unambiguous.
  2. [Definitions] Definitions section: verify explicitly that the new notions of de Rham and semistable families reduce to the classical Berger-Colmez notions when the base algebra is Q_p; this reduction is load-bearing for the claim of generalization but appears only implicitly.
  3. [Application] Application section: the statement that the classification removes the freeness condition should include a brief comparison (e.g., a sentence or table) with the hypothesis used in the previous paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance for categorical p-adic local Langlands, and recommendation of minor revision. We are pleased that the generalization of the p-adic monodromy theorem and the classification of line bundles without freeness assumptions are viewed as strengthening the prior work.

Circularity Check

1 steps flagged

Minor self-citation to author's prior work for setup; central generalization remains independent

specific steps
  1. self citation load bearing [Abstract]
    "In the previous paper of the author, motivated by the categorical p-adic local Langlands correspondence, the author studied families of G_K-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid Q_{p,□}-algebras (e.g., Q_p[T]). In this paper, we study the p-adic Hodge theoretic properties of such families."

    The setup for the families is taken from the author's own prior work, but this is only motivational; the definitions and monodromy proof are new extensions and do not reduce the central claim to the prior paper by construction.

full rationale

The paper extends definitions of Hodge-Tate, de Rham, and semistable representations to families over algebraic-affinoid algebras and proves the p-adic monodromy theorem as a generalization of Berger-Colmez. The only self-reference is to the author's previous paper for motivation and the Fargues-Fontaine curve setup; the monodromy implication and classification application are asserted to follow by the same logic without reducing the new theorem to a fit, self-definition, or unverified self-citation chain. No equations or steps in the provided description exhibit construction-by-inputs or renaming of known results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on extending standard notions from p-adic Hodge theory and the Fargues-Fontaine curve to the family setting; no free parameters or new entities are mentioned.

axioms (1)
  • domain assumption Standard properties of the Fargues-Fontaine curve and p-adic Hodge theory for single representations extend to families over algebraic-affinoid algebras
    The paper defines Hodge-Tate, de Rham, and semistable for families by building on the single case.

pith-pipeline@v0.9.0 · 5497 in / 1384 out tokens · 72148 ms · 2026-05-10T15:45:24.125830+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

Reference graph

Works this paper leans on

31 extracted references · 6 canonical work pages · 1 internal anchor

  1. [1]

    Yves Andr\'e, Filtrations de type H asse- A rf et monodromie p -adique , Invent. Math. 148 (2002), no. 2, 285--317

    2002

  2. [2]

    Grigory Andreychev, Pseudocoherent and perfect complexes and vector bundles on analytic adic spaces, arXiv preprint arXiv: 2105.12591 https://arxiv.org/abs/2105.12591 (2021)

    work page arXiv 2021

  3. [3]

    319, 2008, Repr\' e sentations p -adiques de groupes p -adiques

    Laurent Berger and Pierre Colmez, Familles de repr\' e sentations de de R ham et monodromie p -adique , no. 319, 2008, Repr\' e sentations p -adiques de groupes p -adiques. I. Repr\' e sentations galoisiennes et ( , ) -modules, pp. 303--337

    2008

  4. [4]

    Laurent Berger, Errata for my articles, http://perso.ens-lyon.fr/laurent.berger/articles/errata.pdf

  5. [5]

    , Repr\'esentations p -adiques et \'equations diff\'erentielles , Invent. Math. 148 (2002), no. 2, 219--284

    2002

  6. [6]

    Arnaud Beauville and Yves Laszlo, Un lemme de descente, C. R. Acad. Sci. Paris S\'er. I Math. 320 (1995), no. 3, 335--340

    1995

  7. [7]

    Kevin Buzzard, Eigenvarieties, L -functions and G alois representations, London Math. Soc. Lecture Note Ser., vol. 320, Cambridge Univ. Press, Cambridge, 2007, pp. 59--120

    2007

  8. [8]

    330, 281--509

    Pierre Colmez, Repr\'esentations de GL _2( Q_p) et ( , ) -modules , Ast\'erisque (2010), no. 330, 281--509

    2010

  9. [9]

    Theory 20 (2016), 187--248

    , Repr\'esentations localement analytiques de GL _2( Q _p) et ( , ) -modules , Represent. Theory 20 (2016), 187--248

    2016

  10. [10]

    II ---geometrization of the L anglands correspondence, Proc

    Matthew Emerton, Toby Gee, and Eugen Hellmann, An introduction to the categorical p-adic L anglands program , The L anglands program. II ---geometrization of the L anglands correspondence, Proc. Sympos. Pure Math., vol. 112.2, Amer. Math. Soc., Providence, RI, [2025] 2025, pp. 167--419

    2025

  11. [11]

    406, xiii+382, With a preface by Pierre Colmez

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

    2018

  12. [12]

    I , EMS Monographs in Mathematics, European Mathematical Society (EMS), Z\"urich, 2018

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

    2018

  13. [13]

    Jean-Marc Fontaine and Yi Ouyang, Theory of p -adic galois representations, http://staff.ustc.edu.cn/ yiouyang/galoisrep.pdf, 2022

    2022

  14. [14]

    223, 1994, With an appendix by Pierre Colmez, P\'eriodes p -adiques (Bures-sur-Yvette, 1988), pp

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

    1994

  15. [15]

    223, 1994, P\'eriodes p -adiques (Bures-sur-Yvette, 1988), pp

    , Repr\'esentations l -adiques potentiellement semi-stables , no. 223, 1994, P\'eriodes p -adiques (Bures-sur-Yvette, 1988), pp. 321--347

    1994

  16. [16]

    Laurent Fargues and Peter Scholze, Geometrization of the local L anglands correspondence , arXiv preprint arXiv: 2102.13459 https://arxiv.org/abs/2102.13459 (2024)

    work page arXiv 2024

  17. [17]

    Eugen Hellmann and Ben Heuer, Sen theory in terms of modulis spaces, In preparation

  18. [18]

    Kedlaya, p -adic differential equations , second ed., Cambridge Studies in Advanced Mathematics, vol

    Kiran S. Kedlaya, p -adic differential equations , second ed., Cambridge Studies in Advanced Mathematics, vol. [199], Cambridge University Press, Cambridge, 2022

    2022

  19. [19]

    Kedlaya, Jonathan Pottharst, and Liang Xiao, Cohomology of arithmetic families of ( , ) -modules , J

    Kiran S. Kedlaya, Jonathan Pottharst, and Liang Xiao, Cohomology of arithmetic families of ( , ) -modules , J. Amer. Math. Soc. 27 (2014), no. 4, 1043--1115

    2014

  20. [20]

    Jacob Lurie, Higher algebra, https://www.math.ias.edu/ lurie/papers/HA.pdf, 2017

    2017

  21. [21]

    thesis, Rheinische Friedrich-Wilhelms-Universit \"a t Bonn, August 2022, https://hdl.handle.net/20.500.11811/10125

    Lucas Mann, A p-adic 6-functor formalism in rigid-analytic geometry, Ph.D. thesis, Rheinische Friedrich-Wilhelms-Universit \"a t Bonn, August 2022, https://hdl.handle.net/20.500.11811/10125

    2022

  22. [22]

    Mebkhout, Analogue p -adique du th\'eor\`eme de T urrittin et le th\'eor\`eme de la monodromie p -adique , Invent

    Z. Mebkhout, Analogue p -adique du th\'eor\`eme de T urrittin et le th\'eor\`eme de la monodromie p -adique , Invent. Math. 148 (2002), no. 2, 319--351

    2002

  23. [23]

    Yutaro Mikami, Finiteness and duality of cohomology of ( , ) -modules and the 6-functor formalism of locally analytic representations , arXiv preprint arXiv: 2504.01780 https://arxiv.org/abs/2504.01780 (2026)

    work page arXiv 2026

  24. [24]

    , ( , ) -modules over relatively discrete algebras , arXiv preprint arXiv: 2409.14145 https://arxiv.org/abs/2409.14145 (2026)

    work page arXiv 2026

  25. [25]

    Kentaro Nakamura, Deformations of trianguline B -pairs and Z ariski density of two dimensional crystalline representations , J. Math. Sci. Univ. Tokyo 20 (2013), no. 4, 461--568

    2013

  26. [26]

    Juan Esteban Rodr\' guez Camargo, Notes on solid geometry, arXiv preprint arXiv: 2603.03012 https://arxiv.org/abs/2603.03012 (2026)

    work page arXiv 2026

  27. [27]

    Theory 26 (2022), 962--1024

    Joaqu\' n Rodrigues Jacinto and Juan Esteban Rodr\' guez Camargo, Solid locally analytic representations of p -adic L ie groups , Represent. Theory 26 (2022), 962--1024

    2022

  28. [28]

    , Solid locally analytic representations, arXiv preprint arXiv: 2305.03162 https://arxiv.org/abs/2305.03162 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  29. [29]

    Peter Scholze, Lectures on condensed mathematics, https://people.mpim-bonn.mpg.de/scholze/Condensed.pdf, 2019

    2019

  30. [30]

    , Lectures on analytic geometry, https://people.mpim-bonn.mpg.de/scholze/Analytic.pdf, 2020

    2020

  31. [31]

    The Stacks Project Authors, Stacks project, https://stacks.math.columbia.edu