pith. sign in

arxiv: 2412.03272 · v5 · submitted 2024-12-04 · 🧮 math.NT

Locally analytic vectors and Z_p-extensions

L\'eo Poyeton This is my paper

Pith reviewed 2026-05-23 07:45 UTC · model grok-4.3

classification 🧮 math.NT
keywords locally analytic vectorsZ_p-extensionsfield of normsoverconvergent liftKedlaya conjectureBerger conjectureanticyclotomic extension(phi, Gamma)-modules
0
0 comments X

The pith

Existence of nontrivial locally analytic vectors in the overconvergent period ring equals existence of an overconvergent lift of the field of norms for any Z_p-extension.

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

The paper studies locally analytic vectors inside the rings of periods attached to an arbitrary Z_p-extension of a p-adic field, as a candidate for generalizing the classical theory of (phi, Gamma)-modules. It proves that such vectors appear in the overconvergent ring if and only if the field of norms admits an overconvergent lift. In the anticyclotomic Z_p-extension the paper produces candidate elements in the Robba ring whose existence would violate a special case of Berger's conjecture; it then verifies that this special case holds, which eliminates the candidates. The same argument shows that no overconvergent lift exists and that Kedlaya's conjecture fails in this setting.

Core claim

The existence of nontrivial locally analytic vectors in Æ is equivalent to the existence of an overconvergent lift of the field of norms attached to the Z_p-extension. In the anticyclotomic case, the assumption that such a lift exists produces elements in the Robba ring forbidden by a particular instance of Berger's conjecture; the paper proves that instance holds, which discards the elements, disproves Kedlaya's conjecture, and shows that no overconvergent lift exists.

What carries the argument

The equivalence between nontrivial locally analytic vectors in the overconvergent period ring Æ and the existence of an overconvergent lift of the field of norms.

If this is right

  • Kedlaya's conjecture fails for the anticyclotomic Z_p-extension.
  • No overconvergent lift of the field of norms exists in the anticyclotomic case.
  • Locally analytic vectors cannot supply the desired generalization of (phi, Gamma)-modules in this setting.
  • The special case of Berger's conjecture needed for the argument holds in the anticyclotomic extension.

Where Pith is reading between the lines

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

  • Similar equivalences between locally analytic vectors and overconvergent lifts could be tested in other infinite p-adic Lie extensions.
  • The failure may force the use of different period rings or different notions of analytic vectors when building Galois cohomology theories for anticyclotomic towers.
  • The result constrains which p-adic representations can be described by modules over the Robba ring in the anticyclotomic direction.

Load-bearing premise

A particular case of Berger's conjecture holds in the anticyclotomic setting and suffices to rule out the constructed elements in the Robba ring.

What would settle it

An explicit construction of an overconvergent lift of the field of norms in the anticyclotomic Z_p-extension, or a counterexample to the special case of Berger's conjecture used to discard the Robba-ring elements.

read the original abstract

Let $K$ be a finite extension of $\mathbf{Q}_p$ and let $\mathcal{G}_K = \mathrm{Gal}(\overline{\mathbf{Q}_p}/K)$. Lately, interest has risen around a generalization of the theory of $(\varphi,\Gamma)$-modules, replacing the cyclotomic extension with an arbitrary infinitely ramified $p$-adic Lie extension. Computations from Berger suggest that locally analytic vectors should provide such a generalization for any arbitrary infinitely ramified $p$-adic Lie extension, and this has been conjectured by Kedlaya. In this paper, we focus on the case of $\mathbf{Z}_p$-extensions, using recent work of Berger-Rozensztajn and Porat on an integral version of locally analytic vectors and explain what can be the structure of the locally analytic vectors in the higher rings of periods $\widetilde{\mathbf{A}}^{\dagger}$ in this setting. We show that the existence of nontrivial locally analytic vectors in $\widetilde{\mathbf{A}}^{\dagger}$, a necessary condition for Kedlaya's conjecture to hold, is equivalent to the existence of an overconvergent lift of the field of norms attached to the $\mathbf{Z}_p$-extension. In the anticyclotomic setting, assuming that such an overconvergent lift exists, we are able to construct elements in the corresponding Robba ring which should not exist according to a conjecture of Berger. We then prove that in this specific setting, a particular case of Berger's conjecture holds, discarding the existence of such elements. In particular, this disproves Kedlaya's conjecture and shows that there is no overconvergent lift of the field of norms in the anticyclotomic setting.

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

