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 higher analytic vectors of $\mathbf{B}_e$

Continuity of Lyapunov Exponent for Analytic Quasi-Periodic Cocycles on Higher-Dimensional Torus

Locally analytic vectors and decompletion in mixed characteristic

Locally analytic vectors and rings of periods

Locally analytic vectors, anticylotomic extensions and a conjecture of Kedlaya

Locally analytic vector bundles on the Fargues-Fontaine curve

Locally analytic vectors of some crystabelian representations of GL_2(Qp)

On the ring of unipotent vector bundles on elliptic curves in positive characteristics

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Derived Bockstein regulators and anticyclotomic $p$-adic Birch and Swinnerton-Dyer conjectures

Frobenius pushforwards of of vector bundles on projective spaces

Equivariant Vector Bundles on the Drinfeld Upper Half Space over a Local Field of Positive Characteristic

On Katz's $(A,B)$-exponential sums

The analytic topology suffices for the $B_{\mathrm{dR}}^+$-Grassmannian

Brylinski-Radon transformation in characteristic $p>0$

A Hodge--Tate decomposition with rigid analytic coefficients

Derived binomial rings I: integral Betti cohomology of log schemes

On the cohomology of p-adic analytic spaces, II: The $C_{\rm st}$-conjecture

Fontaine-Laffaille Theory over Power Series Rings

Higher Ramanujan equations and periods of abelian varieties

Twisted Derivations in Algebraic Number Fields