de Rham theory and locally analytic vectors
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
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.