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.

Generalizing $β$- and $λ$-maps

Some variants of remote sublocales

A Note on Proper Maps of Locales.

Generalized maps between diffeological spaces

Variants of 2-local maps on function algebras

On a variant of extremal disconnectedness in locales and spaces

Localized Frames and Compactness

On Almost Regular Mappings

Pointless Parts of Completely Regular Frames

Non‐accessible localizations

Locales as spaces in outer models

The Fundamental Theorem for locally projective geometries

Functional approach to the normality of mappings

Maps preserving common zeros between subspaces of vector-valued continuous functions

An extension result for $(LB)$-spaces and the surjectivity of tensorized mappings

Lebesgue integration on $σ$-locales: simple functions

An extension result for (LB)-spaces and the surjectivity of tensorized mappings

Locally analytic vectors and decompletion in mixed characteristic

Non-accessible localizations

Localization and anti-localization cardinals

Bi-Lipschitz Maps in Q -Regular Loewner Spaces