1 major / 1 minor

Summary. The paper proves that for a finite extension K/Q_p and a Z_p-extension, the existence of nontrivial locally analytic vectors in the higher period ring Æ is equivalent to the existence of an overconvergent lift of the associated field of norms. In the anticyclotomic Z_p-extension, assuming such a lift exists, explicit elements are constructed in the Robba ring; the authors then establish a particular case of Berger's conjecture that rules out precisely these elements, yielding a disproof of Kedlaya's conjecture and non-existence of the lift in this setting.

Significance. If the proof of the relevant case of Berger's conjecture is complete and applies directly to the constructed elements, the result is significant: it supplies a concrete counterexample to Kedlaya's conjecture in the anticyclotomic case and clarifies the structure of locally analytic vectors for Z_p-extensions via the equivalence with overconvergent lifts. The equivalence itself is a structural contribution that may be useful beyond the disproof.

major comments (1)
  1. [anticylotomic construction and Berger case] The load-bearing step is the proof that the established case of Berger's conjecture forbids the explicit Robba-ring elements constructed under the assumption of an overconvergent lift (abstract, anticyclotomic paragraph). The manuscript must verify that no additional assumptions in this case fail precisely when the lift is present; otherwise the contradiction does not obtain and both the non-existence claim and the disproof of Kedlaya's conjecture are unsupported.
minor comments (1)
  1. [introduction] Notation for the rings Æ, Robba ring, and field of norms should be introduced with explicit references to prior works (Berger-Rozensztajn, Porat) at first use.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the load-bearing step in the anticyclotomic argument. We address the concern directly below.

read point-by-point responses

  1. Referee: [anticylotomic construction and Berger case] The load-bearing step is the proof that the established case of Berger's conjecture forbids the explicit Robba-ring elements constructed under the assumption of an overconvergent lift (abstract, anticyclotomic paragraph). The manuscript must verify that no additional assumptions in this case fail precisely when the lift is present; otherwise the contradiction does not obtain and both the non-existence claim and the disproof of Kedlaya's conjecture are unsupported.

    Authors: The proof of the relevant case of Berger's conjecture is carried out unconditionally in the anticyclotomic Z_p-extension. It relies only on the explicit description of the Robba ring, the action of the Galois group, and the valuation properties that hold for all elements of the ring in this setting; the argument nowhere invokes the existence or non-existence of an overconvergent lift of the field of norms, nor any property that would be altered by the presence of such a lift. Consequently, the elements constructed under the assumption of the lift are forbidden by an unconditional statement, yielding the desired contradiction without circularity. We will add one clarifying sentence in the revised version to make this independence explicit. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation chain is self-contained with independent proof of Berger case

full rationale

The paper derives an equivalence between nontrivial locally analytic vectors and overconvergent lifts of the field of norms, then (under assumption of the lift in the anticyclotomic case) constructs candidate elements in the Robba ring and proves a specific case of Berger's conjecture to obtain a contradiction. This proof is original to the present work rather than a self-citation or reduction to fitted inputs. No equations or steps reduce by construction to prior results from the same authors; the central disproof rests on the new case of Berger's conjecture, which is externally falsifiable and not tautological. The equivalence itself is a derived statement, not a renaming or self-definition. This is the normal non-circular outcome for a paper whose load-bearing step is an explicit new proof.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new postulated entities.

