A note on Berkovich spaces and \(p\)-adic differential equations (Q1589934)

At first glance, Berkovich spaces theory seems to be convenient for \( p\)-adic differential equations because it looks upon Dwork's generic points as actual points. Indeed F. Baldassarri and L. Di Vizio wrote about three years ago a paper taking up this point of view for \( p\)-adic differential equations over varieties. As far as the reviewer knows, this paper is not yet available. Fortunately, the present paper makes explicit these ideas in the one dimensional case and gives it applications. Firstly, the overconvergent decomposition theorem is generalized by adapting the original Dwork-Robba proof to the new context. Actually, working only on generic points enables to get round difficulties that come from roots of unknown polynomials over the constant field. Secondly it shows that, for isocrystals over some affine subset of the projective line, the overconvergent and convergent conditions are equivalent: this is a special case of continuity for the generic radius of convergence.