de Rham theory and locally analytic vectors

Hui Gao, Gal Porat, Léo Poyeton

Abstract

Let $K_\infty/K$ be a $p$-adic Lie extension of a $p$-adic field $K$. We study the subring of pro-analytic vectors in the de Rham period ring $\mathbf{B}_{\mathrm{dR}}^+(K_\infty)$. We show that the pro-analytic subring admits a Galois-equivariant isomorphism with a formal power series ring $\widehat{K}_{\infty}^{\mathrm{la}} [[t_{K_\infty}]]$ if and only if $K_\infty$ satisfies a certain orientability condition, which says that the $\widehat{K}_\infty$-level Sen operator admits a Galois-equivariant $\mathbf{B}_{\mathrm{dR}}^+$-lift. A key input is the vanishing of higher locally analytic vectors of $\widehat{K}_\infty$-representations. As an application, we show that the lifted Sen operator induces regular connections on pro-analytic vectors of $\mathbf{B}_{\mathrm{dR}}^+$-representations, and can be used to compute Galois cohomology.

Disclosure

“nd Yupeng Wang for useful discussions and correspondences. Part of this work was first carried out while Gal Porat was visiting the University of Bordeaux (IMB). He would like to thank the institute for the hospitality. We were assisted by ChatGPT 5.5-5.6 Pro for simplifying some arguments and for polishing the article. Hui Gao is partially supported by the National Natural Science Foundation of China under agreement NSFC-12471011. Gal Porat was supported by the European Research Co”

PDF page 6
Classification
Proof ideas or individual proof-step assistance
Multiplier
8
Verified

Structural counts

Pages 30 pdf
Theorems 15 source
Lemmas 19 source
Propositions 9 source
Corollaries 6 source
Definitions 6 source
Displayed equations 139 source
Bibliography entries 40 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file main.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.