English

Locally analytic vectors and $\mathbf{Z}_p$-extensions

Number Theory 2026-04-30 v5

Abstract

Let KK be a finite extension of Qp\mathbf{Q}_p and let GK=Gal(Qp/K)\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 pp-adic Lie extension. Computations from Berger suggest that locally analytic vectors should provide such a generalization for any arbitrary infinitely ramified pp-adic Lie extension, and this has been conjectured by Kedlaya. In this paper, we focus on the case of Zp\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 A~\widetilde{\mathbf{A}}^{\dagger} in this setting. We show that the existence of nontrivial locally analytic vectors in A~\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 Zp\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.

Keywords

Cite

@article{arxiv.2412.03272,
  title  = {Locally analytic vectors and $\mathbf{Z}_p$-extensions},
  author = {Léo Poyeton},
  journal= {arXiv preprint arXiv:2412.03272},
  year   = {2026}
}
R2 v1 2026-06-28T20:22:51.990Z