Representability of G-functions as rational functions in hypergeometric series

Fres & aacute;n and Jossen have given a negative answer to a question of Siegel about the representability of every E-function as a polynomial with algebraic coefficients in E-functions of type pFq[a_;b_;gamma x(q-p+1)] with q >= p >= 0, gamma is an element of Q and rational parameters a_,b_. In this paper, we study, in a more general context, a similar question for G-functions asked by Fischler and the second author: can every G-function be represented as a polynomial with algebraic coefficients in G-functions of type mu(x)center dot F-p(p-1)[a_;b_;lambda(x)] with p >= 1, rational parameters a_,b_ and mu,lambda algebraic over Q(x) with lambda(0)=0? They have shown the answer to be negative under a generalization of Grothendieck's Period Conjecture and a technical assumption on the lambda's. Using differential Galois theory, we prove that, for every N is an element of N, there exists a G-function which can not be represented as a rational function with coefficients in C(x) of solutions of linear differential equations with coefficients in C(x) and at most N singularities in P1(C). As a corollary, we deduce that not all G-functions can be represented as a rational function in hypergeometric series of the above mentioned type, when the lambda's are rational functions with degrees of their numerators and denominators bounded by an arbitrarily large fixed constant. This provides an unconditional negative answer to the question asked by Fischler and the second author for such lambda's. (c) 2024 Elsevier Masson SAS. All rights are reserved, including those for text and data mining, AI training, and similar technologies.