Radius of convergence of p-adic connections: an application to the p-adic Rolle theorem

TL;DR

This paper explores the radius of convergence for p-adic connections on curves, using it to provide a simplified proof of a p-adic Rolle theorem and analyzing ramification loci in p-adic geometry.

Contribution

It introduces a unified approach to compare global and local radii of convergence, leading to a new proof of a p-adic Rolle theorem and insights into ramification loci.

Findings

Global and local radii of convergence coincide on skeleton points

Simplified proof of a variant of Alain Robert's p-adic Rolle theorem

Method applies to p-adic ramification locus analysis

Abstract

We illustrate the theory of the radius of convergence of a connection on a p-adic curve X, by deducing from it a simple proof of a variant of Alain Robert's p-adic Rolle theorem. We need to carefully compare our global notion of radius of convergence, depending on the choice of a semistable formal model of X, and the local intrinsic notion of radius of convergence at a point x of Berkovich type 2 or 3, of Kedlaya. (Both notions go back to Dwork, Robba, Christol,...). The coincidence of the two notions when x is a point of the skeleton of the chosen semistable formal model of X, is crucial in the conclusion of our proof. The same method applies to the discussion of the p-adic geometric ramification locus, in the sense of Berkovich, of an etale covering of smooth p-adic curves.