Continuity of the radius of convergence of p-adic differential equations on Berkovich analytic spaces

Abstract

We consider a vector bundle with integrable connection (\cE,\na) on an analytic domain U in the generic fiber \cX_η of a smooth formal p-adic scheme \cX, in the sense of Berkovich. We define the \emph{diameter} δ_{\cX}(ξ,U) of U at ξ\in U, the \emph{radius} ρ_{\cX}(ξ) of the point ξ\in\cX_η, the \emph{radius of convergence} of solutions of (\cE,\na) at ξ, R(ξ) = R_{\cX}(ξ, U,(\cE, \na)). We discuss (semi-) continuity of these functions with respect to the Berkovich topology. In particular, under we prove under certain assumptions that δ_{\cX}(ξ,U), ρ_{\cX}(ξ) and R_ξ(U,\cE,\na) are upper semicontinuous functions of ξ; for Laurent domains in the affine space, δ_{\cX}(-,U) is continuous. In the classical case of an affinoid domain U of the analytic affine line, R is a continuous function.