Linear independence of values of G-functions, II. Outside the disk of convergence

Abstract

Given any non-polynomial $G$-function $F(z)=\sum_{k=0}^\infty A_k z^k$ of radius of convergence $R$ and in the kernel a $G$-operator $L_F$, we consider the $G$-functions $F_n^{[s]}(z)=\sum_{k=0}^\infty \frac{A_k}{(k+n)^s}z^k$ for every integers $s\ge 0$ and $n\ge 1$. These functions can be analytically continued to a domain $\mathcal{D}_F$ star-shaped at $0$ and containing the disk $\{\vert z\vert 0$ and $v_F>0$. This appears to be the first Diophantine result for values of $G$-functions evaluated outside their disk of convergence. This theorem encompasses a previous result of the authors in [{\em Linear independence of values of G-functions}, 46 pages, J. Europ. Math. Soc., to appear], where $\alpha\in \overline{\mathbb{Q}}^*$ was assumed to be such that $\vert \alpha\vert <R$. Its proof relies on an explicit construction of a Pad\'e approximation problem adapted to certain non-holomorphic functions associated to $F$, and it is quite different of that in the above mentioned paper. It makes use of results of Andr\'e, Chudnovsky and Katz on $G$-operators, of a linear independence criterion \`a la Siegel over number fields, and of a far reaching generalization of Shidlovsky's lemma built upon the approach of Bertrand-Beukers and Bertrand.