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

arXiv1804.04972MaRDI QIDQ6300322FDOQ6300322

Publication date: 13 April 2018

Abstract: We give a self-contained proof of the fact that, for any prime number

p

, there exists a power series

Psi= Psi_p(T) in T + T^2�T

which trivializes the addition law of the formal group of Witt covectors is

p

-adically entire and assumes values in

all over

Q_{p}

. We actually generalize, following a suggestion of M. Candilera, the previous facts to any fixed unramified extension

Q_{q}

of

Q_{p}

of degree

f

, where

q = p^{f}

. We show that

P s i = P s i_{q}

provides a quasi-finite covering of the Berkovich affine line

A_{Q_{p}}^{1}

by itself. We prove in section 3 new strong estimates for the growth of

P s i

, in view of the application to

p

-adic Fourier expansions on

Q_{p}

. We locate the zeros of

P s i

and to obtain its product expansion. We reconcile the present discussion (for

q = p

) with a previous formal group proof which takes place in the Fr'echet algebra

Q_{p} x

of the analytic additive group

G_{a, Q_{p}}

over

Q_{p}

. We show that, for any

l a m b d a i n Q_{p}^{i} m e s

, the closure

s E_{l} a m b d a^{c} i r c

of

in

Q_{p} x

is a Hopf algebra object in the category of Fr'echet

-algebras. The special fiber of

s E_{l} a m b d a^{c} i r c

is the affine algebra of the

p

-divisible group

over

F_{p}

, while

s E_{l} a m b d a^{c} i r c [1 / p]

is dense in

Q_{p} x

. From

we construct a

p

-adic analog

A P_{Q_{p}} (S i g m a_{h} o)

of the algebra of Dirichlet series holomorphic in a strip

(- h o, h o) i m e s i R s u b s e t C

. We start developing this analogy. It turns out that the Banach algebra of almost periodic functions on

Q_{p}

identifies with the topological ring of germs of holomorphic almost periodic functions on strips around

Q_{p}

.

This page was built for publication: 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$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6300322)