Abstract: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 $\Gamma$-locally analytic vectors, $W^{\mathrm{la}}$, is useful because $W^{\mathrm{la}}$ can be analyzed via the Lie algebra $\mathrm{Lie}(\Gamma)$, which simplifies the action of $\Gamma$. 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 $(\varphi,\Gamma)$-modules in terms of locally analytic vectors.

On the Nash points of subanalytic sets

Poincaré Series Forso(n, 1)

On the Nash modification of a germ of complex analytic singularity

Surjective Nash maps between semialgebraic sets

Real analytic nonexpansive maps on polyhedral normed spaces

On arithmetic inequalities for points of bounded degree

Non-commutative Nash inequalities

p-adic integrals and linearly dependent points on families of curves I

Nash multiplicities and isolated points of maximum multiplicity

Two-dimensional locally $\mathbb{K}$-Nash groups

On Nash-Williams' Theorem regarding sequences with finite range

Lattices in rigid analytic representations

On real analytic functions on closed subanalytic domains

The Poincaré-extended ab-index

Series and power series on universally complete complex vector lattices

Extreme Points of Subspaces in a Nest Algebra

On non-Zariski density of $(D,S)$-integral points in forward orbits and the Subspace Theorem

The Borel Map for Compact Subanalytic Subsets of

Locally analytic vectors and decompletion in mixed characteristic

On Sobolev spaces of bounded subanalytic manifolds