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.

Gersten-type conjecture for henselian local rings of normal crossing varieties

On étale hypercohomology of henselian regular local rings with values in $p$-adic étale Tate twists

The Gersten conjecture for $p$-adic étale Tate twists and the $p$-adic cycle class map

On p-torsions of geometric Brauer groups

A cohomological Hasse principle over two-dimensional local rings

On the relative Gersten conjecture for Milnor K-theory in the smooth case

$p$-adic tame Tate twists

Grothendieck--Witt Groups of Henselian Valuation Rings

Weil-étale cohomology and the equivariant Tamagawa number conjecture for constructible sheaves in characteristic $p$

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Hikita conjecture for classical Lie algebras

Degrees of points on varieties over Henselian fields

Locally analytic vectors and decompletion in mixed characteristic

The Grothendieck--Serre conjecture over valuation rings

Nonvanishing of generalised Kato classes and Iwasawa main conjectures

Affine root systems, stable tubes and a conjecture by Geiss-Leclerc-Schröer

Spectral mod p Satake isomorphism for GL_n

The Grothendieck–Serre conjecture over valuation rings

Hodge--Tate prismatic crystals and Sen theory

Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties

On the non-vanishing of generalized Kato classes for elliptic curves of rank $2$