Linear independence of values of G-functions

Abstract : Given any non-polynomial $G$-function $F(z)=\sum_{k=0}^\infty A_k z^k$ of radius of convergence $R$, we consider the $G$-functions $F_n^{[s]}(z)=\sum_{k=0}^\infty \frac{A_k}{(k+n)^s}z^k$ for any integers $s\geq 0$ and $n\geq 1$. For any fixed algebraic number $\alpha$ such that $0 < \vert \alpha \vert < R$ and any number field $\mathbb{K}$ containing $\alpha$ and the $A_k$'s, we define $\Phi_{\alpha, S}$ as the $\mathbb{K}$-vector space generated by the values $F_n^{[s]}(\alpha)$, $n\ge 1$ and $0\leq s\leq S$. We prove that $u_{\mathbb{K},F}\log(S)\leq \dim_{\mathbb{K}}(\Phi_{\alpha, S })\leq v_F S$ for any $S$, with effective constants $u_{\mathbb{K},F}>0$ and $v_F>0$, and that the family $(F_n^{[s]}(\alpha))_{1\le n \le v_F, s \ge 0}$ contains infinitely many irrational numbers. This theorem applies in particular when $F$ is an hypergeometric series with rational parameters or a multiple polylogarithm, and it encompasses a previous result by the second author and Marcovecchio in the case of polylogarithms. The proof relies on an explicit construction of Pad\'e-type approximants. It makes use of results of Andr\'e, Chudnovsky and Katz on $G$-operators, of a new linear independence criterion \`a la Nesterenko over number fields, of singularity analysis as well as of the saddle point method.
Type de document :
Pré-publication, Document de travail
IF_PREPUB. 2017
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01450032
Contributeur : Tanguy Rivoal <>
Soumis le : lundi 30 janvier 2017 - 22:53:07
Dernière modification le : lundi 20 février 2017 - 09:11:38

Fichiers

gfndiodef.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01450032, version 1
  • ARXIV : 1701.09051

Citation

Stéphane Fischler, Tanguy Rivoal. Linear independence of values of G-functions. IF_PREPUB. 2017. 〈hal-01450032〉

Partager

Métriques

Consultations de
la notice

234

Téléchargements du document

66