Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.19791 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914057660923904 |
|---|---|
| author | Porat, Gal |
| author_facet | Porat, Gal |
| contents | In $p$-adic Hodge theory and the $p$-adic Langlands program, Banach spaces with $\mathbb{Q}_p$-coefficients and $p$-adic Lie group actions are central. Studying the subrepresentation of $Γ$-locally analytic vectors, $W^{\mathrm{la}}$, is useful because $W^{\mathrm{la}}$ can be analyzed via the Lie algebra $\mathrm{Lie}(Γ)$, which simplifies the action of $Γ$. Additionally, $W^{\mathrm{la}}$ often behaves as a decompletion of $W$, making it closer to an algebraic or geometric object.
This article introduces a notion of locally analytic vectors for $W$ in a mixed characteristic setting, specifically for $\mathbb{Z}_p$-Tate algebras. This generalization encompasses the classical definition and also specializes to super-Hölder vectors in characteristic $p$. Using binomial expansions instead of Taylor series, this new definition bridges locally analytic vectors in characteristic $0$ and $p$.
Our main theorem shows that under certain conditions, the map $W \mapsto W^{\mathrm{la}}$ acts as a descent, and the derived locally analytic vectors $\mathrm{R}_{\mathrm{la}}^i(W)$ vanish for $i \geq 1$. This result extends Theorem C of \cite{Po24}, providing new tools for propagating information about locally analytic vectors from characteristic $0$ to characteristic $p$.
We provide three applications: a new proof of Berger-Rozensztajn's main result using characteristic $0$ methods, the introduction of an integral multivariable ring $\widetilde{\mathbf{A}}_{\mathrm{LT}}^{\dagger,\mathrm{la}}$ in the Lubin-Tate setting, and a novel interpretation of the classical Cohen ring ${\mathbf{A}}_{\mathbb{Q}_p}$ from the theory of $(φ,Γ)$-modules in terms of locally analytic vectors. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_19791 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Locally analytic vectors and decompletion in mixed characteristic Porat, Gal Number Theory In $p$-adic Hodge theory and the $p$-adic Langlands program, Banach spaces with $\mathbb{Q}_p$-coefficients and $p$-adic Lie group actions are central. Studying the subrepresentation of $Γ$-locally analytic vectors, $W^{\mathrm{la}}$, is useful because $W^{\mathrm{la}}$ can be analyzed via the Lie algebra $\mathrm{Lie}(Γ)$, which simplifies the action of $Γ$. Additionally, $W^{\mathrm{la}}$ often behaves as a decompletion of $W$, making it closer to an algebraic or geometric object. This article introduces a notion of locally analytic vectors for $W$ in a mixed characteristic setting, specifically for $\mathbb{Z}_p$-Tate algebras. This generalization encompasses the classical definition and also specializes to super-Hölder vectors in characteristic $p$. Using binomial expansions instead of Taylor series, this new definition bridges locally analytic vectors in characteristic $0$ and $p$. Our main theorem shows that under certain conditions, the map $W \mapsto W^{\mathrm{la}}$ acts as a descent, and the derived locally analytic vectors $\mathrm{R}_{\mathrm{la}}^i(W)$ vanish for $i \geq 1$. This result extends Theorem C of \cite{Po24}, providing new tools for propagating information about locally analytic vectors from characteristic $0$ to characteristic $p$. We provide three applications: a new proof of Berger-Rozensztajn's main result using characteristic $0$ methods, the introduction of an integral multivariable ring $\widetilde{\mathbf{A}}_{\mathrm{LT}}^{\dagger,\mathrm{la}}$ in the Lubin-Tate setting, and a novel interpretation of the classical Cohen ring ${\mathbf{A}}_{\mathbb{Q}_p}$ from the theory of $(φ,Γ)$-modules in terms of locally analytic vectors. |
| title | Locally analytic vectors and decompletion in mixed characteristic |
| topic | Number Theory |
| url | https://arxiv.org/abs/2407.19791 |