As every number theorist learns, the radius of convergence of $exp(x)$, defined by the usual power series in a neighborhood of zero, is $$\rho = p^{1/(p-1)}.$$ p^{-1/(p-1)}.$$This is typically proven by computing the p-adic absolute value of n!. I imagine that this might also be proven by using the fact that the differential equation Df - f = 0 (to which f(x) = exp(x) is a solution) has an irregular singular point at \infty. My intuition in the p-adic case, from looking at a paper of Bombieri and Dwork a long time ago, is that this irregular singular point "pushes" convergence away from infinity -- hence the relatively small radius of convergence of exp(x) p-adically, near zero. Is there a somewhat general statement along these lines -- that an irregular singular point of a differential equation at a point s (on a smooth projective curve, let's say) will cause the (generic?) radius of convergence of a series solution to the differential equation at a point t to be less than something (involving s, t, and invariants of irregular singular points, etc.)? Something that, when you "plug in" the differential equation Df - f = 0, and the points s = \infty and t = 0, will output the radius of convergence of exp(x)? 1 # The radius of convergence of the p-adic exponential function. As every number theorist learns, the radius of convergence of exp(x), defined by the usual power series in a neighborhood of zero, is$$\rho = p^{1/(p-1)}. This is typically proven by computing the $p$-adic absolute value of $n!$.
I imagine that this might also be proven by using the fact that the differential equation $Df - f = 0$ (to which $f(x) = exp(x)$ is a solution) has an irregular singular point at $\infty$. My intuition in the $p$-adic case, from looking at a paper of Bombieri and Dwork a long time ago, is that this irregular singular point "pushes" convergence away from infinity -- hence the relatively small radius of convergence of $exp(x)$ $p$-adically, near zero.
Is there a somewhat general statement along these lines -- that an irregular singular point of a differential equation at a point $s$ (on a smooth projective curve, let's say) will cause the (generic?) radius of convergence of a series solution to the differential equation at a point $t$ to be less than something (involving $s$, $t$, and invariants of irregular singular points, etc.)? Something that, when you "plug in" the differential equation $Df - f = 0$, and the points $s = \infty$ and $t = 0$, will output the radius of convergence of $exp(x)$?