Locally analytic vectors, anticylotomic extensions and a conjecture of Kedlaya

Léo Poyeton
2024-12-04
Abstract:Let $K$ be a finite extension of $\mathbf{Q}_p$ and let $\mathcal{G}_K = \mathrm{Gal}(\overline{\mathbf{Q}_p}/K)$. Fontaine has constructed a useful classification of $p$-adic representations of $\mathcal{G}_K$ in terms of cyclotomic $(\varphi,\Gamma)$-modules. 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 prove that Kedlaya's conjecture does not hold for anticyclotomic extensions. This also provide an example of an extension for which there is no overconvergent lift of its field of norms and for which there exist nontrivial higher locally analytic vectors
Number Theory
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper mainly explores the properties of locally analytic vectors in specific p -adic extensions and verifies whether the Kedlaya conjecture holds in this case. Specifically, the author Léo Poyeton focuses on Zp -extensions (especially anticyclotomic extensions) and proves that Kedlaya's conjecture does not hold in this case. #### Background and Motivation 1. **Classical Theories** - Fontaine introduced the (ϕ, Γ)-module theory to study the p -adic representation of the Galois group \( G_K=\text{Gal}(\overline{\mathbb{Q}}_p / K) \). - The (ϕ, Γ)-module theory was initially based on the cyclotomic extension, that is, \( K(\mu_{p^\infty}) \), where \( \mu_{p^\infty} \) is the set of all p -power roots of unity. 2. **Attempts at Generalization** - Recent research interests have focused on how to generalize the (ϕ, Γ)-module theory to any infinitely ramified p -adic Lie extension. - Berger and Colmez successfully generalized Sen theory by using locally analytic vectors, which indicates that locally analytic vectors may provide a generalization method. 3. **Kedlaya Conjecture** - The Kedlaya conjecture believes that for any infinitely ramified p -adic Lie extension, locally analytic vectors should be able to define a good (ϕ, Γ)-module theory. - However, this conjecture has not been widely verified yet. #### Main Contributions of the Paper 1. **Research Objects** - The author focuses on Zp -extensions, especially anticyclotomic extensions. - These extensions are special types of extensions on the p -adic number field and have important number - theoretic significance. 2. **Main Results** - By analyzing the structure of locally analytic vectors, the author proves that Kedlaya's conjecture does not hold in the case of anticyclotomic extensions. - Specifically, the author shows that in anticyclotomic extensions, there is no non - trivial overconvergent lift and there are non - trivial higher locally analytic vectors. 3. **New Discoveries** - The author also discovers some new phenomena in anticyclotomic extensions. For example, in some cases, the locally analytic vectors in the ring \( \tilde{A}^\dagger \) can be completely described as classical (ϕ, Γ)-modules. #### Conclusion This paper, through the study of Zp -extensions, especially anticyclotomic extensions, reveals the limitations of the Kedlaya conjecture in this specific case and provides a new perspective for understanding more general p -adic Lie extensions. This result is of great significance for the further development of p -adic Hodge theory and related fields. ### Summary The core problem of this paper is to verify the validity of Kedlaya's conjecture about locally analytic vectors and (ϕ, Γ)-module theory in anticyclotomic extensions. Through detailed mathematical analysis, the author proves that the conjecture does not hold in this case and reveals some new mathematical phenomena.