Effective \(p\)-adic bounds at regular singular points (Q1814236)

In the \(p\)-adic theory of linear differential equations one is immediately confronted with two main problems. The first is the question of radius of convergence of power series solutions to the given equation and the second the question of growth of coefficients of such series when approaching the boundary of the disk of convergence. The two problems make sense both at an ordinary and at a singular point of the given equation. Here the authors are interested in solutions at a \(p\)-adically isolated (i.e. unique in its residue class) regular singular point with (formally) unipotent monodromy. Previous results of the senior author and his school on the second problem concerned the case of an ordinary point or that of unipotent monodromy of maximal order. The first problem for an isolated regular singular point was previously treated by Christol (``Christol's transfer theorem''). The method of approach is via the theory of Frobenius transform. The paper furnishes a great clarification of this principle: Christol's transfer theorem (in fact a generalization of it due to André) is reproven (in the case of unipotent monodromy, but the method works in general) in a simple and elegant way. The final result on the second problem is strong enough to imply that the power series solutions of a globally nilpotent linear differential system defined over \(\mathbb{Q}\) at an algebraic singular point are \(G\)-functions.