Title:A $p$-adically entire function with integral values on ${\mathbb Q}_p$ and entire liftings of the $p$-divisible group ${\mathbb Q}_p/{\mathbb Z}_p$

Abstract:We give a self-contained proof of the existence, for any prime number $p$, of a power series $$\Psi= \Psi_p(T) \in T + T^2{\mathbb Z}[[T]] $$ which trivializes the addition law of the formal group of Witt covectors, is $p$-adically entire and assumes values in ${\mathbb Z}_p$ all over ${\mathbb Q}_p$. We determine sharp growth estimates for $\Psi$ which will be essential for the future application to $p$-adic Fourier expansions.
We use the addition law of $\Psi$ to exhibit, for any $r \in {\mathbb Z}$, a closed ${\mathbb Z}_p$-Hopf subalgebra ${\mathscr E}_r^\circ \subset {\mathbb Q}_p\{x\}$, where the latter is the algebra of global section of the additive ${\mathbb Q}_p$-analytic group ${\mathbb G}_a$, which lifts canonically the etale $p$-divisible group ${\mathbb Q}_p/p^{r+1}{\mathbb Z}_p$ over ${\mathbb F}_p$. We obtain convergent expansions of continuous ${\mathbb Q}_p$-valued functions on ${\mathbb Q}_p$ as series of entire functions.