pith-pipeline@v0.9.0 · 5843 in / 999 out tokens · 35553 ms · 2026-05-23T07:45:57.213654+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.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Yvette Amice, Interpolation p -adique, Bulletin de la Soci \'e t \'e Math \'e matique de France 92 (1964), 117--180

    work page 1964

  2. [2]

    Laurent Berger and Pierre Colmez, Th\'eorie de S en et vecteurs localement analytiques , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 49 (2016), no. 4, 947--970

    work page 2016

  3. [3]

    2, 219--284

    Laurent Berger, Représentations p-adiques et \'e quations différentielles , Inventiones mathematicae 148 (2002), no. 2, 219--284

    work page 2002

  4. [4]

    , Lifting the field of norms, J. \'Ec. polytech. Math. 1 (2014), 29--38

    work page 2014

  5. [5]

    , Multivariable ( , ) -modules and locally analytic vectors , Duke Math. J. 165 (2016), no. 18, 3567--3595

    work page 2016

  6. [6]

    , Errata of L aurent B erger's articles , 2018

    work page 2018

  7. [7]

    2, 289--302

    , Substitution maps in the robba ring, Annales math \'e matiques du Qu \'e bec 46 (2022), no. 2, 289--302

    work page 2022

  8. [8]

    Laurent Berger and Sandra Rozensztajn, Decompletion of cyclotomic perfectoid fields in positive characteristic, Annales Henri Lebesgue 5 (2022), 1261--1276

    work page 2022

  9. [9]

    , Super- H \"o lder vectors and the field of norms , arXiv preprint arXiv:2209.02572 (2022)

    work page arXiv 2022

  10. [10]

    Laurent Berger, Peter Schneider, and Bingyong Xie, Rigid character groups, lubin-tate theory, and ( , )-modules

    work page

  11. [11]

    13, 2525--2607

    Xavier Caruso, Repr \'e sentations galoisiennes p -adiques et ( , ) -modules , Duke Mathematical Journal 162 (2013), no. 13, 2525--2607

    work page 2013

  12. [12]

    3, 581--611

    Fr \'e d \'e ric Cherbonnier and Pierre Colmez, Repr \'e sentations p-adiques surconvergentes , Inventiones mathematicae 133 (1998), no. 3, 581--611

    work page 1998

  13. [13]

    1, 129--174

    John Coates and Ralph Greenberg, Kummer theory for abelian varieties over local fields, Inventiones mathematicae 124 (1996), no. 1, 129--174

    work page 1996

  14. [14]

    3, 331--439

    Pierre Colmez, Espaces de B anach de dimension finie , Journal of the Institute of Mathematics of Jussieu 1 (2002), no. 3, 331--439

    work page 2002

  15. [15]

    , Espaces V ectoriels de dimension finie et repr \'e sentations de de R ham , Ast \'e risque 319 (2008), 117--186

    work page 2008

  16. [16]

    13-59, 9--29

    , Fonctions d’une variable p-adique, Ast \'e risque 330 (2010), no. 13-59, 9--29

    work page 2010

  17. [17]

    61, Cambridge University Press, 2003

    John D Dixon, Marcus PF Du Sautoy, Avinoam Mann, and Dan Segal, Analytic pro- p groups, no. 61, Cambridge University Press, 2003

    work page 2003

  18. [18]

    Christopher Davis and Kiran S Kedlaya, Witt vectors with p-adic coefficients and fontaine’s rings, preprint (2011)

    work page 2011

  19. [19]

    Matthew Emerton, Locally analytic vectors in representations of locally p -adic analytic groups , Mem. Amer. Math. Soc. 248 (2017), no. 1175, iv+158

    work page 2017

  20. [20]

    Laurent Fargues and Jean-Marc Fontaine, Courbes et fibr \'e s vectoriels en th \'e orie de hodge p-adique , Ast \'e risque (2019)

    work page 2019

  21. [21]

    249--309

    Jean-Marc Fontaine, Repr \'e sentations p-adiques des corps locaux (1 \`e re partie) , The Grothendieck Festschrift, Springer, 1990, pp. 249--309

    work page 1990

  22. [22]

    223, 59--102

    , Le corps des p \'e riodes p -adiques , Ast \'e risque (1994), no. 223, 59--102

    work page 1994

  23. [23]

    Hui Gao and L \'e o Poyeton, Locally analytic vectors and overconvergent ( , ) -modules, Journal of the Institute of Mathematics of Jussieu (2019), 1--49

    work page 2019

  24. [24]

    8, 1907--1940

    Daniel R Gulotta, Equidimensional adic eigenvarieties for groups with discrete series, Algebra & Number Theory 13 (2019), no. 8, 1907--1940

    work page 2019

  25. [25]

    1, 93--158

    Christian Johansson and James Newton, Extended eigenvarieties for overconvergent cohomology, Algebra & Number Theory 13 (2019), no. 1, 93--158

    work page 2019

  26. [26]

    Math 10 (2005), no

    Kiran S Kedlaya, Slope filtrations revisited, Doc. Math 10 (2005), no. 447525.15

    work page 2005

  27. [27]

    Kiran S Kedlaya, Frobenius modules over multivariate R obba rings , arXiv preprint arXiv:1311.7468 (2013)

    work page arXiv 2013

  28. [28]

    Kedlaya and Ruochuan Liu, Relative p -adic H odge theory : F oundations , Astérisque 371 (2015)

    Kiran S. Kedlaya and Ruochuan Liu, Relative p -adic H odge theory : F oundations , Astérisque 371 (2015)

    work page 2015

  29. [29]

    Math 14 (2009), 441--461

    Mark Kisin and Wei Ren, Galois representations and L ubin- T ate groups , Doc. Math 14 (2009), 441--461

    work page 2009

  30. [30]

    Jonathan Lubin and John Tate, Formal complex multiplication in local fields, Annals of Mathematics (1965), 380--387

    work page 1965

  31. [31]

    3, 607--625

    Shigeki Matsuda, Local indices of p -adic differential operators corresponding to A rtin- S chreier- W itt coverings , Duke Mathematical Journal 77 (1995), no. 3, 607--625

    work page 1995

  32. [32]

    Gal Porat, Locally analytic vectors and decompletion in mixed characteristic, arXiv preprint arXiv:2407.19791 (2024)

    work page arXiv 2024

  33. [33]

    2, 261--290

    L \'e o Poyeton, Formal groups and lifts of the field of norms, Algebra & Number Theory 16 (2022), no. 2, 261--290

    work page 2022

  34. [34]

    , Locally analytic vectors and rings of periods, arXiv preprint arXiv:2202.08075 (2022)

    work page arXiv 2022

  35. [35]

    1, 44--50

    Shankar Sen, Ramification in p -adic L ie extensions , Inventiones mathematicae 17 (1972), no. 1, 44--50

    work page 1972

  36. [36]

    1500, Springer-Verlag, Berlin, 1992, 1964 lectures given at Harvard University

    Jean-Pierre Serre, Lie algebras and L ie groups , second ed., Lecture Notes in Mathematics, vol. 1500, Springer-Verlag, Berlin, 1992, 1964 lectures given at Harvard University

    work page 1992

  37. [37]

    1, 145–196

    Peter Schneider and Jeremy Teitelbaum, Algebras of p -adic distributions and admissible representations, Inventiones mathematicae 153 (2003), no. 1, 145–196

    work page 2003

  38. [38]

    16, Soci \'e t \'e math \'e matique de France, 1983, pp

    Jean-Pierre Wintenberger, Le corps des normes de certaines extensions infinies de corps locaux; applications, Annales scientifiques de l'Ecole Normale Sup \'e rieure, vol. 16, Soci \'e t \'e math \'e matique de France, 1983, pp. 59--89

    work page 1983

  39. [39]

    \@lbibitem[#1]#2 [\@biblabel #1 ] @tempwidthb \@biblabel #1 @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb @filesw \@auxout #2 #1 \@bibitem#1 @filesw \@auxout #1 \@listctr @tempwidthb \@biblabel @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb @multicol multicol.sty \@classname Loading multicol.sty multicol @multicoltrue \@classname multicol.sty is un...

    work page 2010